OSDN Git Service
Diana Picus [Tue, 29 Aug 2017 09:47:55 +0000 (09:47 +0000)]
[ARM] GlobalISel: Select globals in PIC mode
Support the selection of G_GLOBAL_VALUE in the PIC relocation model. For
simplicity we use the same pseudoinstructions for both Darwin and ELF:
(MOV|LDRLIT)_ga_pcrel(_ldr).
This is new for ELF, so it requires a small update to the ARM pseudo
expansion pass to make sure it adds the correct constant pool modifier
and add-current-address in the case of ELF.
Differential Revision: https://reviews.llvm.org/D36507
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311992
91177308-0d34-0410-b5e6-
96231b3b80d8
Diana Picus [Tue, 29 Aug 2017 09:00:58 +0000 (09:00 +0000)]
[ARM] GlobalISel: Rename tests. NFC.
The checks are complicated enough as it is, there's no use cramming PIC
in there as well...
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311989
91177308-0d34-0410-b5e6-
96231b3b80d8
Eric Christopher [Tue, 29 Aug 2017 08:23:46 +0000 (08:23 +0000)]
Revert "The current version of LLVM X86 disassembler incorrectly interprets some possible sets of x86 prefixes. This patch is the first step to close PR7709 and PR17697. There will be next patch(es) to close relative PRs." temporarily while some regressions are addressed.
This reverts commit r311882.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311987
91177308-0d34-0410-b5e6-
96231b3b80d8
Max Kazantsev [Tue, 29 Aug 2017 07:32:20 +0000 (07:32 +0000)]
[LSR] Fix Shadow IV in case of integer overflow
When LSR processes code like
int accumulator = 0;
for (int i = 0; i < N; i++) {
accummulator += i;
use((double) accummulator);
}
It may decide to replace integer `accumulator` with a double Shadow IV to get rid
of casts. The problem with that is that the `accumulator`'s value may overflow.
Starting from this moment, the behavior of integer and double accumulators
will differ.
This patch strenghtens up the conditions of Shadow IV mechanism applicability.
We only allow it for IVs that are proved to be `AddRec`s with `nsw`/`nuw` flag.
Differential Revision: https://reviews.llvm.org/D37209
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311986
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Topper [Tue, 29 Aug 2017 07:08:39 +0000 (07:08 +0000)]
[InstCombine] Uncomment two test cases that were commented out with a TODO about them not optimizing.
If we can't see the current code how will we ever know if they get fixed or even what the problem is?
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311985
91177308-0d34-0410-b5e6-
96231b3b80d8
Max Kazantsev [Tue, 29 Aug 2017 05:30:58 +0000 (05:30 +0000)]
[NFC] Fix indents in test
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311982
91177308-0d34-0410-b5e6-
96231b3b80d8
Max Kazantsev [Tue, 29 Aug 2017 05:20:56 +0000 (05:20 +0000)]
[NFC] Refactor ShadowIV test to use FileCheck
Also get rid of unnamed values that make the test hard to read.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311980
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Topper [Tue, 29 Aug 2017 05:14:27 +0000 (05:14 +0000)]
Mark Knights Landing as having slow two memory operand instructions
Summary: Knights Landing, because it is Atom derived, has slow two memory operand instructions. Mark the Knights Landing CPU model accordingly.
Patch by David Zarzycki.
Reviewers: craig.topper
Reviewed By: craig.topper
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D37224
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311979
91177308-0d34-0410-b5e6-
96231b3b80d8
Bob Haarman [Tue, 29 Aug 2017 04:08:31 +0000 (04:08 +0000)]
Revert "[codeview] support more DW_OPs for more complete debug info"
This reverts commit
e160912f53f047bc97e572add179e08e33f4df48.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311977
91177308-0d34-0410-b5e6-
96231b3b80d8
Bob Haarman [Tue, 29 Aug 2017 04:08:16 +0000 (04:08 +0000)]
Revert "[codeview] don't try to emit variable locations without registers"
This reverts commit
a256fbcacf448ee793d23552c46ed2971bf9eff5.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311976
91177308-0d34-0410-b5e6-
96231b3b80d8
Petr Hosek [Tue, 29 Aug 2017 02:12:03 +0000 (02:12 +0000)]
Reland "[llvm] Add symbol table support to llvm-objcopy"
This change adds support for SHT_SYMTAB sections.
Patch by Jake Ehrlich
Differential Revision: https://reviews.llvm.org/D34167
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311974
91177308-0d34-0410-b5e6-
96231b3b80d8
Stephen Hines [Tue, 29 Aug 2017 02:07:28 +0000 (02:07 +0000)]
Enable building LLVMgold.dll under mingw.
Summary:
Plugins can (and should) be enabled under mingw if we are building
libLLVM.dll, so this is just a missed case. This allows LLVMgold.dll to
be built now under mingw.
Reviewers: llvm-commits, pirama, beanz, chapuni
Reviewed By: chapuni
Subscribers: chapuni, mgorny
Differential Revision: https://reviews.llvm.org/D37116
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311973
91177308-0d34-0410-b5e6-
96231b3b80d8
Yuka Takahashi [Tue, 29 Aug 2017 02:01:56 +0000 (02:01 +0000)]
[Bash-autocompletion] Add support for -std=
Summary:
Add support for autocompleting values of -std= by including
LangStandards.def. This patch relies on D36782, and is using two-stage
code generation.
Reviewers: v.g.vassilev, teemperor, ruiu
Subscribers: cfe-commits
Differential Revision: https://reviews.llvm.org/D36820
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311971
91177308-0d34-0410-b5e6-
96231b3b80d8
Bob Haarman [Tue, 29 Aug 2017 01:45:54 +0000 (01:45 +0000)]
[codeview] don't try to emit variable locations without registers
This fixes a problem introduced 311957, where the compiler would crash
with "fatal error: error in backend: unknown codeview register".
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311969
91177308-0d34-0410-b5e6-
96231b3b80d8
Kostya Serebryany [Tue, 29 Aug 2017 01:14:05 +0000 (01:14 +0000)]
fix llvm-dwarfdump-fuzzer.cpp to use the current libFuzzer API
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311968
91177308-0d34-0410-b5e6-
96231b3b80d8
Juergen Ributzka [Tue, 29 Aug 2017 00:34:56 +0000 (00:34 +0000)]
Re-apply "Fix cmake check for futimens when deploying to earlier macOS releases."
This fixes an issue with the use of LLVM_PARALLEL_LINK_JOBS.
Original commit message:
macOS 10.13 added a new API (futimens). This API is only available on macOS 10.13
and later, but the cmake check we have in place only tests if the symbol is
present and ignores the availability attribute. Luckily we have new warning for
this and by making this warning an error the cmake check will return the correct
result.
See also rdar://problem/
33992750.
Differential Revision: https://reviews.llvm.org/D37027
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311965
91177308-0d34-0410-b5e6-
96231b3b80d8
Justin Bogner [Tue, 29 Aug 2017 00:22:08 +0000 (00:22 +0000)]
Implement llvm-isel-fuzzer for fuzzing instruction selection
This implements a fuzzer tool for instruction selection, as described
in my [EuroLLVM 2017 talk][1].
The fuzzer must be given both libFuzzer args and llc-like args to
configure the backend. For example, to fuzz AArch64 GlobalISel at -O0,
you could invoke like so:
llvm-isel-fuzzer <corpus dirs> -ignore_remaining_args=1 \
-mtriple arm64-apple-ios -global-isel -O0
If you would like to seed the fuzzer with an initial corpus, simply
provide a directory of valid LLVM bitcode (not textual IR) as one of
the corpus dirs.
[1]: http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#2
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311964
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Topper [Tue, 29 Aug 2017 00:13:49 +0000 (00:13 +0000)]
[InstCombine] Teach foldSelectICmpAndOr to handle vector splats
This was pretty close to working already. While I was here I went ahead and passed the ICmpInst pointer from the caller instead of doing a dyn_cast that can never fail.
Differential Revision: https://reviews.llvm.org/D37237
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311960
91177308-0d34-0410-b5e6-
96231b3b80d8
Justin Bogner [Tue, 29 Aug 2017 00:11:05 +0000 (00:11 +0000)]
[sanitizer-coverage] Mark the guard and 8-bit counter arrays as used
In r311742 we marked the PCs array as used so it wouldn't be dead
stripped, but left the guard and 8-bit counters arrays alone since
these are referenced by the coverage instrumentation. This doesn't
quite work if we want the indices of the PCs array to match the other
arrays though, since elements can still end up being dead and
disappear.
Instead, we mark all three of these arrays as used so that they'll be
consistent with one another.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311959
91177308-0d34-0410-b5e6-
96231b3b80d8
Yuka Takahashi [Tue, 29 Aug 2017 00:09:31 +0000 (00:09 +0000)]
Revert "Revert r311552: [Bash-autocompletion] Add support for static analyzer flags"
This reverts commit
7c46b80c022e18d43c1fdafb117b0c409c5a6d1e.
r311552 broke lld buildbot because I've changed OptionInfos type from
ArrayRef to vector. However the bug is fixed, so I'll commit this again.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311958
91177308-0d34-0410-b5e6-
96231b3b80d8
Bob Haarman [Tue, 29 Aug 2017 00:06:59 +0000 (00:06 +0000)]
[codeview] support more DW_OPs for more complete debug info
Summary:
Some variables show up in Visual Studio as "optimized out" even in -O0
-Od builds. This change fixes two issues that would cause this to
happen. The first issue is that not all DIExpressions we generate were
recognized by the CodeView writer. This has been addressed by adding
support for DW_OP_constu, DW_OP_minus, and DW_OP_plus. The second
issue is that we had no way to encode DW_OP_deref in CodeView. We get
around that by changinge the type we encode in the debug info to be
a reference to the type in the source code.
This fixes PR34261.
Reviewers: aprantl, rnk, zturner
Reviewed By: rnk
Subscribers: mgorny, llvm-commits, aprantl, hiraditya
Differential Revision: https://reviews.llvm.org/D36907
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311957
91177308-0d34-0410-b5e6-
96231b3b80d8
Marek Sokolowski [Mon, 28 Aug 2017 23:46:30 +0000 (23:46 +0000)]
[llvm-rc] Add MENU parsing ability (parser, pt 4/8).
This extends llvm-rc parsing tool by MENU resource
(msdn.microsoft.com/en-us/library/windows/desktop/
aa381025(v=vs.85).aspx).
As for now, MENUEX
(msdn.microsoft.com/en-us/library/windows/desktop/
aa381023(v=vs.85).aspx)
seems unnecessary.
Thanks for Nico Weber for his original work in this area.
Differential Revision: https://reviews.llvm.org/D36898
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311956
91177308-0d34-0410-b5e6-
96231b3b80d8
Justin Bogner [Mon, 28 Aug 2017 23:46:11 +0000 (23:46 +0000)]
[sanitizer-coverage] Return the array from CreatePCArray. NFC
Be more consistent with CreateFunctionLocalArrayInSection in the API
of CreatePCArray, and assign the member variable in the caller like we
do for the guard and 8-bit counter arrays.
This also tweaks the order of method declarations to match the order
of definitions in the file.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311955
91177308-0d34-0410-b5e6-
96231b3b80d8
Justin Bogner [Mon, 28 Aug 2017 23:38:12 +0000 (23:38 +0000)]
[sanitizer-coverage] Clean up trailing whitespace. NFC
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311954
91177308-0d34-0410-b5e6-
96231b3b80d8
Juergen Ributzka [Mon, 28 Aug 2017 23:24:03 +0000 (23:24 +0000)]
Revert "Fix cmake check for futimens when deploying to earlier macOS releases."
This reverts r311949. The ARM bots don't like it.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311953
91177308-0d34-0410-b5e6-
96231b3b80d8
Adrian Prantl [Mon, 28 Aug 2017 23:07:43 +0000 (23:07 +0000)]
Fix a logic error in DwarfExpression::addMachineReg()
This fixes PR34323 and thus splitting undescribable registers into
smaller, describable sub-registers.
https://bugs.llvm.org/show_bug.cgi?id=34323
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311951
91177308-0d34-0410-b5e6-
96231b3b80d8
Juergen Ributzka [Mon, 28 Aug 2017 23:04:38 +0000 (23:04 +0000)]
Fix cmake check for futimens when deploying to earlier macOS releases.
macOS 10.13 added a new API (futimens). This API is only available on macOS 10.13
and later, but the cmake check we have in place only tests if the symbol is
present and ignores the availability attribute. Luckily we have new warning for
this and by making this warning an error the cmake check will return the correct
result.
See also rdar://problem/
33992750.
Differential Revision: https://reviews.llvm.org/D37027
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311949
91177308-0d34-0410-b5e6-
96231b3b80d8
Adam Nemet [Mon, 28 Aug 2017 23:00:13 +0000 (23:00 +0000)]
Remove an unnecessary const_cast.
I think that this is dating back to when emit used to take a const reference.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311948
91177308-0d34-0410-b5e6-
96231b3b80d8
Marek Sokolowski [Mon, 28 Aug 2017 22:58:31 +0000 (22:58 +0000)]
[llvm-rc] Add ACCELERATORS parsing ability. (parser, pt 3/8).
This improves the current llvm-rc parser by the ability of parsing
ACCELERATORS statement.
Moreover, some small improvements to the original parsing commit
were made.
Thanks for Nico Weber for his original work in this area.
Differential Revision: https://reviews.llvm.org/D36894
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311946
91177308-0d34-0410-b5e6-
96231b3b80d8
Evandro Menezes [Mon, 28 Aug 2017 22:51:52 +0000 (22:51 +0000)]
[AArch64] Adjust the cost model for Exynos M1 and M2
Add new predicate to more accurately model the scheduling around branches
and function calls and of loads and stores of pairs and integer
multiplications.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311944
91177308-0d34-0410-b5e6-
96231b3b80d8
Evandro Menezes [Mon, 28 Aug 2017 22:51:32 +0000 (22:51 +0000)]
[AArch64] Adjust the cost model for Exynos M1 and M2
Add new predicate to more accurately model the cost of arithmetic and
logical operations shifted left.
Differential revision: https://reviews.llvm.org/D37151
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311943
91177308-0d34-0410-b5e6-
96231b3b80d8
Kamil Rytarowski [Mon, 28 Aug 2017 22:13:52 +0000 (22:13 +0000)]
Define NetBSD/amd64 ASAN Shadow Offset
Summary:
Catch up after compiler-rt changes and define kNetBSD_ShadowOffset64
as (1ULL << 46).
Sponsored by <The NetBSD Foundation>
Reviewers: kcc, joerg, filcab, vitalybuka, eugenis
Reviewed By: eugenis
Subscribers: llvm-commits, #sanitizers
Tags: #sanitizers
Differential Revision: https://reviews.llvm.org/D37234
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311941
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Topper [Mon, 28 Aug 2017 22:00:27 +0000 (22:00 +0000)]
[InstCombine] Teach select01 helper of foldSelectIntoOp to handle vector splats
We were handling some vectors in foldSelectIntoOp, but not if the operand of the bin op was any kind of vector constant. This patch fixes it to treat vector splats the same as scalars.
Differential Revision: https://reviews.llvm.org/D37232
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311940
91177308-0d34-0410-b5e6-
96231b3b80d8
Marek Sokolowski [Mon, 28 Aug 2017 21:59:54 +0000 (21:59 +0000)]
[llvm-rc] Add ICON and HTML parsing ability (parser, pt 2/8).
This extends the current llvm-rc parser by ICON and HTML resources.
Moreover, some tests have been slightly rewritten.
Thanks for Nico Weber for his original work in this area.
Differential Revision: https://reviews.llvm.org/D36891
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311939
91177308-0d34-0410-b5e6-
96231b3b80d8
Sanjay Patel [Mon, 28 Aug 2017 21:14:26 +0000 (21:14 +0000)]
[InstCombine] add tests to show failure of SimplifyDemandedVectorElts + shuffle combining; NFC
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311934
91177308-0d34-0410-b5e6-
96231b3b80d8
Geoff Berry [Mon, 28 Aug 2017 20:48:43 +0000 (20:48 +0000)]
[AArch64][Falkor] Avoid generating STRQro* instructions
Summary:
STRQro* instructions are slower than the alternative ADD/STRQui expanded
instructions on Falkor, so avoid generating them unless we're optimizing
for code size.
Reviewers: t.p.northover, mcrosier
Subscribers: aemerson, rengolin, javed.absar, kristof.beyls, llvm-commits
Differential Revision: https://reviews.llvm.org/D37020
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311931
91177308-0d34-0410-b5e6-
96231b3b80d8
Davide Italiano [Mon, 28 Aug 2017 20:29:33 +0000 (20:29 +0000)]
[LoopUnroll] Properly update loop structure in case of successful peeling.
When peeling kicks in, it updates the loop preheader.
Later, a successful full unroll of the loop needs to update a PHI
which i-th argument comes from the loop preheader, so it'd better look
at the correct block. Fixes PR33437.
Differential Revision: https://reviews.llvm.org/D37153
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311922
91177308-0d34-0410-b5e6-
96231b3b80d8
Joerg Sonnenberger [Mon, 28 Aug 2017 20:20:47 +0000 (20:20 +0000)]
Fix ARMv4 support
ARMv4 doesn't support the "BX" instruction, which has been introduced
with ARMv4t. Adjust the call lowering and tail call implementation
accordingly.
Further changes are necessary to ensure that presence of the v4t feature
is correctly set. Most importantly, the "generic" CPU for thumb-*
triples should include ARMv4t, since thumb mode without thumb support
would naturally be pointless.
Add a couple of asserts to ensure thumb instructions are not emitted
without CPU support.
Differential Revision: https://reviews.llvm.org/D37030
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311921
91177308-0d34-0410-b5e6-
96231b3b80d8
Matthias Braun [Mon, 28 Aug 2017 20:11:28 +0000 (20:11 +0000)]
Try to fix compilation problem with libstdc++
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311918
91177308-0d34-0410-b5e6-
96231b3b80d8
Matthias Braun [Mon, 28 Aug 2017 20:11:27 +0000 (20:11 +0000)]
Address r311914 review comments
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311917
91177308-0d34-0410-b5e6-
96231b3b80d8
Davide Italiano [Mon, 28 Aug 2017 19:50:55 +0000 (19:50 +0000)]
[LoopUnroll] Add a cl::opt to force peeling, for testing purposes.
Will be used to test the patch proposed in D37153.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311915
91177308-0d34-0410-b5e6-
96231b3b80d8
Matthias Braun [Mon, 28 Aug 2017 19:48:42 +0000 (19:48 +0000)]
TableGen: Fix subreg composition/concatenation
This fixes 2 problems in subregister hierarchies with multiple levels
and tuples:
1) For bigger tuples computing secondary subregs would miss 2nd order
effects. In the test case a register like `S10_S11_S12_S13_S14` with D5
= S10_S11, D6 = S12_S13 we would correctly compute sub0 = D5, sub1 = D6
but would miss the fact that we could now form ssub0_ssub1_ssub2_ssub3
(aka sub0_sub1) = D5_D6. This is fixed by changing
computeSecondarySubRegs() to compute a fixpoint.
2) Fixing 1) exposed a problem where TableGen would create multiple
names for effectively the same subregister index. In the test case
the subregister index sub0 is composed from ssub0 and ssub1, and sub1 is
composed from ssub2 and ssub3. TableGen should not create both sub0_sub1
and ssub0_ssub1_ssub2_ssub3 as infered subregister indexes. This changes
the code to build a transitive closure of the subregister components
before forming new concatenated subregister indexes.
This fix was developed for an out of tree target. For the in-tree
targets the only change is in the register information computed for ARM.
There is a slight chance this fixed/improved some register coalescing
around the QQQQ/QQ register classes there but I couldn't see/provoke any
code generation differences.
Differential Revision: https://reviews.llvm.org/D36913
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311914
91177308-0d34-0410-b5e6-
96231b3b80d8
Matthias Braun [Mon, 28 Aug 2017 19:48:40 +0000 (19:48 +0000)]
TableGen: Add -gen-register-info-debug-dump
Adds a new --gen-register-info-debug-dump mode to tablegen that dumps various register related information:
- List of register classes with super and subclasses
- List of subregister indexes with lanemasks
- List of registers with subregisters
I will use this in an upcoming commit to create a test.
It may also be useful for target developers wanting to get an overview
of all the register related information, esp. the things inferred by
tablegen and not directly visible in the .td file.
Differential Revision: https://reviews.llvm.org/D36911
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311913
91177308-0d34-0410-b5e6-
96231b3b80d8
Geoff Berry [Mon, 28 Aug 2017 19:03:45 +0000 (19:03 +0000)]
[ARM] Fix bug in ARMLoadStoreOptimizer when kill flags are missing.
Summary:
ARMLoadStoreOpt::FixInvalidRegPairOp() was only checking if one of the
load destination registers to be split overlapped with the base register
if the base register was marked as killed. Since kill flags may not
always be present, this can lead to incorrect code.
This bug was exposed by my MachineCopyPropagation change D30751 breaking
the sanitizer-x86_64-linux-android buildbot.
Also clean up some dead code and add an assert that a register offset is
never encountered by this code, since it does not handle them correctly.
Reviewers: MatzeB, qcolombet, t.p.northover
Subscribers: aemerson, javed.absar, kristof.beyls, mcrosier, llvm-commits
Differential Revision: https://reviews.llvm.org/D37164
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311907
91177308-0d34-0410-b5e6-
96231b3b80d8
Taewook Oh [Mon, 28 Aug 2017 18:57:00 +0000 (18:57 +0000)]
Create PHI node for the return value only when the return value has uses.
Summary:
Currently, a phi node is created in the normal destination to unify the return values from promoted calls and the original indirect call. This patch makes this phi node to be created only when the return value has uses.
This patch is necessary to generate valid code, as compiler crashes with the attached test case without this patch. Without this patch, an illegal phi node that has no incoming value from `entry`/`catch` is created in `cleanup` block.
I think existing implementation is good as far as there is at least one use of the original indirect call. `insertCallRetPHI` creates a new phi node in the normal destination block only when the original indirect call dominates its use and the normal destination block. Otherwise, `fixupPHINodeForNormalDest` will handle the unification of return values naturally without creating a new phi node. However, if there's no use, `insertCallRetPHI` still creates a new phi node even when the original indirect call does not dominate the normal destination block, because `getCallRetPHINode` returns false.
Reviewers: xur, davidxl, danielcdh
Reviewed By: xur
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D37176
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311906
91177308-0d34-0410-b5e6-
96231b3b80d8
Zachary Turner [Mon, 28 Aug 2017 18:49:04 +0000 (18:49 +0000)]
[CodeView] Don't output S_UDT symbols for forward decls.
S_UDT symbols are the debugger's "index" for all the structs,
typedefs, classes, and enums in a program. If any of those
structs/classes don't have a complete declaration, or if there
is a typedef to something that doesn't have a complete definition,
then emitting the S_UDT is unhelpful because it doesn't give
the debugger enough information to do anything useful. On the
other hand, it results in a huge size blow-up in the resulting
PDB, which is exacerbated by an order of magnitude when linking
with /DEBUG:FASTLINK.
With this patch, we drop S_UDT records for types that refer either
directly or indirectly (e.g. through a typedef, pointer, etc) to
a class/struct/union/enum without a complete definition. This
brings us about 50% of the way towards parity with /DEBUG:FASTLINK
PDBs generated from cl-compiled object files.
Differential Revision: https://reviews.llvm.org/D37162
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311904
91177308-0d34-0410-b5e6-
96231b3b80d8
Stefan Pintilie [Mon, 28 Aug 2017 18:46:01 +0000 (18:46 +0000)]
[Power9] Add new instructions for floating point status and control registers.
Added the following P9 instructions: mffsce, mffscdrn, mffscdrni, mffscrn,
mffscrni, mffsl
Differential Revision: https://reviews.llvm.org/D37167
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311903
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Topper [Mon, 28 Aug 2017 18:44:28 +0000 (18:44 +0000)]
[InstCombine] Call hasNoSignedWrap instead of hasNoUnsignedWrap to get the NSW flag when handling Add in SimplifyDemandedUseBits.
This is a typo from r311789.
This should fix PR34349.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311902
91177308-0d34-0410-b5e6-
96231b3b80d8
Krzysztof Parzyszek [Mon, 28 Aug 2017 18:36:21 +0000 (18:36 +0000)]
[Hexagon] Check for potential bank conflicts in post-RA scheduling
Insert artificial edges between loads that could cause a cache bank
conflict.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311901
91177308-0d34-0410-b5e6-
96231b3b80d8
Stanislav Mekhanoshin [Mon, 28 Aug 2017 18:00:08 +0000 (18:00 +0000)]
[AMDGPU] Fix regression in AMDGPULibCalls allowing native for doubles
Under -cl-fast-relaxed-math we could use native_sqrt, but f64 was
allowed to produce HSAIL's nsqrt instruction. HSAIL is not here
and we stick with non-existing native_sqrt(double) as a result.
Add check for f64 to not return native functions and also remove
handling of f64 case for fold_sqrt.
Differential Revision: https://reviews.llvm.org/D37223
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311900
91177308-0d34-0410-b5e6-
96231b3b80d8
Stanislav Mekhanoshin [Mon, 28 Aug 2017 16:35:37 +0000 (16:35 +0000)]
[AMDGPU] computeKnownBitsForTargetNode for 24 bit mul
Differential Revision: https://reviews.llvm.org/D37168
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311896
91177308-0d34-0410-b5e6-
96231b3b80d8
Krzysztof Parzyszek [Mon, 28 Aug 2017 16:24:22 +0000 (16:24 +0000)]
[Hexagon] Break up DAG mutations into separate classes, move to subtarget
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311895
91177308-0d34-0410-b5e6-
96231b3b80d8
Krzysztof Parzyszek [Mon, 28 Aug 2017 15:52:54 +0000 (15:52 +0000)]
[Hexagon] Move pre-RA DAG mutations to scheduler constructor
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311894
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Topper [Mon, 28 Aug 2017 15:32:50 +0000 (15:32 +0000)]
[X86] Make 128/256-bit extract_subvector Legal instead of Custom. Move combining with BUILD_VECTOR from Legalization to DAG combine
EXTRACT_SUBVECTOR was marked Custom solely so we could combine it with BUILD_VECTOR operations to create smaller BUILD_VECTORS during Legalization. But that sort of combining should really be done by the DAG combiner.
This patch adds the last piece of needed supported DAG combine to handle this. Once that's done we can make the EXTRACT_SUBVECTOR operations Legal.
Differential Revision: https://reviews.llvm.org/D37197
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311893
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Topper [Mon, 28 Aug 2017 15:28:33 +0000 (15:28 +0000)]
[DAGCombiner] Teach visitEXTRACT_SUBVECTOR to turn extracts of BUILD_VECTOR into smaller BUILD_VECTORs
Only do this before operations are legalized of BUILD_VECTOR is Legal for the target.
Differential Revision: https://reviews.llvm.org/D37186
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311892
91177308-0d34-0410-b5e6-
96231b3b80d8
Ilya Biryukov [Mon, 28 Aug 2017 15:12:24 +0000 (15:12 +0000)]
Changed Dockerfiles to install LLVM into /usr/local
Summary:
Previously, the installation path was simply '/'.
Using '/usr/local' would ensure that LLVM installation does not
conflict with software installed via package managers.
Reviewers: mehdi_amini, klimek
Reviewed By: klimek
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D37213
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311890
91177308-0d34-0410-b5e6-
96231b3b80d8
Evgeny Mankov [Mon, 28 Aug 2017 13:39:43 +0000 (13:39 +0000)]
[Support][CommandLine] Add cl::Option::setDefault()
Add abstract virtual method setDefault() to class Option and implement it in its inheritors in order to be able to set all the options to its default values in user's code without actually knowing all these options. For instance:
for (auto &OM : cl::getRegisteredOptions(*cl::TopLevelSubCommand)) {
cl::Option *O = OM.second;
O->setDefault();
}
Reviewed by: rampitec, Eugene.Zelenko, kasaurov
Differential Revision: http://reviews.llvm.org/D36877
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311887
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew V. Tischenko [Mon, 28 Aug 2017 10:43:14 +0000 (10:43 +0000)]
The current version of LLVM X86 disassembler incorrectly interprets some possible sets of x86 prefixes. This patch is the first step to close PR7709 and PR17697. There will be next patch(es) to close relative PRs.
Differential Revision: https://reviews.llvm.org/D36788
M lib/Target/X86/Disassembler/X86DisassemblerDecoder.cpp
M lib/Target/X86/Disassembler/X86DisassemblerDecoder.h
A test/MC/Disassembler/X86/prefixes-i386.s
A test/MC/Disassembler/X86/prefixes-x86_64.s
M test/MC/Disassembler/X86/prefixes.txt
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311882
91177308-0d34-0410-b5e6-
96231b3b80d8
Gadi Haber [Mon, 28 Aug 2017 10:04:16 +0000 (10:04 +0000)]
[X86][Haswell] Updating HSW instruction scheduling information
This patch completely replaces the instruction scheduling information for the Haswell architecture target by modifying the file X86SchedHaswell.td located under the X86 Target.
We used the scheduling information retrieved from the Haswell architects in order to replace and modify the existing scheduling.
The patch continues the scheduling replacement effort started with the SNB target in r307529 and r310792.
Information includes latency, number of micro-Ops and used ports by each HSW instruction.
Please expect some performance fluctuations due to code alignment effects.
Reviewers: RKSimon, zvi, aymanmus, craig.topper, m_zuckerman, igorb, dim, chandlerc, aaboud
Differential Revision: https://reviews.llvm.org/D36663
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311879
91177308-0d34-0410-b5e6-
96231b3b80d8
NAKAMURA Takumi [Mon, 28 Aug 2017 07:48:37 +0000 (07:48 +0000)]
Prune whitespaces in blank lines.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311876
91177308-0d34-0410-b5e6-
96231b3b80d8
NAKAMURA Takumi [Mon, 28 Aug 2017 06:47:47 +0000 (06:47 +0000)]
Untabify.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311875
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Topper [Mon, 28 Aug 2017 05:14:38 +0000 (05:14 +0000)]
[X86] Use getUnpackl helper to create an ISD::VECTOR_SHUFFLE instead of using X86ISD::UNPCKL in reduceVMULWidth.
This runs fairly early, we should use target independent nodes if possible.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311873
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Topper [Mon, 28 Aug 2017 04:29:08 +0000 (04:29 +0000)]
[X86] Add an early out to combineLoopMAddPattern and combineLoopSADPattern when SSE2 is disabled.
Without this the madd.ll and sad.ll test cases both throw assertions if you run them with SSE2 disabled.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311872
91177308-0d34-0410-b5e6-
96231b3b80d8
Lang Hames [Mon, 28 Aug 2017 03:36:46 +0000 (03:36 +0000)]
[Error] Add a handleExpected utility.
handleExpected is similar to handleErrors, but takes an Expected<T> as its first
input value and a fallback functor as its second, followed by an arbitary list
of error handlers (equivalent to the handler list of handleErrors). If the first
input value is a success value then it is returned from handleErrors
unmodified. Otherwise the contained error(s) are passed to handleErrors, along
with the handlers. If handleErrors returns success (indicating that all errors
have been handled) then handleExpected runs the fallback functor and returns its
result. If handleErrors returns a failure value then the failure value is
returned and the fallback functor is never run.
This simplifies the process of re-trying operations that return Expected values.
Without this utility such retry logic is cumbersome as the internal Error must
be explicitly extracted from the Expected value, inspected to see if its
handleable and then consumed:
enum FooStrategy { Aggressive, Conservative };
Expected<Foo> tryFoo(FooStrategy S);
Expected<Foo> Result;
(void)!!Result; // "Check" Result so that it can be safely overwritten.
if (auto ValOrErr = tryFoo(Aggressive))
Result = std::move(ValOrErr);
else {
auto Err = ValOrErr.takeError();
if (Err.isA<HandleableError>()) {
consumeError(std::move(Err));
Result = tryFoo(Conservative);
} else
return std::move(Err);
}
with handleExpected, this can be re-written as:
auto Result =
handleExpected(
tryFoo(Aggressive),
[]() { return tryFoo(Conservative); },
[](HandleableError&) { /* discard to handle */ });
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311870
91177308-0d34-0410-b5e6-
96231b3b80d8
Dehao Chen [Sun, 27 Aug 2017 22:22:39 +0000 (22:22 +0000)]
revert r310985 which breaks for the following case:
struct string {
~string();
};
void f2();
void f1(int) { f2(); }
void run(int c) {
string body;
while (true) {
if (c)
f1(c);
else
f1(c);
}
}
Will recommit once the issue is fixed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311864
91177308-0d34-0410-b5e6-
96231b3b80d8
Petar Jovanovic [Sun, 27 Aug 2017 21:07:24 +0000 (21:07 +0000)]
[mips] Generate NMADD and NMSUB instructions when fneg node is present
This patch enables generation of NMADD and NMSUB instructions when fneg node
is present. These instructions are currently only generated if fsub node is
present.
Patch by Stanislav Ocovaj.
Differential Revision: https://reviews.llvm.org/D34507
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311862
91177308-0d34-0410-b5e6-
96231b3b80d8
Javed Absar [Sun, 27 Aug 2017 20:38:28 +0000 (20:38 +0000)]
[ARM] Tidy-up condition-code support functions
Move condition code support functions to Utils and remove code duplication.
Reviewed by: @fhahn, @asb
Differential Revision: https://reviews.llvm.org/D37179
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311860
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Topper [Sun, 27 Aug 2017 19:03:36 +0000 (19:03 +0000)]
[AVX512] Add more patterns for using masked moves for subvector extracts of the lowest subvector. This time with bitcasts between the vselect and the extract.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311856
91177308-0d34-0410-b5e6-
96231b3b80d8
Sanjay Patel [Sun, 27 Aug 2017 17:29:30 +0000 (17:29 +0000)]
[DAGCombiner] allow undef shuffle operands when eliminating bitcasts (PR34111)
As noted in the FIXME, this could be improved more, but this is the smallest fix
that helps:
https://bugs.llvm.org/show_bug.cgi?id=34111
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311853
91177308-0d34-0410-b5e6-
96231b3b80d8
Sanjay Patel [Sun, 27 Aug 2017 17:15:49 +0000 (17:15 +0000)]
[x86] add haddps test for PR34111; NFC
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311852
91177308-0d34-0410-b5e6-
96231b3b80d8
Javed Absar [Sun, 27 Aug 2017 14:46:57 +0000 (14:46 +0000)]
[ARM] Tidy-up ARMAsmParser. NFC.
Simplify getDRegFromQReg function
Reviewed by: @fhahn, @asb
Differential Revision: https://reviews.llvm.org/D37118
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311850
91177308-0d34-0410-b5e6-
96231b3b80d8
Ayal Zaks [Sun, 27 Aug 2017 12:55:46 +0000 (12:55 +0000)]
[LV] Fix PR34248 - recommit D32871 after revert r311304
Original commit r311077 of D32871 was reverted in r311304 due to failures
reported in PR34248.
This recommit fixes PR34248 by restricting the packing of predicated scalars
into vectors only when vectorizing, avoiding doing so when unrolling w/o
vectorizing. Added a test derived from the reproducer of PR34248.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311849
91177308-0d34-0410-b5e6-
96231b3b80d8
Jatin Bhateja [Sun, 27 Aug 2017 12:43:25 +0000 (12:43 +0000)]
[X86] Adding more tests for horizontal [F]HADD/[F]SUB for AVX512 vectors types
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311847
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Topper [Sun, 27 Aug 2017 05:39:57 +0000 (05:39 +0000)]
[X86] Add a target-specific DAG combine to combine extract_subvector from all zero/one build_vectors.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311841
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Topper [Sun, 27 Aug 2017 03:26:04 +0000 (03:26 +0000)]
[X86] Use getOnesVector instead of using DAG.getConstant(-1).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311840
91177308-0d34-0410-b5e6-
96231b3b80d8
Davide Italiano [Sat, 26 Aug 2017 22:31:10 +0000 (22:31 +0000)]
[NewGVN] Use `auto` when the type is obvious NFCI.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311838
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Topper [Sat, 26 Aug 2017 22:24:57 +0000 (22:24 +0000)]
[AVX512] Add patterns to match masked extract_subvector with bitcasts between the vselect and the extract_subvector. Remove the late DAG combine.
We used to do a late DAG combine to move the bitcasts out of the way, but I'm starting to think that it's better to canonicalize extract_subvector's type to match the type of its input. I've seen some cases where we've formed two different extract_subvector from the same node where one had a bitcast and the other didn't.
Add some more test cases to ensure we've also got most of the zero masking covered too.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311837
91177308-0d34-0410-b5e6-
96231b3b80d8
Don Hinton [Sat, 26 Aug 2017 21:08:51 +0000 (21:08 +0000)]
[Dominators] Remove redundant explicit template instantiation.
Summary:
Remove redundant explicit template instantiation.
This was reported by Andrew Kelley building release_50 with gcc7.2.0 on MacOS: duplicate symbol llvm::DominatorTreeBase.
Reviewers: kuhar, andrewrk, davide, hans
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D37185
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311835
91177308-0d34-0410-b5e6-
96231b3b80d8
Jatin Bhateja [Sat, 26 Aug 2017 19:02:49 +0000 (19:02 +0000)]
[X86] Adding a test for horizontal [f]add/[f]sub for avx512 vector type 16x32.
Differential Revision: https://reviews.llvm.org/D37183
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311834
91177308-0d34-0410-b5e6-
96231b3b80d8
Jatin Bhateja [Sat, 26 Aug 2017 19:02:36 +0000 (19:02 +0000)]
[DAGCombiner] Extending pattern detection for vector shuffle.
Summary:
If all the operands of a BUILD_VECTOR extract elements from same vector then split the
vector efficiently based on the maximum vector access index.
This will also fix PR 33784
Reviewers: zvi, delena, RKSimon, thakis
Reviewed By: RKSimon
Subscribers: chandlerc, eladcohen, llvm-commits
Differential Revision: https://reviews.llvm.org/D35788
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311833
91177308-0d34-0410-b5e6-
96231b3b80d8
Jatin Bhateja [Sat, 26 Aug 2017 19:02:17 +0000 (19:02 +0000)]
Revert rL311247 : To rectify commit message.
Summary: This reverts commit rL311247.
Differential Revision: https://reviews.llvm.org/D36927
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311832
91177308-0d34-0410-b5e6-
96231b3b80d8
Daniel Berlin [Sat, 26 Aug 2017 07:37:11 +0000 (07:37 +0000)]
NewGVN: Fix PR33204 - We need to add memory users when we bypass memorydefs for loads, not just when we do it for stores.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311829
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Topper [Sat, 26 Aug 2017 06:24:25 +0000 (06:24 +0000)]
[X86] Qualify the RMW INC/DEC patterns with NotSlowIncDec.
We were suppressing most uses of INC/DEC, but this one seems to have been missed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311828
91177308-0d34-0410-b5e6-
96231b3b80d8
Petr Hosek [Sat, 26 Aug 2017 03:22:25 +0000 (03:22 +0000)]
Revert "[llvm] Add symbol table support to llvm-objcopy"
This reverts commit r311826 because it's failing on llvm-i686-linux-RA.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311827
91177308-0d34-0410-b5e6-
96231b3b80d8
Petr Hosek [Sat, 26 Aug 2017 03:18:41 +0000 (03:18 +0000)]
[llvm] Add symbol table support to llvm-objcopy
This change adds support for SHT_SYMTAB sections.
Patch by Jake Ehrlich
Differential Revision: https://reviews.llvm.org/D34167
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311826
91177308-0d34-0410-b5e6-
96231b3b80d8
Petr Hosek [Sat, 26 Aug 2017 01:32:20 +0000 (01:32 +0000)]
[llvm-objcopy] New layout algorithm that lays out segments first
The current file layout algorithm in llvm-objcopy is simple but
difficult to reason about. It also makes it very complicated to support
nested segments and to support segments that have offsets that come
before a point after the program headers. To support these cases and
simplify one of the most critical parts llvm-objcopy I rewrote the
layout algorithm. Laying out segments first solves most of the issues
encountered by the previous algorithm.
Patch by Jake Ehrlich
Differential Revision: https://reviews.llvm.org/D36494
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311825
91177308-0d34-0410-b5e6-
96231b3b80d8
Hiroshi Yamauchi [Sat, 26 Aug 2017 00:31:00 +0000 (00:31 +0000)]
Add options to dump block frequency/branch probability info in text.
Summary:
Add options -print-bfi/-print-bpi that dump block frequency and branch
probability info like -view-block-freq-propagation-dags and
-view-machine-block-freq-propagation-dags do but in text.
This is useful when the graph is very large and complex (the dot command
crashes, lines/edges too close to tell apart, hard to navigate without textual
search) or simply when text is preferred.
Reviewers: davidxl
Reviewed By: davidxl
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D37165
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311822
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Topper [Fri, 25 Aug 2017 23:34:59 +0000 (23:34 +0000)]
[AVX512] Add patterns to use masked moves to implement masked extract_subvector of the lowest subvector.
This only supports 32 and 64 bit element sizes for now. But we could probably do 16 and 8-bit elements with BWI.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311821
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Topper [Fri, 25 Aug 2017 23:34:57 +0000 (23:34 +0000)]
[AVX512] Add additional test cases for masked extract subvector.
This includes tests for extracting 128-bits from a 256-bit vector and zero masking.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311820
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Topper [Fri, 25 Aug 2017 23:34:55 +0000 (23:34 +0000)]
[X86] Add patterns to show more failures to use TBM instructions when we're trying to check flags.
We can probably add patterns to fix some of them. But the ones that use 'and' as their root node emit a X86ISD::CMP node in front of the 'and' and then pattern matching that to 'test' instruction. We can't use a tablegen pattern to fix that because we can't remap the cmp result to the flag output of a TBM instruction.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311819
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Fri, 25 Aug 2017 22:50:52 +0000 (22:50 +0000)]
[x86] Teach the backend to fold more read-modify-write memory operands
to instructions.
These can't be reasonably matched in tablegen due to the handling of
flags, so we have to do this in C++ code. We only did it for `inc` and
`dec` historically, this starts fleshing that out to more interesting
instructions. Notably, this handles transfering operands to `add` and
`sub`.
Currently this forces them into a register. The next patch will add
support for keeping immediate operands as immediates. Then I'll extend
this beyond just `add` and `sub`.
I'm not super thrilled by the repeated switches in the code but
everything else I tried was really ugly or problematic.
Many thanks to Craig Topper for the suggestions about where to even
begin here and how to make this stuff work.
Differential Revision: https://reviews.llvm.org/D37130
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311806
91177308-0d34-0410-b5e6-
96231b3b80d8
Davide Italiano [Fri, 25 Aug 2017 22:08:15 +0000 (22:08 +0000)]
[Verifier] Diagnose invalid DIType references instead of crashing.
Fixes PR34325.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311805
91177308-0d34-0410-b5e6-
96231b3b80d8
Davide Italiano [Fri, 25 Aug 2017 22:01:42 +0000 (22:01 +0000)]
[Inliner] Only compute fully inline cost when remarks are enabled.
Prior to this change (and after r311371), we computed it
unconditionally, causin gsevere compile time regressions (in some
cases, 5 to 10x).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311804
91177308-0d34-0410-b5e6-
96231b3b80d8
Matt Morehouse [Fri, 25 Aug 2017 22:01:21 +0000 (22:01 +0000)]
Revert "[SanitizeCoverage] Enable stack-depth coverage for -fsanitize=fuzzer"
This reverts r311801 due to a bot failure.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311803
91177308-0d34-0410-b5e6-
96231b3b80d8
Matt Morehouse [Fri, 25 Aug 2017 21:18:29 +0000 (21:18 +0000)]
[SanitizeCoverage] Enable stack-depth coverage for -fsanitize=fuzzer
Summary:
- Don't sanitize __sancov_lowest_stack.
- Don't instrument leaf functions.
- Add CoverageStackDepth to Fuzzer and FuzzerNoLink.
Reviewers: vitalybuka, kcc
Reviewed By: kcc
Subscribers: cfe-commits, llvm-commits, hiraditya
Differential Revision: https://reviews.llvm.org/D37156
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311801
91177308-0d34-0410-b5e6-
96231b3b80d8
Sanjay Patel [Fri, 25 Aug 2017 19:33:18 +0000 (19:33 +0000)]
[utils] add aarch64 target as an option
I don't know enough to add a custom scrubber for AArch64, so I just re-used ARM.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311795
91177308-0d34-0410-b5e6-
96231b3b80d8
Kostya Serebryany [Fri, 25 Aug 2017 19:29:47 +0000 (19:29 +0000)]
[sanitizer-coverage] extend fsanitize-coverage=pc-table with flags for every PC
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311794
91177308-0d34-0410-b5e6-
96231b3b80d8
Sanjay Patel [Fri, 25 Aug 2017 19:25:03 +0000 (19:25 +0000)]
[x86] regenerate checks; NFC
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311793
91177308-0d34-0410-b5e6-
96231b3b80d8
Haicheng Wu [Fri, 25 Aug 2017 19:00:33 +0000 (19:00 +0000)]
[InlineCost] Small changes to early exit condition. NFC.
Change the early exit condition from Cost > Threshold to Cost >= Threshold
because the inline condition is Cost < Threshold.
Differential Revision: https://reviews.llvm.org/D37087
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311791
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Topper [Fri, 25 Aug 2017 18:39:40 +0000 (18:39 +0000)]
[InstCombine] Don't fall back to only calling computeKnownBits if the upper bit of Add/Sub is demanded.
Just create an all 1s demanded mask and continue recursing like normal. The recursive calls should be able to handle an all 1s mask and do the right thing.
The only time we should care about knowing whether the upper bit was demanded is when we need to know if we should clear the NSW/NUW flags.
Now that we have a consistent path through the code for all cases, use KnownBits::computeForAddSub to compute the known bits at the end since we already have the LHS and RHS.
My larger goal here is to move the code that turns add into xor if only 1 bit is demanded and no bits below it are non-zero from InstCombiner::OptAndOp to here. This will allow it to be more general instead of just looking for 'add' and 'and' with constant RHS.
Differential Revision: https://reviews.llvm.org/D36486
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311789
91177308-0d34-0410-b5e6-
96231b3b80d8