Magic-Mirror/llvm-capstone
1
0
Fork 0
mirror of https://github.com/capstone-engine/llvm-capstone.git synced 2025-01-26 19:36:28 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity
165,644 Commits 13 Branches 0 Tags
Commit Graph

99301 Commits

Author SHA1 Message Date
Michael Gottesman
84fcbdea21 [APInt] Fix nearestLogBase2 to return correct answers for very large APInt and APInt with a bitwidth of 1. 
I also improved the comments, added some more tests, etc.

llvm-svn: 199610
 2014-01-19 20:33:48 +00:00
Michael Gottesman
073af74ece [APInt] Fixed bug where APInt(UINT32_MAX, 0) would blow up when being constructed. 
This was due to arithmetic overflow in the getNumBits() computation. Now we
cast BitWidth to a uint64_t so that does not occur during the computation. After
the computation is complete, the uint64_t is truncated when the function
returns.

I know that this is not something that is likely to happen, but it *IS* a valid
input and we should not blow up.

llvm-svn: 199609
 2014-01-19 20:33:38 +00:00
Benjamin Kramer
b80e1699b3 InstCombine: Modernize a bunch of cast combines. 
Also make them vector-aware.

llvm-svn: 199608
 2014-01-19 20:05:13 +00:00
Benjamin Kramer
970f4959d4 InstCombine: Hoist 3 copies of AddOne/SubOne into a header. 
llvm-svn: 199605
 2014-01-19 16:56:10 +00:00
Benjamin Kramer
7a74bd4703 InstCombine: Replace a hand-rolled version of isKnownToBeAPowerOfTwo with the real thing. 
llvm-svn: 199604
 2014-01-19 16:48:41 +00:00
Benjamin Kramer
72196f3ae5 InstCombine: Teach most integer add/sub/mul/div combines how to deal with vectors. 
llvm-svn: 199602
 2014-01-19 15:24:22 +00:00
Benjamin Kramer
76b15d04ff InstCombine: Refactor fmul/fdiv combines to handle vectors. 
llvm-svn: 199598
 2014-01-19 13:36:27 +00:00
