maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
30,990 Commits 23 Branches 0 Tags 2.2 GiB
Commit Graph

17972 Commits

Author SHA1 Message Date
Nick Lewycky e455937fae Add getter methods for the extremes of a ConstantRange. 
llvm-svn: 35056
 2007-03-10 15:54:12 +00:00
Bill Wendling e9b81f5366 Adding more arithmetic operators to MMX. This is an almost exact copy of 
the addition. Please let me know if you have suggestions.

llvm-svn: 35055
 2007-03-10 09:57:05 +00:00
Devang Patel 5f50e61d52 Remove dead comments. 
llvm-svn: 35053
 2007-03-09 23:41:03 +00:00
Devang Patel bda1250624 Avoid recursion. Use iterative algorithm for RenamePass(). 
llvm-svn: 35052
 2007-03-09 23:39:14 +00:00
Devang Patel 58818c530f Increment iterator now because IVUseShouldUsePostIncValue may remove 
User from the list of I users.

llvm-svn: 35051
 2007-03-09 21:19:53 +00:00
Reid Spencer ad3618a33d Regenerate. 
llvm-svn: 35050
 2007-03-09 21:19:09 +00:00
Evan Cheng 09663aeac7 Minor stuff. 
llvm-svn: 35049
 2007-03-09 19:46:06 +00:00
Evan Cheng 31ef0ab7cf Add comments about LSR / ARM. 
llvm-svn: 35048
 2007-03-09 19:35:33 +00:00
Evan Cheng 603f3094eb Unfinished work and ideas related to register scavenger. 
llvm-svn: 35047
 2007-03-09 19:34:51 +00:00
Reid Spencer 3fcf0c24a9 For PR1245: 
Account for the sign bit when computing the number of bits required for
a negative integer literal constant.

llvm-svn: 35046
 2007-03-09 19:26:52 +00:00
Dale Johannesen 368faf9acd apply comments from review of last patch 
llvm-svn: 35045
 2007-03-09 19:18:59 +00:00
Dale Johannesen af0cff2671 Add some observations from CoreGraphics benchmark. Remove register 
scavenging todo item, since it is now implemented.

llvm-svn: 35044
 2007-03-09 17:58:17 +00:00
Anton Korobeynikov 2f4ae5306e Unbreak mingw32 build 
llvm-svn: 35042
 2007-03-09 11:53:34 +00:00
Evan Cheng df7949a8d0 If a virtual register is already marked alive in this block, that means it is 
alive in one of the successor block. Do not add it to the kill list.

llvm-svn: 35041
 2007-03-09 09:48:56 +00:00
Evan Cheng 9bc8d4b6f2 Print preds / succs BB numbers. 
llvm-svn: 35040
 2007-03-09 08:29:08 +00:00
Evan Cheng 91b0790297 Avoid variable shadowing. 
llvm-svn: 35039
 2007-03-09 06:02:17 +00:00
Bill Wendling 16574a72e1 Don't use std::hex. 
llvm-svn: 35038
 2007-03-08 23:37:24 +00:00
Bill Wendling 61a2773977 Don't use a cast. It causes an error on some platforms. 
llvm-svn: 35037
 2007-03-08 23:26:50 +00:00
Evan Cheng ea28fc5dc4 Implement inline asm modifier c. 
llvm-svn: 35035
 2007-03-08 22:42:46 +00:00
Chris Lattner ce8aba03ee implement support for floating point constants used as inline asm memory operands. 
llvm-svn: 35033
 2007-03-08 22:29:47 +00:00
Bill Wendling 6092ce25cf Added "padd*" support for MMX. Added MMX move stuff to X86InstrInfo so that 
moves, loads, etc. are recognized.

llvm-svn: 35031
 2007-03-08 22:09:11 +00:00
Evan Cheng 63170b6959 Fix a typo. 
llvm-svn: 35030
 2007-03-08 21:59:30 +00:00
Devang Patel 01919d2c0b Speed Up Pass Manager. 
- Check Immutableness before searching PreservedSet.
- Avoid unnecessary traversal while setting Last User.

llvm-svn: 35028
 2007-03-08 19:05:01 +00:00
Zhou Sheng d1eb3d593e Fix a bug in function ComputeMaskedBits(). 
llvm-svn: 35027
 2007-03-08 15:15:18 +00:00
Evan Cheng ddf082082c Putting more constants which do not contain relocations into .literal{4|8|16} 
llvm-svn: 35026
 2007-03-08 08:31:54 +00:00
Chris Lattner b7bc3f2d30 make this fail even in non-assert builds. 
llvm-svn: 35025
 2007-03-08 07:07:03 +00:00
Chris Lattner abd3bff4f2 This appears correct, enable it so we can see perf changes on testers 
llvm-svn: 35024
 2007-03-08 07:03:55 +00:00
Chris Lattner 9f022d550b Second half of PR1226. This is currently still disabled, until I have a chance to 
do the correctness/performance analysis testing.

llvm-svn: 35023
 2007-03-08 06:36:54 +00:00
Zhou Sheng 387d7b1a35 Fix a bug in APIntified ComputeMaskedBits(). 
llvm-svn: 35022
 2007-03-08 05:42:00 +00:00
Evan Cheng e94a2f8026 Change register allocation order to Dale's suggestion. 
llvm-svn: 35021
 2007-03-08 02:56:40 +00:00
Evan Cheng 977195e912 Bug fix. Not advancing the register scavenger iterator correctly. 
llvm-svn: 35020
 2007-03-08 02:55:08 +00:00
Reid Spencer bb5741fb02 For PR1205: 
Provide an APIntified version of MaskedValueIsZero. This will (temporarily)
cause a "defined but not used" message from the compiler. It will be used
in the next patch in this series.

Patch by Sheng Zhou.

llvm-svn: 35019
 2007-03-08 01:52:58 +00:00
Reid Spencer aa69640b10 For PR1205: 
Add a new ComputeMaskedBits function that is APIntified. We'll slowly
convert things over to use this version. When its all done, we'll remove
the existing version.

llvm-svn: 35018
 2007-03-08 01:46:38 +00:00
Evan Cheng d918477ac3 For Darwin, put constant data into .const, .const_data, .literal{4|8|16} 
sections.

