shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity
62,696 Commits 1,713 Branches 298 Tags
Commit Graph

1228 Commits

Author SHA1 Message Date
Owen Anderson
53a52215b5 Begin the painful process of tearing apart the rat'ss nest that is Constants.cpp and ConstantFold.cpp. 
This involves temporarily hard wiring some parts to use the global context.  This isn't ideal, but it's
the only way I could figure out to make this process vaguely incremental.

llvm-svn: 75445
 2009-07-13 04:09:18 +00:00
Eli Friedman
575db66e1b Remove check which is duplicated in 
InstCombiner::visitSelectInstWithICmp.

llvm-svn: 75409
 2009-07-12 02:00:05 +00:00
Torok Edwin
56d0659726 assert(0) -> LLVM_UNREACHABLE. 
Make llvm_unreachable take an optional string, thus moving the cerr<< out of
line.
LLVM_UNREACHABLE is now a simple wrapper that makes the message go away for
NDEBUG builds.

llvm-svn: 75379
 2009-07-11 20:10:48 +00:00
Torok Edwin
ccb29cd290 Convert more assert(0)+abort() -> LLVM_UNREACHABLE, 
and abort()/exit() -> llvm_report_error().

llvm-svn: 75363
 2009-07-11 13:10:19 +00:00
Owen Anderson
16e7674f4b Push LLVMContext through the PatternMatch API. 
llvm-svn: 75255
 2009-07-10 17:35:01 +00:00
Owen Anderson
1e5f00e7a7 This started as a small change, I swear. Unfortunately, lots of things call the [I|F]CmpInst constructors. Who knew!? 
llvm-svn: 75200
 2009-07-09 23:48:35 +00:00
Owen Anderson
29fd313e9e A little bit more LLVMContextification. 
llvm-svn: 75159
 2009-07-09 18:36:20 +00:00
Owen Anderson
38264b1554 "LLVMContext* " --> "LLVMContext *" 
llvm-svn: 74878
 2009-07-06 23:00:19 +00:00
Owen Anderson
39f00cc1d4 Thread LLVMContext through the constant folding APIs, which touches a lot of files. 
llvm-svn: 74844
 2009-07-06 18:42:36 +00:00
Owen Anderson
b5618da226 Convert the first batch of passes to use LLVMContext. 
llvm-svn: 74748
 2009-07-03 00:17:18 +00:00
Dan Gohman
83348f80b6 Fix an instcombine abort on a scalar-to-vector bitcast. This fixes PR4487. 
llvm-svn: 74646
 2009-07-01 21:38:46 +00:00
Dan Gohman
56bd02c55c Generalize the zext(trunc(t) & C) instcombine to work even with 
C is not a low-bits mask, and add a similar instcombine for
zext((trunc(t) & C) ^ C).

llvm-svn: 73705
 2009-06-18 16:30:21 +00:00
Dan Gohman
7f836c7c61 Instcombine zext(trunc(x) & mask) to x&mask, even if the trunc has 
multiple users.

llvm-svn: 73656
 2009-06-17 23:17:05 +00:00
Eli Friedman
a0fba5319d PR3439: Correct a silly mistake in the SimplifyDemandedUseBits code for 
SRem.

llvm-svn: 73598
 2009-06-17 02:57:36 +00:00
Dan Gohman
0ed7756fbe Generalize a few more instcombines to be vector/scalar-independent. 
llvm-svn: 73541
 2009-06-16 19:55:29 +00:00
Chris Lattner
945d08d76f Generalize instcombine's isSafeToLoadUnconditionally() function 
to ignore readonly calls, and factor it out of instcombine so
that it can be used by other passes.  Patch by Frits van Bommel!

llvm-svn: 73506
 2009-06-16 17:23:12 +00:00
Dan Gohman
7ccc52f131 Support vector casts in more places, fixing a variety of assertion 
failures.

To support this, add some utility functions to Type to help support
vector/scalar-independent code. Change ConstantInt::get and
ConstantFP::get to support vector types, and add an overload to
ConstantInt::get that uses a static IntegerType type, for
convenience.

Introduce a new getConstant method for ScalarEvolution, to simplify
common use cases.

llvm-svn: 73431
 2009-06-15 22:12:54 +00:00
Dan Gohman
4fe64deb7b Fix old-style type names in comments. 
llvm-svn: 73362
 2009-06-14 23:30:43 +00:00
Dan Gohman
9377b086f5 Don't do (x - (y - z)) --> (x + (z - y)) on floating-point types, because 
it may round differently. This fixes PR4374.

