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

26870 Commits

Author SHA1 Message Date
Chris Lattner 05f8272afa Implement Transforms/ScalarRepl/union-pointer.ll:test 
llvm-svn: 30823
 2006-10-08 23:28:04 +00:00
Chris Lattner 7a36ae4361 new testcase for SROA for stuff like "union { int*, float* }". 
llvm-svn: 30822
 2006-10-08 23:27:37 +00:00
Chris Lattner 5ab6d8b3fc Eliminate more token factors by taking advantage of transitivity: 
if TF depends on A and B, and A depends on B, TF just needs to depend on
A.  With Jim's alias-analysis stuff enabled, this compiles the testcase in
PR892 into:

__Z4test3Val:
        subl $44, %esp
        call L__Z3foov$stub
        movl %edx, 28(%esp)
        movl %eax, 32(%esp)
        movl %eax, 24(%esp)
        movl %edx, 36(%esp)
        movl 52(%esp), %ecx
        movl %ecx, 4(%esp)
        movl %eax, 8(%esp)
        movl %edx, 12(%esp)
        movl 48(%esp), %eax
        movl %eax, (%esp)
        call L__Z3bar3ValS_$stub
        addl $44, %esp
        ret

instead of:

__Z4test3Val:
        subl $44, %esp
        call L__Z3foov$stub
        movl %eax, 24(%esp)
        movl %edx, 28(%esp)
        movl 24(%esp), %eax
        movl %eax, 32(%esp)
        movl 28(%esp), %eax
        movl %eax, 36(%esp)
        movl 32(%esp), %eax
        movl 36(%esp), %ecx
        movl 52(%esp), %edx
        movl %edx, 4(%esp)
        movl %eax, 8(%esp)
        movl %ecx, 12(%esp)
        movl 48(%esp), %eax
        movl %eax, (%esp)
        call L__Z3bar3ValS_$stub
        addl $44, %esp
        ret

llvm-svn: 30821
 2006-10-08 22:57:01 +00:00
Chris Lattner 9e512e5bd0 Fix PR897 
llvm-svn: 30820
 2006-10-08 22:28:34 +00:00
Jim Laskey 0463e08005 Combiner alias analysis passes Multisource (release-asserts.) 
llvm-svn: 30818
 2006-10-07 23:37:56 +00:00
Chris Lattner 398195ebbe completely disable folding of loads into scalar sse instructions and provide 
a framework for doing it right.  This fixes
CodeGen/X86/2006-10-07-ScalarSSEMiscompile.ll.

Once X86DAGToDAGISel::SelectScalarSSELoad is implemented right, this task
will be done.

llvm-svn: 30817
 2006-10-07 21:55:32 +00:00
Chris Lattner f8fa10a6bb new testcase we miscompile 
llvm-svn: 30816
 2006-10-07 21:54:08 +00:00
Chris Lattner 942009fee5 convert packed FP add/sub/mul/div to use a multiclass. 
llvm-svn: 30815
 2006-10-07 21:17:13 +00:00
Chris Lattner 4005f4e49c one multiclass now defines all 8 variants of binary-scalar-sse-fp operations. 
llvm-svn: 30814
 2006-10-07 20:55:57 +00:00
Chris Lattner 6eaee2c8e3 Switch ADD/MUL/DIV/SUB scalarsse fp ops to a multiclass 
llvm-svn: 30813
 2006-10-07 20:35:44 +00:00
Chris Lattner c8c6441821 Random acts of shrinkage 
llvm-svn: 30812
 2006-10-07 19:49:05 +00:00
Chris Lattner b5df7e554d Convert pand/por/pxor to use multiclass 
llvm-svn: 30811
 2006-10-07 19:37:30 +00:00
Chris Lattner 6138cba5f1 Convert some more instructions over to use a new multiclass. 
Fix a bug where the asmstring for PSUBQrm was wrong.

llvm-svn: 30810
 2006-10-07 19:34:33 +00:00
Chris Lattner 662ba43f08 Fix a bug where PADDQrm printed paddd instead of paddq. 
llvm-svn: 30809
 2006-10-07 19:15:46 +00:00