llvm-svn: 35017
 2007-03-08 01:25:25 +00:00
Evan Cheng 13a1d96963 Put constant data to .const, .const_data, .literal{4|8|16} sections. 
llvm-svn: 35016
 2007-03-08 01:07:07 +00:00
Evan Cheng 58aeb9c444 Add ReadOnlySection directive. 
llvm-svn: 35015
 2007-03-08 01:00:38 +00:00
Evan Cheng f9e003b653 Added ContainsRelocations() to check if a constant might only be resolvable at load time. 
llvm-svn: 35014
 2007-03-08 00:59:12 +00:00
Evan Cheng f030f2d628 Only safe to use a call-clobbered or spilled callee-saved register as scratch register. 
llvm-svn: 35010
 2007-03-07 20:30:36 +00:00
Bill Wendling 6d8211c0ac Remove useless pattern fragments. 
llvm-svn: 35009
 2007-03-07 18:23:09 +00:00
Anton Korobeynikov ed4b303c10 Refactoring of formal parameter flags. Enable properly use of 
zext/sext/aext stuff.

llvm-svn: 35008
 2007-03-07 16:25:09 +00:00
Anton Korobeynikov dd6ce6900e Cleanup: make SetCounter an instance variable 
llvm-svn: 35007
 2007-03-07 08:25:02 +00:00
Evan Cheng 8a1d09d079 Avoid combining indexed load further. 
llvm-svn: 35005
 2007-03-07 08:07:03 +00:00
Devang Patel 2ac57e1f02 Now IndVarSimplify is a LoopPass. 
llvm-svn: 35003
 2007-03-07 06:39:01 +00:00
Bill Wendling 97905b4027 Properly support v8i8 and v4i16 types. It now converts them to v2i32 for 
load and stores.

llvm-svn: 35002
 2007-03-07 05:43:18 +00:00
Devang Patel 69730c96db Now LICM is a LoopPass. 
llvm-svn: 35001
 2007-03-07 04:41:30 +00:00
Anton Korobeynikov 942fda027f Fix DWARF debugging information on x86/Linux and (hopefully) 
Mingw32/Cygwin targets. This fixes PR978

llvm-svn: 35000
 2007-03-07 02:47:57 +00:00
Evan Cheng 17cdad0687 ARM always use register scavenger. No longer reserves R12. 
llvm-svn: 34999
 2007-03-07 02:46:23 +00:00
Evan Cheng 2818fdd019 Fix some brittle code. Watch out for cases where register scavenger is pointing to deleted instructions. 
llvm-svn: 34998
 2007-03-07 02:38:05 +00:00
Devang Patel 9779e56c04 Now LoopUnroll is a LoopPass. 
llvm-svn: 34996
 2007-03-07 01:38:05 +00:00
Devang Patel 901a27d892 Now LoopUnswitch is a LoopPass. 
llvm-svn: 34992
 2007-03-07 00:26:10 +00:00
Evan Cheng 67038e7a8b Fix one more Thumb eliminateFrameIndex bug. 
llvm-svn: 34990
 2007-03-07 00:12:18 +00:00
Reid Spencer 4fd528f213 Fix all of last night's JIT failures in Prolangs-C++ by finishing the 
implementation of getConstantValue().

llvm-svn: 34988
 2007-03-06 22:23:15 +00:00
Evan Cheng 5ed781b0db Register scavenging is now on by default for ARM. 
llvm-svn: 34987
 2007-03-06 22:02:53 +00:00
Evan Cheng 41bc2fd242 Make load / store optimizer use register scavenger. 
llvm-svn: 34986
 2007-03-06 21:59:20 +00:00
Evan Cheng 24f65cc91e Minor bug fix. 
llvm-svn: 34985
 2007-03-06 21:58:15 +00:00
Devang Patel b0743b5d6a Now LoopStrengthReduce is a LoopPass. 
llvm-svn: 34984
 2007-03-06 21:14:09 +00:00
Chris Lattner 13780ac7db big endian 32-bit systems (e.g. ppc32) want to return the high reg first, not 
the lo-reg first.  This is fallout from my ppc calling conv change yesterday,
it fixes test/ExecutionEngine/2003-05-06-LivenessClobber.llx

llvm-svn: 34983
 2007-03-06 20:01:06 +00:00
Devang Patel db0db9740b Insert loop into LQ before visiting children. 
llvm-svn: 34982
 2007-03-06 19:50:49 +00:00
Anton Korobeynikov 6c5e0ad71c Small eye-candy: use asciz directive everywhere, where possible. 
llvm-svn: 34981
 2007-03-06 19:25:02 +00:00
Devang Patel 4a8725cf2f Use schedulePass() instead of assignPassManager() to add new LPPassManager. 
This ensures that require analysis info is available.

llvm-svn: 34980
 2007-03-06 19:11:25 +00:00
Devang Patel ef7ac13406 Add LPPassManager::insertLoop(). 
llvm-svn: 34979
 2007-03-06 19:00:02 +00:00
Bill Wendling bbd25984b7 Add LOAD/STORE support for MMX. 
llvm-svn: 34978
 2007-03-06 18:53:42 +00:00
Devang Patel fca3aa3645 LPPassManager::deleteLoopFromQueue() add meat. Cut-n-paste code from 
LoopUnswitch pass.

llvm-svn: 34977
 2007-03-06 18:38:33 +00:00
Evan Cheng d28de6700b Code clean up. Prepare to use register scavenger. 
llvm-svn: 34976
 2007-03-06 18:02:41 +00:00
Devang Patel 1699384509 LPPassManager. Implement preparePassManager() hook. 
llvm-svn: 34975
 2007-03-06 17:59:37 +00:00
Devang Patel 9d9fc90952 Keep track of higher level analysis. 
llvm-svn: 34974
 2007-03-06 17:52:53 +00:00
Devang Patel 84ffc223f1 LPPassManager : Add initialization and finalizatino hooks. 
llvm-svn: 34968
 2007-03-06 16:59:03 +00:00
Evan Cheng 8b8cac289b Minor interface change. 
llvm-svn: 34967
 2007-03-06 10:05:14 +00:00
Evan Cheng 4783ae8ac1 Scavenge a register using the register scavenger when needed. 
llvm-svn: 34966
 2007-03-06 10:03:56 +00:00
