RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-04-12 04:26:43 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
42,724 Commits 6 Branches 6 Tags
Commit Graph

189 Commits

Author SHA1 Message Date
Chris Lattner
ad9a6ccb83 Remove attribution from file headers, per discussion on llvmdev. 
llvm-svn: 45418
 2007-12-29 20:36:04 +00:00
Chris Lattner
5ca42cd342 Fix PR1850 by removing an unsafe transformation from VMCore/ConstantFold.cpp. 
Reimplement the xform in Analysis/ConstantFolding.cpp where we can use
targetdata to validate that it is safe.  While I'm in there, fix some const
correctness issues and generalize the interface to the "operand folder".

llvm-svn: 44817
 2007-12-10 22:53:04 +00:00
Nick Lewycky
1536b3f230 Add new SCEV, SCEVSMax. This allows LLVM to analyze do-while loops. 
llvm-svn: 44319
 2007-11-25 22:41:31 +00:00
Chris Lattner
cdc6bbd519 simplify some code. 
llvm-svn: 44295
 2007-11-23 22:36:49 +00:00
Chris Lattner
ac2de0424b Fix a bug where we'd try to find a scev value for a bitcast operand, 
even though the bitcast operand did not have integer type.  This fixes
PR1814.

llvm-svn: 44286
 2007-11-23 08:46:22 +00:00
Nick Lewycky
aff0962501 Instead of calculating constant factors, calculate the number of trailing 
bits. Patch from Wojciech Matyjewicz.

llvm-svn: 44268
 2007-11-22 07:59:40 +00:00
Nick Lewycky
bb69ad8a1b Small cleanup. Use APInt::getHighBitsSet method instead of shift left. 
"setcc" -> "icmp op" in comments. No functionality change.

llvm-svn: 44249
 2007-11-20 08:44:50 +00:00
Nick Lewycky
f1d30ded71 Be more careful when transforming | to +. Patch from Wojciech Matyjewicz. 
llvm-svn: 44248
 2007-11-20 08:24:44 +00:00
Anton Korobeynikov
c9ab2516fa Reverted r44163 per request 
llvm-svn: 44177
 2007-11-15 18:33:16 +00:00
Nick Lewycky
6690b9499b Fix handling of overflow in loop calculation by adding new UDiv SCEV. This SCEV 
is disabled in the sense that it will refuse to create one from a UDiv
instruction, until the code is better tested.

llvm-svn: 44163
 2007-11-15 06:30:50 +00:00
Dan Gohman
68fc6d7395 Move the SCEV object factors from being static members of the individual 
SCEV subclasses to being non-static member functions of the ScalarEvolution
class.

llvm-svn: 43224
 2007-10-22 18:31:58 +00:00
Nick Lewycky
a44e458ddc Build the correct range for loops with unusual bounds. Fix from Jay Foad. 
llvm-svn: 42394
 2007-09-27 14:12:54 +00:00
Dale Johannesen
86f367a6b7 Next round of APFloat changes. 
Use APFloat in UpgradeParser and AsmParser.
Change all references to ConstantFP to use the
APFloat interface rather than double.  Remove
the ConstantFP double interfaces.
Use APFloat functions for constant folding arithmetic
and comparisons.
(There are still way too many places APFloat is
just a wrapper around host float/double, but we're
getting there.)

llvm-svn: 41747
 2007-09-06 18:13:44 +00:00
Devang Patel
f06e667e9c Use SmallVector instead of std::vector. 
llvm-svn: 41207
 2007-08-21 00:31:24 +00:00
Nick Lewycky
04447caa7b Let scalar-evolution analyze loops with an unsigned comparison for the exit 
condition. Fixes 1597.

llvm-svn: 40867
 2007-08-06 19:21:00 +00:00
Nick Lewycky
071a2c6a5e Don't assume it's safe to transform a loop just because it's dominated by any 
comparison. Fixes bug 1598.

llvm-svn: 40866
 2007-08-06 18:33:46 +00:00