llvm-svn: 73243
 2009-06-12 19:23:25 +00:00
Chris Lattner
61797e3291 Fix 4366: store to null in non-default addr space should not be 
turned into unreachable.

llvm-svn: 73195
 2009-06-11 17:54:56 +00:00
Eli Friedman
73a83066d5 PR4340: Run SimplifyDemandedVectorElts on insertelement instructions; 
sometimes it can find simplifications that won't be found otherwise.

llvm-svn: 73006
 2009-06-06 20:08:03 +00:00
Dan Gohman
a5b9645c4b Split the Add, Sub, and Mul instruction opcodes into separate 
integer and floating-point opcodes, introducing
FAdd, FSub, and FMul.

For now, the AsmParser, BitcodeReader, and IRBuilder all preserve
backwards compatability, and the Core LLVM APIs preserve backwards
compatibility for IR producers. Most front-ends won't need to change
immediately.

This implements the first step of the plan outlined here:
http://nondot.org/sabre/LLVMNotes/IntegerOverflow.txt

llvm-svn: 72897
 2009-06-04 22:49:04 +00:00
Dan Gohman
7b6b5dd954 Don't do the X * 0.0 -> 0.0 transformation in instcombine, because 
instcombine doesn't know when it's safe. To partially compensate
for this, introduce new code to do this transformation in
dagcombine, which can use UnsafeFPMath.

llvm-svn: 72872
 2009-06-04 17:12:12 +00:00
Evan Cheng
a838a40bc4 Fix bug in FoldFCmp_IntToFP_Cst. If inttofp is a uintofp, use unsigned instead of signed integer constant. 
llvm-svn: 72300
 2009-05-22 23:10:53 +00:00
Dan Gohman
bf0002e7c1 Teach ValueTracking a new way to analyze PHI nodes, and and teach 
Instcombine to be more aggressive about using SimplifyDemandedBits
on shift nodes. This allows a shift to be simplified to zero in the
included test case.

llvm-svn: 72204
 2009-05-21 02:28:33 +00:00
Chris Lattner
149546a6a0 calls in nothrow functions can be marked nothrow even if the callee 
is not known to be nothrow.  This allows readnone/readonly functions
to be deleted even if we don't know whether the callee can throw.

llvm-svn: 71676
 2009-05-13 17:39:14 +00:00
Duncan Sands
af9eaa830a Rename PaddedSize to AllocSize, in the hope that this 
will make it more obvious what it represents, and stop
it being confused with the StoreSize.

llvm-svn: 71349
 2009-05-09 07:06:46 +00:00
Nick Lewycky
702fbf94a0 This transform requires valid TargetData info. Wrap it in 'if (TD)' in 
preparation for the day we use null TargetData when no target is specified.

llvm-svn: 71210
 2009-05-08 06:47:37 +00:00
Dan Gohman
140a6f24f0 Perform constant folding on operands of instructions with non-void 
types, such as loads and calls.

llvm-svn: 71175
 2009-05-07 19:43:39 +00:00
Duncan Sands
1efabaaa2a Allow readonly functions to unwind exceptions. Teach 
the optimizers about this.  For example, a readonly
function with no uses cannot be removed unless it is
also marked nounwind.

llvm-svn: 71071
 2009-05-06 06:49:50 +00:00
Dan Gohman
1b5055ab7f Return null instead of false, as appropriate. 
llvm-svn: 70054
 2009-04-25 17:28:45 +00:00
Dan Gohman
5638e0d642 Add several more icmp simplifications. Transform signed comparisons 
into unsigned ones when the operands are known to have the same
sign bit value.

llvm-svn: 70053
 2009-04-25 17:12:48 +00:00
Sanjiv Gupta
46c97e626f Allow i16 type indices to gep. 
llvm-svn: 69946
 2009-04-24 02:37:54 +00:00
Sanjiv Gupta
428d490332 Before trying to introduce/eliminate cast/ext/trunc to make indices type as 
pointer type, make sure that the pointer size is a valid sequential index type.

llvm-svn: 69574
 2009-04-20 06:05:54 +00:00
Chris Lattner
eb510d6b3d Instcombine should not promote whole computation trees to "strange" 
integer types, unless they are already strange.  This prevents it from
turning the code produced by SROA into crazy libcalls and stuff that 
the code generator can't handle.  In the attached example, the result
was an i96 multiply that caused the x86 backend to assert.