NAKAMURA Takumi
ce78b80eea [CMake] Introduce new scheme of LLVM_TOOLS_BINARY_DIR and LLVM_LIBRARY_DIR 
In LLVM build tree, they points corresponding INTDIR.

  In Clang standalone tree, they points external dir (llvm-config's --bindir and --libdir).

llvm-svn: 199595
 2014-01-19 12:52:10 +00:00
NAKAMURA Takumi
0190e9445a [CMake] Add comments in llvm/CMakeLists.txt. 
llvm-svn: 199594
 2014-01-19 12:47:26 +00:00
NAKAMURA Takumi
0ec65f1ad0 [CMake] Deprecate LLVM_TOOLS_BINARY_DIR. 
llvm-svn: 199593
 2014-01-19 12:47:22 +00:00
NAKAMURA Takumi
95d41dca93 [CMake] Prune deprecate usage of CMAKE_RUNTIME_OUTPUT_DIRECTORY. 
llvm-svn: 199592
 2014-01-19 12:47:18 +00:00
Chandler Carruth
1bf38c6a71 Fix a really nasty SROA bug with how we handled out-of-bounds memcpy 
intrinsics.

Reported on the list by Evan with a couple of attempts to fix, but it
took a while to dig down to the root cause. There are two overlapping
bugs here, both centering around the circumstance of discovering
a memcpy operand which is known to be completely outside the bounds of
the alloca.

First, we need to kill the *other* side of the memcpy if it was added to
this alloca. Otherwise we'll factor it into our slicing and try to
rewrite it even though we know for a fact that it is dead. This is made
more tricky because we can visit the sides in either order. So we have
to both kill the other side and skip instructions marked as dead. The
latter really should be goodness in every case, but here is a matter of
correctness.

Second, we need to actually remove the *uses* of the alloca by the
memcpy when queuing it for later deletion. Otherwise it may still be
using the alloca when we go to promote it (if the rewrite re-uses the
existing alloca instruction). Do this by factoring out the
use-clobbering used when for nixing a Phi argument and re-using it
across the operands of a to-be-deleted instruction.

llvm-svn: 199590
 2014-01-19 12:16:54 +00:00
Saleem Abdulrasool
9390005577 ARM ELF: ensure that the tag types are corrected 
Ensure that the tag types are reflected on a replacement.  This is particularly
important for the compatibility tag which has multiple representations where the
last definition wins.

llvm-svn: 199577
 2014-01-19 08:25:41 +00:00
Saleem Abdulrasool
196c3212ba ARM: update build attributes for ABI r2.09 
Update names for the names as per the current ABI errata.  Mark deprecated tags
as such.

llvm-svn: 199576
 2014-01-19 08:25:35 +00:00
Saleem Abdulrasool
278a9f4336 Move ARM build attributes into Support 
This moves the ARM build attributes definitions and support routines into the
Support library.  The support routines simply permit the conversion of the value
to and from a string representation.

The movement is prompted in order to permit access to the constants and string
representations from readobj in order to facilitate decoding of the attributes
section.

llvm-svn: 199575
 2014-01-19 08:25:27 +00:00
Saleem Abdulrasool
9dedf64238 ARM IAS: remove unnecessary special case 
Tag_nodefaults is even and greater than 32 and thus does not need the special
check to fall into the correct category.

llvm-svn: 199574
 2014-01-19 08:25:19 +00:00
Arnold Schwaighofer
cc742dd9e4 LoopVectorizer: A reduction that has multiple uses of the reduction value is not 
a reduction.

Really. Under certain circumstances (the use list of an instruction has to be
set up right - hence the extra pass in the test case) we would not recognize
when a value in a potential reduction cycle was used multiple times by the
reduction cycle.

Fixes PR18526.
radar://15851149

llvm-svn: 199570
 2014-01-19 03:18:31 +00:00
Chandler Carruth
043949d446 [PM] Make the verifier work independently of any pass manager. 
This makes the 'verifyFunction' and 'verifyModule' functions totally
independent operations on the LLVM IR. It also cleans up their API a bit
by lifting the abort behavior into their clients and just using an
optional raw_ostream parameter to control printing.

The implementation of the verifier is now just an InstVisitor with no
multiple inheritance. It also is significantly more const-correct, and
hides the const violations internally. The two layers that force us to
break const correctness are building a DomTree and dispatching through
the InstVisitor.

A new VerifierPass is used to implement the legacy pass manager
interface in terms of the other pieces.

The error messages produced may be slightly different now, and we may
have slightly different short circuiting behavior with different usage
models of the verifier, but generally everything works equivalently and
this unblocks wiring the verifier up to the new pass manager.

llvm-svn: 199569
 2014-01-19 02:22:18 +00:00
Chandler Carruth
6a93692a34 Add a const lookup routine to get a BlockAddress constant if there is 
one, but not create one. This is useful in the verifier when we want to
query the constant if it exists but not create one. To be used in an
upcoming commit.

llvm-svn: 199568
 2014-01-19 02:13:50 +00:00
Eli Bendersky
157a97a6a0 Support AddrSpaceCast in ConstantExpr::getAsInstruction. 
It's handled similarly to the other casts. CastInst::Create already knows how
to handle it.

llvm-svn: 199565
 2014-01-18 22:54:33 +00:00
Nick Lewycky
a6a17d77d2 Don't refuse to transform constexpr(call(arg, ...)) to call(constexpr(arg), ...)) just because the function has multiple return values even if their return types are the same. Patch by Eduard Burtescu! 
llvm-svn: 199564
 2014-01-18 22:47:12 +00:00
Benjamin Kramer
dd39a98b1c ARM: Let the assembler reject v5 instructions in v4 mode. 
PR18524.

llvm-svn: 199559
 2014-01-18 19:03:19 +00:00
NAKAMURA Takumi
3189afc4ca [CMake] Add llvm-tblgen to dependencies of check-llvm. 
llvm-tblgen is not built when external LLVM_TABLEGEN is specified.
Even then, llvm-tblgen should be built for testing tblgen itself.

llvm-svn: 199558
 2014-01-18 19:01:08 +00:00
Benjamin Kramer
fea9ac99b0 InstCombine: Make the (fmul X, -1.0) -> (fsub -0.0, X) transform handle vectors too. 
PR18532.

llvm-svn: 199553
 2014-01-18 16:43:14 +00:00
Benjamin Kramer
5d2ff221f6 Upgrade ConstantFP's negative zero and infinity getters to handle vector types. 
Will be used soon.

llvm-svn: 199552
 2014-01-18 16:43:06 +00:00
Adrian Prantl
1b06349e74 typo 
llvm-svn: 199537
 2014-01-18 02:12:10 +00:00
Adrian Prantl
ef129fbb41 Debug info (LTO): Move the creation of accessibility flags to 
getOrCreateSubprogramDIE to avoid attributes being added twice when DIEs
are merged.

rdar://problem/15842330.

llvm-svn: 199536
 2014-01-18 02:12:00 +00:00
Owen Anderson
48b842ef7c Fix more instances of dropped fast math flags when optimizing FADD instructions. All found by inspection (aka grep). 
llvm-svn: 199528
 2014-01-18 00:48:14 +00:00
Reid Kleckner
436c42ec3d Add an inalloca flag to allocas 
Summary:
The only current use of this flag is to mark the alloca as dynamic, even
if its in the entry block.  The stack adjustment for the alloca can
never be folded into the prologue because the call may clear it and it
has to be allocated at the top of the stack.

Reviewers: majnemer

CC: llvm-commits

Differential Revision: http://llvm-reviews.chandlerc.com/D2571

llvm-svn: 199525
 2014-01-17 23:58:17 +00:00
Justin Bogner
2b164bd98d MC: Add some missing include guards 
Patch by Daniel Reynaud!

llvm-svn: 199523
 2014-01-17 22:39:45 +00:00
Juergen Ributzka
5d05ed1d17 Update LangRef to emphasize the difference between "coldcc" and "preserve_mostcc". 
llvm-svn: 199521
 2014-01-17 22:24:35 +00:00
Rui Ueyama
24fc2d641f 80-column. 
llvm-svn: 199519
 2014-01-17 22:11:27 +00:00
Rui Ueyama
e5df6095b1 llvm-objdump/COFF: Print ordinal base number. 
llvm-svn: 199518
 2014-01-17 22:02:24 +00:00
Juergen Ributzka
e625013071 Add two new calling conventions for runtime calls 
This patch adds two new target-independent calling conventions for runtime
calls - PreserveMost and PreserveAll.
The target-specific implementation for X86-64 is defined as following:
  - Arguments are passed as for the default C calling convention
  - The same applies for the return value(s)
  - PreserveMost preserves all GPRs - except R11
  - PreserveAll preserves all GPRs and all XMMs/YMMs - except R11

Reviewed by Lang and Philip

llvm-svn: 199508
 2014-01-17 19:47:03 +00:00
Daniel Sanders
b825a634d6 [mips][msa] Correct pattern for LSA 
Summary:
$rs and $rt were the wrong way round in the .td and the testcase wasn't
strict enough to detect the mistake.

Reviewers: matheusalmeida

Reviewed By: matheusalmeida

Differential Revision: http://llvm-reviews.chandlerc.com/D2554

llvm-svn: 199498
 2014-01-17 15:40:05 +00:00
Daniel Sanders
c7a9f8d298 [mips] Split IIIdiv int II_DIV, II_DIVU, II_DDIV, and II_DDIVU 
No functional change since the InstrItinData's were duplicated

llvm-svn: 199497
 2014-01-17 14:48:06 +00:00
Daniel Sanders
e95a137b96 [mips][sched] Split IIImul and IIImult into subclasses. 
IIImul -> II_MUL
IIImult -> II_MULT, II_MULTU, II_MADD, II_MADDU, II_MSUB, II_MSUBU, II_DMULT, II_DMULTU

No functional change since the InstrItinData's have been duplicated.

llvm-svn: 199495
 2014-01-17 14:32:41 +00:00
Daniel Sanders
9342557ea7 [mips][sched] Split IIHiLo into II_MFHI_MFLO and II_MTHI_MTLO 
No functional change since the InstrItinData's have been duplicated.

llvm-svn: 199493
 2014-01-17 14:17:34 +00:00
Renato Golin
afc43a1cbe Add MLA alias for ARMv4 support. 
Fix MLA defs to use register class GPRnopc.
Add encoding tests for multiply instructions.
(Alias for MUL/SMLAL/UMLAL added by r199026.)

Patch by Zhaoshi.

llvm-svn: 199491
 2014-01-17 13:53:08 +00:00
Chandler Carruth
bf2b652c05 [PM] [cleanup] Rename some of the Verifier's members, re-arrange them, 
and tweak comments prior to more invasive surgery. Also clean up some
other non-doxygen comments, and run clang-format over the parts that are
going to change dramatically in subsequent commits so that those don't
get cluttered with formatting changes.

No functionality changed.

llvm-svn: 199489
 2014-01-17 11:09:34 +00:00
Kostya Serebryany
714c67c31e [asan] extend asan-coverage (still experimental). 
- add a mode for collecting per-block coverage (-asan-coverage=2).
   So far the implementation is naive (all blocks are instrumented),
   the performance overhead on top of asan could be as high as 30%.
 - Make sure the one-time calls to __sanitizer_cov are moved to function buttom,
   which in turn required to copy the original debug info into the call insn.

Here is the performance data on SPEC 2006
(train data, comparing asan with asan-coverage={0,1,2}):

                             asan+cov0     asan+cov1      diff 0-1    asan+cov2       diff 0-2      diff 1-2
       400.perlbench,        65.60,        65.80,         1.00,        76.20,         1.16,         1.16
           401.bzip2,        65.10,        65.50,         1.01,        75.90,         1.17,         1.16
             403.gcc,         1.64,         1.69,         1.03,         2.04,         1.24,         1.21
             429.mcf,        21.90,        22.60,         1.03,        23.20,         1.06,         1.03
           445.gobmk,       166.00,       169.00,         1.02,       205.00,         1.23,         1.21
           456.hmmer,        88.30,        87.90,         1.00,        91.00,         1.03,         1.04
           458.sjeng,       210.00,       222.00,         1.06,       258.00,         1.23,         1.16
      462.libquantum,         1.73,         1.75,         1.01,         2.11,         1.22,         1.21
         464.h264ref,       147.00,       152.00,         1.03,       160.00,         1.09,         1.05
         471.omnetpp,       115.00,       116.00,         1.01,       140.00,         1.22,         1.21
           473.astar,       133.00,       131.00,         0.98,       142.00,         1.07,         1.08
       483.xalancbmk,       118.00,       120.00,         1.02,       154.00,         1.31,         1.28
            433.milc,        19.80,        20.00,         1.01,        20.10,         1.02,         1.01
            444.namd,        16.20,        16.20,         1.00,        17.60,         1.09,         1.09
          447.dealII,        41.80,        42.20,         1.01,        43.50,         1.04,         1.03
          450.soplex,         7.51,         7.82,         1.04,         8.25,         1.10,         1.05
          453.povray,        14.00,        14.40,         1.03,        15.80,         1.13,         1.10
             470.lbm,        33.30,        34.10,         1.02,        34.10,         1.02,         1.00
         482.sphinx3,        12.40,        12.30,         0.99,        13.00,         1.05,         1.06

llvm-svn: 199488
 2014-01-17 11:00:30 +00:00
Chandler Carruth
7677760ec8 [PM] Remove the preverifier and directly compute the DominatorTree for 
the verifier after ensuring the CFG is at least usefully formed.

This fixes a number of problems:
1) The PreVerifier was missing the controls the Verifier provides over
   *how* an invalid module is handled -- it just aborted the program!
   Now it uses the same logic as the Verifier which is significantly
   more library-friendly.