Nick Lewycky
43e5fd5be7 Handle decrementing loops properly. Fixes PR1533. 
Always pass the constant as the second parameter to HowManyLessThans.

Remove obsolete "isSigned" parameter.

llvm-svn: 39893
 2007-07-16 02:08:00 +00:00
Dan Gohman
4e45063081 Move the APInt form of SCEVUnknown::getIntegerSCEV to SCEVConstant::get, and 
use SCEVConstant::get instead of SCEVUnknown::get when constructing a SCEV
for a ConstantInt.

llvm-svn: 38457
 2007-07-09 15:25:17 +00:00
Dan Gohman
bb705e230a Rename ScalarEvolution::deleteInstructionFromRecords to 
deleteValueFromRecords and loosen the types to all it to accept
Value* instead of just Instruction*, since this is what
ScalarEvolution uses internally anyway. This allows more flexibility
for future uses.

llvm-svn: 37657
 2007-06-19 14:28:31 +00:00
Dan Gohman
5db3ad4b32 In SCEVAddExpr::get, skip over any cast operands before looking for nested 
add operands after constant operands. The recent change to recognize
sign-extend expressions caused this to be exposed more often.

llvm-svn: 37628
 2007-06-18 19:30:09 +00:00
Dan Gohman
838ba27094 Add a SCEV class and supporting code for sign-extend expressions. 
This created an ambiguity for expandInTy to decide when to use
sign-extension or zero-extension, but it turns out that most of its callers
don't actually need a type conversion, now that LLVM types don't have
explicit signedness. Drop expandInTy in favor of plain expand, and change
the few places that actually need a type conversion to do it themselves.

llvm-svn: 37591
 2007-06-15 14:38:12 +00:00
Nick Lewycky
2897eb89d0 Optimize this test. Firstly, only Instructions may use other Instructions. 
Secondly, checking whether removal succeeded tells you whether it was in
the map to begin with.

llvm-svn: 37469
 2007-06-06 11:26:20 +00:00
Nick Lewycky
c667323382 Fix PR1487 and Transforms/IndVar/2007-06-06-DeleteDanglesPtr.ll 
llvm-svn: 37459
 2007-06-06 04:12:20 +00:00
Devang Patel
cd45427a87 Drop 'const' 
llvm-svn: 36662
 2007-05-03 01:11:54 +00:00
Devang Patel
8ee9065162 Use 'static const char' instead of 'static const int'. 
Due to darwin gcc bug, one version of darwin linker coalesces
static const int, which defauts PassID based pass identification.

llvm-svn: 36652
 2007-05-02 21:39:20 +00:00
Lauro Ramos Venancio
57d03e112b Fix build error. 
llvm-svn: 36648
 2007-05-02 20:37:47 +00:00
Devang Patel
38a66bc82e Do not use typeinfo to identify pass in pass manager. 
llvm-svn: 36632
 2007-05-01 21:15:47 +00:00
Reid Spencer
85f055a567 Revert last patch. It was already fixed. 
llvm-svn: 36102
 2007-04-16 02:24:41 +00:00
Reid Spencer
e411fd1f10 For PR1336: 
Fix a div-by-zero bug noticed by APInt. This fixes:
test/Transforms/IndVarsSimplify/exit_value_tests.llx

llvm-svn: 36099
 2007-04-16 01:48:37 +00:00
Chris Lattner
c2762b5d83 Fix a nasty bug introduced when apint'ified. This fixes 
Transforms/IndVarsSimplify/exit_value_tests.llx

llvm-svn: 36081
 2007-04-15 19:52:49 +00:00
Zhou Sheng
c2cfa6111d Eliminate unnecessary APInt construction. 
llvm-svn: 35740
 2007-04-07 17:48:27 +00:00
Zhou Sheng
7bcd47dbc1 Make APInt variables do the computation stuffs instead of 
ConstantExpr::getXX if possible.

llvm-svn: 35738
 2007-04-07 17:40:57 +00:00
Zhou Sheng
21dfc2107a Eliminate unnecessary zext/trunc stuffs. 
llvm-svn: 35737
 2007-04-07 17:12:38 +00:00