Chris Lattner 29c62a3c88 Add multiclass for SSE2 instructions that correspond to simple binops. 
llvm-svn: 30808
 2006-10-07 19:14:49 +00:00
Chris Lattner e0928d9d7b rename: 
PDI_binop_rm -> PDI_binop_rm_int
  PDI_binop_rmi -> PDI_binop_rmi_int

to make it clear that these are for use with intrinsics.

llvm-svn: 30807
 2006-10-07 19:02:31 +00:00
Chris Lattner 489b63089d Convert saturating PADD/PSUB's to use a multiclass 
llvm-svn: 30806
 2006-10-07 18:48:46 +00:00
Chris Lattner fa2ce8824d Convert PAVG*, PMADDWD, and PMUL* to use multiclasses. 
llvm-svn: 30805
 2006-10-07 18:39:00 +00:00
Chris Lattner cab92e4c0c Fix typo in packsswb instr definition, where the load had the wrong type. 
This allows us to use the multiclass for other packs.

llvm-svn: 30804
 2006-10-07 18:23:58 +00:00
Rafael Espindola b50938866b implement FUITOS and FUITOD 
llvm-svn: 30803
 2006-10-07 14:24:52 +00:00
Rafael Espindola 58c368bc4f implement FLDD 
llvm-svn: 30802
 2006-10-07 14:03:39 +00:00
Rafael Espindola 40f5dd27f0 implement fadds, faddd, fmuls and fmuld 
llvm-svn: 30801
 2006-10-07 13:46:42 +00:00
Chris Lattner e746a9cd6a handle pmin/pmax with multiclasses 
llvm-svn: 30800
 2006-10-07 07:49:33 +00:00
Chris Lattner 560804cc50 regenerate 
llvm-svn: 30799
 2006-10-07 07:15:19 +00:00
Chris Lattner dfbda3598d Bugfix: this allows multiclasses to have default arguments. 
llvm-svn: 30798
 2006-10-07 07:14:48 +00:00
Chris Lattner b14e6a0f8c simplify pack and shift intrinsics with multiclasses 
llvm-svn: 30797
 2006-10-07 07:06:17 +00:00
Chris Lattner 521fc4e33f Use a multiclass to simplify 'SSE2 Integer comparison' 
llvm-svn: 30796
 2006-10-07 06:47:08 +00:00
Chris Lattner c6138cec61 move class defns close to uses to make it easier to read 
llvm-svn: 30795
 2006-10-07 06:33:36 +00:00
Chris Lattner 87e692323c simplify horizontal op definitions 
llvm-svn: 30794
 2006-10-07 06:31:41 +00:00
Chris Lattner 3e9fc37458 remove more unneeded type info 
llvm-svn: 30793
 2006-10-07 06:27:03 +00:00
Chris Lattner 807be0a715 remove unneeded definitions and type info 
llvm-svn: 30792
 2006-10-07 06:19:41 +00:00
Chris Lattner 5b1358a8eb remove some unneeded type info 
llvm-svn: 30791
 2006-10-07 06:17:43 +00:00
Chris Lattner 3414c022af simplify patterns by merging in operand info 
llvm-svn: 30790
 2006-10-07 05:50:25 +00:00
Chris Lattner ca21ce5f08 Factor operands into packed unary classes 
llvm-svn: 30789
 2006-10-07 05:47:20 +00:00
Chris Lattner 0052c3ff5b remove dead/duplicate instructions 
llvm-svn: 30788
 2006-10-07 05:41:52 +00:00
Chris Lattner 904c6e9c92 Pull operand info up into parent class for scalar sse intrinsics. 
llvm-svn: 30787
 2006-10-07 05:26:13 +00:00
Chris Lattner e698c90ee9 convert the sole sd unary intrinsic to a multiclass for consistency 
llvm-svn: 30786
 2006-10-07 05:19:31 +00:00
Chris Lattner 2bb2f050f5 pull operand string into the multiclass 
llvm-svn: 30785
 2006-10-07 05:13:26 +00:00