2) The DominatorTree used previously could have been cached and not
   updated due to bugs in prior passes and we would silently use the
   stale tree. This could cause dominance errors to not be as quickly
   diagnosed.
3) We can now (in the next patch) pull the functionality of the verifier
   apart from the pass infrastructure so that you can verify IR without
   having any form of pass manager. This in turn frees the code to share
   logic between old and new pass manager variants.

Along the way I fixed at least one annoying bug -- the state for
'Broken' wasn't being cleared from run to run causing all functions
visited after the first broken function to be marked as broken
regardless of whether *they* were a problem. Fortunately, I don't really
know much of a way to observe this peculiarity.

In case folks are worried about the runtime cost, its negligible.
I looked at running the entire regression test suite (which should be
a relatively good use of the verifier) before and after but was unable
to even measure the time spent on the verifier and there was no
regresion from before to after. I checked both with debug builds and
optimized builds.

llvm-svn: 199487
 2014-01-17 10:56:02 +00:00
Kevin Qin
e0faea11b1 [AArch64 NEON] Expand vector for UDIV/SDIV/UREM/SREM/FREM as neon doesn't support these operations. 
llvm-svn: 199485
 2014-01-17 09:54:30 +00:00
Chandler Carruth
f8f0015b45 Add the test for libstdc++ versions newer than 4.6 so we don't 
accidentally pick that up while using Clang and run into subtle bugs
down the road related to C++11 features not fully implemented in that
version of the standard library.