Chris Lattner
6668db1331 Treat xor of signbit like an add. 
llvm-svn: 35586
 2007-04-02 05:41:38 +00:00
Reid Spencer
17000a40e2 Guard further against APInt operations with operands of unequal bit width. 
llvm-svn: 34897
 2007-03-04 01:25:35 +00:00
Reid Spencer
89154fbfff Fix an unequal bitwidth issue. 
llvm-svn: 34831
 2007-03-02 02:59:25 +00:00
Reid Spencer
1f970769e8 Prefer non-virtual calls to ConstantInt::isZero over virtual calls to 
Constant::isNullValue() in situations where it is possible.

llvm-svn: 34821
 2007-03-02 00:28:52 +00:00
Reid Spencer
ee77d22f26 Make it possible to create an SCEVUnknown from an APInt as well as an int. 
llvm-svn: 34816
 2007-03-01 22:28:51 +00:00
Reid Spencer
288f1db60d Construct ConstantInt with simpler constructor. 
llvm-svn: 34795
 2007-03-01 19:32:33 +00:00
Reid Spencer
18d663b62c Fix last night's 445.gobmk breakage which was caused by comparison of 
APInt's of unequal bitwidth.

llvm-svn: 34790
 2007-03-01 17:17:21 +00:00
Reid Spencer
3f3487918c Remove the "isSigned" parameters from ConstantRange. It turns out they 
are not needed as the results are the same with or without it.

Patch by Nicholas Lewycky.

llvm-svn: 34782
 2007-03-01 07:54:15 +00:00
Reid Spencer
036051c002 APIntify various computations in ScalarEvolution 
llvm-svn: 34780
 2007-03-01 07:25:48 +00:00
Reid Spencer
67eedb21b7 For PR1205: 
Make GetConstantFactor compute its result using an APInt.

llvm-svn: 34765
 2007-02-28 23:31:17 +00:00
Reid Spencer
19e5279a38 For PR1205: 
Adjust to changes in ConstantRange interface.

llvm-svn: 34762
 2007-02-28 22:03:51 +00:00
Reid Spencer
965067a054 For PR1205: 
Remove ConstantInt from ConstantRange interface and adjust its users to
compensate.

llvm-svn: 34758
 2007-02-28 19:57:34 +00:00
Reid Spencer
e2b4631435 For PR1205: 
First round of ConstantRange changes. This makes all CR constructors use
only APInt and not use ConstantInt. Clients are adjusted accordingly.

llvm-svn: 34756
 2007-02-28 18:57:32 +00:00
Reid Spencer
591bfa1e0b Changes to support making the shift instructions be true BinaryOperators. 
This feature is needed in order to support shifts of more than 255 bits
on large integer types.  This changes the syntax for llvm assembly to
make shl, ashr and lshr instructions look like a binary operator:
   shl i32 %X, 1
instead of
   shl i32 %X, i8 1
Additionally, this should help a few passes perform additional optimizations.

llvm-svn: 33776
 2007-02-02 02:16:23 +00:00
Chris Lattner
937bf05f43 The local "ConstantFold" method is now just a watered down version of 
ConstantFoldInstOperands.  Switch to ConstantFoldInstOperands and remove
ConstantFold.

llvm-svn: 33683
 2007-01-30 23:52:44 +00:00
Chris Lattner
116b82d058 adjust to constant folding api changes. 
llvm-svn: 33673
 2007-01-30 23:15:43 +00:00
Reid Spencer
14b42c0040 For PR1043: 
This is the final patch for this PR. It implements some minor cleanup
in the use of IntegerType, to wit:
1. Type::getIntegerTypeMask -> IntegerType::getBitMask
2. Type::Int*Ty changed to IntegerType* from Type*
3. ConstantInt::getType() returns IntegerType* now, not Type*

This also fixes PR1120.

Patch by Sheng Zhou.

llvm-svn: 33370
 2007-01-19 21:13:56 +00:00