Chris Lattner 069679c7b6 Remove RSQRTSS[rm] RCPSS[rm], which are dead. 
Introduce SS_IntUnary, a multiclass to replace SS_Int[rm].

llvm-svn: 30784
 2006-10-07 05:09:48 +00:00
Chris Lattner f13a7b376c eliminate redundancy 
llvm-svn: 30783
 2006-10-07 04:52:09 +00:00
Chris Lattner f9f90bc239 Fix a bug legalizing zero-extending i64 loads into 32-bit loads. The bottom 
part was always forced to be sextload, even when we needed an zextload.

llvm-svn: 30782
 2006-10-07 00:58:36 +00:00
Chris Lattner dc3064e223 Set the jt section 
llvm-svn: 30781
 2006-10-06 22:52:33 +00:00
Chris Lattner a389a612bb initialize ivar 
llvm-svn: 30780
 2006-10-06 22:52:08 +00:00
Chris Lattner 9043823cf4 If a target uses a GOT, put it in the jt data section, not the text 
section.  This will fix alpha when Andrew implements
AlphaTargetMachine::getTargetLowering().

llvm-svn: 30779
 2006-10-06 22:50:56 +00:00
Chris Lattner 21fa769867 Alpha uses a got 
llvm-svn: 30778
 2006-10-06 22:46:51 +00:00
Chris Lattner 1c52b57ea8 Add support for targets to declare that they use a GOT 
llvm-svn: 30777
 2006-10-06 22:46:34 +00:00
Chris Lattner 9d75324ddf jump tables handle pic 
llvm-svn: 30776
 2006-10-06 22:32:29 +00:00
Chris Lattner 4e107aa0b6 print labels even if a MBB doesn't have a corresponding LLVM BB, just don't 
print the LLVM BB label.

llvm-svn: 30775
 2006-10-06 21:28:17 +00:00
Rafael Espindola aa2a12f1a2 add optional input flag to FMRRD 
llvm-svn: 30774
 2006-10-06 20:33:26 +00:00
Rafael Espindola 671f25281d add support for calling functions that return double 
llvm-svn: 30771
 2006-10-06 19:10:05 +00:00
Evan Cheng 5fe9680253 80 col violation. 
llvm-svn: 30770
 2006-10-06 18:57:51 +00:00
Chris Lattner 2421a179e4 ugly codegen 
llvm-svn: 30769
 2006-10-06 17:39:34 +00:00
Chris Lattner f5839a0816 Fix a miscompilation of: 
long long foo(long long X) {
  return (long long)(signed char)(int)X;
}

Instead of:

_foo:
        extsb r2, r4
        srawi r3, r4, 31
        mr r4, r2
        blr

we now produce:

_foo:
        extsb r4, r4
        srawi r3, r4, 31
        blr

This fixes a miscompilation in ConstantFolding.cpp.

llvm-svn: 30768
 2006-10-06 17:34:12 +00:00
Rafael Espindola ef01656ea4 fix some bugs affecting functions with no arguments 
llvm-svn: 30767
 2006-10-06 17:26:30 +00:00
Rafael Espindola 6024ea8383 fix the stack alignment 
llvm-svn: 30766
 2006-10-06 14:29:47 +00:00
Rafael Espindola 5fe7909e18 add support for calling functions that have double arguments 
llvm-svn: 30765
 2006-10-06 12:50:22 +00:00
Evan Cheng ff1beda569 Still need to support -mcpu=<> or cross compilation will fail. Doh. 
llvm-svn: 30764
 2006-10-06 09:17:41 +00:00
Evan Cheng 9274f72e58 Do away with CPU feature list. Just use CPUID to detect MMX, SSE, SSE2, SSE3, and 64-bit support. 
llvm-svn: 30763
 2006-10-06 08:21:07 +00:00
Evan Cheng 4c1a804a5b It appears the inline asm in GetCpuIDAndInfo() may clobbers some registers if it isn't inlined (at < -O3). Force it to be inlined. 
llvm-svn: 30762
 2006-10-06 07:50:56 +00:00
Chris Lattner 469ea0c94d add an accessor 
llvm-svn: 30761
 2006-10-06 01:16:29 +00:00
