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

16909 Commits

Author SHA1 Message Date
Chris Lattner e44e6d16fb Be more careful where we set ContainsFPCode. We were missing a set in the 
int -> FP casting code.  Note that we don't have to set it for FP operations
that take FP values as operands: whatever produces the FP value will set the
flag.

llvm-svn: 19451
 2005-01-11 03:50:45 +00:00
Chris Lattner 8fea42bd6d Fix a major bug in setcc/cmov folding, where we accidentally 
inverted the sense of the comparison.

llvm-svn: 19450
 2005-01-11 03:37:59 +00:00
Chris Lattner 0d1f82ac2f Take register pressure into account when we have to decide whether to 
evaluate the LHS or the RHS of an operation first.  This causes good things
to happen.  For example, instead of compiling a loop to this:

.LBBstrength_result7_1: # loopentry
        movl 16(%esp), %edi
        movl (%edi), %edi             ;;; LOAD
        movl (%ecx), %ebx
        movl $2, (%eax,%ebx,4)
        movl (%edx), %ebx
        movl %esi, %ebp
        addl $21, %ebp
        addl $42, %esi
        cmpl $0, %edi                 ;;; USE
        cmovne %esi, %ebp
        cmpl %ebp, %ebx
        movl %ebp, %esi
        jg .LBBstrength_result7_1

We now compile it to this:

.LBBstrength_result7_1: # loopentry
        movl %edi, %ebx
        addl $42, %ebx
        addl $21, %edi
        movl (%ecx), %ebp              ;; LOAD
        cmpl $0, %ebp                  ;; USE
        cmovne %ebx, %edi
        movl (%edx), %ebx
        movl $2, (%eax,%ebx,4)
        movl (%esi), %ebx
        cmpl %edi, %ebx
        jg .LBBstrength_result7_1

Which reduces register pressure enough (in this case) to avoid spilling in the
loop.

As another example, consider the CodeGen/X86/regpressure.ll testcase.  We
used to generate this code for both cases:

regpressure1:
        subl $32, %esp
        movl %esi, 12(%esp)
        movl %edi, 8(%esp)
        movl %ebx, 4(%esp)
        movl %ebp, (%esp)
        movl 36(%esp), %ecx
        movl (%ecx), %eax
        movl 4(%ecx), %edx
        movl %edx, 24(%esp)
        movl 8(%ecx), %edx
        movl %edx, 16(%esp)
        movl 12(%ecx), %edx
        movl 16(%ecx), %esi
        movl 20(%ecx), %edi
        movl 24(%ecx), %ebx
        movl %ebx, 28(%esp)
        movl 28(%ecx), %ebx
        movl 32(%ecx), %ebp
        movl %ebp, 20(%esp)
        movl 36(%ecx), %ecx
        imull 24(%esp), %eax
        imull 16(%esp), %eax
        imull %edx, %eax
        imull %esi, %eax
        imull %edi, %eax
        imull 28(%esp), %eax
        imull %ebx, %eax
        imull 20(%esp), %eax
        imull %ecx, %eax
        movl (%esp), %ebp
        movl 4(%esp), %ebx
        movl 8(%esp), %edi
        movl 12(%esp), %esi
        addl $32, %esp
        ret

This code is basically trying to do all of the loads first, then execute all
of the multiplies.  Because we run out of registers, lots of spill code happens.
We now generate this code for both cases:

regpressure1:
        movl 4(%esp), %ecx
        movl (%ecx), %eax
        movl 4(%ecx), %edx
        imull %edx, %eax
        movl 8(%ecx), %edx
        imull %edx, %eax
        movl 12(%ecx), %edx
        imull %edx, %eax
        movl 16(%ecx), %edx
        imull %edx, %eax
        movl 20(%ecx), %edx
        imull %edx, %eax
        movl 24(%ecx), %edx
        imull %edx, %eax
        movl 28(%ecx), %edx
        imull %edx, %eax
        movl 32(%ecx), %edx
        imull %edx, %eax
        movl 36(%ecx), %ecx
        imull %ecx, %eax
        ret

which is much nicer (when we fold loads into the muls it will be even better).
The old instruction selector used to produce the good code for regpressure1
but not for regpressure2, as it depended on the order of operations in the
LLVM code.

llvm-svn: 19449
 2005-01-11 03:11:44 +00:00
Chris Lattner 788bdba13d The pattern isel is aggressively codegen'ing all of the loads in these 
functions together at the start of the basic block, causing massive spillage.
The old isel codegened the loads wherever they happened to land, so it
generated good code for the first case, but bad code for the second.

