OSDN Git Service

android-x86/external-llvm.git
7 years ago[LV] Convert emitRemark to new opt remark streaming interface
Adam Nemet [Thu, 29 Sep 2016 16:23:12 +0000 (16:23 +0000)]
[LV] Convert emitRemark to new opt remark streaming interface

Also renamed the function to emitRemarkWithHints to better reflect what
the function actually does.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282723 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoRemove unnecessary explicit
Adam Nemet [Thu, 29 Sep 2016 16:01:34 +0000 (16:01 +0000)]
Remove unnecessary explicit

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282722 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[libFuzzer] initialize ValueBitMap::NumBits
Kostya Serebryany [Thu, 29 Sep 2016 15:51:28 +0000 (15:51 +0000)]
[libFuzzer] initialize ValueBitMap::NumBits

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282721 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[X86][SSE] Added common helper for shuffle mask constant pool decodes.
Simon Pilgrim [Thu, 29 Sep 2016 15:25:48 +0000 (15:25 +0000)]
[X86][SSE] Added common helper for shuffle mask constant pool decodes.

The shuffle mask decodes have a large amount of repeated code extracting/splitting mask values from Constant data.

This patch pulls all of this duplicated code into a single helper function to identify undef elements and combine/split constant integer data into the requested shuffle mask elements.

Updated PSHUFB/VPERMIL/VPERMIL2/VPPERM decoders to use it (VPERMV/VPERMV3 could be converted as well in the future).

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282720 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[X86] Add explicit test triple to make windows/msvc builds happier
Simon Pilgrim [Thu, 29 Sep 2016 15:10:09 +0000 (15:10 +0000)]
[X86] Add explicit test triple to make windows/msvc builds happier

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282719 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[docs] Fix a broken URL in 'HowToAddABuilder'
Dylan McKay [Thu, 29 Sep 2016 13:29:49 +0000 (13:29 +0000)]
[docs] Fix a broken URL in 'HowToAddABuilder'

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282718 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoTest commit. NFC.
Volkan Keles [Thu, 29 Sep 2016 13:04:37 +0000 (13:04 +0000)]
Test commit. NFC.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282717 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[docs] Fix typo in 'How to add a builder'
Dylan McKay [Thu, 29 Sep 2016 12:51:26 +0000 (12:51 +0000)]
[docs] Fix typo in 'How to add a builder'

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282713 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoRevert "[AVR] Add instruction selection lowering code"
Dylan McKay [Thu, 29 Sep 2016 12:49:18 +0000 (12:49 +0000)]
Revert "[AVR] Add instruction selection lowering code"

I accidentally comitted it.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282712 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[AVR] Add instruction selection lowering code
Dylan McKay [Thu, 29 Sep 2016 12:44:38 +0000 (12:44 +0000)]
[AVR] Add instruction selection lowering code

Summary: This adds AVRISelLowering.cpp

Reviewers: kparzysz, arsenm

Subscribers: wdng, beanz, mgorny

Differential Revision: https://reviews.llvm.org/D25034

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282711 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[modules] Centralize the module cache.
Vassil Vassilev [Thu, 29 Sep 2016 08:14:06 +0000 (08:14 +0000)]
[modules] Centralize the module cache.

This reduces the build size from 17G to 1.9G on my machine.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282704 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[X86] Really fix the FileCheck line from r282690.
Craig Topper [Thu, 29 Sep 2016 06:49:21 +0000 (06:49 +0000)]
[X86] Really fix the FileCheck line from r282690.

Why does Folded Spill comments print with a different number of # characters on different systems?

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282693 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[AVX-512] Fix a check line from r282690.
Craig Topper [Thu, 29 Sep 2016 06:37:21 +0000 (06:37 +0000)]
[AVX-512] Fix a check line from r282690.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282691 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[AVX-512] Support spills of XMM16-31 and YMM16-31 when VLX isn't available.
Craig Topper [Thu, 29 Sep 2016 06:07:09 +0000 (06:07 +0000)]
[AVX-512] Support spills of XMM16-31 and YMM16-31 when VLX isn't available.

This adds new pseudo instructions that can be selected during register allocation to represent loads and stores of XMM/YMM registers when AVX512F is available, but VLX isn't. They will be converted to VEX encoded moves if the register turns out to be XMM0-15/YMM0-15. Otherwise either an EVEX VEXTRACT(store) or VBROADCAST(load) will be used.