Chris Lattner 16ae43e901 MachineBasicBlock::splice was incorrectly updating parent pointers on 
instructions.

llvm-svn: 30760
 2006-10-06 01:12:44 +00:00
Evan Cheng df9ac47e5e Make use of getStore(). 
llvm-svn: 30759
 2006-10-05 23:01:46 +00:00
Evan Cheng af309d29b1 Add getStore() helper function to create ISD::STORE nodes. 
llvm-svn: 30758
 2006-10-05 22:57:11 +00:00
Chris Lattner 8b1a59a272 Don't crash if an MBB doesn't have an LLVM BB 
llvm-svn: 30757
 2006-10-05 21:40:14 +00:00
Rafael Espindola decfeca52d use a const ref for passing the vector to ArgumentLayout 
llvm-svn: 30756
 2006-10-05 17:46:48 +00:00
Rafael Espindola e04df41ca2 implement a ArgumentLayout class to factor code common to LowerFORMAL_ARGUMENTS and LowerCALL 
implement FMDRR
add support for f64 function arguments

llvm-svn: 30754
 2006-10-05 16:48:49 +00:00
Jim Laskey 6549d22ef9 Alias analysis code clean ups. 
llvm-svn: 30753
 2006-10-05 15:07:25 +00:00
Chris Lattner 2deeaeaca7 add a new SimplifyDemandedVectorElts method, which works similarly to 
SimplifyDemandedBits.  The idea is that some operations can be simplified if
not all of the computed elements are needed.  Some targets (like x86) have a
large number of intrinsics that operate on a single element, but pass other
elts through unmodified.  If those other elements are not needed, the
intrinsics can be simplified to scalar operations, and insertelement ops can
be removed.

This turns (f.e.):