Evan Cheng c1b21857a4 If target decides to create an emergency spill slot, make sure it's closest to SP or frame pointer. 
llvm-svn: 34965
 2007-03-06 10:02:38 +00:00
Evan Cheng 372c2c69f8 Register scavenger is now capable of scavenging. It spills a register whose use of furthest away to make it available. 
llvm-svn: 34964
 2007-03-06 10:01:25 +00:00
Anton Korobeynikov e7ec3bc7bc Use new SDIselParamAttr enumeration. This removes "magick" constants 
from formal attributes' flags processing.

llvm-svn: 34963
 2007-03-06 08:12:33 +00:00
Anton Korobeynikov f0b9316552 Enumerate SDISel formal parameter attributes. Make use of new 
enumeration.

llvm-svn: 34960
 2007-03-06 06:10:33 +00:00
Anton Korobeynikov 666d23d4e6 Implement PR1240 
llvm-svn: 34959
 2007-03-06 05:32:48 +00:00
Reid Spencer 4e42790c43 1. Make StoreValueToMemory a little more efficient by not requiring caller 
to make a copy of the GenericValue.
2. Fix a copy & paste bug in StoreValueToMemory where 64-bit values were
   truncated to 32

llvm-svn: 34958
 2007-03-06 05:03:16 +00:00
Reid Spencer 1efc4aaf84 Fix some thinko's in the last patch. PtrSize has to be in bits and we 
might need to zext not just trunc the value.

llvm-svn: 34955
 2007-03-06 03:46:41 +00:00
Reid Spencer 10dbc1e896 Fix a bug in IntToPtr. Truncating to 64-bits only works if the integer 
is larger. Adjust so that it truncates to pointer width, only if necessary.

llvm-svn: 34954
 2007-03-06 03:41:50 +00:00
Reid Spencer c764c55745 Simplify code as a result of the change in GenericValue to have a single 
integer field of type APInt instead of different sized integer fields.

llvm-svn: 34952
 2007-03-06 03:11:31 +00:00
Reid Spencer 40015aad5a Radically simplify execution. This patch gets rid of all the special 
handling for integer of various sizes. GenericValue now has just a single
integer field of type APInt. We use its facilities directly in the
execution of all instructions.

llvm-svn: 34951
 2007-03-06 03:09:31 +00:00
Reid Spencer c45e10474a Adjust and simplify external function processing now that GenericValue has 
a single integer field of type APInt.

llvm-svn: 34950
 2007-03-06 03:08:12 +00:00
Reid Spencer 7f68713eb8 APInt's are no longer allocated on the heap because they are direct 
members of GenericValue. Consequently the code to clean them up isn't
needed.

llvm-svn: 34948
 2007-03-06 03:06:48 +00:00
Reid Spencer 2d89fa84bc Remove the insufficient code in Interpreter::create that computed the 
Target DataLayout incorrectly. For now, we'll trust that the module has
got the correct DataLayout. In the future, this needs to be changed to
tell the TargetData to be "current host".

llvm-svn: 34947
 2007-03-06 03:05:57 +00:00
Reid Spencer 87aa65f40e Simplify things significantly because GenericValue now has a single integer 
field, of type APInt, instead of multiple integer fields. Also, get rid of
the special endianness code in StoreValueToMemory and LoadValueToMemory.
ExecutionEngine is always used to execute on the host platform so this is
now unnecessary.

llvm-svn: 34946
 2007-03-06 03:04:04 +00:00
Devang Patel a8c81c5261 Use std::deque to manage loop queue inside LPPassManager. 
llvm-svn: 34943
 2007-03-06 02:30:46 +00:00
Devang Patel 42dd1e92c7 Keep track of inherited analysis. For example, if a loop pass does not 
preserve dominator info then it should update parent FPPassManager's
available analysis info to reflect this.

llvm-svn: 34942
 2007-03-06 01:55:46 +00:00
Devang Patel d74ede70fb Add preparePassManager() hook. This allows each pass to check whether 
current active pass manager is appropriate or not.

A loop pass may consider current LPPassManager in appropraite if loop
pass is not preserving analysis information that is used by other
passes managed by current LPPassManager. In such situation, loop pass
can pop current LPPassManager from the PMStack using this  hook
and use new LPPassManager for itself.

llvm-svn: 34941
 2007-03-06 01:06:16 +00:00
Chris Lattner 4f2e4e0f92 Switch PPC return lower to use an autogenerated CC description. 
llvm-svn: 34940
 2007-03-06 00:59:59 +00:00
Reid Spencer 3939b1a274 Remove an unnecessary if statement and adjust indentation. 
llvm-svn: 34939
 2007-03-05 23:36:13 +00:00
Bill Wendling b1c86b49ea Add the emms intrinsic for MMX support. 
llvm-svn: 34938
 2007-03-05 23:09:45 +00:00
Devang Patel ec2b9a7850 Current pass manager, not the parent pass manager, assumes the role of 
last user when one of the managed pass uses info provided by parent pass
manager.

This was exposed by LPPassManager work.

llvm-svn: 34936
 2007-03-05 22:57:49 +00:00
Devang Patel 003a559633 Avoid constructing std::strings unless pass debugging is ON. 
llvm-svn: 34933
 2007-03-05 20:01:30 +00:00
Devang Patel 7ebf09dbca Account for time consumed by releaseMemory() properly. 
llvm-svn: 34932
 2007-03-05 18:20:51 +00:00
Lauro Ramos Venancio f10769dda7 Use init_array/fini_array sections for static contructors/destructors when the ABI is AAPCS. 
Fix SingleSource/Regression/C/ConstructorDestructorAttributes test on arm-linux-gnueabi.

llvm-svn: 34931
 2007-03-05 17:59:58 +00:00
Chris Lattner 66e6a8229a This is the first major step of implementing PR1226. We now successfully 
scalarrepl things down to elements, but mem2reg can't promote elements that
are memset/memcpy'd.  Until then, the code is disabled "0 &&".

llvm-svn: 34924
 2007-03-05 07:52:57 +00:00
Jeff Cohen 7157fe3f4b Ensure 64-bit correctness. 
llvm-svn: 34923
 2007-03-05 05:45:08 +00:00