Note that if TargetData had an idea of what the legal types are for
a target that this could be used to stop instcombine from introducing
i64 muls, as Scott wanted.

llvm-svn: 68598
 2009-04-08 05:41:03 +00:00
Chris Lattner
321741af5f fix rdar://6762290, a crash compiling cxx filt with clang. 
llvm-svn: 68500
 2009-04-07 05:03:34 +00:00
Evan Cheng
826b6f0f7c Throttle back "fold select into operand" transformation. InstCombine should not generate selects of two constants unless they are selects of 0 and 1. 
e.g.
define i32 @t1(i32 %c, i32 %x) nounwind {
       %t1 = icmp eq i32 %c, 0
       %t2 = lshr i32 %x, 18
       %t3 = select i1 %t1, i32 %t2, i32 %x
       ret i32 %t3
}

was turned into

define i32 @t2(i32 %c, i32 %x) nounwind {
       %t1 = icmp eq i32 %c, 0
       %t2 = select i1 %t1, i32 18, i32 0
       %t3 = lshr i32 %x, %t2
       ret i32 %t3
}

For most targets, that means materializing two constants and then a select. e.g. On x86-64

movl    %esi, %eax
shrl    $18, %eax
testl   %edi, %edi
cmovne  %esi, %eax
ret

=>

xorl    %eax, %eax
testl   %edi, %edi
movl    $18, %ecx
cmovne  %eax, %ecx
movl    %esi, %eax
shrl    %cl, %eax
ret

Also, the optimizer and codegen can reason about shl / and / add, etc. by a constant. This optimization will hinder optimizations using ComputeMaskedBits.

llvm-svn: 68142
 2009-03-31 20:42:45 +00:00
Chris Lattner
c3b2111d97 Fix PR3874 by restoring a condition I removed, but making it more 
precise than it used to be.

llvm-svn: 67662
 2009-03-25 00:28:58 +00:00
Chris Lattner
9e94538005 oops, I intended to remove this, not comment it out. Thanks Duncan! 
llvm-svn: 67657
 2009-03-24 23:48:25 +00:00
Chris Lattner
306813cbbb canonicalize inttoptr and ptrtoint instructions which cast pointers 
to/from integer types that are not intptr_t to convert to intptr_t
then do an integer conversion to the dest type.  This exposes the
cast to the optimizer.

llvm-svn: 67638
 2009-03-24 18:35:40 +00:00
Chris Lattner
d9eb41177a two changes: 
1. Make instcombine always canonicalize trunc x to i1 into an icmp(x&1).  This 
   exposes the AND to other instcombine xforms and is more of what the code
   generator expects.
2. Rewrite the remaining trunc pattern match to use 'match', which 
   simplifies it a lot.
   

llvm-svn: 67635
 2009-03-24 18:15:30 +00:00
Duncan Sands
1f15ca7c7a Factorize out a concept - no functionality change. 
llvm-svn: 67454
 2009-03-21 21:27:31 +00:00
Chris Lattner
0a981d1d36 Fix instcombine to not introduce undefined shifts when merging two 
shifts together.  This fixes PR3851.

llvm-svn: 67411
 2009-03-20 22:41:15 +00:00
Duncan Sands
a09e0afe74 Don't load values out of global constants with weak 
linkage: the value may be replaced with something
different at link time.  (Frontends that want to
allow values to be loaded out of weak constants can
give their constants weak_odr linkage).

llvm-svn: 67407
 2009-03-20 21:53:29 +00:00
Chris Lattner
595923ff75 Fix PR3826 - InstComb assert with vector shift, by not calling ComputeNumSignBits on a vector. 
llvm-svn: 67211
 2009-03-18 16:32:19 +00:00
Chris Lattner
e549493a55 Remove a condition which is always true. 
llvm-svn: 67089
 2009-03-17 17:55:15 +00:00
Dale Johannesen
c65830519e One more place where debug info affects codegen. 
llvm-svn: 66930
 2009-03-13 19:23:20 +00:00
Bill Wendling
fa54bc2052 Oops...I committed too much. 
llvm-svn: 66867
 2009-03-13 04:39:26 +00:00
Bill Wendling
b02eadf660 Temporarily XFAIL this test. 
llvm-svn: 66866
 2009-03-13 04:37:11 +00:00
Dale Johannesen
08ccba73a7 Skip interleaved debug info when fast-forwarding through 
allocations.  Apparently the assumption is there is an
instruction (terminator?) following the allocation so I
am allowing the same assumption.

llvm-svn: 66716
 2009-03-11 22:19:43 +00:00