We really want the pattern isel to generate (the same) good code for both.

llvm-svn: 19448
 2005-01-11 03:05:03 +00:00
Chris Lattner 1308b488ea Print SelectionDAGs bottom up, include extra info in the node labels 
llvm-svn: 19447
 2005-01-11 00:34:33 +00:00
Chris Lattner 39c5808fdb Add support for bottom-up graphs. 
llvm-svn: 19446
 2005-01-11 00:24:59 +00:00
Chris Lattner b241b443b6 Add a marker for the graph root. 
llvm-svn: 19445
 2005-01-10 23:52:04 +00:00
Chris Lattner 12be02722f Put the operation name in each node, put the function name on the graph. 
llvm-svn: 19444
 2005-01-10 23:26:00 +00:00
Chris Lattner 9e4c76123c Split out SDNode::getOperationName into its own method. 
llvm-svn: 19443
 2005-01-10 23:25:25 +00:00
Chris Lattner 7fa992e976 Add a helper method. 
llvm-svn: 19442
 2005-01-10 23:25:04 +00:00
Chris Lattner 7f65075be3 Implement initial selectiondag printing support. This gets us a nice 
graph with no labels! :)

llvm-svn: 19441
 2005-01-10 23:08:40 +00:00
Chris Lattner e32371bad6 Add support for graph operations, and add a viewGraph method to SelectionDAG. 
llvm-svn: 19440
 2005-01-10 23:05:53 +00:00
Chris Lattner da7c050442 Add a helper method 
llvm-svn: 19439
 2005-01-10 23:05:07 +00:00
Chris Lattner 1d13a92af4 Fold setcc instructions into selects. 
llvm-svn: 19438
 2005-01-10 22:10:13 +00:00
Chris Lattner 5b589ec0c4 Add conditional moves for the parity flag. 
llvm-svn: 19437
 2005-01-10 22:09:33 +00:00
Chris Lattner be02d430a9 Lower to the correct functions. This fixes FreeBench/fourinarow 
llvm-svn: 19436
 2005-01-10 21:02:37 +00:00
Chris Lattner 750d38b5b7 Implement 8-bit multiply for X86. 
llvm-svn: 19435
 2005-01-10 20:55:48 +00:00
Chris Lattner 5326f35715 Rework constant pool handling so that function constant pools are no longer 
leaked to the system.  Now they are destroyed with the JITMemoryManager is
destroyed.

llvm-svn: 19434
 2005-01-10 18:23:22 +00:00
Jeff Cohen 3e62e7c68b Apply feedback from Chris. 
llvm-svn: 19432
 2005-01-10 04:23:32 +00:00
Jeff Cohen 703f7db254 Apply feed back from Chris: 
1. Rename createLoaderPass to CreateProfileLoaderPass
  2. Opt shouldn't use the pass registered in CodeGen.

llvm-svn: 19431
 2005-01-10 03:56:27 +00:00
Chris Lattner 41b764144d Implement a couple of more simplifications. This lets us codegen: 
int test2(int * P, int* Q, int A, int B) {
        return P+A == P;
}

into:

test2:
        movl 4(%esp), %eax
        movl 12(%esp), %eax
        shll $2, %eax
        cmpl $0, %eax
        sete %al
        movzbl %al, %eax
        ret

instead of:

test2:
        movl 4(%esp), %eax
        movl 12(%esp), %ecx
        leal (%eax,%ecx,4), %ecx
        cmpl %eax, %ecx
        sete %al
        movzbl %al, %eax
        ret

ICC is producing worse code:

test2:
        movl      4(%esp), %eax                                 #8.5
        movl      12(%esp), %edx                                #8.5
        lea       (%edx,%edx), %ecx                             #9.9
        addl      %ecx, %ecx                                    #9.9
        addl      %eax, %ecx                                    #9.9
        cmpl      %eax, %ecx                                    #9.16
        movl      $0, %eax                                      #9.16
        sete      %al                                           #9.16
        ret                                                     #9.16

as is GCC (looks like our old code):

test2:
        movl    4(%esp), %edx
        movl    12(%esp), %eax
        leal    (%edx,%eax,4), %ecx
        cmpl    %edx, %ecx
        sete    %al
        movzbl  %al, %eax
        ret

llvm-svn: 19430
 2005-01-10 02:03:02 +00:00
Chris Lattner 00c231baa7 Fix incorrect constant folds, fixing Stepanov after the SHR patch. 
llvm-svn: 19429
 2005-01-10 01:16:03 +00:00