ushort %Convert_sse(float %f) {
        %tmp = insertelement <4 x float> undef, float %f, uint 0                ; <<4 x float>> [#uses=1]
        %tmp10 = insertelement <4 x float> %tmp, float 0.000000e+00, uint 1             ; <<4 x float>> [#uses=1]
        %tmp11 = insertelement <4 x float> %tmp10, float 0.000000e+00, uint 2           ; <<4 x float>> [#uses=1]
        %tmp12 = insertelement <4 x float> %tmp11, float 0.000000e+00, uint 3           ; <<4 x float>> [#uses=1]
        %tmp28 = tail call <4 x float> %llvm.x86.sse.sub.ss( <4 x float> %tmp12, <4 x float> < float 1.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00 > )               ; <<4 x float>> [#uses=1]
        %tmp37 = tail call <4 x float> %llvm.x86.sse.mul.ss( <4 x float> %tmp28, <4 x float> < float 5.000000e-01, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00 > )               ; <<4 x float>> [#uses=1]
        %tmp48 = tail call <4 x float> %llvm.x86.sse.min.ss( <4 x float> %tmp37, <4 x float> < float 6.553500e+04, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00 > )               ; <<4 x float>> [#uses=1]
        %tmp59 = tail call <4 x float> %llvm.x86.sse.max.ss( <4 x float> %tmp48, <4 x float> zeroinitializer )          ; <<4 x float>> [#uses=1]
        %tmp = tail call int %llvm.x86.sse.cvttss2si( <4 x float> %tmp59 )              ; <int> [#uses=1]
        %tmp69 = cast int %tmp to ushort                ; <ushort> [#uses=1]
        ret ushort %tmp69
}

into:

ushort %Convert_sse(float %f) {
entry:
        %tmp28 = sub float %f, 1.000000e+00             ; <float> [#uses=1]
        %tmp37 = mul float %tmp28, 5.000000e-01         ; <float> [#uses=1]
        %tmp375 = insertelement <4 x float> undef, float %tmp37, uint 0         ; <<4 x float>> [#uses=1]
        %tmp48 = tail call <4 x float> %llvm.x86.sse.min.ss( <4 x float> %tmp375, <4 x float> < float 6.553500e+04, float undef, float undef, float undef > )           ; <<4 x float>> [#uses=1]
        %tmp59 = tail call <4 x float> %llvm.x86.sse.max.ss( <4 x float> %tmp48, <4 x float> < float 0.000000e+00, float undef, float undef, float undef > )            ; <<4 x float>> [#uses=1]
        %tmp = tail call int %llvm.x86.sse.cvttss2si( <4 x float> %tmp59 )              ; <int> [#uses=1]
        %tmp69 = cast int %tmp to ushort                ; <ushort> [#uses=1]
        ret ushort %tmp69
}

which improves codegen from:

_Convert_sse:
        movss LCPI1_0, %xmm0
        movss 4(%esp), %xmm1
        subss %xmm0, %xmm1
        movss LCPI1_1, %xmm0
        mulss %xmm0, %xmm1
        movss LCPI1_2, %xmm0
        minss %xmm0, %xmm1
        xorps %xmm0, %xmm0
        maxss %xmm0, %xmm1
        cvttss2si %xmm1, %eax
        andl $65535, %eax
        ret

to:

_Convert_sse:
        movss 4(%esp), %xmm0
        subss LCPI1_0, %xmm0
        mulss LCPI1_1, %xmm0
        movss LCPI1_2, %xmm1
        minss %xmm1, %xmm0
        xorps %xmm1, %xmm1
        maxss %xmm1, %xmm0
        cvttss2si %xmm0, %eax
        andl $65535, %eax
        ret


This is just a first step, it can be extended in many ways.  Testcase here:
Transforms/InstCombine/vec_demanded_elts.ll

llvm-svn: 30752
 2006-10-05 06:55:50 +00:00
Chris Lattner 3d5e9818bd new testcase 
llvm-svn: 30751
 2006-10-05 06:51:54 +00:00
Chris Lattner 65511ff69d Add insertelement/extractelement helper ctors. 
llvm-svn: 30750
 2006-10-05 06:24:58 +00:00
Chris Lattner f2ef243580 Lower some min/max idioms to minss/maxss when unsafe fp math is enabled. 
llvm-svn: 30748
 2006-10-05 04:11:26 +00:00
Andrew Lenharth 16b8f95831 Check that jump tables wind up in the rodata section 
llvm-svn: 30747
 2006-10-05 03:27:52 +00:00
Chris Lattner 40a95dd347 remove JumpTableTextSection 
llvm-svn: 30746
 2006-10-05 03:14:23 +00:00
Chris Lattner 8cfd10eff3 Don't bother setting JumpTableTextSection, it is about to disappear 
llvm-svn: 30745
 2006-10-05 03:13:59 +00:00
Chris Lattner 66c1625a37 Emit pic jumptables to the same section that the function is emitted to, 
allowing label differences to work.  This fixes CodeGen/X86/pic_jumptable.ll

llvm-svn: 30744
 2006-10-05 03:13:28 +00:00
Chris Lattner bfe59e87e5 Verify that jump tables are emitted to the same section as the function is, 
when codegen'ing in pic mode.  This fixes a miscompilation of a switch stmt
in a template, as the template goes to a non-.text section.

llvm-svn: 30743
 2006-10-05 03:12:36 +00:00
Chris Lattner a6a570e02f Pass the MachineFunction into EmitJumpTableInfo. 
llvm-svn: 30742
 2006-10-05 03:01:21 +00:00
Chris Lattner 38e2c8a0a2 implement and use getSectionForFunction 
llvm-svn: 30741
 2006-10-05 02:51:36 +00:00
Chris Lattner 4431699187 Use getSectionForFunction. 
llvm-svn: 30740
 2006-10-05 02:49:23 +00:00
Chris Lattner d4d255a408 Use getSectionForFunction 
llvm-svn: 30739
 2006-10-05 02:48:40 +00:00
Chris Lattner c8c78982d4 use getSectionForFunction to decide which section to emit code into 
llvm-svn: 30738
 2006-10-05 02:47:13 +00:00
Chris Lattner b82247b168 Implement getSectionForFunction, use it when printing function body. 
llvm-svn: 30737
 2006-10-05 02:43:52 +00:00
Chris Lattner dc82241182 move getSectionForFunction to AsmPrinter 
llvm-svn: 30736
 2006-10-05 02:42:47 +00:00
Chris Lattner 028d663ee6 Move getSectionForFunction to AsmPrinter, change it to return a string. 
llvm-svn: 30735
 2006-10-05 02:42:20 +00:00
Chris Lattner 0dca927148 move getSectionForFunction to AsmPrinter. 
llvm-svn: 30734
 2006-10-05 02:41:43 +00:00
Chris Lattner 0d236450aa implement DarwinTargetAsmInfo::getSectionForFunction, use it when outputting 
function bodies

llvm-svn: 30733
 2006-10-05 00:35:50 +00:00
Chris Lattner afe6d7a179 Give TargetAsmInfo a virtual dtor, add a new getSectionForFunction method. 
llvm-svn: 30732
 2006-10-05 00:35:16 +00:00
Chris Lattner 41e22a5419 emit jump table before debug info 
llvm-svn: 30731
 2006-10-05 00:26:05 +00:00
Chris Lattner aad26a19f0 Always emit the jump table after the function so it's part of the same 'atom' 
as the function body.

llvm-svn: 30730
 2006-10-05 00:24:46 +00:00
Chris Lattner 19721e8749 getFilename/getDirectory shouldn't abort if the global has no init. This 
can happen on bugpoint reduced testcases f.e..

llvm-svn: 30729
 2006-10-04 23:06:26 +00:00
Evan Cheng f80dfa83a0 Fix some typos that can cause a flag value to have more than one use. 
llvm-svn: 30727
 2006-10-04 22:23:53 +00:00
Chris Lattner c374ec43b5 Fix a static dtor issue 
llvm-svn: 30726
 2006-10-04 22:13:11 +00:00
Chris Lattner 8111c59279 Fix more static dtor issues 
llvm-svn: 30725
 2006-10-04 21:52:35 +00:00
Chris Lattner 538c6eb05c Fix some more static dtor issues. 
llvm-svn: 30724
 2006-10-04 21:49:37 +00:00
Evan Cheng 8c5766ef3f Added option -disable-x86-shuffle-opti to disable X86 specific vector shuffle optimizations. 
llvm-svn: 30723
 2006-10-04 18:33:38 +00:00
Evan Cheng 412aaabcbe Formating. 
llvm-svn: 30722
 2006-10-04 18:33:00 +00:00
Jim Laskey 708d0db2d8 More extensive alias analysis. 
llvm-svn: 30721
 2006-10-04 16:53:27 +00:00
Jim Laskey 0d5a0eae57 More long term solution 
llvm-svn: 30720
 2006-10-04 10:40:15 +00:00
Chris Lattner 9259b1efb6 Pattern match min/max nodes when we have sse. This implements 
CodeGen/X86/scalar_sse_minmax.ll

llvm-svn: 30719
 2006-10-04 06:57:07 +00:00
Chris Lattner 1e21d3a5ae pattern match min/max nodes 
llvm-svn: 30718
 2006-10-04 06:56:02 +00:00
Chris Lattner 3e11d99a0a add a note :( 
llvm-svn: 30717
 2006-10-04 05:52:13 +00:00
Chris Lattner 52886e72d7 This case isn't implemented yet. It seems unlikely to be needed, but if it 
ever is, we want to get an assert instead of silent bad codegen.

llvm-svn: 30716
 2006-10-04 04:58:58 +00:00
Jim Laskey 66b0b55816 Work around for some problems with templates. 
llvm-svn: 30715
 2006-10-04 01:43:13 +00:00
Evan Cheng 5d9fd977d3 Combine ISD::EXTLOAD, ISD::SEXTLOAD, ISD::ZEXTLOAD into ISD::LOADX. Add an 
extra operand to LOADX to specify the exact value extension type.

llvm-svn: 30714
 2006-10-04 00:56:09 +00:00
Chris Lattner fc416faaa0 Use $( $| $) to represent alternatives in asm blocks instead of {|}. This 
is needed to support targets where {|} aren't special symbols.

llvm-svn: 30712
 2006-10-03 23:27:09 +00:00
Evan Cheng 91d76cb27f Fix an obvious typo. 
llvm-svn: 30711
 2006-10-03 23:08:27 +00:00
Chris Lattner bd7286e606 Bugfixes 
llvm-svn: 30709
 2006-10-03 20:19:23 +00:00
Chris Lattner de154b1737 Print the MBB ID # along with the bb tag in the -print-machine-instrs output. 
llvm-svn: 30708
 2006-10-03 20:17:24 +00:00
Chris Lattner 9744b68d57 ADd a method 
llvm-svn: 30707
 2006-10-03 20:16:45 +00:00
Chris Lattner 64fd9487bd Provide a function that ensures MBB numbering is dense and inorder. This 
can be used by MachineFunctionPasses who need this property.

llvm-svn: 30706
 2006-10-03 19:18:57 +00:00
Nick Lewycky 58a910dff5 Simplify logic further. 
Ensure that we copy KnownProperties before calling visitBasicBlock, else
we may leak properties into blocks where they don't belong.

llvm-svn: 30705
 2006-10-03 17:36:01 +00:00
Rafael Espindola 68d238801c Implement floating point constants 
llvm-svn: 30704
 2006-10-03 17:27:58 +00:00
Chris Lattner f598d73142 Fix PR933 and CodeGen/X86/2006-10-02-BoolRetCrash.ll 
llvm-svn: 30703
 2006-10-03 17:18:42 +00:00
Chris Lattner 70a12ec8f8 testcase for PR933 
llvm-svn: 30702
 2006-10-03 17:17:54 +00:00
Chris Lattner e385fcf098 clean up use of 'explicit'. This is PR934. 
Patch contributed by Kevin Sopp!

llvm-svn: 30701
 2006-10-03 17:09:12 +00:00
Nick Lewycky 1d00f3e144 Simplify, now that predsimplify depends on break-crit-edges. 
Fix SwitchInst where dest-block is the same as one of the cases.

llvm-svn: 30700
 2006-10-03 15:19:11 +00:00
Nick Lewycky 755f801adc Move break-crit-edges before the predicate simplifier. Allows us to 
optimize in more cases.

llvm-svn: 30699
 2006-10-03 14:52:23 +00:00
Evan Cheng ff510a58c2 Revert previous patch. Still breaking things. 
llvm-svn: 30698
 2006-10-03 07:26:07 +00:00
Bill Wendling 984f0ce06b Fix for PR929. The PHI nodes were being gone through for each instruction 
in a successor block for every block...resulting in some O(N^k) algorithm
which wasn't very good for performance. Calculating this information up
front and keeping it in a map made it much faster.

llvm-svn: 30697
 2006-10-03 07:20:20 +00:00
Chris Lattner 8aca0ee8c3 Fix PR932 and Analysis/Dominators/2006-10-02-BreakCritEdges.ll: 
The critical edge block dominates the dest block if the destblock dominates
all edges other than the one incoming from the critical edge.

llvm-svn: 30696
 2006-10-03 07:02:02 +00:00
Chris Lattner 2a7e3c29a1 New testcase for PR932 
llvm-svn: 30695
 2006-10-03 07:00:13 +00:00
Evan Cheng a36e6cf44f These don't have immediate operands. 
llvm-svn: 30694
 2006-10-03 06:55:11 +00:00
Chris Lattner 1faa3f913c Move DominatorTree to immediately follow DominatorTreeBase 
llvm-svn: 30693
 2006-10-03 05:24:56 +00:00
Rafael Espindola d55c0a41df fix the names of the 64bit fp register 
initial support for returning 64bit floating point numbers

llvm-svn: 30692
 2006-10-02 19:30:56 +00:00
Reid Spencer 62ad409c2b Don't build the runtime library if LLVMGCC is not configured. 
llvm-svn: 30691
 2006-10-02 19:10:56 +00:00
Chris Lattner fb07457db0 fix misleading warning 
llvm-svn: 30690
 2006-10-02 17:24:55 +00:00
Chris Lattner 7a7081f3d0 Fix misleading warning message 
llvm-svn: 30689
 2006-10-02 17:23:42 +00:00
Jim Laskey e73a22514d Debugging kruft 
llvm-svn: 30688
 2006-10-02 13:01:17 +00:00
Jim Laskey 37c2c6c860 Update documentaion of node annotation (coloring) in viewGraph. 
llvm-svn: 30687
 2006-10-02 12:28:07 +00:00
Jim Laskey 1368c265da Add ability to annotate (color) nodes in a viewGraph. 
llvm-svn: 30686
 2006-10-02 12:26:53 +00:00
Chris Lattner 134ff353f9 Fixme is already done 
llvm-svn: 30685
 2006-10-01 22:46:33 +00:00
Chris Lattner bfdd19bc01 Teach globalsmodref-aa to track scalar pointer global variables which point 
to unaliased allocations.  Use this information to disambiguate pointers loaded
from them.  This is a very common case, so it's worthwhile to handle efficiently.

This implements Analysis/GlobalsModRef/indirect-global.ll

llvm-svn: 30684
 2006-10-01 22:36:45 +00:00
Chris Lattner bfc049ae3f New testcase 
llvm-svn: 30683
 2006-10-01 22:35:45 +00:00
Chris Lattner 7d19067c42 Fix a bug from r1.391 of this file, where we checked the size instead of 
the alignment when promoting allocations.  This implements
InstCombine/cast.ll:test32

llvm-svn: 30682
 2006-10-01 19:40:58 +00:00
Chris Lattner c82477f3a8 new testcase, malloc should be promoted to [2 x double]. 
llvm-svn: 30681
 2006-10-01 19:39:45 +00:00
Chris Lattner 4797c891c0 Fix debug output 
llvm-svn: 30680
 2006-09-30 23:32:50 +00:00
Chris Lattner 24d3d4280a Implement SRA of heap allocations. 
llvm-svn: 30679
 2006-09-30 23:32:09 +00:00
Chris Lattner 456a806692 Override use_back in instruction/basicblock to provide more type information. 
llvm-svn: 30678
 2006-09-30 22:20:34 +00:00
Chris Lattner 87732cfb71 Add a version of the globalvariable ctor that inserts at a specific location. 
llvm-svn: 30677
 2006-09-30 21:31:26 +00:00
Chris Lattner 80a01ef6f0 Add some ifdef'd out debug info 
llvm-svn: 30676
 2006-09-30 19:40:30 +00:00
Chris Lattner eb45775347 Stacker doesn't build universal right. 
llvm-svn: 30675
 2006-09-30 00:24:20 +00:00
Evan Cheng 1212b4d249 Not needed. 
llvm-svn: 30674
 2006-09-29 22:05:10 +00:00
Rafael Espindola 53f78be49e add floating point registers 
implement SINT_TO_FP

llvm-svn: 30673
 2006-09-29 21:20:16 +00:00
Chris Lattner 008b2de1fc Move CompileCommonOpts to the end of the list so that EXTRA_OPTIONS=-O0 will 
override the optimization level.

llvm-svn: 30672
 2006-09-29 18:47:13 +00:00
Chris Lattner adf4095338 Define this in the correct n/s 
llvm-svn: 30671
 2006-09-29 18:43:14 +00:00
Chris Lattner 754c8cf702 Adjust this to the wonky syntax that GCC expects. 
llvm-svn: 30670
 2006-09-29 17:34:56 +00:00
Jim Laskey 05a1947a31 Wrong directory. 
llvm-svn: 30669
 2006-09-29 17:31:45 +00:00
Chris Lattner b10b72e362 Minor cleanups 
llvm-svn: 30668
 2006-09-28 23:45:00 +00:00
Chris Lattner befaee91d3 Now that ConstantBool::True/False are gone, we can modify Type.cpp to 
eliminate its static dtors, without having code that depends on order of
initialization.  Eliminate static ctors/dtors from Type.cpp.

llvm-svn: 30667
 2006-09-28 23:38:07 +00:00
Chris Lattner a84df0a2f1 Eliminate ConstantBool::True and ConstantBool::False. Instead, provide 
ConstantBool::getTrue() and ConstantBool::getFalse().

llvm-svn: 30666
 2006-09-28 23:36:21 +00:00