llvm-svn: 199484
 2014-01-17 09:47:55 +00:00
Craig Topper
80ab268b06 Switch a few instructions to use RI instead I so they don't require REX_W to be explicitly specified. 
llvm-svn: 199479
 2014-01-17 08:16:57 +00:00
Craig Topper
f124c6a5ef Add OpSize16 flags to 32-bit CRC32 instructions so they can be encoded correctly in 16-bit mode. 
llvm-svn: 199478
 2014-01-17 08:01:20 +00:00
Craig Topper
2d4b3c9770 Teach x86 asm parser to handle 'opaque ptr' in Intel syntax. 
llvm-svn: 199477
 2014-01-17 07:44:10 +00:00
Craig Topper
9ac290ad5b Teach X86 asm parser to understand 'ZMMWORD PTR' in Intel syntax. 
llvm-svn: 199476
 2014-01-17 07:37:39 +00:00
Craig Topper
a49c2960c6 Fix intel syntax for 64-bit version of FXSAVE/FXRSTOR to use '64' suffix instead of 'q' 
llvm-svn: 199474
 2014-01-17 07:25:39 +00:00
Craig Topper
5a44496988 VEX_PREFIX_66 doesn't need to set the hasOpSize flag since VEX instructions don't use the size fields it controls. 
llvm-svn: 199470
 2014-01-17 07:11:45 +00:00