Jeff Cohen c783e07a7c Update System project in Visual Studio to reflect renamed files. 
llvm-svn: 19428
 2005-01-10 00:50:11 +00:00
Chris Lattner 0966a75e76 Constant fold shifts, turning this loop: 
.LBB_Z5test0PdS__3:     # no_exit.1
        fldl data(,%eax,8)
        fldl 24(%esp)
        faddp %st(1)
        fstl 24(%esp)
        incl %eax
        movl $16000, %ecx
        sarl $3, %ecx
        cmpl %eax, %ecx
        fstpl 16(%esp)
        #FP_REG_KILL
        jg .LBB_Z5test0PdS__3   # no_exit.1

into:

.LBB_Z5test0PdS__3:     # no_exit.1
        fldl data(,%eax,8)
        fldl 24(%esp)
        faddp %st(1)
        fstl 24(%esp)
        incl %eax
        cmpl $2000, %eax
        fstpl 16(%esp)
        #FP_REG_KILL
        jl .LBB_Z5test0PdS__3   # no_exit.1

llvm-svn: 19427
 2005-01-10 00:07:15 +00:00
Reid Spencer c892a0db9f Rename Unix/*.cpp and Win32/*.cpp to have a *.inc suffix so that the silly 
gdb debugger doesn't get confused on which file it is reading (the one in
lib/System or the one in lib/System/{Win32,Unix})

llvm-svn: 19426
 2005-01-09 23:29:00 +00:00
Chris Lattner fde3a212e2 Add some folds for == and != comparisons. This allows us to 
codegen this loop in stepanov:

no_exit.i:              ; preds = %entry, %no_exit.i, %then.i, %_Z5checkd.exit
        %i.0.0 = phi int [ 0, %entry ], [ %i.0.0, %no_exit.i ], [ %inc.0, %_Z5checkd.exit ], [ %inc.012, %then.i ]              ; <int> [#uses=3]
        %indvar = phi uint [ %indvar.next, %no_exit.i ], [ 0, %entry ], [ 0, %then.i ], [ 0, %_Z5checkd.exit ]          ; <uint> [#uses=3]
        %result_addr.i.0 = phi double [ %tmp.4.i.i, %no_exit.i ], [ 0.000000e+00, %entry ], [ 0.000000e+00, %then.i ], [ 0.000000e+00, %_Z5checkd.exit ]          ; <double> [#uses=1]
        %first_addr.0.i.2.rec = cast uint %indvar to int                ; <int> [#uses=1]
        %first_addr.0.i.2 = getelementptr [2000 x double]* %data, int 0, uint %indvar           ; <double*> [#uses=1]
        %inc.i.rec = add int %first_addr.0.i.2.rec, 1           ; <int> [#uses=1]
        %inc.i = getelementptr [2000 x double]* %data, int 0, int %inc.i.rec            ; <double*> [#uses=1]
        %tmp.3.i.i = load double* %first_addr.0.i.2             ; <double> [#uses=1]
        %tmp.4.i.i = add double %result_addr.i.0, %tmp.3.i.i            ; <double> [#uses=2]
        %tmp.2.i = seteq double* %inc.i, getelementptr ([2000 x double]* %data, int 0, int 2000)                ; <bool> [#uses=1]
        %indvar.next = add uint %indvar, 1              ; <uint> [#uses=1]
        br bool %tmp.2.i, label %_Z10accumulateIPddET0_T_S2_S1_.exit, label %no_exit.i

To this:

.LBB_Z4testIPddEvT_S1_T0__1:    # no_exit.i
        fldl data(,%eax,8)
        fldl 16(%esp)
        faddp %st(1)
        fstpl 16(%esp)
        incl %eax
        movl %eax, %ecx
        shll $3, %ecx
        cmpl $16000, %ecx
        #FP_REG_KILL
        jne .LBB_Z4testIPddEvT_S1_T0__1 # no_exit.i

instead of this:

.LBB_Z4testIPddEvT_S1_T0__1:    # no_exit.i
        fldl data(,%eax,8)
        fldl 16(%esp)
        faddp %st(1)
        fstpl 16(%esp)
        incl %eax
        leal data(,%eax,8), %ecx
        leal data+16000, %edx
        cmpl %edx, %ecx
        #FP_REG_KILL
        jne .LBB_Z4testIPddEvT_S1_T0__1 # no_exit.i

llvm-svn: 19425
 2005-01-09 20:52:51 +00:00
Jeff Cohen 292845d2d9 Add last four createXxxPass functions 
llvm-svn: 19424
 2005-01-09 20:42:52 +00:00
Jeff Cohen 7d1670da3f Fix VC++ compilation error 
llvm-svn: 19423
 2005-01-09 20:41:56 +00:00
Chris Lattner e6f7882c27 Print the DAG out more like a DAG in nested format. 
llvm-svn: 19422
 2005-01-09 20:38:33 +00:00
Chris Lattner 1270acc1ce Print out nodes sorted by their address to make it easier to find them in a list. 
llvm-svn: 19421
 2005-01-09 20:26:36 +00:00
Chris Lattner cf8fd0c0db Codegen (Reg|imm)+&GV as an LEA, because we cannot put it into the immediate field 
of an ADDri (due to current restrictions on MachineOperand :( ).  This allows
us to generate:

        leal Data+16000, %edx

instead of:

        movl $Data, %edx
        addl $16000, %edx

llvm-svn: 19420
 2005-01-09 20:20:29 +00:00
Chris Lattner 3d5d5022d5 Add a simple transformation. This allows us to compile one of the inner 
loops in stepanov to this:

.LBB_Z5test0PdS__2:     # no_exit.1
        fldl data(,%eax,8)
        fldl 24(%esp)
        faddp %st(1)
        fstl 24(%esp)
        incl %eax
        cmpl $2000, %eax
        fstpl 16(%esp)
        #FP_REG_KILL
        jl .LBB_Z5test0PdS__2

instead of this:

.LBB_Z5test0PdS__2:     # no_exit.1
        fldl data(,%eax,8)
        fldl 24(%esp)
        faddp %st(1)
        fstl 24(%esp)
        incl %eax
        movl $data, %ecx
        movl %ecx, %edx
        addl $16000, %edx
        subl %ecx, %edx
        movl %edx, %ecx
        sarl $2, %ecx
        shrl $29, %ecx
        addl %ecx, %edx
        sarl $3, %edx
        cmpl %edx, %eax
        fstpl 16(%esp)
        #FP_REG_KILL
        jl .LBB_Z5test0PdS__2

The old instruction selector produced:

.LBB_Z5test0PdS__2:     # no_exit.1
        fldl 24(%esp)
        faddl data(,%eax,8)
        fstl 24(%esp)
        movl %eax, %ecx
        incl %ecx
        incl %eax
        leal data+16000, %edx
        movl $data, %edi
        subl %edi, %edx
        movl %edx, %edi
        sarl $2, %edi
        shrl $29, %edi
        addl %edi, %edx
        sarl $3, %edx
        cmpl %edx, %ecx
        fstpl 16(%esp)
        #FP_REG_KILL
        jl .LBB_Z5test0PdS__2   # no_exit.1

Which is even worse!

llvm-svn: 19419
 2005-01-09 20:09:57 +00:00
Chris Lattner 66d3430236 Fix copy and pasto's for FP -> Int. This fixes fldry 
llvm-svn: 19418
 2005-01-09 19:49:59 +00:00
Chris Lattner 9242c504da Fix a bug legalizing call instructions (make sure to remember all result 
values), and eliminate some switch statements.

llvm-svn: 19417
 2005-01-09 19:43:23 +00:00
Chris Lattner 02f5ce2077 Fix a minor bug legalizing dynamic_stackalloc. This allows us to compile 
std::__pad<wchar_t, std::char_traits<wchar_t> >::_S_pad(std::ios_base&, wchar_t, wchar_t*, wchar_t const*, int, int, bool)

from libstdc++

llvm-svn: 19416
 2005-01-09 19:07:54 +00:00
Chris Lattner ec26b48d61 Teach legalize to deal with DYNAMIC_STACKALLOC (aka a dynamic llvm alloca) 
llvm-svn: 19415
 2005-01-09 19:03:49 +00:00
Chris Lattner 282781c797 Initial implementation of FP->INT and INT->FP casts 
Also, fix zero_extend from bool to i8, which fixes Shootout/objinst.

llvm-svn: 19414
 2005-01-09 18:52:44 +00:00
Jeff Cohen 14903e0148 Get lib/Analysis/DataStructure to compile with VC++ 
llvm-svn: 19412
 2005-01-09 04:18:28 +00:00
Jeff Cohen 39b0644b42 Workaround a VC++ bug. Microsoft puts the hash_map class in namespace stdext, but 
this classes uses a utility function in namespace std.  But Microsoft apparently
assumes everyone will "using namespace std;".  As LLVM doesn't....  Add a
"use std::_Distance;" to get it working.

llvm-svn: 19411
 2005-01-09 04:13:09 +00:00
Chris Lattner fb217c6b94 Fix a subtle bug involving constant expr casts from int to fp 
llvm-svn: 19410
 2005-01-09 01:49:29 +00:00
Chris Lattner a2c5d9168c Handle static alloca arguments to PHI nodes. 
llvm-svn: 19409
 2005-01-09 01:16:24 +00:00
Chris Lattner 9f59d28d67 Implement varargs and returnaddress/frameaddress intrinsics. With this 
patch, all of SingleSource/UnitTests passes.

llvm-svn: 19408
 2005-01-09 00:01:27 +00:00
Chris Lattner 58cfd7945d Use new interfaces to correctly lower varargs and return/frame address intrinsics. 
llvm-svn: 19407
 2005-01-09 00:00:49 +00:00
Chris Lattner ccab396d01 Add interfaces to lower varargs and return/frame address intrinsics. 
llvm-svn: 19406
 2005-01-09 00:00:31 +00:00
Jeff Cohen 529d0068c8 Test fails on all platforms, not just linux 
llvm-svn: 19405
 2005-01-08 23:44:03 +00:00
Chris Lattner 18d2b34637 Add support for llvm.setjmp and longjmp. Only 3 SingleSource/UnitTests fail now. 
llvm-svn: 19404
 2005-01-08 22:48:57 +00:00
Jeff Cohen a1c2df7ae6 Fix VC++ compilation error 
llvm-svn: 19403
 2005-01-08 22:44:06 +00:00
Jeff Cohen cede1ce95a Add even more missing createXxxPass functions. 
llvm-svn: 19402
 2005-01-08 22:01:16 +00:00
Chris Lattner d7a3ee6d20 rename linscan -> LLCBETA as it should be 
llvm-svn: 19401
 2005-01-08 21:03:58 +00:00
Chris Lattner 313ddb59c9 Okay 15th time is the charm. Looking at the vector size is useless as it 
gets clobbered by a previous statement.  This fixes all calls finally.

llvm-svn: 19399
 2005-01-08 20:51:36 +00:00
Chris Lattner f5bbe85879 Okay, my off by one was actually off by two. This fixes Generic/2003-07-07-BadLongConst.ll 
llvm-svn: 19398
 2005-01-08 20:39:31 +00:00
Chris Lattner c0f31c5e96 Tighten up assertions. 
llvm-svn: 19397
 2005-01-08 20:35:13 +00:00
Chris Lattner a183eb75eb Fix off by one error 
llvm-svn: 19396
 2005-01-08 20:31:34 +00:00
Chris Lattner f806d9f2d0 Allow arrays to have more than 4G elements. 
llvm-svn: 19395
 2005-01-08 20:19:51 +00:00
Chris Lattner d662b785ef Allow array types to have 64-bit size. 
llvm-svn: 19394
 2005-01-08 20:19:27 +00:00
Jeff Cohen 1a26d15c80 Use size_t instead of long to represent memory usage. long is 32 bits 
on 64-bit Windows.

llvm-svn: 19393
 2005-01-08 20:15:57 +00:00
Chris Lattner 4588542d39 Silence warnings 
llvm-svn: 19392
 2005-01-08 20:13:44 +00:00
Chris Lattner df1f152420 Silence VS warnings. 
llvm-svn: 19391
 2005-01-08 20:13:19 +00:00
Chris Lattner fa66dc7852 Silence VS warnings. 
llvm-svn: 19390
 2005-01-08 20:07:03 +00:00
Chris Lattner feeab9f753 Silence VS warnings 
llvm-svn: 19389
 2005-01-08 20:05:34 +00:00
Chris Lattner 0b955fd2d5 Silence VS warnings 
llvm-svn: 19388
 2005-01-08 19:59:10 +00:00
Chris Lattner a136c3b054 Adjust prototype 
llvm-svn: 19387
 2005-01-08 19:57:49 +00:00
Chris Lattner e64ff1c4b2 Silence warnings from VS 
llvm-svn: 19386
 2005-01-08 19:55:00 +00:00
Chris Lattner 78100c41ca Silence VS warnings 
llvm-svn: 19385
 2005-01-08 19:53:50 +00:00
Chris Lattner d006195517 Silence VS warnings. 
llvm-svn: 19384
 2005-01-08 19:52:31 +00:00
Chris Lattner 798e84f59e Fix VS warnings 
llvm-svn: 19383
 2005-01-08 19:48:40 +00:00
Chris Lattner 46fa04b531 Fix VS warnings. 
llvm-svn: 19382
 2005-01-08 19:45:31 +00:00
Chris Lattner fdfe3e49fe Fix uint64_t -> unsigned VS warnings. 
llvm-svn: 19381
 2005-01-08 19:42:22 +00:00
Chris Lattner 47f395cd85 Silence VS warnings. 
llvm-svn: 19380
 2005-01-08 19:37:20 +00:00
Chris Lattner ce274ce93d Silence warnings 
llvm-svn: 19379
 2005-01-08 19:34:41 +00:00
Chris Lattner 867158cefd Do not throw away bits for no reason 
llvm-svn: 19378
 2005-01-08 19:32:59 +00:00
Chris Lattner 2c5e4ed8f9 Silence a VS warning. 
llvm-svn: 19377
 2005-01-08 19:31:31 +00:00
Chris Lattner b52e041c80 Adjust to changes in LowerCallTo interface 
Minor bugfixes

llvm-svn: 19376
 2005-01-08 19:28:19 +00:00
Chris Lattner 7e6eeba6c5 Implement handling of most long operators through libcalls. 
Fix a bug legalizing "ret (Val,Val)"

llvm-svn: 19375
 2005-01-08 19:27:05 +00:00
Chris Lattner 1f45cd7418 Adjust to changes in LowerCAllTo interfaces 
llvm-svn: 19374
 2005-01-08 19:26:18 +00:00
Chris Lattner 9660014f8c Make LowerCallTo more generic and useful. 
llvm-svn: 19373
 2005-01-08 19:25:39 +00:00
John Criswell 24a5692973 Another year, another copyright update. 
llvm-svn: 19372
 2005-01-08 19:10:44 +00:00
Jeff Cohen a2c16d2555 Add a few more passes to LinkAllPasses.h 
llvm-svn: 19371
 2005-01-08 18:15:23 +00:00
Jeff Cohen 677babc4d4 Add more missing createXxxPass functions. 
llvm-svn: 19370
 2005-01-08 17:21:40 +00:00
Chris Lattner 2a6db3c351 Add support for FP->INT conversions and back. 
llvm-svn: 19369
 2005-01-08 08:08:56 +00:00
Chris Lattner 6209f1d294 Add operators for FP -> INT conversions and back. 
llvm-svn: 19368
 2005-01-08 08:08:49 +00:00
Chris Lattner 8da67af979 Wrap long line. 
llvm-svn: 19367
 2005-01-08 06:59:50 +00:00
Chris Lattner e69daaf71d Implement the 'store FPIMM, Ptr' -> 'store INTIMM, Ptr' optimization for 
all targets.

llvm-svn: 19366
 2005-01-08 06:25:56 +00:00
Chris Lattner 9a97e4d5b6 1ULL << 64 is undefined, don't do it. 
llvm-svn: 19365
 2005-01-08 06:24:30 +00:00
Chris Lattner b923438fe6 The X86 instruction selector already handles codegen of: 
store float 123.45, float* %P

as an integer store.  This adds handling of float immediate stores as integers
for arguments passed function calls.

This is now tested by CodeGen/X86/store-fp-constant.ll

llvm-svn: 19364
 2005-01-08 05:45:24 +00:00
Chris Lattner e80eca3d1d New testcase. 
llvm-svn: 19363
 2005-01-08 05:44:07 +00:00
Misha Brukman 6cd5f89778 Eliminate empty sub-list 
llvm-svn: 19362
 2005-01-08 01:11:15 +00:00
Chris Lattner e0f1fe181a Fix a pointer invalidation problem. This fixes Generic/badarg6.ll 
llvm-svn: 19361
 2005-01-07 23:32:00 +00:00
Chris Lattner 5c66e45b92 Fold conditional branches on constants away. 
llvm-svn: 19360
 2005-01-07 22:49:57 +00:00
Chris Lattner cda3efa6e5 Fix a thinko in the reassociation code, fixing Generic/badlive.ll 
llvm-svn: 19359
 2005-01-07 22:44:09 +00:00
Chris Lattner a65a2f0c36 Add support for truncating integer casts from long. 
llvm-svn: 19358
 2005-01-07 22:37:48 +00:00
Chris Lattner ea4ca94cae Fix a bug in load expansion legalization and ret legalization. This fixes 
CodeGen/Generic/select.ll:castconst.

llvm-svn: 19357
 2005-01-07 22:28:47 +00:00
Chris Lattner 68a12140c0 Legalize unconditional branches too 
llvm-svn: 19356
 2005-01-07 22:12:08 +00:00
Chris Lattner 924d100bd1 Cleanup a bunch of tests. In particular do not allow target directives in 
the .ll file or it forces the V9 backend.  This is the CodeGen/Generic dir,
so there is no use in doing that.

llvm-svn: 19355
 2005-01-07 22:05:31 +00:00
Chris Lattner 19a83990e1 Implement support for long GEP indices on 32-bit archs and support for 
int GEP indices on 64-bit archs.

llvm-svn: 19354
 2005-01-07 21:56:57 +00:00
Chris Lattner 4d5ba99283 Simplify: truncate ({zero|sign}_extend (X)) 
llvm-svn: 19353
 2005-01-07 21:56:24 +00:00
Chris Lattner 32f20bfa93 implement legalization of a bunch more operators. 
llvm-svn: 19352
 2005-01-07 21:45:56 +00:00
Chris Lattner e3f06e9945 Make this test a bit more interesting by making there actually be a use of the 
PHI node.

llvm-svn: 19351
 2005-01-07 21:37:13 +00:00
Chris Lattner fa854eb012 Fix another bug legalizing calls! 
llvm-svn: 19350
 2005-01-07 21:35:32 +00:00
Chris Lattner 8ea875fb05 Fix handling of dead PHI nodes. 
llvm-svn: 19349
 2005-01-07 21:34:19 +00:00
Chris Lattner f025d6788c Fix a bug legalizing calls 
llvm-svn: 19348
 2005-01-07 21:34:13 +00:00
Chris Lattner 44b30c9abb modernize and clean up this test. 
llvm-svn: 19347
 2005-01-07 21:15:58 +00:00
Chris Lattner 473825ccec After legalizing a DAG, delete dead nodes to save space. 
llvm-svn: 19346
 2005-01-07 21:09:37 +00:00
Chris Lattner 9c667933c1 Implement RemoveDeadNodes 
llvm-svn: 19345
 2005-01-07 21:09:16 +00:00
Chris Lattner 49811fcab6 Add a new SelectionDAG::RemoveDeadNodes method 
llvm-svn: 19344
 2005-01-07 21:08:55 +00:00
Jeff Cohen 86bbb1c56b Fix include. Too easy to make mistakes like this on Windows :( 
llvm-svn: 19343
 2005-01-07 19:21:49 +00:00
Chris Lattner 6edb4d7b71 Remove the open projects page from the docs directory. 
llvm-svn: 19342
 2005-01-07 18:57:33 +00:00
Misha Brukman a9ade831b6 Capitalize Bugpoint. 
llvm-svn: 19341
 2005-01-07 17:00:44 +00:00
Jeff Cohen 39c14e7bca Get new SelectionDAG stuff building with Visual Studio. 
llvm-svn: 19340
 2005-01-07 15:52:36 +00:00
Chris Lattner ec3fe7c4a8 Teach legalize how to handle condbranches 
llvm-svn: 19339
 2005-01-07 08:19:42 +00:00
Chris Lattner 001467a08c Add a testcase I forgot to commit earlier. 
llvm-svn: 19338
 2005-01-07 07:56:08 +00:00
Chris Lattner 1ef74d6135 X86 BE requires SelectionDAG 
llvm-svn: 19337
 2005-01-07 07:51:25 +00:00
Chris Lattner 28ce94ce85 X86 JIT requires the selection dag library. 
llvm-svn: 19336
 2005-01-07 07:51:11 +00:00
Chris Lattner ca4ca5520b Allow the selection-dag based selector to be diabled with -disable-pattern-isel. 
For now, this is the default, as the current selector is missing some big pieces.
To enable the new selector, pass -disable-pattern-isel=false to llc or lli.

llvm-svn: 19335
 2005-01-07 07:50:50 +00:00
Chris Lattner 88c8a23891 Reimplementation of the X86 pattern isel. This is still missing many large 
pieces, but can already do amazing things in some cases.

llvm-svn: 19334
 2005-01-07 07:49:41 +00:00
Chris Lattner ce413c8c9f This file is now dead. 
llvm-svn: 19333
 2005-01-07 07:49:05 +00:00
Chris Lattner ff9e21c8d3 Add a new prototype 
llvm-svn: 19332
 2005-01-07 07:48:33 +00:00
Chris Lattner 7a60d91953 Initial implementation of the SelectionDAGISel class. This contains most 
of the code for lowering from LLVM code to a SelectionDAG.

llvm-svn: 19331
 2005-01-07 07:47:53 +00:00
Chris Lattner f8ba6987a4 This file is obsolete 
llvm-svn: 19330
 2005-01-07 07:47:23 +00:00
Chris Lattner dc75059005 Initial implementation of the DAG legalization. This still has a long way 
to go, but it does work for some non-trivial cases now.

llvm-svn: 19329
 2005-01-07 07:47:09 +00:00
Jeff Cohen 510fa4bbf8 But not the identation of THAT line 
llvm-svn: 19328
 2005-01-07 07:46:40 +00:00
Chris Lattner 061a1ea9e3 Complete rewrite of the SelectionDAG class. 
llvm-svn: 19327
 2005-01-07 07:46:32 +00:00
Chris Lattner 56cc54f416 Common base class for SelectionDAG-based instruction selectors. 
llvm-svn: 19326
 2005-01-07 07:46:03 +00:00
Chris Lattner 78551084ef Initial implementation of the nodes in a SelectionDAG. 
llvm-svn: 19325
 2005-01-07 07:45:27 +00:00
Chris Lattner 3a4d1b2721 First draft of new Target interface 
llvm-svn: 19324
 2005-01-07 07:44:53 +00:00
Chris Lattner 09b37583a4 First draft of a new Target interface 
llvm-svn: 19323
 2005-01-07 07:44:22 +00:00
Jeff Cohen 70e3e10aa4 Correct indentation levels 
llvm-svn: 19322
 2005-01-07 07:44:02 +00:00
Chris Lattner 07b522d106 Add convenience method. 
llvm-svn: 19321
 2005-01-07 07:40:32 +00:00
Misha Brukman 417ca179a9 Convert tabs to spaces 
llvm-svn: 19320
 2005-01-07 07:05:34 +00:00
Jeff Cohen 9a7ac16214 Add missing createXxxPass functions 
llvm-svn: 19319
 2005-01-07 06:57:28 +00:00
Jeff Cohen d97ad08ef8 Remove bogus project folder 
llvm-svn: 19318
 2005-01-07 06:54:58 +00:00
Misha Brukman 28e210a8f2 Fix spelling. 
llvm-svn: 19317
 2005-01-07 06:45:07 +00:00
Jeff Cohen e48bd7fcd4 Update list of passes 
llvm-svn: 19316
 2005-01-07 06:12:41 +00:00
Jeff Cohen 844410b48e Add missing include 
llvm-svn: 19315
 2005-01-07 05:42:13 +00:00
Jeff Cohen e15ae04fb3 Fix return type 
llvm-svn: 19314
 2005-01-07 05:41:39 +00:00
Chris Lattner ae15482076 Codegen -1 and -0.0 more efficiently. This implements CodeGen/X86/negatize_zero.ll 
llvm-svn: 19313
 2005-01-06 21:19:16 +00:00
Chris Lattner 9eef99ef43 New testcase 
llvm-svn: 19312
 2005-01-06 21:18:53 +00:00
Chris Lattner cd4003e228 No need to pessimize current code for future possibilities. 
llvm-svn: 19311
 2005-01-06 16:26:38 +00:00
Jeff Cohen 72f8f4cc3d Get the #ifdef right on LinkAllPasses.h. 
llvm-svn: 19310
 2005-01-06 07:01:08 +00:00
Jeff Cohen 13932fb27f Fix minor mistakes 
llvm-svn: 19309
 2005-01-06 06:29:42 +00:00
Jeff Cohen 11dca28b79 Get rid of those pesky tabs... 
llvm-svn: 19308
 2005-01-06 06:06:35 +00:00
Jeff Cohen 00d5508496 Add project opt to Visual Studio. 
llvm-svn: 19307
 2005-01-06 06:02:53 +00:00
Jeff Cohen eca0d0f2da Put createLoopUnswitchPass() into proper namespace 
llvm-svn: 19306
 2005-01-06 05:47:18 +00:00
Jeff Cohen 27595a4aec Add missing include 
llvm-svn: 19305
 2005-01-06 05:46:44 +00:00
Jeff Cohen 56d649f574 Fix incorrect return type. 
llvm-svn: 19304
 2005-01-06 05:45:45 +00:00
Jeff Cohen b56965be08 Fix CBE code so that it compiles with VC++. 
llvm-svn: 19303
 2005-01-06 04:21:49 +00:00
Chris Lattner 2812f0880b Add required #include 
llvm-svn: 19302
 2005-01-06 03:25:27 +00:00
Chris Lattner a930a9ab5e Add a useful method 
llvm-svn: 19301
 2005-01-06 03:23:59 +00:00
Chris Lattner 770c354f7d Add a list end sentinal 
llvm-svn: 19299
 2005-01-05 22:14:14 +00:00
Reid Spencer 1d183c4ab8 Add the SystemLibrary.html document now that its done. 
llvm-svn: 19298
 2005-01-05 19:01:20 +00:00