Magic-Mirror/llvm-capstone
1
0
Fork 0
mirror of https://github.com/capstone-engine/llvm-capstone.git synced 2025-02-10 03:13:34 +00:00
Code Issues Actions 3 Packages Projects Releases Wiki Activity
86,093 Commits 13 Branches 0 Tags
Commit Graph

86093 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Gabor Greif
e31bba37f3 minor cosmetics 
llvm-svn: 107148
 2010-06-29 16:27:38 +00:00
Bob Wilson
83b993a977 The t2MOVi16 and t2MOVTi16 instructions do not set CPSR. Trying to add 
a CPSR operand to them causes an assertion failure, so apparently these
instructions haven't been getting a lot of use.

llvm-svn: 107147
 2010-06-29 16:25:11 +00:00
Gabor Greif
6964ab16f6 use ArgOffset constant to prepare for operand rotation 
llvm-svn: 107146
 2010-06-29 16:21:20 +00:00
Gabor Greif
eab748d409 use ArgOperand API 
llvm-svn: 107145
 2010-06-29 16:17:26 +00:00
Gabor Greif
a28615ce31 use ArgOperand API 
llvm-svn: 107144
 2010-06-29 16:01:30 +00:00
Jeffrey Yasskin
bb219e01a6 Delete assert in ComputeKeyFunction. The function runs fine without it, since 
there's an explicit guard on isPolymorphic, and virtual bases don't affect the
key function calculation.  This allows people to call
ASTContext::getKeyFunction on arbitrary classes.

llvm-svn: 107143
 2010-06-29 15:27:35 +00:00
Duncan Sands
17f1ca8793 Return Changed. This required setting Changed if dbg metadata 
is stripped off.  Currently set unconditionally, since the API
does not provide a way of working out if anything was actually
stripped off.

llvm-svn: 107142
 2010-06-29 14:52:10 +00:00
Duncan Sands
83d1dd637a It seems clear that this should return Changed. 
llvm-svn: 107141
 2010-06-29 14:49:35 +00:00
Rafael Espindola
38a7d7cbc3 Add a VT argument to getMinimalPhysRegClass and replace the copy related uses 
of getPhysicalRegisterRegClass with it.

If we want to make a copy (or estimate its cost), it is better to use the
smallest class as more efficient operations might be possible.

llvm-svn: 107140
 2010-06-29 14:02:34 +00:00
Duncan Sands
d34bb4e9b0 getMachineBasicBlockAddress returns a uintptr_t - don't truncate 
to unsigned only to extend back to a pointer sized value on the
next line.

llvm-svn: 107139
 2010-06-29 13:34:20 +00:00
Duncan Sands
a85a90773c The variable ValueSize is set to 1 on both code paths, and then 
ignored!  Remove it.

llvm-svn: 107138
 2010-06-29 13:30:08 +00:00
Duncan Sands
1245e4c07d The variable "Value" is carefully set to Layout.getSymbolAddress, 
but then not actually used - maybe a bug?  Remove the variable.

llvm-svn: 107137
 2010-06-29 13:26:33 +00:00
Duncan Sands
5667a08468 Remove unused calls to Lexer.getLoc and the pointless variable HasFillExpr. 
llvm-svn: 107136
 2010-06-29 13:24:40 +00:00
Duncan Sands
193bb1ee6a Remove pointless variable LastDef. 
llvm-svn: 107135
 2010-06-29 13:23:22 +00:00
Duncan Sands
dddf876e96 Looks like this test is missing an XFAIL line. 
llvm-svn: 107134
 2010-06-29 13:18:50 +00:00
Duncan Sands
257eba4df7 Remove unused variable Loc and pointless variables unified_syntax 
and thumb_mode.

llvm-svn: 107133
 2010-06-29 13:04:35 +00:00
Gabor Greif
e73d64c2cf use ArgOperand APIs 
llvm-svn: 107132
 2010-06-29 13:03:46 +00:00
Duncan Sands
78ad27ca2b Remove an unused and a pointless variable. 
llvm-svn: 107131
 2010-06-29 13:00:29 +00:00
Duncan Sands
67bfa9d109 Remove pointless and unused variables. 
llvm-svn: 107130
 2010-06-29 12:48:49 +00:00