Fixes one of the cases from PR29112.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282690 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[X86] Remove extra FileCheck lines that got left behind in r282688.
Craig Topper [Thu, 29 Sep 2016 06:07:07 +0000 (06:07 +0000)]
[X86] Remove extra FileCheck lines that got left behind in r282688.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282689 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[AVX-512] Replicate pattern from AVX to select VMOVDDUP for (v2f64 (X86VBroadcast...
Craig Topper [Thu, 29 Sep 2016 05:54:43 +0000 (05:54 +0000)]
[AVX-512] Replicate pattern from AVX to select VMOVDDUP for (v2f64 (X86VBroadcast f64:)). Add AVX512VL to command line of existing AVX2 test that hits this condition.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282688 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[X86] Add EVEX encoded VBROADCASTSS/SD and VPBROADCASTD/Q to execution domain fixing...
Craig Topper [Thu, 29 Sep 2016 05:54:39 +0000 (05:54 +0000)]
[X86] Add EVEX encoded VBROADCASTSS/SD and VPBROADCASTD/Q to execution domain fixing table.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282687 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[X86] Remove AddedComplexity adjustments that don't seem to be needed.
Craig Topper [Thu, 29 Sep 2016 05:54:34 +0000 (05:54 +0000)]
[X86] Remove AddedComplexity adjustments that don't seem to be needed.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282686 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[X86] Add 512-bit VPBROADCASTB and VPBROADCASTW tests.
Craig Topper [Thu, 29 Sep 2016 05:54:32 +0000 (05:54 +0000)]
[X86] Add 512-bit VPBROADCASTB and VPBROADCASTW tests.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282685 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[X86] Add VBROADCASTF128/VBROADCASTI128 to execution domain fixing tables.
Craig Topper [Thu, 29 Sep 2016 05:54:28 +0000 (05:54 +0000)]
[X86] Add VBROADCASTF128/VBROADCASTI128 to execution domain fixing tables.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282684 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoIR: Rename the tablegen'd Attributes file to .gen
Justin Bogner [Thu, 29 Sep 2016 03:35:19 +0000 (03:35 +0000)]
IR: Rename the tablegen'd Attributes file to .gen

All of the other tablegen'd include files are named .gen, so it's best
to be consistent.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282680 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoAdd explanatory comment.
Peter Collingbourne [Thu, 29 Sep 2016 03:29:28 +0000 (03:29 +0000)]
Add explanatory comment.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282678 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoRemove an unnecessary duplicate initialization of TLOF from the Mips
Eric Christopher [Thu, 29 Sep 2016 02:03:52 +0000 (02:03 +0000)]
Remove an unnecessary duplicate initialization of TLOF from the Mips
AsmPrinter. This was reinitializing the Mangler after we moved the
Mangler down to TLOF and causing us to have two different unnamed
global values accessed with the same name.

This should fix the problems on the ubsan tests here:
http://lab.llvm.org:8011/builders/clang-cmake-mips/builds/15307

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282675 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoRemove the default constructor and count variable from the Mangler since
Eric Christopher [Thu, 29 Sep 2016 02:03:50 +0000 (02:03 +0000)]
Remove the default constructor and count variable from the Mangler since
we can just use the size of the DenseMap as a unique counter.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282674 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoUpdate comment about initializing TLOF with a pointer at the previous
Eric Christopher [Thu, 29 Sep 2016 02:03:47 +0000 (02:03 +0000)]
Update comment about initializing TLOF with a pointer at the previous
line or the other commented out place.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282673 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoTidy spelling and grammar.
Eric Christopher [Thu, 29 Sep 2016 02:03:44 +0000 (02:03 +0000)]
Tidy spelling and grammar.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282672 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoMachineFunction: Add missing newline in debug print()
Matthias Braun [Thu, 29 Sep 2016 01:47:42 +0000 (01:47 +0000)]
MachineFunction: Add missing newline in debug print()

Should not be a functional but an aesthetic change.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282669 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoAMDGPU: Partially fix control flow at -O0
Matt Arsenault [Thu, 29 Sep 2016 01:44:16 +0000 (01:44 +0000)]
AMDGPU: Partially fix control flow at -O0

Fixes to allow spilling all registers at the end of the block
work with exec modifications. Don't emit s_and_saveexec_b64 for
if lowering, and instead emit copies. Mark control flow mask
instructions as terminators to get correct spill code placement
with fast regalloc, and then have a separate optimization pass
form the saveexec.

This should work if SGPRs are spilled to VGPRs, but
will likely fail in the case that an SGPR spills to memory
and no workitem takes a divergent branch.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282667 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoScheduleDAGInstrs: There is no need to set OrigNode for MI SUnits; NFC
Matthias Braun [Thu, 29 Sep 2016 01:32:31 +0000 (01:32 +0000)]
ScheduleDAGInstrs: There is no need to set OrigNode for MI SUnits; NFC

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282666 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoLTO: Fix use-after-scope error.
Peter Collingbourne [Thu, 29 Sep 2016 01:28:36 +0000 (01:28 +0000)]
LTO: Fix use-after-scope error.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282665 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoAArch64: Set shift bit of TLSLE HI12 add instruction
Lei Liu [Thu, 29 Sep 2016 01:05:48 +0000 (01:05 +0000)]
AArch64: Set shift bit of TLSLE HI12 add instruction

Summary: AArch64 LLVM assembler emits add instruction without shift bit to calculate the higher 12-bit address of TLS variables in local exec model.  This generates wrong code sequence to access TLS variables with thread offset larger than 0x1000.

Reviewers: t.p.northover, peter.smith, rovka

Subscribers: salim.nasser, aemerson, llvm-commits, rengolin

Differential Revision: https://reviews.llvm.org/D24702

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282661 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[LTO] Add a FIXME, we shouldn't expose getComdat().
Davide Italiano [Thu, 29 Sep 2016 00:31:45 +0000 (00:31 +0000)]
[LTO] Add a FIXME, we shouldn't expose getComdat().

Thanks to Peter for the suggestion.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282655 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[LTO] Expose getComdatSymbolTable() to linkers.
Davide Italiano [Thu, 29 Sep 2016 00:29:33 +0000 (00:29 +0000)]
[LTO] Expose getComdatSymbolTable() to linkers.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282654 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoWisely choose sext or zext when widening IV.
Evgeny Stupachenko [Wed, 28 Sep 2016 23:39:39 +0000 (23:39 +0000)]
Wisely choose sext or zext when widening IV.

Summary:
The patch fixes regression caused by two earlier patches D18777 and D18867.

Reviewers: reames, sanjoy

Differential Revision: http://reviews.llvm.org/D24280

From: Li Huang

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282650 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoNext set of additional error checks for invalid Mach-O files for the
Kevin Enderby [Wed, 28 Sep 2016 23:16:01 +0000 (23:16 +0000)]
Next set of additional error checks for invalid Mach-O files for the
load command that uses the Mach::rpath_command type
but not used in llvm libObject code but used in llvm tool code.

This includes just the LC_RPATH load command.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282649 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[RegisterBankInfo] Uniquely generate OperandsMapping.
Quentin Colombet [Wed, 28 Sep 2016 22:20:49 +0000 (22:20 +0000)]
[RegisterBankInfo] Uniquely generate OperandsMapping.

This is a step toward statically allocate InstructionMapping. Like the
previous few commits, the goal is to move toward a TableGen'ed like
structure with no dynamic allocation at all.

This should already improve compile time by getting rid of a bunch of
memmove of SmallVectors.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282643 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[RegisterBankInfo] Rework the APIs of ValueMapping.
Quentin Colombet [Wed, 28 Sep 2016 22:20:24 +0000 (22:20 +0000)]
[RegisterBankInfo] Rework the APIs of ValueMapping.

This is a preparatory commit for more TableGen-like structure.
NFC

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282642 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[sancov] introducing symbolized coverage files (.symcov)
Mike Aizatsky [Wed, 28 Sep 2016 21:39:28 +0000 (21:39 +0000)]
[sancov] introducing symbolized coverage files (.symcov)

Summary:
Answering any meaningful questions about .sancov files requires
accessing symbol information from the corresponding binary.

This change introduces a separate intermediate data structure and
format: symbolized coverage. It contains all symbol information that
is required to answer common queries:
- merging
- coverd/uncovered files and functions
- line status.

Also removing the html report functionality from sancov: generated
HTML files are too huge, and a different approach is required.
Maintaining this half-working approach in the C++ is painful.

Differential Revision: https://reviews.llvm.org/D24947

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282639 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoRemove dead code from LiveDebugVariables.cpp (NFC)
Adrian Prantl [Wed, 28 Sep 2016 21:34:23 +0000 (21:34 +0000)]
Remove dead code from LiveDebugVariables.cpp (NFC)

LiveDebugVariables doesn't propagate DBG_VALUEs accross basic block
boundaries any more; this functionality was split into LiveDebugValues.
We can thus drop the now dead references to LexicalScopes from LiveDebugVariables.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282638 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[sancov] a simple .symcov coverage report server
Mike Aizatsky [Wed, 28 Sep 2016 21:27:58 +0000 (21:27 +0000)]
[sancov] a simple .symcov coverage report server

Coverage reports for gigabyte-sized binaries are huge. There's no
practical reason to generate them statically.

Implementing an experiment http coverage report server. The server
loads .symcov file and serves interactive coverage pages.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282637 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoNext set of additional error checks for invalid Mach-O files for the
Kevin Enderby [Wed, 28 Sep 2016 21:20:45 +0000 (21:20 +0000)]
Next set of additional error checks for invalid Mach-O files for the
other load commands that use the Mach::version_min_command type
but not used in llvm libObject code but used in llvm tool code.

This includes LC_VERSION_MIN_MACOSX, LC_VERSION_MIN_IPHONEOS,
LC_VERSION_MIN_TVOS and LC_VERSION_MIN_WATCHOS load commands.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282635 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoRefactor the ProfileSummaryInfo to use doInitialization and doFinalization to handle...
Dehao Chen [Wed, 28 Sep 2016 21:00:58 +0000 (21:00 +0000)]
Refactor the ProfileSummaryInfo to use doInitialization and doFinalization to handle Module update.

Summary: This refactors the change in r282616

Reviewers: davidxl, eraman, mehdi_amini

Subscribers: mehdi_amini, davide, llvm-commits

Differential Revision: https://reviews.llvm.org/D25041

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282630 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoIfConversion: Add implicit uses for redefined regs with live subregisters
Krzysztof Parzyszek [Wed, 28 Sep 2016 20:07:41 +0000 (20:07 +0000)]
IfConversion: Add implicit uses for redefined regs with live subregisters

Normally, if conversion would add implicit uses for redefined registers,
e.g. R0<def> = add_if ..., R0<imp-use>. However, if only subregisters of
R0 are known to be live but not R0 itself, such implicit uses will not be
added, causing prior definitions of such subregisters and R0 itself to
become dead.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282626 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[AMDGPU] Promote uniform i16 ops to i32 ops for targets that have 16 bit instructions
Konstantin Zhuravlyov [Wed, 28 Sep 2016 20:05:39 +0000 (20:05 +0000)]
[AMDGPU] Promote uniform i16 ops to i32 ops for targets that have 16 bit instructions

Differential Revision: https://reviews.llvm.org/D24125

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282624 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[InstCombine] update to use FileCheck
Sanjay Patel [Wed, 28 Sep 2016 19:10:16 +0000 (19:10 +0000)]
[InstCombine] update to use FileCheck

Also, remove unnecessary function attributes, parameters, and comments.
It looks like at least some of these tests are not minimal though...

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282620 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoFix the bug introduced in r282616.
Dehao Chen [Wed, 28 Sep 2016 18:54:36 +0000 (18:54 +0000)]
Fix the bug introduced in r282616.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282618 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoFix the bug when -compile-twice is specified, the PSI will be invalidated.
Dehao Chen [Wed, 28 Sep 2016 18:41:14 +0000 (18:41 +0000)]
Fix the bug when -compile-twice is specified, the PSI will be invalidated.

Summary:
When using llc with -compile-twice, module is generated twice, but getAnalysis<ProfileSummaryInfoWrapperPass>().getPSI will still get the old PSI with the original (invalidated) Module. This patch checks if the module has changed when calling getPSI, if yes, update the module and invalidate the Summary.
The bug does not show up in the current llc because PSI is not used in CodeGen yet. But with https://reviews.llvm.org/D24989, the bug will be exposed by test/CodeGen/PowerPC/pr26378.ll

Reviewers: eraman, davidxl

Subscribers: llvm-commits

Differential Revision: https://reviews.llvm.org/D24993

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282616 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[X86][AVX] Add test showing that VBROADCAST loads don't correctly respect dependencies
Simon Pilgrim [Wed, 28 Sep 2016 17:59:30 +0000 (17:59 +0000)]
[X86][AVX] Add test showing that VBROADCAST loads don't correctly respect dependencies

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282613 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoDon't look through addrspacecast in GetPointerBaseWithConstantOffset
Artur Pilipenko [Wed, 28 Sep 2016 17:57:16 +0000 (17:57 +0000)]
Don't look through addrspacecast in GetPointerBaseWithConstantOffset

Pointers in different addrspaces can have different sizes, so it's not valid to look through addrspace cast calculating base and offset for a value.

This is similar to D13008.

Reviewed By: reames

Differential Revision: https://reviews.llvm.org/D24729

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282612 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoTeach LiveDebugValues about lexical scopes.
Adrian Prantl [Wed, 28 Sep 2016 17:51:14 +0000 (17:51 +0000)]
Teach LiveDebugValues about lexical scopes.

This addresses PR26055 LiveDebugValues is very slow.

Contrary to the old LiveDebugVariables pass LiveDebugValues currently
doesn't look at the lexical scopes before inserting a DBG_VALUE
intrinsic. This means that we often propagate DBG_VALUEs much further
down than necessary. This is especially noticeable in large C++
functions with many inlined method calls that all use the same
"this"-pointer.

For example, in the following code it makes no sense to propagate the
inlined variable a from the first inlined call to f() into any of the
subsequent basic blocks, because the variable will always be out of
scope:

void sink(int a);
void __attribute((always_inline)) f(int a) { sink(a); }
void foo(int i) {
   f(i);
   if (i)
     f(i);
   f(i);
}

This patch reuses the LexicalScopes infrastructure we have for
LiveDebugVariables to take this into account.

The effect on compile time and memory consumption is quite noticeable:
I tested a benchmark that is a large C++ source with an enormous
amount of inlined "this"-pointers that would previously eat >24GiB
(most of them for DBG_VALUE intrinsics) and whose compile time was
dominated by LiveDebugValues. With this patch applied the memory
consumption is 1GiB and 1.7% of the time is spent in LiveDebugValues.

https://reviews.llvm.org/D24994
Thanks to Daniel Berlin and Keith Walker for reviewing!

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282611 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoRewrite loops to use range-based for. (NFC)
Adrian Prantl [Wed, 28 Sep 2016 17:31:17 +0000 (17:31 +0000)]
Rewrite loops to use range-based for. (NFC)

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282608 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[NVPTX] Added intrinsics for atom.gen.{sys|cta}.* instructions.
Artem Belevich [Wed, 28 Sep 2016 17:25:38 +0000 (17:25 +0000)]
[NVPTX] Added intrinsics for atom.gen.{sys|cta}.* instructions.

These are only available on sm_60+ GPUs.

Differential Revision: https://reviews.llvm.org/D24943

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282607 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[SCEV] Use a SmallPtrSet as a temporary union predicate; NFC
Sanjoy Das [Wed, 28 Sep 2016 17:14:58 +0000 (17:14 +0000)]
[SCEV] Use a SmallPtrSet as a temporary union predicate; NFC

Summary:
Instead of creating and destroying SCEVUnionPredicate instances (which
internally creates and destroys a DenseMap), use temporary SmallPtrSet
instances of remember the set of predicates that will get reified into a
SCEVUnionPredicate.

Reviewers: silviu.baranga, sbaranga

Subscribers: sanjoy, mcrosier, llvm-commits, mzolotukhin

Differential Revision: https://reviews.llvm.org/D25000

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282606 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoRevert "In visitSTORE, always use FindBetterChain, rather than only when UseAA is...
Nirav Dave [Wed, 28 Sep 2016 16:37:50 +0000 (16:37 +0000)]
Revert "In visitSTORE, always use FindBetterChain, rather than only when UseAA is enabled."

This reverts commit r282600 due to test failues with MCJIT

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282604 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[AVR] Rename the builtin calling convention names
Dylan McKay [Wed, 28 Sep 2016 16:04:40 +0000 (16:04 +0000)]
[AVR] Rename the builtin calling convention names

'BUILTIN' is clearer than 'RT' in this context.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282602 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[x86] Accept 'retn' as an alias to 'ret[lqw]'\'ret' (At&t\Intel)
Marina Yatsina [Wed, 28 Sep 2016 15:52:56 +0000 (15:52 +0000)]
[x86] Accept 'retn' as an alias to 'ret[lqw]'\'ret' (At&t\Intel)

Implement 'retn' simply by aliasing it to the relevant 'ret' instruction

Commit on behalf of coby

Differential Revision: https://reviews.llvm.org/D24346

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282601 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoIn visitSTORE, always use FindBetterChain, rather than only when UseAA is enabled.
Nirav Dave [Wed, 28 Sep 2016 15:50:43 +0000 (15:50 +0000)]
In visitSTORE, always use FindBetterChain, rather than only when UseAA is enabled.

  Simplify Consecutive Merge Store Candidate Search

  Now that address aliasing is much less conservative, push through
  simplified store merging search which only checks for parallel stores
  through the chain subgraph. This is cleaner as the separation of
  non-interfering loads/stores from the store-merging logic.

  Whem merging stores, search up the chain through a single load, and
  finds all possible stores by looking down from through a load and a
  TokenFactor to all stores visited. This improves the quality of the
  output SelectionDAG and generally the output CodeGen (with some
  exceptions).

  Additional Minor Changes:

    1. Finishes removing unused AliasLoad code
    2. Unifies the the chain aggregation in the merged stores across
       code paths
    3. Re-add the Store node to the worklist after calling
       SimplifyDemandedBits.
    4. Increase GatherAllAliasesMaxDepth from 6 to 18. That number is
       arbitrary, but seemed sufficient to not cause regressions in
       tests.

  This finishes the change Matt Arsenault started in r246307 and
  jyknight's original patch.

  Many tests required some changes as memory operations are now
  reorderable. Some tests relying on the order were changed to use
  volatile memory operations

  Noteworthy tests:

    CodeGen/AArch64/argument-blocks.ll -
      It's not entirely clear what the test_varargs_stackalign test is
      supposed to be asserting, but the new code looks right.

    CodeGen/AArch64/arm64-memset-inline.lli -
    CodeGen/AArch64/arm64-stur.ll -
    CodeGen/ARM/memset-inline.ll -
      The backend now generates *worse* code due to store merging
      succeeding, as we do do a 16-byte constant-zero store efficiently.

    CodeGen/AArch64/merge-store.ll -
      Improved, but there still seems to be an extraneous vector insert
      from an element to itself?

    CodeGen/PowerPC/ppc64-align-long-double.ll -
      Worse code emitted in this case, due to the improved store->load
      forwarding.

    CodeGen/X86/dag-merge-fast-accesses.ll -
    CodeGen/X86/MergeConsecutiveStores.ll -
    CodeGen/X86/stores-merging.ll -
    CodeGen/Mips/load-store-left-right.ll -
      Restored correct merging of non-aligned stores

    CodeGen/AMDGPU/promote-alloca-stored-pointer-value.ll -
      Improved. Correctly merges buffer_store_dword calls

    CodeGen/AMDGPU/si-triv-disjoint-mem-access.ll -
      Improved. Sidesteps loading a stored value and merges two stores

    CodeGen/X86/pr18023.ll -
      This test has been removed, as it was asserting incorrect
      behavior. Non-volatile stores *CAN* be moved past volatile loads,
      and now are.

    CodeGen/X86/vector-idiv.ll -
    CodeGen/X86/vector-lzcnt-128.ll -
      It's basically impossible to tell what these tests are actually
      testing. But, looks like the code got better due to the memory
      operations being recognized as non-aliasing.

    CodeGen/X86/win32-eh.ll -
      Both loads of the securitycookie are now merged.

    CodeGen/AMDGPU/vgpr-spill-emergency-stack-slot-compute.ll -
      This test appears to work but no longer exhibits the spill
      behavior.

Reviewers: arsenm, hfinkel, tstellarAMD, nhaehnle, jyknight

Subscribers: wdng, nhaehnle, nemanjai, arsenm, weimingz, niravd, RKSimon, aemerson, qcolombet, resistor, tstellarAMD, t.p.northover, spatel

Differential Revision: https://reviews.llvm.org/D14834

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282600 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[AVR] Import the LLVM namespace inside AVRMCTargetDesc.cpp
Dylan McKay [Wed, 28 Sep 2016 15:35:26 +0000 (15:35 +0000)]
[AVR] Import the LLVM namespace inside AVRMCTargetDesc.cpp

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282598 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[AVR] Add AVRMCTargetDesc.cpp
Dylan McKay [Wed, 28 Sep 2016 15:31:12 +0000 (15:31 +0000)]
[AVR] Add AVRMCTargetDesc.cpp

Summary:
This adds the AVRMCTargetDesc file in tree. It allows creation of the
core classes used in the backend.

Reviewers: arsenm, kparzysz

Subscribers: wdng, beanz, mgorny

Differential Revision: https://reviews.llvm.org/D25023

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282597 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[AVR] Update the signature of createAVRAsmBackend
Dylan McKay [Wed, 28 Sep 2016 14:35:07 +0000 (14:35 +0000)]
[AVR] Update the signature of createAVRAsmBackend

It has been recently changed to also take a MCTargetOptions structure.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282594 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[AVR] Enable the assembly parser
Dylan McKay [Wed, 28 Sep 2016 14:34:42 +0000 (14:34 +0000)]
[AVR] Enable the assembly parser

We very recently landed the code. This commit enables the parser.

It also adds a missing include to AVRAsmParser.cpp

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282593 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[InstSimplify] allow or-of-icmps folds with vector splat constants
Sanjay Patel [Wed, 28 Sep 2016 14:27:21 +0000 (14:27 +0000)]
[InstSimplify] allow or-of-icmps folds with vector splat constants

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282592 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[InstSimplify] add vector splat tests for or-of-icmps
Sanjay Patel [Wed, 28 Sep 2016 14:17:35 +0000 (14:17 +0000)]
[InstSimplify] add vector splat tests for or-of-icmps

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282591 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[InstSimplify] allow and-of-icmps folds with vector splat constants
Sanjay Patel [Wed, 28 Sep 2016 13:53:13 +0000 (13:53 +0000)]
[InstSimplify] allow and-of-icmps folds with vector splat constants

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282590 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[AVR] Merge most recent changes to AVRInstrInfo.td
Dylan McKay [Wed, 28 Sep 2016 13:44:02 +0000 (13:44 +0000)]
[AVR] Merge most recent changes to AVRInstrInfo.td

This adds two new things:

- Operand types per fixup
- Atomic pseudo operations

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282588 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[AVR] Update the data layout
Dylan McKay [Wed, 28 Sep 2016 13:29:10 +0000 (13:29 +0000)]
[AVR] Update the data layout

The previous data layout caused issues when dealing with atomics.

Foe example, it is illegal to load a 16-bit value with less than 16-bits
of alignment.

This changes the data layout so that all types are aligned by at least
their own width.

Interestingly, this also _slightly_ decreased register pressure in some
cases.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282587 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[AVR] Handle AVR relocations when handling ELF files
Dylan McKay [Wed, 28 Sep 2016 13:23:42 +0000 (13:23 +0000)]
[AVR] Handle AVR relocations when handling ELF files

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282586 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[AVR] Allow llvm-objdump to handle AVR ELF files
Dylan McKay [Wed, 28 Sep 2016 13:15:17 +0000 (13:15 +0000)]
[AVR] Allow llvm-objdump to handle AVR ELF files

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282585 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[AVR] Add assembly parser
Dylan McKay [Wed, 28 Sep 2016 13:02:57 +0000 (13:02 +0000)]
[AVR] Add assembly parser

Summary: This patch adds the AVRAsmParser library.

Reviewers: arsenm, kparzysz

Subscribers: wdng, beanz, mgorny, kparzysz, simoncook, jtbandes, llvm-commits

Differential Revision: https://reviews.llvm.org/D20046

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282584 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[X86][FastISel] Use a COPY from K register to a GPR instead of a K operation
Guy Blank [Wed, 28 Sep 2016 11:22:17 +0000 (11:22 +0000)]
[X86][FastISel] Use a COPY from K register to a GPR instead of a K operation

The KORTEST was introduced due to a bug where a TEST instruction used a K register.
but, turns out that the opposite case of KORTEST using a GPR is now happening

The change removes the KORTEST flow and adds a COPY instruction from the K reg to a GPR.

Differential Revision: https://reviews.llvm.org/D24953

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282580 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoStrip trailing whitespace
Simon Pilgrim [Wed, 28 Sep 2016 11:08:00 +0000 (11:08 +0000)]
Strip trailing whitespace

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282579 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[SystemZ] Implementation of getUnrollingPreferences().
Jonas Paulsson [Wed, 28 Sep 2016 09:41:38 +0000 (09:41 +0000)]
[SystemZ] Implementation of getUnrollingPreferences().

This commit enables more unrolling for SystemZ by implementing the
SystemZTargetTransformInfo::getUnrollingPreferences() method.

It has been found that it is better to only unroll moderately, so the
DefaultUnrollRuntimeCount has been moved into UnrollingPreferences in order
to set this to a lower value for SystemZ (4).

Reviewers: Evgeny Stupachenko, Ulrich Weigand.
https://reviews.llvm.org/D24451

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282570 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[DAG] Remove isVectorClearMaskLegal() check from vector_build dagcombine
Michael Kuperstein [Wed, 28 Sep 2016 06:13:58 +0000 (06:13 +0000)]
[DAG] Remove isVectorClearMaskLegal() check from vector_build dagcombine

This check currently doesn't seem to do anything useful on any in-tree target:
On non-x86, it always evaluates to false, so we never hit the code path that
creates the shuffle with zero.
On x86, it just forwards to isShuffleMaskLegal(), which is a reasonable thing to
query in general, but doesn't make sense if only restricted to zero blends.

Differential Revision: https://reviews.llvm.org/D24625

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282567 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[LTO] Mark member function as const to fix compiler errors.
Davide Italiano [Wed, 28 Sep 2016 01:49:07 +0000 (01:49 +0000)]
[LTO] Mark member function as const to fix compiler errors.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282563 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[libFuzzer] speedup TracePC::FinalizeTrace
Kostya Serebryany [Wed, 28 Sep 2016 01:16:24 +0000 (01:16 +0000)]
[libFuzzer] speedup TracePC::FinalizeTrace

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282562 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[LAA] Rename emitAnalysis to recordAnalys. NFC
Adam Nemet [Wed, 28 Sep 2016 00:58:36 +0000 (00:58 +0000)]
[LAA] Rename emitAnalysis to recordAnalys. NFC

Ever since LAA was split out into an analysis on its own, this function
stopped emitting the report directly.  Instead it stores it to be
retrieved by the client which can then emit it as its own report
(e.g. -Rpass-analysis=loop-vectorize).

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282561 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[Inliner] Port all opt remarks to new streaming API
Adam Nemet [Tue, 27 Sep 2016 23:47:03 +0000 (23:47 +0000)]
[Inliner] Port all opt remarks to new streaming API

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282559 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoPass -S to opt in this test to avoid printing binary on mismatch
Adam Nemet [Tue, 27 Sep 2016 23:46:59 +0000 (23:46 +0000)]
Pass -S to opt in this test to avoid printing binary on mismatch

The purpose of the test is to verify diagnostics.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282558 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoNext set of additional error checks for invalid Mach-O files for the
Kevin Enderby [Tue, 27 Sep 2016 23:24:13 +0000 (23:24 +0000)]
Next set of additional error checks for invalid Mach-O files for the
other load commands that use the MachO::dylinker_command type
but not used in llvm libObject code but used in llvm tool code.

This includes LC_ID_DYLINKER, LC_LOAD_DYLINKER
and LC_DYLD_ENVIRONMENT load commands.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282553 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[CMake] Force CMP0057 to NEW
Chris Bieneman [Tue, 27 Sep 2016 23:18:32 +0000 (23:18 +0000)]
[CMake] Force CMP0057 to NEW

Hans reported an issue with r282510 on the list. This should resolve the issue.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282552 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[LTO] Add an API to check if a symbol is a TLS one.
Davide Italiano [Tue, 27 Sep 2016 22:59:29 +0000 (22:59 +0000)]
[LTO] Add an API to check if a symbol is a TLS one.

Will be used in lld.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282551 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[AArch64][RegisterBankInfo] Switch to statically allocated ValueMapping.
Quentin Colombet [Tue, 27 Sep 2016 22:55:04 +0000 (22:55 +0000)]
[AArch64][RegisterBankInfo] Switch to statically allocated ValueMapping.

Another step toward TableGen'ed like structure for the RegisterBankInfo
of AArch64. By doing this, we also save a bit of compile time for the
exact same output.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282550 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[AArch64][RegisterBankInfo] Fix copy/paste in comments.
Quentin Colombet [Tue, 27 Sep 2016 22:54:57 +0000 (22:54 +0000)]
[AArch64][RegisterBankInfo] Fix copy/paste in comments.

NFC.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282549 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[x86] add folds for FP logic with vector zeros
Sanjay Patel [Tue, 27 Sep 2016 22:28:13 +0000 (22:28 +0000)]
[x86] add folds for FP logic with vector zeros

The 'or' case shows up in copysign. The copysign code also had
redundant checking for a scalar zero operand with 'and', so I
removed that.

I'm not sure how to test vector 'and', 'andn', and 'xor' yet,
but it seems better to just include all of the logic ops since
we're fixing 'or' anyway.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282546 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoShorten DiagnosticInfoOptimizationRemark* to OptimizationRemark*. NFC
Adam Nemet [Tue, 27 Sep 2016 22:19:23 +0000 (22:19 +0000)]
Shorten DiagnosticInfoOptimizationRemark* to OptimizationRemark*. NFC

With the new streaming interface, these class names need to be typed a
lot and it's way too looong.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282544 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[TargetRegisterInfo, AArch64] Add target hook for isConstantPhysReg().
Geoff Berry [Tue, 27 Sep 2016 22:17:27 +0000 (22:17 +0000)]
[TargetRegisterInfo, AArch64] Add target hook for isConstantPhysReg().

Summary:
The current implementation of isConstantPhysReg() checks for defs of
physical registers to determine if they are constant.  Some
architectures (e.g. AArch64 XZR/WZR) have registers that are constant
and may be used as destinations to indicate the generated value is
discarded, preventing isConstantPhysReg() from returning true.  This
change adds a TargetRegisterInfo hook that overrides the no defs check
for cases such as this.

Reviewers: MatzeB, qcolombet, t.p.northover, jmolloy

Subscribers: junbuml, aemerson, mcrosier, rengolin

Differential Revision: https://reviews.llvm.org/D24570

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282543 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[Inliner] Fold the analysis remark into the missed remark
Adam Nemet [Tue, 27 Sep 2016 21:58:17 +0000 (21:58 +0000)]
[Inliner] Fold the analysis remark into the missed remark

There is really no reason for these to be separate.

The vectorizer started this pretty bad tradition that the text of the
missed remarks is pretty meaningless, i.e. vectorization failed.  There,
you have to query analysis to get the full picture.

I think we should just explain the reason for missing the optimization
in the missed remark when possible.  Analysis remarks should provide
information that the pass gathers regardless whether the optimization is
passing or not.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282542 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[LoopSimplify] When simplifying phis in loop-simplify, do it only if it preserves...
Michael Zolotukhin [Tue, 27 Sep 2016 21:03:45 +0000 (21:03 +0000)]
[LoopSimplify] When simplifying phis in loop-simplify, do it only if it preserves LCSSA form.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282541 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoOutput optimization remarks in YAML
Adam Nemet [Tue, 27 Sep 2016 20:55:07 +0000 (20:55 +0000)]
Output optimization remarks in YAML

(Re-committed after moving the template specialization under the yaml
namespace.  GCC was complaining about this.)

This allows various presentation of this data using an external tool.
This was first recommended here[1].

As an example, consider this module:

  1 int foo();
  2 int bar();
  3
  4 int baz() {
  5   return foo() + bar();
  6 }

The inliner generates these missed-optimization remarks today (the
hotness information is pulled from PGO):

  remark: /tmp/s.c:5:10: foo will not be inlined into baz (hotness: 30)
  remark: /tmp/s.c:5:18: bar will not be inlined into baz (hotness: 30)

Now with -pass-remarks-output=<yaml-file>, we generate this YAML file:

  --- !Missed
  Pass:            inline
  Name:            NotInlined
  DebugLoc:        { File: /tmp/s.c, Line: 5, Column: 10 }
  Function:        baz
  Hotness:         30
  Args:
    - Callee: foo
    - String:  will not be inlined into
    - Caller: baz
  ...
  --- !Missed
  Pass:            inline
  Name:            NotInlined
  DebugLoc:        { File: /tmp/s.c, Line: 5, Column: 18 }
  Function:        baz
  Hotness:         30
  Args:
    - Callee: bar
    - String:  will not be inlined into
    - Caller: baz
  ...

This is a summary of the high-level decisions:

* There is a new streaming interface to emit optimization remarks.
E.g. for the inliner remark above:

   ORE.emit(DiagnosticInfoOptimizationRemarkMissed(
                DEBUG_TYPE, "NotInlined", &I)
            << NV("Callee", Callee) << " will not be inlined into "
            << NV("Caller", CS.getCaller()) << setIsVerbose());

NV stands for named value and allows the YAML client to process a remark
using its name (NotInlined) and the named arguments (Callee and Caller)
without parsing the text of the message.

Subsequent patches will update ORE users to use the new streaming API.

* I am using YAML I/O for writing the YAML file.  YAML I/O requires you
to specify reading and writing at once but reading is highly non-trivial
for some of the more complex LLVM types.  Since it's not clear that we
(ever) want to use LLVM to parse this YAML file, the code supports and
asserts that we're writing only.

On the other hand, I did experiment that the class hierarchy starting at
DiagnosticInfoOptimizationBase can be mapped back from YAML generated
here (see D24479).

* The YAML stream is stored in the LLVM context.

* In the example, we can probably further specify the IR value used,
i.e. print "Function" rather than "Value".

* As before hotness is computed in the analysis pass instead of
DiganosticInfo.  This avoids the layering problem since BFI is in
Analysis while DiagnosticInfo is in IR.

[1] https://reviews.llvm.org/D19678#419445

Differential Revision: https://reviews.llvm.org/D24587

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282539 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoSort headers
Adam Nemet [Tue, 27 Sep 2016 20:55:01 +0000 (20:55 +0000)]
Sort headers

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282538 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[cmake] Support overriding remaining HTML doc install directories
Michal Gorny [Tue, 27 Sep 2016 19:52:29 +0000 (19:52 +0000)]
[cmake] Support overriding remaining HTML doc install directories

Support overriding the Doxygen & OCamldoc install directories,
and provide a more FHS-compliant defaults for both of them. This extends
r282240 that added this override for Sphinx-built documentation.

LLVM_INSTALL_DOXYGEN_HTML_DIR and LLVM_INSTALL_OCAMLDOC_HTML_DIR are
added, to control the location where Doxygen-generated and
OCamldoc-generated HTML docs are installed appropriately. They both
specify CMake-style install paths, and therefore can either by relative
to the install prefix or absolute.

The new defaults are subdirectories of share/doc/llvm, and replace
the previous directories of 'docs/html' and 'docs/ocaml/html' that
resulted in creating invalid '/usr/docs' that furthermore lacked proper
namespacing for the LLVM package. The new defaults are consistent with
the ones used for Sphinx HTML documentation, differing only in the last
component. Since the 'html' subdirectory is already used for Sphinx
docs, the 'doxygen-html' and 'ocaml-html' directories are used instead.

Differential Revision: https://reviews.llvm.org/D24935

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282536 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoFix a typo, depricated -> deprecated
Martin Storsjo [Tue, 27 Sep 2016 19:45:30 +0000 (19:45 +0000)]
Fix a typo, depricated -> deprecated

Differential Revision: https://reviews.llvm.org/D22849

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282534 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoStatistic: Bring back printing on exit by default
Matthias Braun [Tue, 27 Sep 2016 19:38:55 +0000 (19:38 +0000)]
Statistic: Bring back printing on exit by default

Turns out several external projects relied on llvm printing statistics
on exit. Let's go back to this behaviour by default and have an optional
parameter to disable it.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282532 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[lit] Add instructions to run lit's test suite
Daniel Dunbar [Tue, 27 Sep 2016 18:58:50 +0000 (18:58 +0000)]
[lit] Add instructions to run lit's test suite

 - Patch by Brian Gesiak.

 - https://reviews.llvm.org/D24968

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282525 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[llvm-cxxfilt] Use llvm::outs(). Simplify.
Davide Italiano [Tue, 27 Sep 2016 18:50:30 +0000 (18:50 +0000)]
[llvm-cxxfilt] Use llvm::outs(). Simplify.

This adds a dependency on Support/. As llvm-cxxfilt will grow
support for options this will be needed anyway.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282523 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[x86] use isNullFPConstant(); NFCI
Sanjay Patel [Tue, 27 Sep 2016 18:48:02 +0000 (18:48 +0000)]
[x86] use isNullFPConstant(); NFCI

Also, put the related FP logic functions together to see the similarities.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282522 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[DebugInfo] Add comments to phi dbg.value tracking code, NFC
Reid Kleckner [Tue, 27 Sep 2016 18:45:31 +0000 (18:45 +0000)]
[DebugInfo] Add comments to phi dbg.value tracking code, NFC

LLVM developers might be surprised to learn that there are blocks
without valid insertion points (catchswitch), so it seems worth calling
that out explicitly.  Also add a FIXME about what we should really be
doing if we ever need to make optimized Windows EH code debuggable.

While I'm here, make auto usage more consistent with LLVM standards and
avoid an unecessary call to insertBefore.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282521 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[RDF] Add "dead" flag to node attributes
Krzysztof Parzyszek [Tue, 27 Sep 2016 18:24:33 +0000 (18:24 +0000)]
[RDF] Add "dead" flag to node attributes

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282520 91177308-0d34-0410-b5e6-96231b3b80d8

7 years ago[RDF] Special treatment of exception handling registers
Krzysztof Parzyszek [Tue, 27 Sep 2016 18:18:44 +0000 (18:18 +0000)]
[RDF] Special treatment of exception handling registers

A landing pad can have live-in registers that are defined by the runtime,
not the program (exception pointer register and exception selector
register). Make sure to recognize that case and not link these registers
with any defs in the program.
Each landing pad will have phi nodes added at the beginning to provide
definitions of these registers, but the uses of those phi nodes will not
have any reaching defs.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282519 91177308-0d34-0410-b5e6-96231b3b80d8

7 years agoImprove CMake output of host and target triple
Chris Bieneman [Tue, 27 Sep 2016 18:08:40 +0000 (18:08 +0000)]
Improve CMake output of host and target triple

Summary:
The previous output was confusing as it would output "Taget triple:
x86_64-unknown-linux-gnu" even when LLVM_HOST_TRIPLE or
LLVM_DEFAULT_TARGET_TRIPLE were set on the CMake command line

Patch by: Alex Richardson!

Reviewers: beanz

Subscribers: Eugene.Zelenko

Differential Revision: https://reviews.llvm.org/D17067

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282516 91177308-0d34-0410-b5e6-96231b3b80d8