Jeff Cohen a531d04b64 Implement memoryLimit on Windows. 
llvm-svn: 34922
 2007-03-05 05:22:08 +00:00
Chris Lattner fe53cf2459 fix a subtle bug that caused an MSVC warning. Thanks to Jeffc for pointing this out. 
llvm-svn: 34920
 2007-03-05 00:11:19 +00:00
Chris Lattner 5fdded1d2f Add some simplifications for demanded bits, this allows instcombine to turn: 
define i64 @test(i64 %A, i32 %B) {
        %tmp12 = zext i32 %B to i64             ; <i64> [#uses=1]
        %tmp3 = shl i64 %tmp12, 32              ; <i64> [#uses=1]
        %tmp5 = add i64 %tmp3, %A               ; <i64> [#uses=1]
        %tmp6 = and i64 %tmp5, 123              ; <i64> [#uses=1]
        ret i64 %tmp6
}

into:

define i64 @test(i64 %A, i32 %B) {
        %tmp6 = and i64 %A, 123         ; <i64> [#uses=1]
        ret i64 %tmp6
}

This implements Transforms/InstCombine/add2.ll:test1

llvm-svn: 34919
 2007-03-05 00:02:29 +00:00
Jeff Cohen b622c11f77 Unbreak VC++ build. 
llvm-svn: 34917
 2007-03-05 00:00:42 +00:00
Chris Lattner ab2f913b68 simplify some code 
llvm-svn: 34914
 2007-03-04 23:16:36 +00:00
Chris Lattner 47206667c0 fold away addc nodes when we know there cannot be a carry-out. 
llvm-svn: 34913
 2007-03-04 20:40:38 +00:00
Chris Lattner 2dcc6e7f58 generalize 
llvm-svn: 34910
 2007-03-04 20:08:45 +00:00
Chris Lattner e2e13caeb2 canonicalize constants to the RHS of addc/adde. If nothing uses the carry out of 
addc, turn it into add.

This allows us to compile:

long long test(long long A, unsigned B) {
  return (A + ((long long)B << 32)) & 123;
}

into:

_test:
        movl $123, %eax
        andl 4(%esp), %eax
        xorl %edx, %edx
        ret

instead of:
_test:
        xorl %edx, %edx
        movl %edx, %eax
        addl 4(%esp), %eax   ;; add of zero
        andl $123, %eax
        ret

llvm-svn: 34909
 2007-03-04 20:03:15 +00:00
Chris Lattner 362621c7ae eliminate some ops if they have an undef RHS 
llvm-svn: 34908
 2007-03-04 20:01:46 +00:00
Chris Lattner 1e04147240 fix typo 
llvm-svn: 34906
 2007-03-04 06:36:24 +00:00
Chris Lattner d647f92a14 add missing braces 
llvm-svn: 34905
 2007-03-04 06:13:52 +00:00
Chris Lattner c33fd469ef minor cleanups 
llvm-svn: 34904
 2007-03-04 04:50:21 +00:00
Reid Spencer b8825b8c04 Remove unneeded header file. 
llvm-svn: 34903
 2007-03-04 04:41:04 +00:00
Chris Lattner 8258b44b22 Speed up -instcombine by 20% by avoiding a particularly expensive passmgr call. 
llvm-svn: 34902
 2007-03-04 04:27:24 +00:00
Chris Lattner a5403a587c switch MarkAliveBlocks over to using SmallPtrSet instead of std::set, speeding 
up simplifycfg by 20%

llvm-svn: 34901
 2007-03-04 04:20:48 +00:00
Chris Lattner 16cf9a7686 Speed up Loop::isLCSSAForm by using a hash table instead of a sorted vector. 
llvm-svn: 34900
 2007-03-04 04:06:39 +00:00
Chris Lattner d7b4c92cd0 make better use of LCSSA information in RewriteLoopExitValues. Before, we 
would scan the entire loop body, then scan all users of instructions in the
loop, looking for users outside the loop.  Now, since we know that the
loop is in LCSSA form, we know that any users outside the loop will be LCSSA
phi nodes.  Just scan them.

This speeds up indvars significantly.

llvm-svn: 34898
 2007-03-04 03:43:23 +00:00
Reid Spencer 69904f939a Guard further against APInt operations with operands of unequal bit width. 
llvm-svn: 34897
 2007-03-04 01:25:35 +00:00
Chris Lattner 1f7648efba Implement PR1179/PR1232 and test/Transforms/IndVarsSimplify/loop_evaluate_[234].ll 
This makes -indvars require and use LCSSA, updating it as appropriate.

llvm-svn: 34896
 2007-03-04 01:00:28 +00:00
Chris Lattner ca401aac31 Fix CodeGen/Generic/fpowi-promote.ll and PR1239 
llvm-svn: 34893
 2007-03-03 23:43:21 +00:00
Chris Lattner ed30abf0cb Make RewriteLoopExitValues far less nested by using continue in the loop 
llvm-svn: 34891
 2007-03-03 22:48:48 +00:00
Chris Lattner 567b9254cd Add an expand action for ISD label which just deletes the label. 
This "fixes" PR1238.

llvm-svn: 34890
 2007-03-03 19:21:38 +00:00
Reid Spencer 04a1829559 Remove unnecessary #include. 
llvm-svn: 34889
 2007-03-03 18:29:16 +00:00
Reid Spencer 603682ad1d Deal with error handling better. 
llvm-svn: 34887
 2007-03-03 18:19:18 +00:00
Reid Spencer 1f87660d29 Make sure that when we store a value it is masked to its correct bit 
width. This helps CBE work with non-standard integer bit widths.

llvm-svn: 34885
 2007-03-03 16:33:33 +00:00
Reid Spencer ec8c51c1b1 Complete the APIntification of the interpreter. All asserts for > 64 bits 
have been removed and dealt with. The interpreter should now be able to
execute any LLVM program using any bit width.

llvm-svn: 34884
 2007-03-03 08:38:04 +00:00
Reid Spencer 00919f5769 Avoid memory leakage by having caller construct the APInt for the 
destination value of LoadValueFromMemory.

llvm-svn: 34883
 2007-03-03 08:36:29 +00:00
Reid Spencer 50d7ad9183 Fix constant folding of fp->int bitcast for vectors. 
llvm-svn: 34880
 2007-03-03 08:32:46 +00:00
Evan Cheng d74cb0e194 Only propagate IsKill if the last use is a kill. 
llvm-svn: 34878
 2007-03-03 06:32:37 +00:00
Reid Spencer 54c6e84c83 Implement APInt support for the binary operators. 
Move the getConstantExpr function towards the end of the file so we don't
need a dozen forward declarations.

llvm-svn: 34877
 2007-03-03 06:22:22 +00:00
Reid Spencer 72aafa1d49 1. Have the ExecutionContext keep track of the APInt's allocated and 
ensure they are cleaned up when the stack frame exits.
2. Move a function to the Execution.cpp file where it belongs.

llvm-svn: 34876
 2007-03-03 06:19:55 +00:00
Nate Begeman 323cf8f602 http://llvm.org/bugs/show_bug.cgi?id=1237 
llvm-svn: 34875
 2007-03-03 06:18:18 +00:00
Reid Spencer 815f8dd225 Implement loading and storing of APInt values from memory. 
llvm-svn: 34874
 2007-03-03 06:18:03 +00:00
Nick Lewycky e6049c2f08 Emit low/high immediate loads properly for Linux/PPC. 
llvm-svn: 34871
 2007-03-03 05:29:51 +00:00
Chris Lattner da1d04a057 my recent change caused a failure in a bswap testcase, because it changed 
the order that instcombine processed instructions in the testcase.  The end
result is that instcombine finished with:

define i16 @test1(i16 %a) {
        %tmp = zext i16 %a to i32               ; <i32> [#uses=2]
        %tmp21 = lshr i32 %tmp, 8               ; <i32> [#uses=1]
        %tmp5 = shl i32 %tmp, 8         ; <i32> [#uses=1]
        %tmp.upgrd.32 = or i32 %tmp21, %tmp5            ; <i32> [#uses=1]
        %tmp.upgrd.3 = trunc i32 %tmp.upgrd.32 to i16           ; <i16> [#uses=1]
        ret i16 %tmp.upgrd.3
}

which can't get matched as a bswap.

This patch makes instcombine more sophisticated about removing truncating
casts, allowing it to turn this into:

define i16 @test2(i16 %a) {
        %tmp211 = lshr i16 %a, 8
        %tmp52 = shl i16 %a, 8
        %tmp.upgrd.323 = or i16 %tmp211, %tmp52
        ret i16 %tmp.upgrd.323
}

which then matches as bswap.  This fixes bswap.ll and implements
InstCombine/cast2.ll:test[12].  This also implements cast elimination of
add/sub.

llvm-svn: 34870
 2007-03-03 05:27:34 +00:00
Nick Lewycky db42295ff2 Translate bit operations to English. 
llvm-svn: 34868
 2007-03-03 03:14:40 +00:00
Evan Cheng 3fd728596e Watch out for cases like this: 
entry (0x8b056f0, LLVM BB @0x8b01b30, ID#0):
Live Ins: %r0 %r1 %r2 %r3
        %reg1032 = tMOVrr %r3<kill>
        %reg1033 = tMOVri8 1
        %reg1034 = tMOVri8 0
        tCMPi8 %reg1029<kill>, 0
        tBcc mbb<entry,0x8b06a10>, 0
    Successors according to CFG: 0x8b06980 0x8b06a10

entry (0x8b06980, LLVM BB @0x8b01b30, ID#12):
    Predecessors according to CFG: 0x8b056f0
        %reg1036 = tMOVrr %reg1034<kill>
    Successors according to CFG: 0x8b06a10

entry (0x8b06a10, LLVM BB @0x8b01b30, ID#13):
    Predecessors according to CFG: 0x8b056f0 0x8b06980
        %reg1024<dead> = tMOVrr %reg1030<kill>
        ...

reg1030 and r1 have already been joined. When reg1024 and reg1030 are joined,
r1 live range from function entry to the tMOVrr instruction are dead. Eliminate
r1 from the livein set of the entry BB, not the BB where the copy is.

llvm-svn: 34866
 2007-03-03 02:18:00 +00:00
Chris Lattner 960a543037 add a top-level iteration loop to instcombine. This means that it will never 
finish without combining something it is capable of.

llvm-svn: 34865
 2007-03-03 02:04:50 +00:00
Reid Spencer c34dedf686 APIntify this pass. 
llvm-svn: 34863
 2007-03-03 00:48:31 +00:00
Reid Spencer 53a3739c80 Finally get this patch right :) 
Replace expensive getZExtValue() == 0 calls with isZero() calls.

llvm-svn: 34861
 2007-03-02 23:51:25 +00:00
Reid Spencer ba547cbb2a Dang, I've done that twice now! Undo previous commit. 
llvm-svn: 34860
 2007-03-02 23:37:53 +00:00
Reid Spencer 558990e189 Use more efficient test for one value in a ConstantInt. 
llvm-svn: 34859
 2007-03-02 23:35:28 +00:00
Reid Spencer 29fe20a98b Guard against huge loop trip counts in an APInt safe way. 
llvm-svn: 34858
 2007-03-02 23:31:34 +00:00
Evan Cheng deaea25eb9 X86-64 VACOPY needs custom expansion. va_list is a struct { i32, i32, i8*, i8* }. 
llvm-svn: 34857
 2007-03-02 23:16:35 +00:00
Reid Spencer dec03a08d6 Make sure debug code is not evaluated in non-debug case. 
llvm-svn: 34856
 2007-03-02 23:15:21 +00:00
Reid Spencer 1e102971d2 1. Sort switch cases using APInt safe comparison. 
2. Make sure debug output of APInt values is safe for all bit widths.

llvm-svn: 34855
 2007-03-02 23:05:28 +00:00
Reid Spencer 43376a74af Use APInt safe isOne() method on ConstantInt instead of getZExtValue()==1 
llvm-svn: 34854
 2007-03-02 23:03:17 +00:00
Reid Spencer bb38d79ad6 Make sorting of ConstantInt be APInt clean through use of ult function. 
llvm-svn: 34853
 2007-03-02 23:01:14 +00:00
Reid Spencer 1825dd0d7c Fix ashr for bitwidths > 64. This is now validated up to 1024 bits. 
llvm-svn: 34852
 2007-03-02 22:39:11 +00:00
Anton Korobeynikov 57af2a4f3b Simplify things 
llvm-svn: 34849
 2007-03-02 21:50:27 +00:00
Chris Lattner b15e2b182f Fix a significant algorithm problem with the instcombine worklist. removing 
a value from the worklist required scanning the entire worklist to remove all
entries.  We now use a combination map+vector to prevent duplicates from
happening and prevent the scan.  This speeds up instcombine on a large file
from the llvm-gcc bootstrap from 189.7s to 4.84s in a debug build and from
5.04s to 1.37s in a release build.

llvm-svn: 34848
 2007-03-02 21:28:56 +00:00
Chris Lattner 51f5457ad4 minor cleanup 
llvm-svn: 34846
 2007-03-02 19:59:19 +00:00
Evan Cheng 155ede21e0 Mark dead def as unused. 
llvm-svn: 34844
 2007-03-02 10:43:16 +00:00
Evan Cheng 9d615d1e70 Dead live-in detection bug. 
llvm-svn: 34843
 2007-03-02 10:41:15 +00:00
Evan Cheng 6605c5dbee - Keep track all def and uses of stack slot available in register. 
- Available value use may be deleted (e.g. noop move).

llvm-svn: 34841
 2007-03-02 08:52:00 +00:00
Evan Cheng 08f2f0d145 Invalidate last use of a reused register if the use is a deleted noop copy. 
llvm-svn: 34839
 2007-03-02 05:41:42 +00:00
Chris Lattner 9c7e5e365d argument lowering should copy from the vreg shadows of live-in arguments 
passed in registers, not directly from the pregs themselves.

llvm-svn: 34838
 2007-03-02 05:12:29 +00:00
Chris Lattner fc2f52128a add a note 
llvm-svn: 34837
 2007-03-02 05:04:52 +00:00
Reid Spencer cf8175617d Use a better algorithm for rounding sqrt results. Change the FIXME about 
this to a NOTE: because pari/gp results start to get rounded incorrectly
after 192 bits of precision. APInt and pari/gp never differ by more than
1, but APInt is more accurate because it does not lose precision after 192
bits as does pari/gp.

llvm-svn: 34834
 2007-03-02 04:21:55 +00:00
Nick Lewycky cf87f9eef5 Implement unionWith. 
llvm-svn: 34833
 2007-03-02 03:33:05 +00:00
Chris Lattner 4bd8cda3f0 switch the inliner from being recursive to being iterative. 
llvm-svn: 34832
 2007-03-02 03:11:20 +00:00
Reid Spencer e1336b4086 Fix an unequal bitwidth issue. 
llvm-svn: 34831
 2007-03-02 02:59:25 +00:00
Reid Spencer c44bdae16b Add a FIXME 
llvm-svn: 34828
 2007-03-02 02:01:34 +00:00
Reid Spencer c442c84c8f Fix a problem where shifting by 64-bits leads to incorrect results on PPC 
but not on X86 becuase shift by word size is "undefined".

llvm-svn: 34825
 2007-03-02 01:19:42 +00:00
Dale Johannesen 32bc81341b eliminate unnecessary reset of SP in epilog on darwin 
llvm-svn: 34824
 2007-03-02 01:17:17 +00:00
Reid Spencer 197adfaa0a Reverse a premature commital. 
llvm-svn: 34822
 2007-03-02 00:31:39 +00:00
Reid Spencer 2e54a15943 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 1b8dfcbaaa Combine two lines that can be. 
llvm-svn: 34818
 2007-03-01 23:30:25 +00:00
Reid Spencer caace8cffd 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 fa63226751 Although probably not necessary, guard against a potential assertion by 
using isNullValue() instead of getZExtValue() == 0.

llvm-svn: 34815
 2007-03-01 21:54:37 +00:00
Reid Spencer 17797076ef Use isUnitValue() instead of getZExtValue() == 1 which will prevent an 
assert if the ConstantInt's value is large.

llvm-svn: 34814
 2007-03-01 21:51:23 +00:00
Reid Spencer 5b0548de77 Use APInt conversion to string so the result is correct regardless of the 
bit width of the ConstantInt being converted.

llvm-svn: 34810
 2007-03-01 21:00:32 +00:00
Reid Spencer 4326cf5c51 Use the APInt versions of the bit-wise conversions of float/double to int 
and back. While this is not strictly necessary, it does pave the way for
future changes in casting. It should now be possible to improve vector
casting to deal with un-equal fp/int sizes.

llvm-svn: 34808
 2007-03-01 20:44:23 +00:00
Reid Spencer a9e6e31db6 Use modern variable name. ConstantUnsignedInt is long since dead. No 
functional change with this patch.

llvm-svn: 34806
 2007-03-01 20:27:41 +00:00
Jim Laskey 82af5943d1 Emit eh filter info. 
llvm-svn: 34805
 2007-03-01 20:26:43 +00:00
Jim Laskey 6458e6acb9 Collect eh filter info. 
llvm-svn: 34804
 2007-03-01 20:25:32 +00:00
Reid Spencer fa80a0e8a2 Use a simpler constructor for ConstantInt. 
llvm-svn: 34803
 2007-03-01 20:25:31 +00:00
Jim Laskey d5453d7b56 Lower eh filter intrinsic. 
llvm-svn: 34802
 2007-03-01 20:24:30 +00:00
Reid Spencer df30e2a68b Wrap a long line. 
llvm-svn: 34799
 2007-03-01 19:48:16 +00:00
Reid Spencer b973047147 Avoid a potential assert out if the loop increment is > 64 bits. 
llvm-svn: 34798
 2007-03-01 19:45:00 +00:00
Reid Spencer 8ad254df8c Regenerate. 
llvm-svn: 34797
 2007-03-01 19:41:47 +00:00
Reid Spencer 24f1a0e78f The 64-bit constructor for ConstantInt changes from int64_t to uint64_t. 
This caused a warning for construction with -1. Avoid the warning by using
-1ULL instead.

llvm-svn: 34796
 2007-03-01 19:33:52 +00:00
Reid Spencer fad3f247e4 Construct ConstantInt with simpler constructor. 
llvm-svn: 34795
 2007-03-01 19:32:33 +00:00
Reid Spencer 666ea0d046 Use a simpler constructor when constructing ConstantInt. Also, replace 
verbose code to sext/trunc or zext/trunc and APInt with new methods on
that class.

llvm-svn: 34794
 2007-03-01 19:32:01 +00:00
Reid Spencer a127633716 Use a simpler constructor when constructing ConstantInst. 
llvm-svn: 34793
 2007-03-01 19:31:12 +00:00
Reid Spencer d1bbfa5aa6 Drop the ConstantInt(const Type&, const APInt&) constructor. It is 
redundant and more verbose than the ConstantInt(const APInt&) constructor.

llvm-svn: 34792
 2007-03-01 19:30:34 +00:00
Reid Spencer 2f6ad4d3c3 Make the static table of results in sqrt const. 
llvm-svn: 34791
 2007-03-01 17:47:31 +00:00
Reid Spencer 6ba8edc789 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 742d1704e1 Add methods for bit width modification: sextOrTrunc, zextOrTrunc. 
llvm-svn: 34789
 2007-03-01 17:15:32 +00:00
Anton Korobeynikov af8be4458f Ensure that fastcall'ed function is correctly mangled & stack is 
properly aligned

llvm-svn: 34788
 2007-03-01 16:29:22 +00:00
Nicolas Geoffray 75ab9799df Implemented the frameaddress intrinsic for PPC. 
llvm-svn: 34787
 2007-03-01 13:11:38 +00:00
Evan Cheng 105fb1e0dd Delete register scavenger when done with it. 
llvm-svn: 34786
 2007-03-01 10:23:33 +00:00
Evan Cheng 2c0fd3ee4c Use a spilled free callee-saved register as scratch register. 
llvm-svn: 34785
 2007-03-01 08:57:52 +00:00
Evan Cheng 27bc565497 Add a version of FindUnusedReg that restrict search to a specific set of registers. 
llvm-svn: 34784
 2007-03-01 08:56:24 +00:00
Evan Cheng 6f059e3e0a - Track which callee-saved registers are spilled. 
- Some code clean up.

llvm-svn: 34783
 2007-03-01 08:26:31 +00:00
Reid Spencer 6a44033465 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
Evan Cheng 677bb3b460 Switch from std::vector<bool> to BitVector. 
llvm-svn: 34781
 2007-03-01 07:52:44 +00:00
Reid Spencer 983e3b37de APIntify various computations in ScalarEvolution 
llvm-svn: 34780
 2007-03-01 07:25:48 +00:00
Reid Spencer c8841d2ea2 Use a real table in sqrt to shorten and quicken the code. 
Thanks for the idea Chris.

llvm-svn: 34779
 2007-03-01 06:23:32 +00:00
Bill Wendling 65c75b57d4 Get rid of verboten <iostream> include. 
llvm-svn: 34777
 2007-03-01 06:05:39 +00:00
Reid Spencer d99feafd5f Add a square root function. 
llvm-svn: 34775
 2007-03-01 05:39:56 +00:00
Reid Spencer 5a642a7991 Reduce #includage by taking a method out of line. 
llvm-svn: 34774
 2007-03-01 04:02:06 +00:00
Evan Cheng d6450ba1dc A restore is promoted to copy (or deleted entirely), remove the kill from the last use of the targetted register. 
llvm-svn: 34773
 2007-03-01 02:27:30 +00:00
Evan Cheng 31215d1395 Interface clean up. 
llvm-svn: 34772
 2007-03-01 02:25:51 +00:00
Evan Cheng 428eaa0059 Interface clean up. 
llvm-svn: 34770
 2007-03-01 02:19:39 +00:00
Evan Cheng 9be123c568 Oops. 
llvm-svn: 34768
 2007-03-01 02:05:35 +00:00
Evan Cheng 8a703ad4b6 Track all joined registers and eliminate unneeded kills after all joining are done. 
llvm-svn: 34767
 2007-03-01 02:03:03 +00:00
Reid Spencer b0170c4259 For PR1205: 
Make GetConstantFactor compute its result using an APInt.

llvm-svn: 34765
 2007-02-28 23:31:17 +00:00
Dale Johannesen 962fa8eb9a Changes requested in review of last pass. Also pulled isThumb into a 
member, instead of resetting in every function that uses it.

llvm-svn: 34764
 2007-02-28 23:20:38 +00:00
Evan Cheng f6ca943638 Doh. ARM::PC is obvious a reserved register. 
llvm-svn: 34763
 2007-02-28 23:12:34 +00:00
Reid Spencer d373b9dc59 For PR1205: 
Adjust to changes in ConstantRange interface.

llvm-svn: 34762
 2007-02-28 22:03:51 +00:00
Reid Spencer 9b3d6ec983 Move ConstantRange class to lib/Support from lib/Analysis and make its 
interface not depend on Type or ICmpInst.

llvm-svn: 34761
 2007-02-28 22:02:48 +00:00
Reid Spencer 0286bc1af5 Provide an ICmpInst::makeConstantRange to generate a ConstantRange value 
from a predicate and an APInt. This is removed from ConstantRange class
so that ConstantRange doesn't have to depend on lib/VMCore.

llvm-svn: 34760
 2007-02-28 22:00:54 +00:00
Jim Laskey 644af6b68f Chain is on second operand. 
llvm-svn: 34759
 2007-02-28 20:43:58 +00:00
Reid Spencer 3a7e9d8e75 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 8774fe816a Implement a convenience method to construct a ConstantInt directly from an 
APInt. The implied type is the integer type that corresponds to the bit
width of the APInt.

llvm-svn: 34757
 2007-02-28 19:50:21 +00:00
Reid Spencer 56f784d12d 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
Dale Johannesen 440995bd9a Add intelligence about where to break large blocks. 
llvm-svn: 34755
 2007-02-28 18:41:23 +00:00
Chris Lattner 7373f3a351 remove dead option 
llvm-svn: 34754
 2007-02-28 18:39:53 +00:00
Jim Laskey c46bf3577d Handle mix of personalities. 
llvm-svn: 34752
 2007-02-28 18:38:31 +00:00
Jim Laskey c114990526 Provide a more meaningful name. 
llvm-svn: 34751
 2007-02-28 18:37:50 +00:00
Jim Laskey cf465fcebc MERGE_VALUES unnecessary. 
llvm-svn: 34750
 2007-02-28 18:37:04 +00:00
Chris Lattner eb09e28ccc bugfix: fastcall does not require the first two params to be marked 'inreg', 
they always get registers.

llvm-svn: 34748
 2007-02-28 18:35:11 +00:00
Reid Spencer e1f3f1919c For PR1205: 
Convert ConstantRange class to use APInt internally as its value type for
the constant range, instead of ConstantInt.

llvm-svn: 34745
 2007-02-28 17:36:23 +00:00
Reid Spencer 91d3b3fce9 Make the trunc/sext/zext methods return APInt& so that these operations 
can be chained together with other operations.

llvm-svn: 34743
 2007-02-28 17:34:32 +00:00
Nate Begeman 37dc4b5bb3 Fix a typo, thanks Bill! 
llvm-svn: 34741
 2007-02-28 09:16:38 +00:00
Nate Begeman e0232ec706 More Mach-O writer improvements. 
llvm-svn: 34740
 2007-02-28 07:40:50 +00:00
Chris Lattner 152bfa103e use high-level functions in CCState 
llvm-svn: 34739
 2007-02-28 07:09:55 +00:00
Chris Lattner 74bb92902e add methods for analysis of call results and return nodes. 
llvm-svn: 34738
 2007-02-28 07:09:40 +00:00
Chris Lattner 227b6c5d19 make use of helper functions in CCState for analyzing formals and calls. 
llvm-svn: 34737
 2007-02-28 07:00:42 +00:00
Chris Lattner e74744143f add methods to analyze calls and formals. 
llvm-svn: 34736
 2007-02-28 06:56:37 +00:00
Chris Lattner b5582bf984 add a newline at end of file 
llvm-svn: 34735
 2007-02-28 06:42:11 +00:00
Chris Lattner d439e86078 switch LowerFastCCCallTo over to using the new fastcall description. 
llvm-svn: 34734
 2007-02-28 06:26:33 +00:00
Chris Lattner 66e1d1dd7e switch LowerFastCCArguments over to using the autogenerated Fastcall description. 
llvm-svn: 34733
 2007-02-28 06:21:19 +00:00
Chris Lattner 0bc74fd6cc add new CC_X86_32_FastCall calling conv, which describes fastcall on win32. 
Factor out a CC_X86_32_Common convention, which is the part shared between
ccc, stdcall and fastcall

llvm-svn: 34732
 2007-02-28 06:20:01 +00:00
Chris Lattner 3066beccb5 rearrange code 
llvm-svn: 34731
 2007-02-28 06:10:12 +00:00
Chris Lattner 3ed3be3b4a remove fastcc (not fastcall) support 
llvm-svn: 34730
 2007-02-28 06:05:16 +00:00
Chris Lattner b9db225049 switch LowerCCCArguments over to using autogenerated CC. 
llvm-svn: 34729
 2007-02-28 05:46:49 +00:00
Chris Lattner 5958b176f3 simplify sret handling 
llvm-svn: 34728
 2007-02-28 05:39:26 +00:00
Chris Lattner be7995953a switch LowerCCCCallTo over to using an autogenerated callingconv 
llvm-svn: 34727
 2007-02-28 05:31:48 +00:00
Chris Lattner 0c0a7b288e rename stuff 
llvm-svn: 34726
 2007-02-28 05:30:29 +00:00
Chris Lattner 6f287c6e92 rename some CCActions, add CCIfInReg 
llvm-svn: 34725
 2007-02-28 05:29:33 +00:00
Chris Lattner ba3d273122 switch return value passing and the x86-64 calling convention information 
over to being autogenerated from the X86CallingConv.td file.

llvm-svn: 34722
 2007-02-28 04:55:35 +00:00
Chris Lattner 659ca56383 make subtarget references work. 
llvm-svn: 34721
 2007-02-28 04:51:41 +00:00
Reid Spencer b5cf20c939 Implement reading of arbitrary precision integers. 
llvm-svn: 34718
 2007-02-28 02:25:48 +00:00
Reid Spencer 90c26a31ac Implement writing of arbitrary precision integers. 
llvm-svn: 34717
 2007-02-28 02:25:20 +00:00
Reid Spencer c7a686b62d Regenerate. 
llvm-svn: 34716
 2007-02-28 02:24:54 +00:00
Reid Spencer 7957de7949 Implement arbitrary integer constants through the use of APInt values. 
Positive, negative, and hexadecimal integer constants will now return an
APInt for values having > 64 bits of precision.

llvm-svn: 34715
 2007-02-28 02:24:27 +00:00
Reid Spencer 9875fc1500 Implement support for aribrary precision integers by creating two new 
tokens: ESAPINTVAL and EUAPINTVAL and adding an APInt* as a semantic value.
This allows us to extend the definition of an integer constant to allow
arbitrary precision integer constant values.

llvm-svn: 34714
 2007-02-28 02:23:44 +00:00
Reid Spencer 66d0d572c2 Fix a bug in RoundDoubleToAPInt where it would force the size to 64 bits 
instead of honoring the client's requested bit width.

llvm-svn: 34712
 2007-02-28 01:30:08 +00:00
Evan Cheng e8af69632f Make requiresRegisterScavenging determination on a per MachineFunction basis. 
llvm-svn: 34711
 2007-02-28 00:59:19 +00:00
Evan Cheng 9049cd72e6 Temporary: make R12 available in ARM mode if RegScavenger is being used. 
llvm-svn: 34709
 2007-02-28 00:22:44 +00:00
Evan Cheng 30508919c8 Start making use of RegScavenger. 
llvm-svn: 34708
 2007-02-28 00:21:58 +00:00
Evan Cheng 95ae95a6a6 PEI now passes a RegScavenger ptr to eliminateFrameIndex. 
llvm-svn: 34707
 2007-02-28 00:21:17 +00:00
Evan Cheng 589ba3964b MRegisterInfo disowns RegScavenger. It's immutable. 
llvm-svn: 34706
 2007-02-28 00:17:36 +00:00