Gabor Greif
eec74583ca encode operand initializations (at fixed index) 
in terms of Op<> and ArgOffset. This works for
values of {0, 1} for ArgOffset.
Please note that ArgOffset will become 0 soon and
will go away eventually.

llvm-svn: 107129
 2010-06-29 11:41:38 +00:00
Duncan Sands
67aa21d7b5 Remove a pointless variable. 
llvm-svn: 107128
 2010-06-29 11:39:45 +00:00
Duncan Sands
6d28e73acc Remove initialized but otherwise unused variables. 
llvm-svn: 107127
 2010-06-29 11:22:26 +00:00
Duncan Sands
b69a3e27df Remove variables that are written by not read. 
llvm-svn: 107126
 2010-06-29 11:07:47 +00:00
Benjamin Kramer
80b7bc042a Use a more obvious way to avoid compiling functions which are only used when XDEBUG is enabled. 
llvm-svn: 107125
 2010-06-29 10:03:11 +00:00
Chandler Carruth
b1adb88d05 Jump through some silly hoops to make GCC accept that a function may not always 
be called.

llvm-svn: 107124
 2010-06-29 06:46:00 +00:00
Chris Lattner
22a931e3bb Change X86_64ABIInfo to have ASTContext and TargetData ivars to 
avoid passing ASTContext down through all the methods it has.

When classifying an argument, or argument piece, as INTEGER, check
to see if we have a pointer at exactly the same offset in the 
preferred type.  If so, use that pointer type instead of i64.  This
allows us to compile A function taking a stringref into something
like this:

define i8* @foo(i64 %D.coerce0, i8* %D.coerce1) nounwind ssp {
entry:
  %D = alloca %struct.DeclGroup, align 8          ; <%struct.DeclGroup*> [#uses=4]
  %0 = getelementptr %struct.DeclGroup* %D, i32 0, i32 0 ; <i64*> [#uses=1]
  store i64 %D.coerce0, i64* %0
  %1 = getelementptr %struct.DeclGroup* %D, i32 0, i32 1 ; <i8**> [#uses=1]
  store i8* %D.coerce1, i8** %1
  %tmp = getelementptr inbounds %struct.DeclGroup* %D, i32 0, i32 0 ; <i64*> [#uses=1]
  %tmp1 = load i64* %tmp                          ; <i64> [#uses=1]
  %tmp2 = getelementptr inbounds %struct.DeclGroup* %D, i32 0, i32 1 ; <i8**> [#uses=1]
  %tmp3 = load i8** %tmp2                         ; <i8*> [#uses=1]
  %add.ptr = getelementptr inbounds i8* %tmp3, i64 %tmp1 ; <i8*> [#uses=1]
  ret i8* %add.ptr
}

instead of this:

define i8* @foo(i64 %D.coerce0, i64 %D.coerce1) nounwind ssp {
entry:
  %D = alloca %struct.DeclGroup, align 8          ; <%struct.DeclGroup*> [#uses=3]
  %0 = insertvalue %0 undef, i64 %D.coerce0, 0    ; <%0> [#uses=1]
  %1 = insertvalue %0 %0, i64 %D.coerce1, 1       ; <%0> [#uses=1]
  %2 = bitcast %struct.DeclGroup* %D to %0*       ; <%0*> [#uses=1]
  store %0 %1, %0* %2, align 1
  %tmp = getelementptr inbounds %struct.DeclGroup* %D, i32 0, i32 0 ; <i64*> [#uses=1]
  %tmp1 = load i64* %tmp                          ; <i64> [#uses=1]
  %tmp2 = getelementptr inbounds %struct.DeclGroup* %D, i32 0, i32 1 ; <i8**> [#uses=1]
  %tmp3 = load i8** %tmp2                         ; <i8*> [#uses=1]
  %add.ptr = getelementptr inbounds i8* %tmp3, i64 %tmp1 ; <i8*> [#uses=1]
  ret i8* %add.ptr
}

This implements rdar://7375902 - [codegen quality] clang x86-64 ABI lowering code punishing StringRef

llvm-svn: 107123
 2010-06-29 06:01:59 +00:00
Evan Cheng
b59dd8f10a PR7503: uxtb16 is not available for ARMv7-M. Patch by Brian G. Lucas. 
llvm-svn: 107122
 2010-06-29 05:38:36 +00:00
Evan Cheng
0c30739cbb Change if-cvt options to something that actually as useable. 
llvm-svn: 107121
 2010-06-29 05:37:59 +00:00
Chris Lattner
de310d5d95 Minix doesn't support dylibs, PR7294 
llvm-svn: 107120
 2010-06-29 05:05:09 +00:00
Jim Grosbach
907673c48d When processing loops for scheduling latencies (used for live outs on loop 
back-edges), make sure not to include dbg_value instructions in the count.
Closing in on the end of rdar://7797940

llvm-svn: 107119
 2010-06-29 04:48:13 +00:00
Greg Clayton
d0c8a0f031 A little code cleanup to not create an script bridging object just to feed 
the private object back to another internal function.

llvm-svn: 107118
 2010-06-29 01:42:03 +00:00
Dan Gohman
90db61d638 Just as its not safe to blindly transfer the nsw bit from an add 
instruction to an add scev, it's not safe to blindly transfer the
inbounds flag from a gep instruction to an nsw on the scev for the
gep.

llvm-svn: 107117
 2010-06-29 01:41:41 +00:00
Bruno Cardoso Lopes
de736a6494 Refactoring of arithmetic instruction classes with unary operator 
llvm-svn: 107116
 2010-06-29 01:33:09 +00:00
Chris Lattner
399d22ac1b plumb preferred types down into X86_64ABIInfo::classifyArgumentType, 
no functionality change.

llvm-svn: 107115
 2010-06-29 01:14:09 +00:00
Jakob Stoklund Olesen
c1eccbc468 When no memoperands are present, assume unaligned, volatile. 
llvm-svn: 107114
 2010-06-29 01:13:07 +00:00
Bill Wendling
9a925bec36 Strip resulting binaries. 
llvm-svn: 107112
 2010-06-29 01:08:57 +00:00
Chris Lattner
1d7c9f7f4b Pass the LLVM IR version of argument types down into computeInfo. 
This is somewhat annoying to do this at this level, but it avoids
having ABIInfo know depend on CodeGenTypes for a hint.

Nothing is using this yet, so no functionality change.

llvm-svn: 107111
 2010-06-29 01:08:48 +00:00
Bob Wilson
1e5da550e5 Reapply my if-conversion cleanup from svn r106939 with fixes. 
There are 2 changes relative to the previous version of the patch:

1) For the "simple" if-conversion case, there's no need to worry about
RemoveExtraEdges not handling an unanalyzable branch.  Predicated terminators
are ignored in this context, so RemoveExtraEdges does the right thing.
This might break someday if we ever treat indirect branches (BRIND) as
predicable, but for now, I just removed this part of the patch, because
in the case where we do not add an unconditional branch, we rely on keeping
the fall-through edge to CvtBBI (which is empty after this transformation).

The change relative to the previous patch is:

@@ -1036,10 +1036,6 @@
     IterIfcvt = false;
   }
 
-  // RemoveExtraEdges won't work if the block has an unanalyzable branch,
-  // which is typically the case for IfConvertSimple, so explicitly remove
-  // CvtBBI as a successor.
-  BBI.BB->removeSuccessor(CvtBBI->BB);
   RemoveExtraEdges(BBI);
 
   // Update block info. BB can be iteratively if-converted.


2) My patch exposed a bug in the code for merging the tail of a "diamond",
which had previously never been exercised.  The code was simply checking that
the tail had a single predecessor, but there was a case in
MultiSource/Benchmarks/VersaBench/dbms where that single predecessor was
neither edge of the diamond.  I added the following change to check for
that:

@@ -1276,7 +1276,18 @@
   // tail, add a unconditional branch to it.
   if (TailBB) {
     BBInfo TailBBI = BBAnalysis[TailBB->getNumber()];
-    if (TailBB->pred_size() == 1 && !TailBBI.HasFallThrough) {
+    bool CanMergeTail = !TailBBI.HasFallThrough;
+    // There may still be a fall-through edge from BBI1 or BBI2 to TailBB;
+    // check if there are any other predecessors besides those.
+    unsigned NumPreds = TailBB->pred_size();
+    if (NumPreds > 1)
+      CanMergeTail = false;
+    else if (NumPreds == 1 && CanMergeTail) {
+      MachineBasicBlock::pred_iterator PI = TailBB->pred_begin();
+      if (*PI != BBI1->BB && *PI != BBI2->BB)
+        CanMergeTail = false;
+    }
+    if (CanMergeTail) {
       MergeBlocks(BBI, TailBBI);
       TailBBI.IsDone = true;
     } else {

With these fixes, I was able to run all the SingleSource and MultiSource
tests successfully.

llvm-svn: 107110
 2010-06-29 00:55:23 +00:00
Dan Gohman
0824affeff Add an Intraprocedural form of BasicAliasAnalysis, which aims to 
properly handles instructions and arguments defined in different
functions, or across recursive function iterations.

llvm-svn: 107109
 2010-06-29 00:50:39 +00:00
Bruno Cardoso Lopes
d6a091a4d4 Described the missing AVX forms of SSE2 convert instructions 
llvm-svn: 107108
 2010-06-29 00:36:02 +00:00
Bob Wilson
3d12ff797b Fix Thumb encoding of VMOV (scalar to ARM core register). The encoding is 
the same as ARM except that the condition code field is always set to ARMCC::AL.

llvm-svn: 107107
 2010-06-29 00:26:13 +00:00
Chandler Carruth
8337ba6303 Prefer llvm_unreachable(...) to assert(false && ...). This is important as 
without it we might exit a non-void function without returning.

llvm-svn: 107106
 2010-06-29 00:23:11 +00:00
Chris Lattner
9e748e9d6e add IR names to coerced arguments. 
llvm-svn: 107105
 2010-06-29 00:14:52 +00:00
Chris Lattner
15ec361bd6 make the argument passing stuff in the FCA case smarter still, by 
avoiding making the FCA at all when the types exactly line up.  For
example, before we made:

%struct.DeclGroup = type { i64, i64 }

define i64 @_Z3foo9DeclGroup(i64, i64) nounwind {
entry:
  %D = alloca %struct.DeclGroup, align 8          ; <%struct.DeclGroup*> [#uses=3]
  %2 = insertvalue %struct.DeclGroup undef, i64 %0, 0 ; <%struct.DeclGroup> [#uses=1]
  %3 = insertvalue %struct.DeclGroup %2, i64 %1, 1 ; <%struct.DeclGroup> [#uses=1]
  store %struct.DeclGroup %3, %struct.DeclGroup* %D
  %tmp = getelementptr inbounds %struct.DeclGroup* %D, i32 0, i32 0 ; <i64*> [#uses=1]
  %tmp1 = load i64* %tmp                          ; <i64> [#uses=1]
  %tmp2 = getelementptr inbounds %struct.DeclGroup* %D, i32 0, i32 1 ; <i64*> [#uses=1]
  %tmp3 = load i64* %tmp2                         ; <i64> [#uses=1]
  %add = add nsw i64 %tmp1, %tmp3                 ; <i64> [#uses=1]
  ret i64 %add
}

... which has the pointless insertvalue, which fastisel hates, now we
make:

%struct.DeclGroup = type { i64, i64 }

define i64 @_Z3foo9DeclGroup(i64, i64) nounwind {
entry:
  %D = alloca %struct.DeclGroup, align 8          ; <%struct.DeclGroup*> [#uses=4]
  %2 = getelementptr %struct.DeclGroup* %D, i32 0, i32 0 ; <i64*> [#uses=1]
  store i64 %0, i64* %2
  %3 = getelementptr %struct.DeclGroup* %D, i32 0, i32 1 ; <i64*> [#uses=1]
  store i64 %1, i64* %3
  %tmp = getelementptr inbounds %struct.DeclGroup* %D, i32 0, i32 0 ; <i64*> [#uses=1]
  %tmp1 = load i64* %tmp                          ; <i64> [#uses=1]
  %tmp2 = getelementptr inbounds %struct.DeclGroup* %D, i32 0, i32 1 ; <i64*> [#uses=1]
  %tmp3 = load i64* %tmp2                         ; <i64> [#uses=1]
  %add = add nsw i64 %tmp1, %tmp3                 ; <i64> [#uses=1]
  ret i64 %add
}

This only kicks in when x86-64 abi lowering decides it likes us.

llvm-svn: 107104
 2010-06-29 00:06:42 +00:00
Devang Patel
1575e9f5ce The comment string does not match for all targets. PowerPC uses ;. 
llvm-svn: 107103
 2010-06-29 00:04:40 +00:00
Craig Silverstein
1b28a4298e A few prettifications. Also renamed TraverseInitializer to 
TraverseConstructorInitializer, to be a bit clearer.

llvm-svn: 107102
 2010-06-29 00:02:17 +00:00
Ted Kremenek
5414027020 Per Doug's suggestion, move check for invalid SourceLocation into 
cxloc::translateSourceLocation() (thus causing all clients of this
function to have the same behavior).

llvm-svn: 107101
 2010-06-28 23:54:17 +00:00
Greg Clayton
8d38ac4536 Fixed debug map in executable + DWARF in .o debugging on Mac OS X. 
Added the ability to dump any file in the global module cache using any of
the "image dump" commands. This allows us to dump the .o files that are used
with DWARF + .o since they don't belong the the target list for the current
target.

llvm-svn: 107100
 2010-06-28 23:51:11 +00:00
Chris Lattner
3dd716c3c3 Change CGCall to handle the "coerce" case where the coerce-to type 
is a FCA to pass each of the elements as individual scalars.  This
produces code fast isel is less likely to reject and is easier on
the optimizers.

For example, before we would compile:
struct DeclGroup { long NumDecls; char * Y; };
char * foo(DeclGroup D) {
  return D.NumDecls+D.Y;
}

to:
%struct.DeclGroup = type { i64, i64 }

define i64 @_Z3foo9DeclGroup(%struct.DeclGroup) nounwind {
entry:
  %D = alloca %struct.DeclGroup, align 8          ; <%struct.DeclGroup*> [#uses=3]
  store %struct.DeclGroup %0, %struct.DeclGroup* %D, align 1
  %tmp = getelementptr inbounds %struct.DeclGroup* %D, i32 0, i32 0 ; <i64*> [#uses=1]
  %tmp1 = load i64* %tmp                          ; <i64> [#uses=1]
  %tmp2 = getelementptr inbounds %struct.DeclGroup* %D, i32 0, i32 1 ; <i64*> [#uses=1]
  %tmp3 = load i64* %tmp2                         ; <i64> [#uses=1]
  %add = add nsw i64 %tmp1, %tmp3                 ; <i64> [#uses=1]
  ret i64 %add
}

Now we get:

%0 = type { i64, i64 }
%struct.DeclGroup = type { i64, i8* }

define i8* @_Z3foo9DeclGroup(i64, i64) nounwind {
entry:
  %D = alloca %struct.DeclGroup, align 8          ; <%struct.DeclGroup*> [#uses=3]
  %2 = insertvalue %0 undef, i64 %0, 0            ; <%0> [#uses=1]
  %3 = insertvalue %0 %2, i64 %1, 1               ; <%0> [#uses=1]
  %4 = bitcast %struct.DeclGroup* %D to %0*       ; <%0*> [#uses=1]
  store %0 %3, %0* %4, align 1
  %tmp = getelementptr inbounds %struct.DeclGroup* %D, i32 0, i32 0 ; <i64*> [#uses=1]
  %tmp1 = load i64* %tmp                          ; <i64> [#uses=1]
  %tmp2 = getelementptr inbounds %struct.DeclGroup* %D, i32 0, i32 1 ; <i8**> [#uses=1]
  %tmp3 = load i8** %tmp2                         ; <i8*> [#uses=1]
  %add.ptr = getelementptr inbounds i8* %tmp3, i64 %tmp1 ; <i8*> [#uses=1]
  ret i8* %add.ptr
}

Elimination of the FCA inside the function is still-to-come.

llvm-svn: 107099
 2010-06-28 23:44:11 +00:00
Craig Silverstein
a37aa88e62 Fix up ClassTemplateSpecializationDecl: For implicit instantiations 
("set<int> x;"), we don't want to recurse at all, since the
instatiated class isn't written in the source code anywhere.  (Note
the instatiated *type* -- set<int> -- is written, and will still get a
callback of TemplateSpecializationType).  For explicit instantiations
("template set<int>;"), we do need a callback, since this is the only
callback that's made for this instantiation.  We use
getTypeAsWritten() to distinguish.

We will still need to figure out how to handle template
specializations, which probably are still not quite correct.

Reviewed by chandlerc

llvm-svn: 107098
 2010-06-28 23:42:10 +00:00