diff options
| author | Chris Lattner <sabre@nondot.org> | 2004-11-07 00:24:14 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2004-11-07 00:24:14 +0000 |
| commit | 5993ea5da227480360b9d28e7db0cc0164c0f7c5 (patch) | |
| tree | e15e5fe77defa6028069f787a8bf7541d72ec585 /llvm/test/Regression/CodeGen/Generic | |
| parent | 0624d4fd2f52e837c381e1617426930e2679dc67 (diff) | |
| download | bcm5719-llvm-5993ea5da227480360b9d28e7db0cc0164c0f7c5.tar.gz bcm5719-llvm-5993ea5da227480360b9d28e7db0cc0164c0f7c5.zip | |
These files are all moved to test/Regression/CodeGen/Generic
llvm-svn: 17538
Diffstat (limited to 'llvm/test/Regression/CodeGen/Generic')
23 files changed, 2100 insertions, 0 deletions
diff --git a/llvm/test/Regression/CodeGen/Generic/2002-04-14-UnexpectedUnsignedType.ll b/llvm/test/Regression/CodeGen/Generic/2002-04-14-UnexpectedUnsignedType.ll new file mode 100644 index 00000000000..559a4815c27 --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/2002-04-14-UnexpectedUnsignedType.ll @@ -0,0 +1,15 @@ +; RUN: llvm-as -f %s -o - | llc + +; This causes the backend to assert out with: +; SparcInstrInfo.cpp:103: failed assertion `0 && "Unexpected unsigned type"' +; +implementation + +declare void "bar"(sbyte* %G) + +void "foo"() +begin + %cast225 = cast ulong 123456 to sbyte* ; <sbyte*> [#uses=1] + call void %bar( sbyte* %cast225) + ret void +end diff --git a/llvm/test/Regression/CodeGen/Generic/2002-04-16-StackFrameSizeAlignment.ll b/llvm/test/Regression/CodeGen/Generic/2002-04-16-StackFrameSizeAlignment.ll new file mode 100644 index 00000000000..f00aad7900c --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/2002-04-16-StackFrameSizeAlignment.ll @@ -0,0 +1,18 @@ +; RUN: llvm-as -f %s -o - | llc + +; Compiling this file produces: +; Sparc.cpp:91: failed assertion `(offset - OFFSET) % getStackFrameSizeAlignment() == 0' +; +implementation + +declare int "SIM"(sbyte* %A, sbyte* %B, int %M, int %N, int %K, [256 x int]* %V, int %Q, int %R, int %nseq) + +void "foo"() +begin +bb0: ;[#uses=0] + %V = alloca [256 x int], uint 256 ; <[256 x int]*> [#uses=1] + call int %SIM( sbyte* null, sbyte* null, int 0, int 0, int 0, [256 x int]* %V, int 0, int 0, int 2 ) ; <int>:0 [#uses=0] + ret void +end + + diff --git a/llvm/test/Regression/CodeGen/Generic/2003-05-27-phifcmpd.ll b/llvm/test/Regression/CodeGen/Generic/2003-05-27-phifcmpd.ll new file mode 100644 index 00000000000..632b984ee98 --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/2003-05-27-phifcmpd.ll @@ -0,0 +1,73 @@ +; RUN: llvm-as -f %s -o - | llc + +;; Date: May 28, 2003. +;; From: test/Programs/MultiSource/McCat-05-eks/QRfact.c +;; Function: Matrix QRiterate(Matrix A, Matrix U) +;; +;; Error: llc produces an invalid register <NULL VALUE> for the +;; phi argument %tmp.213 produced by fcmpd: +;; +;; LLC Output: +;; +;; !****** Outputing Function: QRiterate_1 ****** +;; +;; .section ".text" +;; .align 4 +;; .global QRiterate_1 +;; .type QRiterate_1, 2 +;; QRiterate_1: +;; .L_QRiterate_1_LL_0: +;; save %o6, -192, %o6 +;; brgz %i0, .L_QRiterate_1_LL_1 +;; add %g0, %g0, %o0 +;; ba .L_QRiterate_1_LL_2 +;; nop +;; +;; .L_QRiterate_1_LL_1: +;; sethi %lm(LLVMGlobal__2), %o1 +;; sethi %hh(LLVMGlobal__2), %o0 +;; or %o0, %hm(LLVMGlobal__2), %o0 +;; sllx %o0, 32, %o0 +;; or %o1, %o0, %o1 +;; or %o1, %lo(LLVMGlobal__2), %o1 +;; ldd [%o1+0], %f32 +;; fcmpd %fcc0, %f2, %f32 +;; ba .L_QRiterate_1_LL_2 +;; add <NULL VALUE>, %g0, %o0 +;; +;; .L_QRiterate_1_LL_2: +;; brnz %o0, .L_QRiterate_1_LL_1 +;; nop +;; ba .L_QRiterate_1_LL_3 +;; nop +;; +;; .L_QRiterate_1_LL_3: +;; jmpl %i7+8, %g0 +;; restore %g0, 0, %g0 +;; +;; .EndOf_QRiterate_1: +;; .size QRiterate_1, .EndOf_QRiterate_1-QRiterate_1 +;; + + +target endian = big +target pointersize = 64 + +implementation ; Functions: + +internal void %QRiterate(int %p.1, double %tmp.212) { +entry: ; No predecessors! + %tmp.184 = setgt int %p.1, 0 ; <bool> [#uses=1] + br bool %tmp.184, label %shortcirc_next.1, label %shortcirc_done.1 + +shortcirc_next.1: ; preds = %entry + %tmp.213 = setne double %tmp.212, 0.000000e+00 + br label %shortcirc_done.1 + +shortcirc_done.1: ; preds = %entry, %shortcirc_next.1 + %val.1 = phi bool [ false, %entry ], [ %tmp.213, %shortcirc_next.1 ] + br bool %val.1, label %shortcirc_next.1, label %exit.1 + +exit.1: + ret void +} diff --git a/llvm/test/Regression/CodeGen/Generic/2003-05-27-useboolinotherbb.ll b/llvm/test/Regression/CodeGen/Generic/2003-05-27-useboolinotherbb.ll new file mode 100644 index 00000000000..3864d530622 --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/2003-05-27-useboolinotherbb.ll @@ -0,0 +1,65 @@ +; RUN: llvm-as -f %s -o - | llc + +;; Date: May 27, 2003. +;; From: Variant of 2003-05-27-usefsubasbool.ll +;; +;; Error: llc fails to save a boolean value in a register (and later uses an +;; invalid register <NULL VALUE> in a BRNZ) for a boolean value +;; used only by branches but in a different basic block. +;; +;; Cause: In SparcInstrSelection.cpp, for SetCC, when a result of setCC +;; is used only for branches, it is not saved into an int. register. +;; But if the boolean is used in a branch in a different basic block, +;; that branch uses a BRNZ inst. instead of a branch-on-CC. +;; +;; LLC Output before fix: +;; !****** Outputing Function: QRiterate_1 ****** +;; +;; .section ".text" +;; .align 4 +;; .global QRiterate_1 +;; .type QRiterate_1, 2 +;; QRiterate_1: +;; .L_QRiterate_1_LL_0: +;; save %o6, -192, %o6 +;; sethi %lm(LLVMGlobal__2), %o2 +;; sethi %hh(LLVMGlobal__2), %o1 +;; or %o1, %hm(LLVMGlobal__2), %o1 +;; sllx %o1, 32, %o1 +;; or %o2, %o1, %o2 +;; or %o2, %lo(LLVMGlobal__2), %o2 +;; ldd [%o2+0], %f32 +;; fcmpd %fcc0, %f0, %f32 +;; ba .L_QRiterate_1_LL_1 +;; nop +;; +;; .L_QRiterate_1_LL_1: +;; brnz <NULL_VALUE>, .L_QRiterate_1_LL_1 +;; nop +;; ba .L_QRiterate_1_LL_2 +;; nop +;; +;; .L_QRiterate_1_LL_2: +;; jmpl %i7+8, %g0 +;; restore %g0, 0, %g0 +;; +;; .EndOf_QRiterate_1: +;; .size QRiterate_1, .EndOf_QRiterate_1-QRiterate_1 +;; + +target endian = big +target pointersize = 64 + +implementation ; Functions: + +internal void %QRiterate(double %tmp.212) { +entry: ; No predecessors! + %tmp.213 = setne double %tmp.212, 0.000000e+00 + br label %shortcirc_next.1 + +shortcirc_next.1: ; preds = %entry + br bool %tmp.213, label %shortcirc_next.1, label %exit.1 + +exit.1: + ret void +} diff --git a/llvm/test/Regression/CodeGen/Generic/2003-05-27-usefsubasbool.ll b/llvm/test/Regression/CodeGen/Generic/2003-05-27-usefsubasbool.ll new file mode 100644 index 00000000000..5b756b56ee8 --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/2003-05-27-usefsubasbool.ll @@ -0,0 +1,65 @@ +; RUN: llvm-as -f %s -o - | llc + +;; Date: May 27, 2003. +;; From: test/Programs/MultiSource/McCat-05-eks/QRfact.c +;; Function: Matrix QRiterate(Matrix A, Matrix U) +;; +;; Error: llc produces an invalid register <NULL VALUE> for the +;; a boolean value computed using setne with a double. +;; +;; Cause: In SparcInstrSelection.cpp, for SetCC, when a result of setne +;; is used for a branch, it can generate a "branch-on-integer-register" +;; for integer registers. In that case, it never saves the value of +;; the boolean result. It was attempting to do the same thing for an +;; FP compare! +;; +;; LLC Output: +;; !****** Outputing Function: QRiterate_1 ****** +;; +;; .section ".text" +;; .align 4 +;; .global QRiterate_1 +;; .type QRiterate_1, 2 +;; QRiterate_1: +;; .L_QRiterate_1_LL_0: +;; save %o6, -192, %o6 +;; sethi %hh(LLVMGlobal__2), %o1 +;; sethi %lm(LLVMGlobal__2), %o0 +;; or %o1, %hm(LLVMGlobal__2), %o1 +;; sllx %o1, 32, %o1 +;; or %o0, %o1, %o0 +;; or %o0, %lo(LLVMGlobal__2), %o0 +;; ldd [%o0+0], %f32 +;; ba .L_QRiterate_1_LL_1 +;; fcmpd %fcc0, %f0, %f32 +;; +;; .L_QRiterate_1_LL_1: +;; brnz <NULL VALUE>, .L_QRiterate_1_LL_1 +;; nop +;; ba .L_QRiterate_1_LL_2 +;; nop +;; +;; .L_QRiterate_1_LL_2: +;; jmpl %i7+8, %g0 +;; restore %g0, 0, %g0 +;; +;; .EndOf_QRiterate_1: +;; .size QRiterate_1, .EndOf_QRiterate_1-QRiterate_1 +;; + +target endian = big +target pointersize = 64 + +implementation ; Functions: + +internal void %QRiterate(double %tmp.212) { +entry: ; No predecessors! + br label %shortcirc_next.1 + +shortcirc_next.1: ; preds = %entry + %tmp.213 = setne double %tmp.212, 0.000000e+00 + br bool %tmp.213, label %shortcirc_next.1, label %exit.1 + +exit.1: + ret void +} diff --git a/llvm/test/Regression/CodeGen/Generic/2003-05-28-ManyArgs.ll b/llvm/test/Regression/CodeGen/Generic/2003-05-28-ManyArgs.ll new file mode 100644 index 00000000000..4fcc10525f1 --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/2003-05-28-ManyArgs.ll @@ -0,0 +1,158 @@ +; RUN: llvm-as -f %s -o - | llc + +;; Date: May 28, 2003. +;; From: test/Programs/External/SPEC/CINT2000/175.vpr.llvm.bc +;; Function: int %main(int %argc.1, sbyte** %argv.1) +;; +;; Error: A function call with about 56 arguments causes an assertion failure +;; in llc because the register allocator cannot find a register +;; not used explicitly by the call instruction. +;; +;; Cause: Regalloc was not keeping track of free registers correctly. +;; It was counting the registers allocated to all outgoing arguments, +;; even though most of those are copied to the stack (so those +;; registers are not actually used by the call instruction). +;; +;; Fixed: By rewriting selection and allocation so that selection explicitly +;; inserts all copy operations required for passing arguments and +;; for the return value of a call, copying to/from registers +;; and/or to stack locations as needed. +;; + +target endian = little +target pointersize = 32 + %struct..s_annealing_sched = type { uint, float, float, float, float } + %struct..s_chan = type { uint, float, float, float, float } + %struct..s_det_routing_arch = type { uint, float, float, float, uint, int, short, short, short, float, float } + %struct..s_placer_opts = type { int, float, int, uint, sbyte*, uint, int } + %struct..s_router_opts = type { float, float, float, float, float, int, int, uint, int } + %struct..s_segment_inf = type { float, int, short, short, float, float, uint, float, float } + %struct..s_switch_inf = type { uint, float, float, float, float } + +implementation + +int %main(int %argc.1, sbyte** %argv.1) { +entry: + %net_file = alloca [300 x sbyte] + %place_file = alloca [300 x sbyte] + %arch_file = alloca [300 x sbyte] + %route_file = alloca [300 x sbyte] + %full_stats = alloca uint + %operation = alloca int + %verify_binary_search = alloca uint + %show_graphics = alloca uint + %annealing_sched = alloca %struct..s_annealing_sched + %placer_opts = alloca %struct..s_placer_opts + %router_opts = alloca %struct..s_router_opts + %det_routing_arch = alloca %struct..s_det_routing_arch + %segment_inf = alloca %struct..s_segment_inf* + %timing_inf = alloca { uint, float, float, float, float, float, float, float, float, float, float } + %tmp.101 = getelementptr %struct..s_placer_opts* %placer_opts, long 0, ubyte 4 + %tmp.105 = getelementptr [300 x sbyte]* %net_file, long 0, long 0 + %tmp.106 = getelementptr [300 x sbyte]* %arch_file, long 0, long 0 + %tmp.107 = getelementptr [300 x sbyte]* %place_file, long 0, long 0 + %tmp.108 = getelementptr [300 x sbyte]* %route_file, long 0, long 0 + %tmp.109 = getelementptr { uint, float, float, float, float, float, float, float, float, float, float }* %timing_inf, long 0, ubyte 0 + %tmp.112 = getelementptr %struct..s_placer_opts* %placer_opts, long 0, ubyte 0 + %tmp.114 = getelementptr %struct..s_placer_opts* %placer_opts, long 0, ubyte 6 + %tmp.118 = getelementptr %struct..s_router_opts* %router_opts, long 0, ubyte 7 + %tmp.135 = load int* %operation + %tmp.137 = load int* %tmp.112 + %tmp.138 = getelementptr %struct..s_placer_opts* %placer_opts, long 0, ubyte 1 + %tmp.139 = load float* %tmp.138 + %tmp.140 = getelementptr %struct..s_placer_opts* %placer_opts, long 0, ubyte 2 + %tmp.141 = load int* %tmp.140 + %tmp.142 = getelementptr %struct..s_placer_opts* %placer_opts, long 0, ubyte 3 + %tmp.143 = load uint* %tmp.142 + %tmp.145 = load sbyte** %tmp.101 + %tmp.146 = getelementptr %struct..s_placer_opts* %placer_opts, long 0, ubyte 5 + %tmp.147 = load uint* %tmp.146 + %tmp.149 = load int* %tmp.114 + %tmp.154 = load uint* %full_stats + %tmp.155 = load uint* %verify_binary_search + %tmp.156 = getelementptr %struct..s_annealing_sched* %annealing_sched, long 0, ubyte 0 + %tmp.157 = load uint* %tmp.156 + %tmp.158 = getelementptr %struct..s_annealing_sched* %annealing_sched, long 0, ubyte 1 + %tmp.159 = load float* %tmp.158 + %tmp.160 = getelementptr %struct..s_annealing_sched* %annealing_sched, long 0, ubyte 2 + %tmp.161 = load float* %tmp.160 + %tmp.162 = getelementptr %struct..s_annealing_sched* %annealing_sched, long 0, ubyte 3 + %tmp.163 = load float* %tmp.162 + %tmp.164 = getelementptr %struct..s_annealing_sched* %annealing_sched, long 0, ubyte 4 + %tmp.165 = load float* %tmp.164 + %tmp.166 = getelementptr %struct..s_router_opts* %router_opts, long 0, ubyte 0 + %tmp.167 = load float* %tmp.166 + %tmp.168 = getelementptr %struct..s_router_opts* %router_opts, long 0, ubyte 1 + %tmp.169 = load float* %tmp.168 + %tmp.170 = getelementptr %struct..s_router_opts* %router_opts, long 0, ubyte 2 + %tmp.171 = load float* %tmp.170 + %tmp.172 = getelementptr %struct..s_router_opts* %router_opts, long 0, ubyte 3 + %tmp.173 = load float* %tmp.172 + %tmp.174 = getelementptr %struct..s_router_opts* %router_opts, long 0, ubyte 4 + %tmp.175 = load float* %tmp.174 + %tmp.176 = getelementptr %struct..s_router_opts* %router_opts, long 0, ubyte 5 + %tmp.177 = load int* %tmp.176 + %tmp.178 = getelementptr %struct..s_router_opts* %router_opts, long 0, ubyte 6 + %tmp.179 = load int* %tmp.178 + %tmp.181 = load uint* %tmp.118 + %tmp.182 = getelementptr %struct..s_router_opts* %router_opts, long 0, ubyte 8 + %tmp.183 = load int* %tmp.182 + %tmp.184 = getelementptr %struct..s_det_routing_arch* %det_routing_arch, long 0, ubyte 0 + %tmp.185 = load uint* %tmp.184 + %tmp.186 = getelementptr %struct..s_det_routing_arch* %det_routing_arch, long 0, ubyte 1 + %tmp.187 = load float* %tmp.186 + %tmp.188 = getelementptr %struct..s_det_routing_arch* %det_routing_arch, long 0, ubyte 2 + %tmp.189 = load float* %tmp.188 + %tmp.190 = getelementptr %struct..s_det_routing_arch* %det_routing_arch, long 0, ubyte 3 + %tmp.191 = load float* %tmp.190 + %tmp.192 = getelementptr %struct..s_det_routing_arch* %det_routing_arch, long 0, ubyte 4 + %tmp.193 = load uint* %tmp.192 + %tmp.194 = getelementptr %struct..s_det_routing_arch* %det_routing_arch, long 0, ubyte 5 + %tmp.195 = load int* %tmp.194 + %tmp.196 = getelementptr %struct..s_det_routing_arch* %det_routing_arch, long 0, ubyte 6 + %tmp.197 = load short* %tmp.196 + %tmp.198 = getelementptr %struct..s_det_routing_arch* %det_routing_arch, long 0, ubyte 7 + %tmp.199 = load short* %tmp.198 + %tmp.200 = getelementptr %struct..s_det_routing_arch* %det_routing_arch, long 0, ubyte 8 + %tmp.201 = load short* %tmp.200 + %tmp.202 = getelementptr %struct..s_det_routing_arch* %det_routing_arch, long 0, ubyte 9 + %tmp.203 = load float* %tmp.202 + %tmp.204 = getelementptr %struct..s_det_routing_arch* %det_routing_arch, long 0, ubyte 10 + %tmp.205 = load float* %tmp.204 + %tmp.206 = load %struct..s_segment_inf** %segment_inf + %tmp.208 = load uint* %tmp.109 + %tmp.209 = getelementptr { uint, float, float, float, float, float, float, float, float, float, float }* %timing_inf, long 0, ubyte 1 + %tmp.210 = load float* %tmp.209 + %tmp.211 = getelementptr { uint, float, float, float, float, float, float, float, float, float, float }* %timing_inf, long 0, ubyte 2 + %tmp.212 = load float* %tmp.211 + %tmp.213 = getelementptr { uint, float, float, float, float, float, float, float, float, float, float }* %timing_inf, long 0, ubyte 3 + %tmp.214 = load float* %tmp.213 + %tmp.215 = getelementptr { uint, float, float, float, float, float, float, float, float, float, float }* %timing_inf, long 0, ubyte 4 + %tmp.216 = load float* %tmp.215 + %tmp.217 = getelementptr { uint, float, float, float, float, float, float, float, float, float, float }* %timing_inf, long 0, ubyte 5 + %tmp.218 = load float* %tmp.217 + %tmp.219 = getelementptr { uint, float, float, float, float, float, float, float, float, float, float }* %timing_inf, long 0, ubyte 6 + %tmp.220 = load float* %tmp.219 + %tmp.221 = getelementptr { uint, float, float, float, float, float, float, float, float, float, float }* %timing_inf, long 0, ubyte 7 + %tmp.222 = load float* %tmp.221 + %tmp.223 = getelementptr { uint, float, float, float, float, float, float, float, float, float, float }* %timing_inf, long 0, ubyte 8 + %tmp.224 = load float* %tmp.223 + %tmp.225 = getelementptr { uint, float, float, float, float, float, float, float, float, float, float }* %timing_inf, long 0, ubyte 9 + %tmp.226 = load float* %tmp.225 + %tmp.227 = getelementptr { uint, float, float, float, float, float, float, float, float, float, float }* %timing_inf, long 0, ubyte 10 + %tmp.228 = load float* %tmp.227 + call void %place_and_route( int %tmp.135, int %tmp.137, float %tmp.139, int %tmp.141, uint %tmp.143, sbyte* %tmp.145, uint %tmp.147, int %tmp.149, sbyte* %tmp.107, sbyte* %tmp.105, sbyte* %tmp.106, sbyte* %tmp.108, uint %tmp.154, uint %tmp.155, uint %tmp.157, float %tmp.159, float %tmp.161, float %tmp.163, float %tmp.165, float %tmp.167, float %tmp.169, float %tmp.171, float %tmp.173, float %tmp.175, int %tmp.177, int %tmp.179, uint %tmp.181, int %tmp.183, uint %tmp.185, float %tmp.187, float %tmp.189, float %tmp.191, uint %tmp.193, int %tmp.195, short %tmp.197, short %tmp.199, short %tmp.201, float %tmp.203, float %tmp.205, %struct..s_segment_inf* %tmp.206, uint %tmp.208, float %tmp.210, float %tmp.212, float %tmp.214, float %tmp.216, float %tmp.218, float %tmp.220, float %tmp.222, float %tmp.224, float %tmp.226, float %tmp.228 ) + %tmp.231 = load uint* %show_graphics + %tmp.232 = setne uint %tmp.231, 0 + br bool %tmp.232, label %then.2, label %endif.2 + +then.2: + br label %endif.2 + +endif.2: + ret int 0 +} + +declare int %printf(sbyte*, ...) + +declare void %place_and_route(int, int, float, int, uint, sbyte*, uint, int, sbyte*, sbyte*, sbyte*, sbyte*, uint, uint, uint, float, float, float, float, float, float, float, float, float, int, int, uint, int, uint, float, float, float, uint, int, short, short, short, float, float, %struct..s_segment_inf*, uint, float, float, float, float, float, float, float, float, float, float) diff --git a/llvm/test/Regression/CodeGen/Generic/2003-05-30-BadFoldGEP.ll b/llvm/test/Regression/CodeGen/Generic/2003-05-30-BadFoldGEP.ll new file mode 100644 index 00000000000..5b372c51df5 --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/2003-05-30-BadFoldGEP.ll @@ -0,0 +1,50 @@ +; RUN: llvm-as -f %s -o - | llc + +;; Date: May 28, 2003. +;; From: test/Programs/External/SPEC/CINT2000/254.gap.llvm.bc +;; Function: int %OpenOutput(sbyte* %filename.1) +;; +;; Error: A sequence of GEPs is folded incorrectly by llc during selection +;; causing an assertion about a dynamic casting error. +;; This code sequence was produced (correctly) by preselection +;; from a nested pair of ConstantExpr getelementptrs. +;; The code below is the output of preselection. +;; The original ConstantExprs are included in a comment. +;; +;; Cause: FoldGetElemChain() was inserting an extra leading 0 even though +;; the first instruction in the sequence contributes no indices. +;; The next instruction contributes a leading non-zero so another +;; zero should not be added before it! +;; + + +%FileType = type { int, [256 x sbyte], int, int, int, int } +%OutputFiles = uninitialized global [16 x %FileType] +%Output = internal global %FileType* null + + +implementation; Functions: + +internal int %OpenOutput(sbyte* %filename.1) { +entry: + %tmp.0 = load %FileType** %Output + %tmp.4 = getelementptr %FileType* %tmp.0, long 1 + + ;;------ Original instruction in 254.gap.llvm.bc: + ;; %tmp.10 = seteq { int, [256 x sbyte], int, int, int, int }* %tmp.4, getelementptr ([16 x { int, [256 x sbyte], int, int, int, int }]* getelementptr ([16 x { int, [256 x sbyte], int, int, int, int }]* %OutputFiles, long 1), long 0, long 0) + + ;;------ Code sequence produced by preselection phase for above instr: + ;; This code sequence is folded incorrectly by llc during selection + ;; causing an assertion about a dynamic casting error. + %addrOfGlobal = getelementptr [16 x %FileType]* %OutputFiles, long 0 + %constantGEP = getelementptr [16 x %FileType]* %addrOfGlobal, long 1 + %constantGEP = getelementptr [16 x %FileType]* %constantGEP, long 0, long 0 + %tmp.10 = seteq %FileType* %tmp.4, %constantGEP + br bool %tmp.10, label %return, label %endif.0 + +endif.0: + ret int 0 + +return: + ret int 1 +} diff --git a/llvm/test/Regression/CodeGen/Generic/2003-05-30-BadPreselectPhi.ll b/llvm/test/Regression/CodeGen/Generic/2003-05-30-BadPreselectPhi.ll new file mode 100644 index 00000000000..7e6be13fdf2 --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/2003-05-30-BadPreselectPhi.ll @@ -0,0 +1,60 @@ +; RUN: llvm-as -f %s -o - | llc + +;; Date: May 28, 2003. +;; From: test/Programs/SingleSource/richards_benchmark.c +;; Function: struct task *handlerfn(struct packet *pkt) +;; +;; Error: PreSelection puts the arguments of the Phi just before +;; the Phi instead of in predecessor blocks. This later +;; causes llc to produces an invalid register <NULL VALUE> +;; for the phi arguments. +;; +;; PreSelection Output: +;; *** LLVM code after pre-selection for function handlerfn: +;; +;; +;; %struct..task* %handlerfn(%struct..packet*) { +;; ; <label>:0 ; No predecessors! +;; setne %struct..packet* %0, null ; <bool>:0 [#uses=1] +;; br bool %0, label %1, label %2 +;; +;; ; <label>:1 ; preds = %0 +;; br label %2 +;; +;; ; <label>:2 ; preds = %0, %1 +;; %addrOfGlobal = getelementptr int* %v2, long 0 ; <int*> [#uses=1] +;; %addrOfGlobal1 = getelementptr int* %v1, long 0 ; <int*> [#uses=1] +;; phi int* [ %addrOfGlobal, %1 ], [ %addrOfGlobal1, %0 ] ; <int*>:0 [#uses=1] +;; cast int* %0 to %struct..packet* ; <%struct..packet*>:1 [#uses=1] +;; call void %append( %struct..packet* %0, %struct..packet* %1 ) +;; ret %struct..task* null +;; } +;; llc: ../../../include/llvm/CodeGen/MachineInstr.h:294: int MachineOperand::getAllocatedRegNum() const: Assertion `hasAllocatedReg()' failed. +;; + + +target endian = little +target pointersize = 32 + %struct..packet = type { %struct..packet*, int, int, int, [4 x sbyte] } + %struct..task = type { %struct..task*, int, int, %struct..packet*, int, %struct..task* (%struct..packet*)*, int, int } +%v1 = external global int +%v2 = external global int + +implementation ; Functions: + +%struct..task* %handlerfn(%struct..packet* %pkt.2) { +entry: ; No predecessors! + %tmp.1 = setne %struct..packet* %pkt.2, null + br bool %tmp.1, label %cond_false, label %cond_continue + +cond_false: ; preds = %entry + br label %cond_continue + +cond_continue: ; preds = %entry, %cond_false + %mem_tmp.0 = phi int* [ %v2, %cond_false ], [ %v1, %entry ] + %tmp.12 = cast int* %mem_tmp.0 to %struct..packet* + call void %append( %struct..packet* %pkt.2, %struct..packet* %tmp.12 ) + ret %struct..task* null +} + +declare void %append(%struct..packet*, %struct..packet*) diff --git a/llvm/test/Regression/CodeGen/Generic/2003-07-06-BadIntCmp.ll b/llvm/test/Regression/CodeGen/Generic/2003-07-06-BadIntCmp.ll new file mode 100644 index 00000000000..197ff2fdef6 --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/2003-07-06-BadIntCmp.ll @@ -0,0 +1,79 @@ +; RUN: llvm-as -f %s -o - | llc + +;; Date: May 28, 2003. +;; From: test/Programs/MultiSource/Olden-perimeter/maketree.c +;; Function: int CheckOutside(int x, int y) +;; +;; Note: The .ll code below for this regression test has identical +;; behavior to the above function up to the error, but then prints +;; true/false on the two branches. +;; +;; Error: llc generates a branch-on-xcc instead of branch-on-icc, which +;; is wrong because the value being compared (int euclid = x*x + y*y) +;; overflows, so that the 64-bit and 32-bit compares are not equal. +;; +;; LLC Output: +;; +;; !****** Outputing Function: CheckOutside_34 ****** +;; .align 4 +;; .global CheckOutside_34 +;; .type CheckOutside_34, 2 +;; CheckOutside_34: +;; .L_CheckOutside_34_LL_0: +;; save %o6, -192, %o6 +;; mulx %i1, %i1, %i1 +;; mulx %i0, %i0, %i0 +;; sethi %lm(4194304), %o1 +;; or %g0, 1, %o0 +;; add %i0, %i1, %i0 +;; sra %o1, 0, %o1 +;; subcc %i0, %o1, %g0 +;; bg %xcc, .L_CheckOutside_34_LL_3 +;; nop +;; ba .L_CheckOutside_34_LL_1 +;; nop +;; ... +;; +;; + + +target endian = little +target pointersize = 32 +%.str_1 = internal constant [6 x sbyte] c"true\0A\00" ; <[6 x sbyte]*> [#uses=1] +%.str_2 = internal constant [7 x sbyte] c"false\0A\00" ; <[7 x sbyte]*> [#uses=1] + +implementation ; Functions: + +declare int %printf(sbyte*, ...) + +internal void %__main() { +entry: ; No predecessors! + ret void +} + +internal void %CheckOutside(int %x.1, int %y.1) { +entry: ; No predecessors! + %tmp.2 = mul int %x.1, %x.1 ; <int> [#uses=1] + %tmp.5 = mul int %y.1, %y.1 ; <int> [#uses=1] + %tmp.6 = add int %tmp.2, %tmp.5 ; <int> [#uses=1] + %tmp.8 = setle int %tmp.6, 4194304 ; <bool> [#uses=1] + br bool %tmp.8, label %then, label %else + +then: ; preds = %entry + %tmp.11 = call int (sbyte*, ...)* %printf( sbyte* getelementptr ([6 x sbyte]* %.str_1, long 0, long 0) ) ; <int> [#uses=0] + br label %UnifiedExitNode + +else: ; preds = %entry + %tmp.13 = call int (sbyte*, ...)* %printf( sbyte* getelementptr ([7 x sbyte]* %.str_2, long 0, long 0) ) ; <int> [#uses=0] + br label %UnifiedExitNode + +UnifiedExitNode: ; preds = %then, %else + ret void +} + +int %main() { +entry: ; No predecessors! + call void %__main( ) + call void %CheckOutside( int 2097152, int 2097152 ) + ret int 0 +} diff --git a/llvm/test/Regression/CodeGen/Generic/2003-07-07-BadLongConst.ll b/llvm/test/Regression/CodeGen/Generic/2003-07-07-BadLongConst.ll new file mode 100644 index 00000000000..1b49b776bc0 --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/2003-07-07-BadLongConst.ll @@ -0,0 +1,24 @@ +; RUN: llvm-as -f %s -o - | llc + +target endian = big +target pointersize = 64 + +%.str_1 = internal constant [42 x sbyte] c" ui = %u (0x%x)\09\09UL-ui = %lld (0x%llx)\0A\00" + +implementation ; Functions: + +declare int %printf(sbyte*, ...) + +internal ulong %getL() { +entry: ; No predecessors! + ret ulong 12659530247033960611 +} + +int %main(int %argc.1, sbyte** %argv.1) { +entry: ; No predecessors! + %tmp.11 = call ulong %getL( ) + %tmp.5 = cast ulong %tmp.11 to uint + %tmp.23 = and ulong %tmp.11, 18446744069414584320 + %tmp.16 = call int (sbyte*, ...)* %printf( sbyte* getelementptr ([42 x sbyte]* %.str_1, long 0, long 0), uint %tmp.5, uint %tmp.5, ulong %tmp.23, ulong %tmp.23 ) + ret int 0 +} diff --git a/llvm/test/Regression/CodeGen/Generic/2003-07-08-BadCastToBool.ll b/llvm/test/Regression/CodeGen/Generic/2003-07-08-BadCastToBool.ll new file mode 100644 index 00000000000..b51105a0b19 --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/2003-07-08-BadCastToBool.ll @@ -0,0 +1,51 @@ +; RUN: llvm-as -f %s -o - | llc + +;; Date: Jul 8, 2003. +;; From: test/Programs/MultiSource/Olden-perimeter +;; Function: int %adj(uint %d.1, uint %ct.1) +;; +;; Errors: (1) cast-int-to-bool was being treated as a NOP (i.e., the int +;; register was treated as effectively true if non-zero). +;; This cannot be used for later boolean operations. +;; (2) (A or NOT(B)) was being folded into A orn B, which is ok +;; for bitwise operations but not booleans! For booleans, +;; the result has to be compared with 0. +;; +;; LLC Output for the basic block (LLVM assembly is shown below): +;; +;; .L_adj_7_LL_4: +;; sethi 0, %i0 +;; subcc %i1, 2, %g0 +;; move %icc, 1, %i0 +;; orn %i0, %i1, %i0 +;; ba .L_adj_7_LL_5 +;; nop +;; + + +target endian = big +target pointersize = 64 + +%.str_1 = internal constant [30 x sbyte] c"d = %d, ct = %d, d ^ ct = %d\0A\00" + + +implementation ; Functions: + +declare int %printf(sbyte*, ...) + +int %adj(uint %d.1, uint %ct.1) { +entry: + %tmp.19 = seteq uint %ct.1, 2 + %tmp.22.not = cast uint %ct.1 to bool + %tmp.221 = xor bool %tmp.22.not, true + %tmp.26 = or bool %tmp.19, %tmp.221 + %tmp.27 = cast bool %tmp.26 to int + ret int %tmp.27 +} + +int %main() { +entry: + %result = call int %adj(uint 3, uint 2) + %tmp.0 = call int (sbyte*, ...)* %printf( sbyte* getelementptr ([30 x sbyte]* %.str_1, long 0, long 0), uint 3, uint 2, int %result) + ret int 0 +} diff --git a/llvm/test/Regression/CodeGen/Generic/2003-07-29-BadConstSbyte.ll b/llvm/test/Regression/CodeGen/Generic/2003-07-29-BadConstSbyte.ll new file mode 100644 index 00000000000..7a32dc08db0 --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/2003-07-29-BadConstSbyte.ll @@ -0,0 +1,42 @@ +; RUN: llvm-as -f %s -o - | llc + +;; Date: Jul 29, 2003. +;; From: test/Programs/MultiSource/Ptrdist-bc +;; Function: --- +;; Global: %yy_ec = internal constant [256 x sbyte] ... +;; A subset of this array is used in the test below. +;; +;; Error: Character '\07' was being emitted as '\a', at yy_ec[38]. +;; When loaded, this returned the value 97 ('a'), instead of 7. +;; +;; Incorrect LLC Output for the array yy_ec was: +;; yy_ec_1094: +;; XFAIL: darwin +;; .ascii "\000\001\001\001\001\001\001\001\001\002\003\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\002\004\005\001\001\006\a\001\b\t\n\v\f\r\016\017\020\020\020\020\020\020\020\020\020\020\001\021\022\023\024\001\001\025\025\025\025\025\025\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\026\027\030\031\032\001\033\034\035\036\037 !\"#$%&'()*+,-./$0$1$234\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001" +;; + + +%yy_ec = internal constant [6 x sbyte] c"\06\07\01\08\01\09" + +%.str_3 = internal constant [8 x sbyte] c"[%d] = \00" +%.str_4 = internal constant [4 x sbyte] c"%d\0A\00" + +implementation + +declare int %printf(sbyte*, ...) + +int %main() { +entry: + br label %loopentry +loopentry: + %i = phi long [0, %entry], [%inc.i, %loopentry] + %cptr = getelementptr [6 x sbyte]* %yy_ec, long 0, long %i + %c = load sbyte* %cptr + %ignore = call int (sbyte*, ...)* %printf( sbyte* getelementptr ([8 x sbyte]* %.str_3, long 0, long 0), long %i) + %ignore2 = call int (sbyte*, ...)* %printf( sbyte* getelementptr ([4 x sbyte]* %.str_4, long 0, long 0), sbyte %c) + %inc.i = add long %i, 1 + %done = setle long %inc.i, 5 + br bool %done, label %loopentry, label %exit.1 +exit.1: + ret int 0 +}; diff --git a/llvm/test/Regression/CodeGen/Generic/BurgBadRegAlloc.ll b/llvm/test/Regression/CodeGen/Generic/BurgBadRegAlloc.ll new file mode 100644 index 00000000000..4de4cce014d --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/BurgBadRegAlloc.ll @@ -0,0 +1,832 @@ +; RUN: llvm-as -f %s -o - | llc + +;; Register allocation is doing a very poor job on this routine from yyparse +;; in Burg: +;; -- at least two long-lived values are being allocated to %o? registers +;; -- even worse, those registers are being saved and restored repeatedly +;; at function calls, even though there are no intervening uses. +;; -- outgoing args of some function calls have to be swapped, causing +;; another write/read from stack to do the exchange (use -dregalloc=y). +;; +;; XFAIL: darwin + %Arity = type %struct.arity* + %Binding = type %struct.binding* + %DeltaCost = type [4 x short] + %Dimension = type %struct.dimension* + %Index_Map = type { int, %Item_Set* } + %IntList = type %struct.intlist* + %Item = type { %DeltaCost, %Rule } + %ItemArray = type %Item* + %Item_Set = type %struct.item_set* + %List = type %struct.list* + %Mapping = type %struct.mapping* + %NonTerminal = type %struct.nonterminal* + %Operator = type %struct.operator* + %Pattern = type %struct.pattern* + %PatternAST = type %struct.patternAST* + %Plank = type %struct.plank* + %PlankMap = type %struct.plankMap* + %ReadFn = type int ()* + %Rule = type %struct.rule* + %RuleAST = type %struct.ruleAST* + %StateMap = type %struct.stateMap* + %StrTableElement = type %struct.strTableElement* + %Symbol = type %struct.symbol* + %Table = type %struct.table* + %YYSTYPE = type { %IntList } + %struct.arity = type { int, %List } + %struct.binding = type { sbyte*, int } + %struct.dimension = type { short*, %Index_Map, %Mapping, int, %PlankMap } + %struct.index_map = type { int, %Item_Set* } + %struct.intlist = type { int, %IntList } + %struct.item = type { %DeltaCost, %Rule } + %struct.item_set = type { int, int, %Operator, [2 x %Item_Set], %Item_Set, short*, %ItemArray, %ItemArray } + %struct.list = type { sbyte*, %List } + %struct.mapping = type { %List*, int, int, int, %Item_Set* } + %struct.nonterminal = type { sbyte*, int, int, int, %PlankMap, %Rule } + %struct.operator = type { sbyte*, uint, int, int, int, int, %Table } + %struct.pattern = type { %NonTerminal, %Operator, [2 x %NonTerminal] } + %struct.patternAST = type { %Symbol, sbyte*, %List } + %struct.plank = type { sbyte*, %List, int } + %struct.plankMap = type { %List, int, %StateMap } + %struct.rule = type { %DeltaCost, int, int, int, %NonTerminal, %Pattern, uint } + %struct.ruleAST = type { sbyte*, %PatternAST, int, %IntList, %Rule, %StrTableElement, %StrTableElement } + %struct.stateMap = type { sbyte*, %Plank, int, short* } + %struct.strTableElement = type { sbyte*, %IntList, sbyte* } + %struct.symbol = type { sbyte*, int, { %Operator } } + %struct.table = type { %Operator, %List, short*, [2 x %Dimension], %Item_Set* } +%yylval = external global %YYSTYPE ; <%YYSTYPE*> [#uses=1] +%yylhs = external global [25 x short] ; <[25 x short]*> [#uses=1] +%yylen = external global [25 x short] ; <[25 x short]*> [#uses=1] +%yydefred = external global [43 x short] ; <[43 x short]*> [#uses=1] +%yydgoto = external global [12 x short] ; <[12 x short]*> [#uses=1] +%yysindex = external global [43 x short] ; <[43 x short]*> [#uses=2] +%yyrindex = external global [43 x short] ; <[43 x short]*> [#uses=1] +%yygindex = external global [12 x short] ; <[12 x short]*> [#uses=1] +%yytable = external global [263 x short] ; <[263 x short]*> [#uses=4] +%yycheck = external global [263 x short] ; <[263 x short]*> [#uses=4] +%yynerrs = external global int ; <int*> [#uses=3] +%yyerrflag = external global int ; <int*> [#uses=6] +%yychar = external global int ; <int*> [#uses=15] +%yyssp = external global short* ; <short**> [#uses=15] +%yyvsp = external global %YYSTYPE* ; <%YYSTYPE**> [#uses=30] +%yyval = external global %YYSTYPE ; <%YYSTYPE*> [#uses=1] +%yyss = external global short* ; <short**> [#uses=3] +%yysslim = external global short* ; <short**> [#uses=3] +%yyvs = external global %YYSTYPE* ; <%YYSTYPE**> [#uses=1] +%.LC01 = external global [13 x sbyte] ; <[13 x sbyte]*> [#uses=1] +%.LC1 = external global [20 x sbyte] ; <[20 x sbyte]*> [#uses=1] + +implementation ; Functions: + +int %yyparse() { +bb0: ; No predecessors! + store int 0, int* %yynerrs + store int 0, int* %yyerrflag + store int -1, int* %yychar + %reg113 = load short** %yyss ; <short*> [#uses=1] + %cond581 = setne short* %reg113, null ; <bool> [#uses=1] + br bool %cond581, label %bb3, label %bb2 + +bb2: ; preds = %bb0 + %reg584 = call int %yygrowstack( ) ; <int> [#uses=1] + %cond584 = setne int %reg584, 0 ; <bool> [#uses=1] + br bool %cond584, label %bb113, label %bb3 + +bb3: ; preds = %bb2, %bb0 + %reg115 = load short** %yyss ; <short*> [#uses=1] + store short* %reg115, short** %yyssp + %reg116 = load %YYSTYPE** %yyvs ; <%YYSTYPE*> [#uses=1] + store %YYSTYPE* %reg116, %YYSTYPE** %yyvsp + %reg117 = load short** %yyssp ; <short*> [#uses=1] + store short 0, short* %reg117 + br label %bb4 + +bb4: ; preds = %bb14, %bb15, %bb31, %bb35, %bb102, %bb112, %bb3 + %reg458 = phi uint [ %reg476, %bb112 ], [ 1, %bb102 ], [ %reg458, %bb35 ], [ %cast768, %bb31 ], [ %cast658, %bb15 ], [ %cast658, %bb14 ], [ 0, %bb3 ] ; <uint> [#uses=2] + %reg458-idxcast = cast uint %reg458 to long ; <long> [#uses=3] + %reg594 = getelementptr [43 x short]* %yydefred, long 0, long %reg458-idxcast ; <short*> [#uses=1] + %reg125 = load short* %reg594 ; <short> [#uses=1] + %cast599 = cast short %reg125 to int ; <int> [#uses=2] + %cond600 = setne int %cast599, 0 ; <bool> [#uses=1] + br bool %cond600, label %bb36, label %bb5 + +bb5: ; preds = %bb4 + %reg127 = load int* %yychar ; <int> [#uses=1] + %cond603 = setge int %reg127, 0 ; <bool> [#uses=1] + br bool %cond603, label %bb8, label %bb6 + +bb6: ; preds = %bb5 + %reg607 = call int %yylex( ) ; <int> [#uses=1] + store int %reg607, int* %yychar + %reg129 = load int* %yychar ; <int> [#uses=1] + %cond609 = setge int %reg129, 0 ; <bool> [#uses=1] + br bool %cond609, label %bb8, label %bb7 + +bb7: ; preds = %bb6 + store int 0, int* %yychar + br label %bb8 + +bb8: ; preds = %bb7, %bb6, %bb5 + %reg615 = getelementptr [43 x short]* %yysindex, long 0, long %reg458-idxcast ; <short*> [#uses=1] + %reg137 = load short* %reg615 ; <short> [#uses=1] + %cast620 = cast short %reg137 to int ; <int> [#uses=2] + %cond621 = seteq int %cast620, 0 ; <bool> [#uses=1] + br bool %cond621, label %bb16, label %bb9 + +bb9: ; preds = %bb8 + %reg139 = load int* %yychar ; <int> [#uses=2] + %reg460 = add int %cast620, %reg139 ; <int> [#uses=3] + %cond624 = setlt int %reg460, 0 ; <bool> [#uses=1] + br bool %cond624, label %bb16, label %bb10 + +bb10: ; preds = %bb9 + %cond627 = setgt int %reg460, 262 ; <bool> [#uses=1] + br bool %cond627, label %bb16, label %bb11 + +bb11: ; preds = %bb10 + %reg460-idxcast = cast int %reg460 to long ; <long> [#uses=2] + %reg632 = getelementptr [263 x short]* %yycheck, long 0, long %reg460-idxcast ; <short*> [#uses=1] + %reg148 = load short* %reg632 ; <short> [#uses=1] + %cast637 = cast short %reg148 to int ; <int> [#uses=1] + %cond639 = setne int %cast637, %reg139 ; <bool> [#uses=1] + br bool %cond639, label %bb16, label %bb12 + +bb12: ; preds = %bb11 + %reg150 = load short** %yyssp ; <short*> [#uses=1] + %cast640 = cast short* %reg150 to sbyte* ; <sbyte*> [#uses=1] + %reg151 = load short** %yysslim ; <short*> [#uses=1] + %cast641 = cast short* %reg151 to sbyte* ; <sbyte*> [#uses=1] + %cond642 = setlt sbyte* %cast640, %cast641 ; <bool> [#uses=1] + br bool %cond642, label %bb14, label %bb13 + +bb13: ; preds = %bb12 + %reg644 = call int %yygrowstack( ) ; <int> [#uses=1] + %cond644 = setne int %reg644, 0 ; <bool> [#uses=1] + br bool %cond644, label %bb113, label %bb14 + +bb14: ; preds = %bb13, %bb12 + %reg153 = load short** %yyssp ; <short*> [#uses=1] + %reg647 = getelementptr short* %reg153, long 1 ; <short*> [#uses=2] + store short* %reg647, short** %yyssp + %reg653 = getelementptr [263 x short]* %yytable, long 0, long %reg460-idxcast ; <short*> [#uses=1] + %reg162 = load short* %reg653 ; <short> [#uses=2] + %cast658 = cast short %reg162 to uint ; <uint> [#uses=2] + store short %reg162, short* %reg647 + %reg164 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=2] + %reg661 = getelementptr %YYSTYPE* %reg164, long 1 ; <%YYSTYPE*> [#uses=1] + store %YYSTYPE* %reg661, %YYSTYPE** %yyvsp + %reg167 = load %IntList* getelementptr (%YYSTYPE* %yylval, long 0, ubyte 0) ; <%IntList> [#uses=1] + %reg661.idx1 = getelementptr %YYSTYPE* %reg164, long 1, ubyte 0 ; <%IntList*> [#uses=1] + store %IntList %reg167, %IntList* %reg661.idx1 + store int -1, int* %yychar + %reg169 = load int* %yyerrflag ; <int> [#uses=2] + %cond669 = setle int %reg169, 0 ; <bool> [#uses=1] + br bool %cond669, label %bb4, label %bb15 + +bb15: ; preds = %bb14 + %reg171 = add int %reg169, -1 ; <int> [#uses=1] + store int %reg171, int* %yyerrflag + br label %bb4 + +bb16: ; preds = %bb11, %bb10, %bb9, %bb8 + %reg677 = getelementptr [43 x short]* %yyrindex, long 0, long %reg458-idxcast ; <short*> [#uses=1] + %reg178 = load short* %reg677 ; <short> [#uses=1] + %cast682 = cast short %reg178 to int ; <int> [#uses=2] + %cond683 = seteq int %cast682, 0 ; <bool> [#uses=1] + br bool %cond683, label %bb21, label %bb17 + +bb17: ; preds = %bb16 + %reg180 = load int* %yychar ; <int> [#uses=2] + %reg463 = add int %cast682, %reg180 ; <int> [#uses=3] + %cond686 = setlt int %reg463, 0 ; <bool> [#uses=1] + br bool %cond686, label %bb21, label %bb18 + +bb18: ; preds = %bb17 + %cond689 = setgt int %reg463, 262 ; <bool> [#uses=1] + br bool %cond689, label %bb21, label %bb19 + +bb19: ; preds = %bb18 + %reg463-idxcast = cast int %reg463 to long ; <long> [#uses=2] + %reg694 = getelementptr [263 x short]* %yycheck, long 0, long %reg463-idxcast ; <short*> [#uses=1] + %reg189 = load short* %reg694 ; <short> [#uses=1] + %cast699 = cast short %reg189 to int ; <int> [#uses=1] + %cond701 = setne int %cast699, %reg180 ; <bool> [#uses=1] + br bool %cond701, label %bb21, label %bb20 + +bb20: ; preds = %bb19 + %reg704 = getelementptr [263 x short]* %yytable, long 0, long %reg463-idxcast ; <short*> [#uses=1] + %reg197 = load short* %reg704 ; <short> [#uses=1] + %cast709 = cast short %reg197 to int ; <int> [#uses=1] + br label %bb36 + +bb21: ; preds = %bb19, %bb18, %bb17, %bb16 + %reg198 = load int* %yyerrflag ; <int> [#uses=1] + %cond711 = setne int %reg198, 0 ; <bool> [#uses=1] + br bool %cond711, label %bb23, label %bb22 + +bb22: ; preds = %bb21 + call void %yyerror( sbyte* getelementptr ([13 x sbyte]* %.LC01, long 0, long 0) ) + %reg200 = load int* %yynerrs ; <int> [#uses=1] + %reg201 = add int %reg200, 1 ; <int> [#uses=1] + store int %reg201, int* %yynerrs + br label %bb23 + +bb23: ; preds = %bb22, %bb21 + %reg202 = load int* %yyerrflag ; <int> [#uses=1] + %cond719 = setgt int %reg202, 2 ; <bool> [#uses=1] + br bool %cond719, label %bb34, label %bb24 + +bb24: ; preds = %bb23 + store int 3, int* %yyerrflag + %reg241 = load short** %yyss ; <short*> [#uses=1] + %cast778 = cast short* %reg241 to sbyte* ; <sbyte*> [#uses=1] + br label %bb25 + +bb25: ; preds = %bb33, %bb24 + %reg204 = load short** %yyssp ; <short*> [#uses=4] + %reg206 = load short* %reg204 ; <short> [#uses=1] + %reg206-idxcast = cast short %reg206 to long ; <long> [#uses=1] + %reg727 = getelementptr [43 x short]* %yysindex, long 0, long %reg206-idxcast ; <short*> [#uses=1] + %reg212 = load short* %reg727 ; <short> [#uses=2] + %cast732 = cast short %reg212 to int ; <int> [#uses=2] + %cond733 = seteq int %cast732, 0 ; <bool> [#uses=1] + br bool %cond733, label %bb32, label %bb26 + +bb26: ; preds = %bb25 + %reg466 = add int %cast732, 256 ; <int> [#uses=2] + %cond736 = setlt int %reg466, 0 ; <bool> [#uses=1] + br bool %cond736, label %bb32, label %bb27 + +bb27: ; preds = %bb26 + %cond739 = setgt int %reg466, 262 ; <bool> [#uses=1] + br bool %cond739, label %bb32, label %bb28 + +bb28: ; preds = %bb27 + %reg212-idxcast = cast short %reg212 to long ; <long> [#uses=1] + %reg212-idxcast-offset = add long %reg212-idxcast, 256 ; <long> [#uses=2] + %reg744 = getelementptr [263 x short]* %yycheck, long 0, long %reg212-idxcast-offset ; <short*> [#uses=1] + %reg221 = load short* %reg744 ; <short> [#uses=1] + %cond748 = setne short %reg221, 256 ; <bool> [#uses=1] + br bool %cond748, label %bb32, label %bb29 + +bb29: ; preds = %bb28 + %cast750 = cast short* %reg204 to sbyte* ; <sbyte*> [#uses=1] + %reg223 = load short** %yysslim ; <short*> [#uses=1] + %cast751 = cast short* %reg223 to sbyte* ; <sbyte*> [#uses=1] + %cond752 = setlt sbyte* %cast750, %cast751 ; <bool> [#uses=1] + br bool %cond752, label %bb31, label %bb30 + +bb30: ; preds = %bb29 + %reg754 = call int %yygrowstack( ) ; <int> [#uses=1] + %cond754 = setne int %reg754, 0 ; <bool> [#uses=1] + br bool %cond754, label %bb113, label %bb31 + +bb31: ; preds = %bb30, %bb29 + %reg225 = load short** %yyssp ; <short*> [#uses=1] + %reg757 = getelementptr short* %reg225, long 1 ; <short*> [#uses=2] + store short* %reg757, short** %yyssp + %reg763 = getelementptr [263 x short]* %yytable, long 0, long %reg212-idxcast-offset ; <short*> [#uses=1] + %reg234 = load short* %reg763 ; <short> [#uses=2] + %cast768 = cast short %reg234 to uint ; <uint> [#uses=1] + store short %reg234, short* %reg757 + %reg236 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=2] + %reg771 = getelementptr %YYSTYPE* %reg236, long 1 ; <%YYSTYPE*> [#uses=1] + store %YYSTYPE* %reg771, %YYSTYPE** %yyvsp + %reg239 = load %IntList* getelementptr (%YYSTYPE* %yylval, long 0, ubyte 0) ; <%IntList> [#uses=1] + %reg771.idx1 = getelementptr %YYSTYPE* %reg236, long 1, ubyte 0 ; <%IntList*> [#uses=1] + store %IntList %reg239, %IntList* %reg771.idx1 + br label %bb4 + +bb32: ; preds = %bb28, %bb27, %bb26, %bb25 + %cast777 = cast short* %reg204 to sbyte* ; <sbyte*> [#uses=1] + %cond779 = setle sbyte* %cast777, %cast778 ; <bool> [#uses=1] + br bool %cond779, label %UnifiedExitNode, label %bb33 + +bb33: ; preds = %bb32 + %reg781 = getelementptr short* %reg204, long -1 ; <short*> [#uses=1] + store short* %reg781, short** %yyssp + %reg244 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=1] + %reg786 = getelementptr %YYSTYPE* %reg244, long -1 ; <%YYSTYPE*> [#uses=1] + store %YYSTYPE* %reg786, %YYSTYPE** %yyvsp + br label %bb25 + +bb34: ; preds = %bb23 + %reg246 = load int* %yychar ; <int> [#uses=1] + %cond791 = seteq int %reg246, 0 ; <bool> [#uses=1] + br bool %cond791, label %UnifiedExitNode, label %bb35 + +bb35: ; preds = %bb34 + store int -1, int* %yychar + br label %bb4 + +bb36: ; preds = %bb20, %bb4 + %reg468 = phi int [ %cast709, %bb20 ], [ %cast599, %bb4 ] ; <int> [#uses=31] + %reg468-idxcast = cast int %reg468 to long ; <long> [#uses=2] + %reg796 = getelementptr [25 x short]* %yylen, long 0, long %reg468-idxcast ; <short*> [#uses=1] + %reg254 = load short* %reg796 ; <short> [#uses=2] + %reg259 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=1] + %reg254-idxcast = cast short %reg254 to long ; <long> [#uses=1] + %reg254-idxcast-scale = mul long %reg254-idxcast, -1 ; <long> [#uses=1] + %reg254-idxcast-scale-offset = add long %reg254-idxcast-scale, 1 ; <long> [#uses=1] + %reg261.idx1 = getelementptr %YYSTYPE* %reg259, long %reg254-idxcast-scale-offset, ubyte 0 ; <%IntList*> [#uses=1] + %reg261 = load %IntList* %reg261.idx1 ; <%IntList> [#uses=1] + store %IntList %reg261, %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) + %cond812 = seteq int %reg468, 13 ; <bool> [#uses=1] + br bool %cond812, label %bb85, label %bb37 + +bb37: ; preds = %bb36 + %cond814 = setgt int %reg468, 13 ; <bool> [#uses=1] + br bool %cond814, label %bb56, label %bb38 + +bb38: ; preds = %bb37 + %cond817 = seteq int %reg468, 7 ; <bool> [#uses=1] + br bool %cond817, label %bb79, label %bb39 + +bb39: ; preds = %bb38 + %cond819 = setgt int %reg468, 7 ; <bool> [#uses=1] + br bool %cond819, label %bb48, label %bb40 + +bb40: ; preds = %bb39 + %cond822 = seteq int %reg468, 4 ; <bool> [#uses=1] + br bool %cond822, label %bb76, label %bb41 + +bb41: ; preds = %bb40 + %cond824 = setgt int %reg468, 4 ; <bool> [#uses=1] + br bool %cond824, label %bb45, label %bb42 + +bb42: ; preds = %bb41 + %cond827 = seteq int %reg468, 2 ; <bool> [#uses=1] + br bool %cond827, label %bb74, label %bb43 + +bb43: ; preds = %bb42 + %cond829 = seteq int %reg468, 3 ; <bool> [#uses=1] + br bool %cond829, label %bb75, label %bb97 + +bb45: ; preds = %bb41 + %cond831 = seteq int %reg468, 5 ; <bool> [#uses=1] + br bool %cond831, label %bb77, label %bb46 + +bb46: ; preds = %bb45 + %cond833 = seteq int %reg468, 6 ; <bool> [#uses=1] + br bool %cond833, label %bb78, label %bb97 + +bb48: ; preds = %bb39 + %cond835 = seteq int %reg468, 10 ; <bool> [#uses=1] + br bool %cond835, label %bb82, label %bb49 + +bb49: ; preds = %bb48 + %cond837 = setgt int %reg468, 10 ; <bool> [#uses=1] + br bool %cond837, label %bb53, label %bb50 + +bb50: ; preds = %bb49 + %cond840 = seteq int %reg468, 8 ; <bool> [#uses=1] + br bool %cond840, label %bb80, label %bb51 + +bb51: ; preds = %bb50 + %cond842 = seteq int %reg468, 9 ; <bool> [#uses=1] + br bool %cond842, label %bb81, label %bb97 + +bb53: ; preds = %bb49 + %cond844 = seteq int %reg468, 11 ; <bool> [#uses=1] + br bool %cond844, label %bb83, label %bb54 + +bb54: ; preds = %bb53 + %cond846 = seteq int %reg468, 12 ; <bool> [#uses=1] + br bool %cond846, label %bb84, label %bb97 + +bb56: ; preds = %bb37 + %cond848 = seteq int %reg468, 19 ; <bool> [#uses=1] + br bool %cond848, label %bb91, label %bb57 + +bb57: ; preds = %bb56 + %cond850 = setgt int %reg468, 19 ; <bool> [#uses=1] + br bool %cond850, label %bb66, label %bb58 + +bb58: ; preds = %bb57 + %cond853 = seteq int %reg468, 16 ; <bool> [#uses=1] + br bool %cond853, label %bb88, label %bb59 + +bb59: ; preds = %bb58 + %cond855 = setgt int %reg468, 16 ; <bool> [#uses=1] + br bool %cond855, label %bb63, label %bb60 + +bb60: ; preds = %bb59 + %cond858 = seteq int %reg468, 14 ; <bool> [#uses=1] + br bool %cond858, label %bb86, label %bb61 + +bb61: ; preds = %bb60 + %cond860 = seteq int %reg468, 15 ; <bool> [#uses=1] + br bool %cond860, label %bb87, label %bb97 + +bb63: ; preds = %bb59 + %cond862 = seteq int %reg468, 17 ; <bool> [#uses=1] + br bool %cond862, label %bb89, label %bb64 + +bb64: ; preds = %bb63 + %cond864 = seteq int %reg468, 18 ; <bool> [#uses=1] + br bool %cond864, label %bb90, label %bb97 + +bb66: ; preds = %bb57 + %cond866 = seteq int %reg468, 22 ; <bool> [#uses=1] + br bool %cond866, label %bb94, label %bb67 + +bb67: ; preds = %bb66 + %cond868 = setgt int %reg468, 22 ; <bool> [#uses=1] + br bool %cond868, label %bb71, label %bb68 + +bb68: ; preds = %bb67 + %cond871 = seteq int %reg468, 20 ; <bool> [#uses=1] + br bool %cond871, label %bb92, label %bb69 + +bb69: ; preds = %bb68 + %cond873 = seteq int %reg468, 21 ; <bool> [#uses=1] + br bool %cond873, label %bb93, label %bb97 + +bb71: ; preds = %bb67 + %cond875 = seteq int %reg468, 23 ; <bool> [#uses=1] + br bool %cond875, label %bb95, label %bb72 + +bb72: ; preds = %bb71 + %cond877 = seteq int %reg468, 24 ; <bool> [#uses=1] + br bool %cond877, label %bb96, label %bb97 + +bb74: ; preds = %bb42 + call void %yyfinished( ) + br label %bb97 + +bb75: ; preds = %bb43 + %reg262 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=2] + %reg264.idx1 = getelementptr %YYSTYPE* %reg262, long -2, ubyte 0 ; <%IntList*> [#uses=1] + %reg264 = load %IntList* %reg264.idx1 ; <%IntList> [#uses=1] + %reg265.idx = getelementptr %YYSTYPE* %reg262, long 0, ubyte 0 ; <%IntList*> [#uses=1] + %reg265 = load %IntList* %reg265.idx ; <%IntList> [#uses=1] + %cast889 = cast %IntList %reg265 to %List ; <%List> [#uses=1] + %cast890 = cast %IntList %reg264 to %List ; <%List> [#uses=1] + call void %doSpec( %List %cast890, %List %cast889 ) + br label %bb97 + +bb76: ; preds = %bb40 + store %IntList null, %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) + br label %bb97 + +bb77: ; preds = %bb45 + %reg269 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=2] + %cast894 = getelementptr %YYSTYPE* %reg269, long 0, ubyte 0 ; <%IntList*> [#uses=1] + %reg271 = load %IntList* %cast894 ; <%IntList> [#uses=1] + %reg271 = cast %IntList %reg271 to sbyte* ; <sbyte*> [#uses=1] + %reg272.idx1 = getelementptr %YYSTYPE* %reg269, long -1, ubyte 0 ; <%IntList*> [#uses=1] + %reg272 = load %IntList* %reg272.idx1 ; <%IntList> [#uses=1] + %cast901 = cast %IntList %reg272 to %List ; <%List> [#uses=1] + %reg901 = call %List %newList( sbyte* %reg271, %List %cast901 ) ; <%List> [#uses=1] + cast %List %reg901 to %IntList ; <%IntList>:0 [#uses=1] + store %IntList %0, %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) + br label %bb97 + +bb78: ; preds = %bb46 + %reg275 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=1] + %reg277.idx = getelementptr %YYSTYPE* %reg275, long 0, ubyte 0 ; <%IntList*> [#uses=1] + %reg277 = load %IntList* %reg277.idx ; <%IntList> [#uses=1] + %cast907 = cast %IntList %reg277 to %List ; <%List> [#uses=1] + %reg907 = call %Arity %newArity( int -1, %List %cast907 ) ; <%Arity> [#uses=1] + cast %Arity %reg907 to %IntList ; <%IntList>:1 [#uses=1] + store %IntList %1, %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) + br label %bb97 + +bb79: ; preds = %bb38 + store %IntList null, %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) + %reg281 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=1] + %cast912 = getelementptr %YYSTYPE* %reg281, long 0, ubyte 0 ; <%IntList*> [#uses=1] + %reg282 = load %IntList* %cast912 ; <%IntList> [#uses=1] + %reg282 = cast %IntList %reg282 to %List ; <%List> [#uses=1] + call void %doGram( %List %reg282 ) + br label %bb97 + +bb80: ; preds = %bb50 + store %IntList null, %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) + %reg285 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=1] + %cast917 = getelementptr %YYSTYPE* %reg285, long 0, ubyte 0 ; <%IntList*> [#uses=1] + %reg286 = load %IntList* %cast917 ; <%IntList> [#uses=1] + %reg286 = cast %IntList %reg286 to sbyte* ; <sbyte*> [#uses=1] + call void %doStart( sbyte* %reg286 ) + br label %bb97 + +bb81: ; preds = %bb51 + store %IntList null, %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) + br label %bb97 + +bb82: ; preds = %bb48 + %reg290 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=2] + %cast923 = getelementptr %YYSTYPE* %reg290, long 0, ubyte 0 ; <%IntList*> [#uses=1] + %reg292 = load %IntList* %cast923 ; <%IntList> [#uses=1] + %reg292 = cast %IntList %reg292 to sbyte* ; <sbyte*> [#uses=1] + %reg293.idx1 = getelementptr %YYSTYPE* %reg290, long -1, ubyte 0 ; <%IntList*> [#uses=1] + %reg293 = load %IntList* %reg293.idx1 ; <%IntList> [#uses=1] + %cast930 = cast %IntList %reg293 to %List ; <%List> [#uses=1] + %reg930 = call %List %newList( sbyte* %reg292, %List %cast930 ) ; <%List> [#uses=1] + cast %List %reg930 to %IntList ; <%IntList>:2 [#uses=1] + store %IntList %2, %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) + br label %bb97 + +bb83: ; preds = %bb53 + store %IntList null, %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) + br label %bb97 + +bb84: ; preds = %bb54 + %reg298 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=2] + %cast936 = getelementptr %YYSTYPE* %reg298, long 0, ubyte 0 ; <%IntList*> [#uses=1] + %reg300 = load %IntList* %cast936 ; <%IntList> [#uses=1] + %reg300 = cast %IntList %reg300 to sbyte* ; <sbyte*> [#uses=1] + %reg301.idx1 = getelementptr %YYSTYPE* %reg298, long -1, ubyte 0 ; <%IntList*> [#uses=1] + %reg301 = load %IntList* %reg301.idx1 ; <%IntList> [#uses=1] + %cast943 = cast %IntList %reg301 to %List ; <%List> [#uses=1] + %reg943 = call %List %newList( sbyte* %reg300, %List %cast943 ) ; <%List> [#uses=1] + cast %List %reg943 to %IntList ; <%IntList>:3 [#uses=1] + store %IntList %3, %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) + br label %bb97 + +bb85: ; preds = %bb36 + %reg304 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=2] + %cast9521 = getelementptr %YYSTYPE* %reg304, long -2, ubyte 0 ; <%IntList*> [#uses=1] + %reg306 = load %IntList* %cast9521 ; <%IntList> [#uses=1] + %reg306 = cast %IntList %reg306 to sbyte* ; <sbyte*> [#uses=1] + %cast953 = cast %YYSTYPE* %reg304 to int* ; <int*> [#uses=1] + %reg307 = load int* %cast953 ; <int> [#uses=1] + %reg955 = call %Binding %newBinding( sbyte* %reg306, int %reg307 ) ; <%Binding> [#uses=1] + cast %Binding %reg955 to %IntList ; <%IntList>:4 [#uses=1] + store %IntList %4, %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) + br label %bb97 + +bb86: ; preds = %bb60 + store %IntList null, %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) + br label %bb97 + +bb87: ; preds = %bb61 + %reg312 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=2] + %cast961 = getelementptr %YYSTYPE* %reg312, long 0, ubyte 0 ; <%IntList*> [#uses=1] + %reg314 = load %IntList* %cast961 ; <%IntList> [#uses=1] + %reg314 = cast %IntList %reg314 to sbyte* ; <sbyte*> [#uses=1] + %reg315.idx1 = getelementptr %YYSTYPE* %reg312, long -1, ubyte 0 ; <%IntList*> [#uses=1] + %reg315 = load %IntList* %reg315.idx1 ; <%IntList> [#uses=1] + %cast968 = cast %IntList %reg315 to %List ; <%List> [#uses=1] + %reg968 = call %List %newList( sbyte* %reg314, %List %cast968 ) ; <%List> [#uses=1] + cast %List %reg968 to %IntList ; <%IntList>:5 [#uses=1] + store %IntList %5, %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) + br label %bb97 + +bb88: ; preds = %bb58 + %reg318 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=4] + %cast9791 = getelementptr %YYSTYPE* %reg318, long -6, ubyte 0 ; <%IntList*> [#uses=1] + %reg322 = load %IntList* %cast9791 ; <%IntList> [#uses=1] + %reg322 = cast %IntList %reg322 to sbyte* ; <sbyte*> [#uses=1] + %reg323.idx1 = getelementptr %YYSTYPE* %reg318, long -4, ubyte 0 ; <%IntList*> [#uses=1] + %reg323 = load %IntList* %reg323.idx1 ; <%IntList> [#uses=1] + %reg987 = getelementptr %YYSTYPE* %reg318, long -2 ; <%YYSTYPE*> [#uses=1] + %cast989 = cast %YYSTYPE* %reg987 to int* ; <int*> [#uses=1] + %reg324 = load int* %cast989 ; <int> [#uses=1] + %reg325.idx1 = getelementptr %YYSTYPE* %reg318, long -1, ubyte 0 ; <%IntList*> [#uses=1] + %reg325 = load %IntList* %reg325.idx1 ; <%IntList> [#uses=1] + %cast998 = cast %IntList %reg323 to %PatternAST ; <%PatternAST> [#uses=1] + %reg996 = call %RuleAST %newRuleAST( sbyte* %reg322, %PatternAST %cast998, int %reg324, %IntList %reg325 ) ; <%RuleAST> [#uses=1] + cast %RuleAST %reg996 to %IntList ; <%IntList>:6 [#uses=1] + store %IntList %6, %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) + br label %bb97 + +bb89: ; preds = %bb63 + %reg328 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=1] + %cast1002 = getelementptr %YYSTYPE* %reg328, long 0, ubyte 0 ; <%IntList*> [#uses=1] + %reg329 = load %IntList* %cast1002 ; <%IntList> [#uses=1] + %reg329 = cast %IntList %reg329 to sbyte* ; <sbyte*> [#uses=1] + %reg1004 = call %PatternAST %newPatternAST( sbyte* %reg329, %List null ) ; <%PatternAST> [#uses=1] + cast %PatternAST %reg1004 to %IntList ; <%IntList>:7 [#uses=1] + store %IntList %7, %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) + br label %bb97 + +bb90: ; preds = %bb64 + %reg333 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=2] + %cast10131 = getelementptr %YYSTYPE* %reg333, long -1, ubyte 0 ; <%IntList*> [#uses=1] + %reg335 = load %IntList* %cast10131 ; <%IntList> [#uses=1] + %reg335 = cast %IntList %reg335 to sbyte* ; <sbyte*> [#uses=1] + %reg1015 = call %List %newList( sbyte* %reg335, %List null ) ; <%List> [#uses=1] + %cast10211 = getelementptr %YYSTYPE* %reg333, long -3, ubyte 0 ; <%IntList*> [#uses=1] + %reg338 = load %IntList* %cast10211 ; <%IntList> [#uses=1] + %reg338 = cast %IntList %reg338 to sbyte* ; <sbyte*> [#uses=1] + %reg1023 = call %PatternAST %newPatternAST( sbyte* %reg338, %List %reg1015 ) ; <%PatternAST> [#uses=1] + cast %PatternAST %reg1023 to %IntList ; <%IntList>:8 [#uses=1] + store %IntList %8, %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) + br label %bb97 + +bb91: ; preds = %bb56 + %reg341 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=3] + %cast10331 = getelementptr %YYSTYPE* %reg341, long -1, ubyte 0 ; <%IntList*> [#uses=1] + %reg344 = load %IntList* %cast10331 ; <%IntList> [#uses=1] + %reg344 = cast %IntList %reg344 to sbyte* ; <sbyte*> [#uses=1] + %reg1035 = call %List %newList( sbyte* %reg344, %List null ) ; <%List> [#uses=1] + %cast10411 = getelementptr %YYSTYPE* %reg341, long -3, ubyte 0 ; <%IntList*> [#uses=1] + %reg347 = load %IntList* %cast10411 ; <%IntList> [#uses=1] + %reg347 = cast %IntList %reg347 to sbyte* ; <sbyte*> [#uses=1] + %reg1043 = call %List %newList( sbyte* %reg347, %List %reg1035 ) ; <%List> [#uses=1] + %cast10491 = getelementptr %YYSTYPE* %reg341, long -5, ubyte 0 ; <%IntList*> [#uses=1] + %reg349 = load %IntList* %cast10491 ; <%IntList> [#uses=1] + %reg349 = cast %IntList %reg349 to sbyte* ; <sbyte*> [#uses=1] + %reg1051 = call %PatternAST %newPatternAST( sbyte* %reg349, %List %reg1043 ) ; <%PatternAST> [#uses=1] + cast %PatternAST %reg1051 to %IntList ; <%IntList>:9 [#uses=1] + store %IntList %9, %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) + br label %bb97 + +bb92: ; preds = %bb68 + store %IntList null, %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) + br label %bb97 + +bb93: ; preds = %bb69 + %reg354 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=2] + %reg1059 = getelementptr %YYSTYPE* %reg354, long -2 ; <%YYSTYPE*> [#uses=1] + %cast1061 = cast %YYSTYPE* %reg1059 to int* ; <int*> [#uses=1] + %reg356 = load int* %cast1061 ; <int> [#uses=1] + %reg357.idx1 = getelementptr %YYSTYPE* %reg354, long -1, ubyte 0 ; <%IntList*> [#uses=1] + %reg357 = load %IntList* %reg357.idx1 ; <%IntList> [#uses=1] + %reg1068 = call %IntList %newIntList( int %reg356, %IntList %reg357 ) ; <%IntList> [#uses=1] + store %IntList %reg1068, %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) + br label %bb97 + +bb94: ; preds = %bb66 + store %IntList null, %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) + br label %bb97 + +bb95: ; preds = %bb71 + %reg362 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=2] + %reg1076 = getelementptr %YYSTYPE* %reg362, long -1 ; <%YYSTYPE*> [#uses=1] + %cast1078 = cast %YYSTYPE* %reg1076 to int* ; <int*> [#uses=1] + %reg364 = load int* %cast1078 ; <int> [#uses=1] + %reg365.idx = getelementptr %YYSTYPE* %reg362, long 0, ubyte 0 ; <%IntList*> [#uses=1] + %reg365 = load %IntList* %reg365.idx ; <%IntList> [#uses=1] + %reg1081 = call %IntList %newIntList( int %reg364, %IntList %reg365 ) ; <%IntList> [#uses=1] + store %IntList %reg1081, %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) + br label %bb97 + +bb96: ; preds = %bb72 + %reg368 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=2] + %reg1088 = getelementptr %YYSTYPE* %reg368, long -1 ; <%YYSTYPE*> [#uses=1] + %cast1090 = cast %YYSTYPE* %reg1088 to int* ; <int*> [#uses=1] + %reg370 = load int* %cast1090 ; <int> [#uses=1] + %reg371.idx = getelementptr %YYSTYPE* %reg368, long 0, ubyte 0 ; <%IntList*> [#uses=1] + %reg371 = load %IntList* %reg371.idx ; <%IntList> [#uses=1] + %reg1093 = call %IntList %newIntList( int %reg370, %IntList %reg371 ) ; <%IntList> [#uses=1] + store %IntList %reg1093, %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) + br label %bb97 + +bb97: ; preds = %bb96, %bb95, %bb94, %bb93, %bb92, %bb91, %bb90, %bb89, %bb88, %bb87, %bb86, %bb85, %bb84, %bb83, %bb82, %bb81, %bb80, %bb79, %bb78, %bb77, %bb76, %bb75, %bb74, %bb72, %bb69, %bb64, %bb61, %bb54, %bb51, %bb46, %bb43 + %cast1097 = cast short %reg254 to ulong ; <ulong> [#uses=3] + %reg375 = add ulong %cast1097, %cast1097 ; <ulong> [#uses=1] + %reg377 = load short** %yyssp ; <short*> [#uses=1] + %cast379 = cast short* %reg377 to ulong ; <ulong> [#uses=1] + %reg381 = sub ulong %cast379, %reg375 ; <ulong> [#uses=1] + %cast1099 = cast ulong %reg381 to short* ; <short*> [#uses=1] + store short* %cast1099, short** %yyssp + %reg382 = load short** %yyssp ; <short*> [#uses=3] + %reg383 = load short* %reg382 ; <short> [#uses=1] + %cast1103 = cast short %reg383 to int ; <int> [#uses=3] + %reg385 = mul ulong %cast1097, 8 ; <ulong> [#uses=1] + %reg387 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=1] + %cast389 = cast %YYSTYPE* %reg387 to ulong ; <ulong> [#uses=1] + %reg391 = sub ulong %cast389, %reg385 ; <ulong> [#uses=1] + %cast1108 = cast ulong %reg391 to %YYSTYPE* ; <%YYSTYPE*> [#uses=1] + store %YYSTYPE* %cast1108, %YYSTYPE** %yyvsp + %reg1111 = getelementptr [25 x short]* %yylhs, long 0, long %reg468-idxcast ; <short*> [#uses=1] + %reg398 = load short* %reg1111 ; <short> [#uses=2] + %cast1116 = cast short %reg398 to int ; <int> [#uses=1] + %cond1117 = setne int %cast1103, 0 ; <bool> [#uses=1] + br bool %cond1117, label %bb104, label %bb98 + +bb98: ; preds = %bb97 + %cond1119 = setne int %cast1116, 0 ; <bool> [#uses=1] + br bool %cond1119, label %bb104, label %bb99 + +bb99: ; preds = %bb98 + %reg1122 = getelementptr short* %reg382, long 1 ; <short*> [#uses=2] + store short* %reg1122, short** %yyssp + store short 1, short* %reg1122 + %reg403 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=2] + %reg1128 = getelementptr %YYSTYPE* %reg403, long 1 ; <%YYSTYPE*> [#uses=1] + store %YYSTYPE* %reg1128, %YYSTYPE** %yyvsp + %reg406 = load %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) ; <%IntList> [#uses=1] + %reg1128.idx1 = getelementptr %YYSTYPE* %reg403, long 1, ubyte 0 ; <%IntList*> [#uses=1] + store %IntList %reg406, %IntList* %reg1128.idx1 + %reg407 = load int* %yychar ; <int> [#uses=1] + %cond1135 = setge int %reg407, 0 ; <bool> [#uses=1] + br bool %cond1135, label %bb102, label %bb100 + +bb100: ; preds = %bb99 + %reg1139 = call int %yylex( ) ; <int> [#uses=1] + store int %reg1139, int* %yychar + %reg409 = load int* %yychar ; <int> [#uses=1] + %cond1141 = setge int %reg409, 0 ; <bool> [#uses=1] + br bool %cond1141, label %bb102, label %bb101 + +bb101: ; preds = %bb100 + store int 0, int* %yychar + br label %bb102 + +bb102: ; preds = %bb101, %bb100, %bb99 + %reg411 = load int* %yychar ; <int> [#uses=1] + %cond1146 = setne int %reg411, 0 ; <bool> [#uses=1] + br bool %cond1146, label %bb4, label %UnifiedExitNode + +bb104: ; preds = %bb98, %bb97 + %reg398-idxcast = cast short %reg398 to long ; <long> [#uses=2] + %reg1150 = getelementptr [12 x short]* %yygindex, long 0, long %reg398-idxcast ; <short*> [#uses=1] + %reg418 = load short* %reg1150 ; <short> [#uses=1] + %cast1155 = cast short %reg418 to int ; <int> [#uses=2] + %cond1156 = seteq int %cast1155, 0 ; <bool> [#uses=1] + br bool %cond1156, label %bb109, label %bb105 + +bb105: ; preds = %bb104 + %reg473 = add int %cast1155, %cast1103 ; <int> [#uses=3] + %cond1158 = setlt int %reg473, 0 ; <bool> [#uses=1] + br bool %cond1158, label %bb109, label %bb106 + +bb106: ; preds = %bb105 + %cond1161 = setgt int %reg473, 262 ; <bool> [#uses=1] + br bool %cond1161, label %bb109, label %bb107 + +bb107: ; preds = %bb106 + %reg473-idxcast = cast int %reg473 to long ; <long> [#uses=2] + %reg1166 = getelementptr [263 x short]* %yycheck, long 0, long %reg473-idxcast ; <short*> [#uses=1] + %reg428 = load short* %reg1166 ; <short> [#uses=1] + %cast1171 = cast short %reg428 to int ; <int> [#uses=1] + %cond1172 = setne int %cast1171, %cast1103 ; <bool> [#uses=1] + br bool %cond1172, label %bb109, label %bb108 + +bb108: ; preds = %bb107 + %reg1175 = getelementptr [263 x short]* %yytable, long 0, long %reg473-idxcast ; <short*> [#uses=1] + %reg435 = load short* %reg1175 ; <short> [#uses=1] + %cast1180 = cast short %reg435 to uint ; <uint> [#uses=1] + br label %bb110 + +bb109: ; preds = %bb107, %bb106, %bb105, %bb104 + %reg1183 = getelementptr [12 x short]* %yydgoto, long 0, long %reg398-idxcast ; <short*> [#uses=1] + %reg442 = load short* %reg1183 ; <short> [#uses=1] + %cast1188 = cast short %reg442 to uint ; <uint> [#uses=1] + br label %bb110 + +bb110: ; preds = %bb109, %bb108 + %reg476 = phi uint [ %cast1188, %bb109 ], [ %cast1180, %bb108 ] ; <uint> [#uses=2] + %cast1189 = cast short* %reg382 to sbyte* ; <sbyte*> [#uses=1] + %reg444 = load short** %yysslim ; <short*> [#uses=1] + %cast1190 = cast short* %reg444 to sbyte* ; <sbyte*> [#uses=1] + %cond1191 = setlt sbyte* %cast1189, %cast1190 ; <bool> [#uses=1] + br bool %cond1191, label %bb112, label %bb111 + +bb111: ; preds = %bb110 + %reg1193 = call int %yygrowstack( ) ; <int> [#uses=1] + %cond1193 = setne int %reg1193, 0 ; <bool> [#uses=1] + br bool %cond1193, label %bb113, label %bb112 + +bb112: ; preds = %bb111, %bb110 + %reg446 = load short** %yyssp ; <short*> [#uses=1] + %reg1196 = getelementptr short* %reg446, long 1 ; <short*> [#uses=2] + store short* %reg1196, short** %yyssp + %cast1357 = cast uint %reg476 to short ; <short> [#uses=1] + store short %cast1357, short* %reg1196 + %reg449 = load %YYSTYPE** %yyvsp ; <%YYSTYPE*> [#uses=2] + %reg1202 = getelementptr %YYSTYPE* %reg449, long 1 ; <%YYSTYPE*> [#uses=1] + store %YYSTYPE* %reg1202, %YYSTYPE** %yyvsp + %reg452 = load %IntList* getelementptr (%YYSTYPE* %yyval, long 0, ubyte 0) ; <%IntList> [#uses=1] + %reg1202.idx1 = getelementptr %YYSTYPE* %reg449, long 1, ubyte 0 ; <%IntList*> [#uses=1] + store %IntList %reg452, %IntList* %reg1202.idx1 + br label %bb4 + +bb113: ; preds = %bb111, %bb30, %bb13, %bb2 + call void %yyerror( sbyte* getelementptr ([20 x sbyte]* %.LC1, long 0, long 0) ) + br label %UnifiedExitNode + +UnifiedExitNode: ; preds = %bb113, %bb102, %bb34, %bb32 + %UnifiedRetVal = phi int [ 1, %bb113 ], [ 1, %bb34 ], [ 1, %bb32 ], [ 0, %bb102 ] ; <int> [#uses=1] + ret int %UnifiedRetVal +} + +declare %List %newList(sbyte*, %List) + +declare %IntList %newIntList(int, %IntList) + +declare void %doStart(sbyte*) + +declare void %yyerror(sbyte*) + +declare void %doSpec(%List, %List) + +declare %Arity %newArity(int, %List) + +declare %Binding %newBinding(sbyte*, int) + +declare %PatternAST %newPatternAST(sbyte*, %List) + +declare %RuleAST %newRuleAST(sbyte*, %PatternAST, int, %IntList) + +declare void %yyfinished() + +declare int %yylex() + +declare void %doGram(%List) + +declare int %yygrowstack() diff --git a/llvm/test/Regression/CodeGen/Generic/badCallArgLRLLVM.ll b/llvm/test/Regression/CodeGen/Generic/badCallArgLRLLVM.ll new file mode 100644 index 00000000000..47a2aff073d --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/badCallArgLRLLVM.ll @@ -0,0 +1,32 @@ +; RUN: llvm-as -f %s -o - | llc + +; This caused a problem because the argument of a call was defined by +; the return value of another call that appears later in the code. +; When processing the first call, the second call has not yet been processed +; so no LiveRange has been created for its return value. +; +; llc dies in UltraSparcRegInfo::suggestRegs4CallArgs() with: +; ERROR: In call instr, no LR for arg: 0x1009e0740 +; +implementation ; Functions: + +declare int %getInt(int); + +int %main(int %argc, sbyte** %argv) { +bb0: ;[#uses=0] + br label %bb2 + +bb1: + %reg222 = call int (int)* %getInt(int %reg218) ;; ARG #1 HAS NO LR + %reg110 = add int %reg222, 1 + %b = setle int %reg110, 0 + br bool %b, label %bb2, label %bb3 + +bb2: + %reg218 = call int (int)* %getInt(int %argc) ;; THIS CALL NOT YET SEEN + br label %bb1 + +bb3: + ret int %reg110 +} + diff --git a/llvm/test/Regression/CodeGen/Generic/badFoldGEP.ll b/llvm/test/Regression/CodeGen/Generic/badFoldGEP.ll new file mode 100644 index 00000000000..e0744af8a43 --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/badFoldGEP.ll @@ -0,0 +1,29 @@ +; RUN: llvm-as -f %s -o - | llc + +;; GetMemInstArgs() folded the two getElementPtr instructions together, +;; producing an illegal getElementPtr. That's because the type generated +;; by the last index for the first one is a structure field, not an array +;; element, and the second one indexes off that structure field. +;; The code is legal but not type-safe and the two GEPs should not be folded. +;; +;; This code fragment is from Spec/CINT2000/197.parser/197.parser.bc, +;; file post_process.c, function build_domain(). +;; (Modified to replace store with load and return load value.) +;; + +%Domain = type { sbyte*, int, int*, int, int, int*, %Domain* } +%domain_array = uninitialized global [497 x %Domain] + +implementation; Functions: + +declare void %opaque([497 x %Domain]*) + +int %main(int %argc, sbyte** %argv) { +bb0: ;[#uses=0] + call void %opaque([497 x %Domain]* %domain_array) + %cann-indvar-idxcast = cast int %argc to long + %reg841 = getelementptr [497 x %Domain]* %domain_array, long 0, long %cann-indvar-idxcast, ubyte 3 + %reg846 = getelementptr int* %reg841, long 1 + %reg820 = load int* %reg846 + ret int %reg820 +} diff --git a/llvm/test/Regression/CodeGen/Generic/badarg6.ll b/llvm/test/Regression/CodeGen/Generic/badarg6.ll new file mode 100644 index 00000000000..9b564f8684b --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/badarg6.ll @@ -0,0 +1,43 @@ +; RUN: llvm-as -f %s -o - | llc + +; On this code, llc did not pass the sixth argument (%reg321) to printf. +; It passed the first five in %o0 - %o4, but never initialized %o5. +; Fix in SparcInstrSelection.cpp: +; 2030c2030 +; - if (i < target.getRegInfo().GetNumOfIntArgRegs()) +; + if (i <= target.getRegInfo().GetNumOfIntArgRegs()) +; + +%.LC12 = internal global [44 x sbyte] c"\09\09M = %g, I = %g, V = %g\0A\09\09O = %g, E = %g\0A\0A\00" ; <[44 x sbyte]*> + +implementation; + +declare int %printf(sbyte*, ...) + +declare double %opaque(double) + +int %main(int %argc, sbyte** %argv) { + +bb25: + %b = setle int %argc, 2 + br bool %b, label %bb42, label %bb43 + +bb42: + %reg315 = call double (double)* %opaque(double 3.0) + %reg316 = call double (double)* %opaque(double 3.1) + %reg317 = call double (double)* %opaque(double 3.2) + %reg318 = call double (double)* %opaque(double 3.3) + %reg319 = call double (double)* %opaque(double 3.4) + br label %bb43 + +bb43: + %reg321 = phi double [ 2.000000e-01, %bb25 ], [ %reg315, %bb42 ] + %reg322 = phi double [ 6.000000e+00, %bb25 ], [ %reg316, %bb42 ] + %reg323 = phi double [ 0xBFF0000000000000, %bb25 ], [ %reg317, %bb42 ] + %reg324 = phi double [ 0xBFF0000000000000, %bb25 ], [ %reg318, %bb42 ] + %reg325 = phi double [ 1.000000e+00, %bb25 ], [ %reg319, %bb42 ] + + %reg609 = call int (sbyte*, ...)* %printf( sbyte* getelementptr ([44 x sbyte]* %.LC12, long 0, long 0), double %reg325, double %reg324, double %reg323, double %reg322, double %reg321 ) + + ret int 0 +} diff --git a/llvm/test/Regression/CodeGen/Generic/badlive.ll b/llvm/test/Regression/CodeGen/Generic/badlive.ll new file mode 100644 index 00000000000..5a4b2140b15 --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/badlive.ll @@ -0,0 +1,30 @@ +; RUN: llvm-as -f %s -o - | llc + +implementation + +int "main"() +begin +bb0: + %reg109 = malloc int, uint 100 + br label %bb2 + +bb2: + %cann-indvar1 = phi int [ 0, %bb0 ], [ %add1-indvar1, %bb2 ] + %reg127 = mul int %cann-indvar1, 2 + %add1-indvar1 = add int %cann-indvar1, 1 + store int 999, int * %reg109 + %cond1015 = setle int 1, 99 + %reg128 = add int %reg127, 2 + br bool %cond1015, label %bb2, label %bb4 + +bb4: ;[#uses=3] + %cann-indvar = phi uint [ %add1-indvar, %bb4 ], [ 0, %bb2 ] + %add1-indvar = add uint %cann-indvar, 1 ; <uint> [#uses=1] + store int 333, int * %reg109 + %reg131 = add uint %add1-indvar, 3 ; <int> [#uses=1] + %cond1017 = setle uint %reg131, 99 ; <bool> [#uses=1] + br bool %cond1017, label %bb4, label %bb5 + +bb5: + ret int 0 +end diff --git a/llvm/test/Regression/CodeGen/Generic/constindices.ll b/llvm/test/Regression/CodeGen/Generic/constindices.ll new file mode 100644 index 00000000000..637d72d6535 --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/constindices.ll @@ -0,0 +1,56 @@ +; RUN: llvm-as -f %s -o - | llc + +; Test that a sequence of constant indices are folded correctly +; into the equivalent offset at compile-time. + +%MixedA = type { float, [15 x int], sbyte, float } + +%MixedB = type { float, %MixedA, float } + +%fmtArg = internal global [44 x sbyte] c"sqrt(2) = %g\0Aexp(1) = %g\0Api = %g\0Afive = %g\0A\00"; <[44 x sbyte]*> [#uses=1] + +implementation + +declare int "printf"(sbyte*, ...) + +int "main"() +begin + %ScalarA = alloca %MixedA + %ScalarB = alloca %MixedB + %ArrayA = alloca %MixedA, uint 4 + %ArrayB = alloca %MixedB, uint 3 + + %I1 = getelementptr %MixedA* %ScalarA, long 0, ubyte 0 + store float 1.4142, float *%I1 + %I2 = getelementptr %MixedB* %ScalarB, long 0, ubyte 1, ubyte 0 + store float 2.7183, float *%I2 + + %fptrA = getelementptr %MixedA* %ArrayA, long 1, ubyte 0 + %fptrB = getelementptr %MixedB* %ArrayB, long 2, ubyte 1, ubyte 0 + + store float 3.1415, float* %fptrA + store float 5.0, float* %fptrB + + ;; Test that a sequence of GEPs with constant indices are folded right + %fptrA1 = getelementptr %MixedA* %ArrayA, long 3 ; &ArrayA[3] + %fptrA2 = getelementptr %MixedA* %fptrA1, long 0, ubyte 1 ; &(*fptrA1).1 + %fptrA3 = getelementptr [15 x int]* %fptrA2, long 0, long 8 ; &(*fptrA2)[8] + store int 5, int* %fptrA3 ; ArrayA[3].1[8] = 5 + + %sqrtTwo = load float *%I1 + %exp = load float *%I2 + %I3 = getelementptr %MixedA* %ArrayA, long 1, ubyte 0 + %pi = load float* %I3 + %I4 = getelementptr %MixedB* %ArrayB, long 2, ubyte 1, ubyte 0 + %five = load float* %I4 + + %dsqrtTwo = cast float %sqrtTwo to double + %dexp = cast float %exp to double + %dpi = cast float %pi to double + %dfive = cast float %five to double + + %castFmt = getelementptr [44 x sbyte]* %fmtArg, long 0, long 0 + call int (sbyte*, ...)* %printf(sbyte* %castFmt, double %dsqrtTwo, double %dexp, double %dpi, double %dfive) + + ret int 0 +end diff --git a/llvm/test/Regression/CodeGen/Generic/fwdtwice.ll b/llvm/test/Regression/CodeGen/Generic/fwdtwice.ll new file mode 100644 index 00000000000..5aa8b724c73 --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/fwdtwice.ll @@ -0,0 +1,35 @@ +; RUN: llvm-as -f %s -o - | llc + +;; +;; Test the sequence: +;; cast -> setle 0, %cast -> br %cond +;; This sequence should cause the cast value to be forwarded twice, +;; i.e., cast is forwarded to the setle and teh setle is forwarded +;; to the branch. +;; register argument of the "branch-on-register" instruction, i.e., +;; +;; This produces the bogus output instruction: +;; brlez <NULL VALUE>, .L_SumArray_bb3. +;; This came from %bb1 of sumarrray.ll generated from sumarray.c. + + +;;;; ****************************************************** +implementation +;;;; ****************************************************** + +int "SumArray"(int %Num) +begin +bb0: ;[#uses=3] + br label %Top +Top: + %Num = alloca int ; <int *> [#uses=2] + store int %Num, int * %Num + %reg108 = load int * %Num ; <int> [#uses=2] + %cast1006 = cast int %reg108 to uint ; <uint> [#uses=1] + %cond1001 = setle uint %cast1006, 0 ; <bool> [#uses=1] + br bool %cond1001, label %bb6, label %Top + +bb6: + ret int 42 +end + diff --git a/llvm/test/Regression/CodeGen/Generic/negintconst.ll b/llvm/test/Regression/CodeGen/Generic/negintconst.ll new file mode 100644 index 00000000000..4c8fe74cbd7 --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/negintconst.ll @@ -0,0 +1,51 @@ +; RUN: llvm-as -f %s -o - | llc + +; Test that a negative constant smaller than 64 bits (e.g., int) +; is correctly implemented with sign-extension. +; In particular, the current code generated is: +; +; main: +; .L_main_LL_0: +; save %o6, -224, %o6 +; setx .G_fmtArg_1, %o1, %o0 +; setuw 1, %o1 ! i = 1 +; setuw 4294967295, %o3 ! THE BUG: 0x00000000ffffffff +; setsw 0, %i0 +; add %i6, 1999, %o2 ! fval +; add %o1, %g0, %o1 +; add %o0, 0, %o0 +; mulx %o1, %o3, %o1 ! ERROR: 0xffffffff; should be -1 +; add %o1, 3, %o1 ! ERROR: 0x100000002; should be 0x2 +; mulx %o1, 12, %o3 ! +; add %o2, %o3, %o3 ! produces bad address! +; call printf +; nop +; jmpl %i7+8, %g0 +; restore %g0, 0, %g0 +; +; llc produces: +; ioff = 2 fval = 0xffffffff7fffec90 &fval[2] = 0xb7fffeca8 +; instead of: +; ioff = 2 fval = 0xffffffff7fffec90 &fval[2] = 0xffffffff7fffeca8 +; + +%Results = type { float, float, float } + +%fmtArg = internal global [39 x sbyte] c"ioff = %u\09fval = 0x%p\09&fval[2] = 0x%p\0A\00"; <[39 x sbyte]*> [#uses=1] + +implementation + +declare int "printf"(sbyte*, ...) + +int "main"() +begin + %fval = alloca %Results, uint 4 + %i = add uint 1, 0 ; i = 1 + %iscale = mul uint %i, 4294967295 ; i*-1 = -1 + %ioff = add uint %iscale, 3 ; 3+(-i) = 2 + %ioff = cast uint %ioff to long + %fptr = getelementptr %Results* %fval, long %ioff ; &fval[2] + %castFmt = getelementptr [39 x sbyte]* %fmtArg, long 0, long 0 + call int (sbyte*, ...)* %printf(sbyte* %castFmt, uint %ioff, %Results* %fval, %Results* %fptr) + ret int 0 +end diff --git a/llvm/test/Regression/CodeGen/Generic/sched.ll b/llvm/test/Regression/CodeGen/Generic/sched.ll new file mode 100644 index 00000000000..477425f6158 --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/sched.ll @@ -0,0 +1,33 @@ +; RUN: llvm-as -f %s -o - | llc + +implementation +declare int "printf"(sbyte*, int, float) + + +int "testissue"(int %i, float %x, float %y) +begin + br label %bb1 +bb1: + %x1 = mul float %x, %y ;; x1 + %y1 = mul float %y, 0.75 ;; y1 + %z1 = add float %x1, %y1 ;; z1 = x1 + y1 + + %x2 = mul float %x, 0.5 ;; x2 + %y2 = mul float %y, 0.9 ;; y2 + %z2 = add float %x2, %y2 ;; z2 = x2 + y2 + + %z3 = add float %z1, %z2 ;; z3 = z1 + z2 + + %i1 = shl int %i, ubyte 3 ;; i1 + %j1 = add int %i, 7 ;; j1 + %m1 = add int %i1, %j1 ;; k1 = i1 + j1 +;; %m1 = div int %k1, 99 ;; m1 = k1 / 99 + + %b = setle int %m1, 6 ;; (m1 <= 6)? + br bool %b, label %bb1, label %bb2 + +bb2: + %Msg = cast ulong 0 to sbyte * + call int %printf(sbyte* %Msg, int %m1, float %z3) + ret int 0 +end diff --git a/llvm/test/Regression/CodeGen/Generic/select.ll b/llvm/test/Regression/CodeGen/Generic/select.ll new file mode 100644 index 00000000000..7e1a10d97ec --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/select.ll @@ -0,0 +1,209 @@ +; RUN: llvm-as -f %s -o - | llc + +%AConst = constant int 123 + +%Domain = type { sbyte*, int, int*, int, int, int*, %Domain* } + +implementation + +; Test setting values of different constants in registers. +; +void "testConsts"(int %N, float %X) +begin +; <label>:0 + %a = add int %N, 1 ; 1 should be put in immed field + %i = add int %N, 12345678 ; constant has to be loaded + %b = add short 4, 3 ; one of the operands shd be immed + %c = add float %X, 0.0 ; will this be optimzzed? + %d = add float %X, 3.1415 ; constant has to be loaded + %f = add uint 4294967295, 10 ; result shd be 9 (not in immed fld) + %g = add ushort 20, 65535 ; result shd be 19 (65536 in immed fld) + %j = add ushort 65535, 30 ; result shd be 29 (not in immed fld) + %h = add ubyte 40, 255 ; result shd be 39 (255 in immed fld) + %k = add ubyte 255, 50 ; result shd be 49 (not in immed fld) + + ret void +end + +; A SetCC whose result is used should produce instructions to +; compute the boolean value in a register. One whose result +; is unused will only generate the condition code but not +; the boolean result. +; +void "unusedBool"(int * %x, int * %y) +begin +; <label>:0 ; [#uses=0] + seteq int * %x, %y ; <bool>:0 [#uses=1] + xor bool %0, true ; <bool>:1 [#uses=0] + setne int * %x, %y ; <bool>:2 [#uses=0] + ret void +end + +; A constant argument to a Phi produces a Cast instruction in the +; corresponding predecessor basic block. This checks a few things: +; -- phi arguments coming from the bottom of the same basic block +; (they should not be forward substituted in the machine code!) +; -- code generation for casts of various types +; -- use of immediate fields for integral constants of different sizes +; -- branch on a constant condition +; +void "mergeConstants"(int * %x, int * %y) +begin +; <label>:0 + br label %Top +Top: + phi int [ 0, %0 ], [ 1, %Top ], [ 524288, %Next ] + phi float [ 0.0, %0 ], [ 1.0, %Top ], [ 2.0, %Next ] + phi double [ 0.5, %0 ], [ 1.5, %Top ], [ 2.5, %Next ] + phi bool [ true, %0 ], [ false,%Top ], [ true, %Next ] + br bool true, label %Top, label %Next +Next: + br label %Top +end + + + +; A constant argument to a cast used only once should be forward substituted +; and loaded where needed, which happens is: +; -- User of cast has no immediate field +; -- User of cast has immediate field but constant is too large to fit +; or constant is not resolved until later (e.g., global address) +; -- User of cast uses it as a call arg. or return value so it is an implicit +; use but has to be loaded into a virtual register so that the reg. +; allocator can allocate the appropriate phys. reg. for it +; +int* "castconst"(float) +begin +; <label>:0 + %castbig = cast ulong 99999999 to int + %castsmall = cast ulong 1 to int + %usebig = add int %castbig, %castsmall + + %castglob = cast int* %AConst to long* + %dummyl = load long* %castglob + + %castnull = cast ulong 0 to int* + ret int* %castnull +end + + + +; Test branch-on-comparison-with-zero, in two ways: +; 1. can be folded +; 2. cannot be folded because result of comparison is used twice +; +void "testbool"(int %A, int %B) { + br label %Top +Top: + %D = add int %A, %B + %E = sub int %D, -4 + %C = setle int %E, 0 + br bool %C, label %retlbl, label %loop + +loop: + %F = add int %A, %B + %G = sub int %D, -4 + %D = setle int %G, 0 + %E = xor bool %D, true + br bool %E, label %loop, label %Top + +retlbl: + ret void +end + + +;; Test use of a boolean result in cast operations. +;; Requires converting a condition code result into a 0/1 value in a reg. +;; +implementation + +int %castbool(int %A, int %B) { +bb0: ; [#uses=0] + %cond213 = setlt int %A, %B ; <bool> [#uses=1] + %cast110 = cast bool %cond213 to ubyte ; <ubyte> [#uses=1] + %cast109 = cast ubyte %cast110 to int ; <int> [#uses=1] + ret int %cast109 +} + + +;; Test use of a boolean result in arithmetic and logical operations. +;; Requires converting a condition code result into a 0/1 value in a reg. +;; +bool %boolexpr(bool %b, int %N) { + %b2 = setge int %N, 0 + %b3 = and bool %b, %b2 + ret bool %b3 +} + + +; Test branch on floating point comparison +; +void "testfloatbool"(float %x, float %y) ; Def %0, %1 - float +begin +; <label>:0 + br label %Top +Top: + %p = add float %x, %y ; Def 2 - float + %z = sub float %x, %y ; Def 3 - float + %b = setle float %p, %z ; Def 0 - bool + %c = xor bool %b, true ; Def 1 - bool + br bool %b, label %Top, label %goon +goon: + ret void +end + + +; Test cases where an LLVM instruction requires no machine +; instructions (e.g., cast int* to long). But there are 2 cases: +; 1. If the result register has only a single use and the use is in the +; same basic block, the operand will be copy-propagated during +; instruction selection. +; 2. If the result register has multiple uses or is in a different +; basic block, it cannot (or will not) be copy propagated during +; instruction selection. It will generate a +; copy instruction (add-with-0), but this copy should get coalesced +; away by the register allocator. +; +int "checkForward"(int %N, int* %A) +begin + +bb2: ;;<label> + %reg114 = shl int %N, ubyte 2 ;; + %cast115 = cast int %reg114 to long ;; reg114 will be propagated + %cast116 = cast int* %A to long ;; %A will be propagated + %reg116 = add long %cast116, %cast115 ;; + %castPtr = cast long %reg116 to int* ;; %A will be propagated + %reg118 = load int* %castPtr ;; + %cast117 = cast int %reg118 to long ;; reg118 will be copied 'cos + %reg159 = add long 1234567, %cast117 ;; cast117 has 2 uses, here + %reg160 = add long 7654321, %cast117 ;; and here. + ret int 0 +end + + +; Test case for unary NOT operation constructed from XOR. +; +void "checkNot"(bool %b, int %i) +begin + %notB = xor bool %b, true + %notI = xor int %i, -1 + %F = setge int %notI, 100 + %J = add int %i, %i + %andNotB = and bool %F, %notB ;; should get folded with notB + %andNotI = and int %J, %notI ;; should get folded with notI + + %notB2 = xor bool true, %b ;; should become XNOR + %notI2 = xor int -1, %i ;; should become XNOR + + ret void +end + + +; Test case for folding getelementptr into a load/store +; +int "checkFoldGEP"(%Domain* %D, long %idx) +begin + %reg841 = getelementptr %Domain* %D, long 0, ubyte 1 + %reg820 = load int* %reg841 + ret int %reg820 +end diff --git a/llvm/test/Regression/CodeGen/Generic/spillccr.ll b/llvm/test/Regression/CodeGen/Generic/spillccr.ll new file mode 100644 index 00000000000..8223d09867b --- /dev/null +++ b/llvm/test/Regression/CodeGen/Generic/spillccr.ll @@ -0,0 +1,50 @@ +; RUN: llvm-as -f %s -o - | llc + +; July 6, 2002 -- LLC Regression test +; This test case checks if the integer CC register %xcc (or %ccr) +; is correctly spilled. The code fragment came from function +; MakeGraph in Olden-mst. +; The original code made all comparisons with 0, so that the %xcc +; register is not needed for the branch in the first basic block. +; Replace 0 with 1 in the first comparson so that the +; branch-on-register instruction cannot be used directly, i.e., +; the %xcc register is needed for the first branch. +; + %Graph = type %struct.graph_st* + %Hash = type %struct.hash* + %HashEntry = type %struct.hash_entry* + %Vertex = type %struct.vert_st* + %struct.graph_st = type { [1 x %Vertex] } + %struct.hash = type { %HashEntry*, int (uint)*, int } + %struct.hash_entry = type { uint, sbyte*, %HashEntry } + %struct.vert_st = type { int, %Vertex, %Hash } +%HashRange = uninitialized global int ; <int*> [#uses=1] +%.LC0 = internal global [13 x sbyte] c"Make phase 2\00" ; <[13 x sbyte]*> [#uses=1] +%.LC1 = internal global [13 x sbyte] c"Make phase 3\00" ; <[13 x sbyte]*> [#uses=1] +%.LC2 = internal global [13 x sbyte] c"Make phase 4\00" ; <[13 x sbyte]*> [#uses=1] +%.LC3 = internal global [15 x sbyte] c"Make returning\00" ; <[15 x sbyte]*> [#uses=1] + +implementation ; Functions: + +%Graph %MakeGraph(int %numvert, int %numproc) { +bb1: ;[#uses=1] + %reg111 = add int %numproc, -1 ; <int> [#uses=3] + %cond275 = setlt int %reg111, 1 ; <bool> [#uses=2] + %cond276 = setle int %reg111, 0 ; <bool> [#uses=1] + %cond277 = setge int %numvert, 0 ; <bool> [#uses=2] + %reg162 = add int %numvert, 3 ; <int> [#uses=2] + br bool %cond275, label %bb7, label %bb4 + +bb4: + br bool %cond276, label %bb7, label %bb5 + +bb5: + br bool %cond277, label %bb7, label %bb6 + +bb6: ;[#uses=2] + ret %Graph null + +bb7: ;[#uses=2] + ret %Graph null +} + |
