Run DCE after a LoopFlatten test to reduce spurious output [nfc]
[llvm-project.git] / llvm / test / CodeGen / X86 / 2009-09-10-SpillComments.ll
blob546d7d71e1561adc55e89d1bdfe09b0b0435bced
1 ; RUN: llc < %s -mtriple=x86_64-unknown-linux | FileCheck %s
3 ; This test shouldn't require spills.
5 ; CHECK: pushq
6 ; CHECK-NOT: $rsp
7 ; CHECK: popq
9         %struct..0anon = type { i32 }
10         %struct.rtvec_def = type { i32, [1 x %struct..0anon] }
11         %struct.rtx_def = type { i16, i8, i8, [1 x %struct..0anon] }
12 @rtx_format = external global [116 x ptr]               ; <ptr> [#uses=1]
13 @rtx_length = external global [117 x i32]               ; <ptr> [#uses=1]
15 declare ptr @fixup_memory_subreg(ptr, ptr, i32)
17 define ptr @walk_fixup_memory_subreg(ptr %x, ptr %insn) {
18 entry:
19         %tmp2 = icmp eq ptr %x, null            ; <i1> [#uses=1]
20         br i1 %tmp2, label %UnifiedReturnBlock, label %cond_next
22 cond_next:              ; preds = %entry
23         %tmp6 = getelementptr %struct.rtx_def, ptr %x, i32 0, i32 0             ; <ptr> [#uses=1]
24         %tmp7 = load i16, ptr %tmp6             ; <i16> [#uses=2]
25         %tmp78 = zext i16 %tmp7 to i32          ; <i32> [#uses=2]
26         %tmp10 = icmp eq i16 %tmp7, 54          ; <i1> [#uses=1]
27         br i1 %tmp10, label %cond_true13, label %cond_next32
29 cond_true13:            ; preds = %cond_next
30         %tmp15 = getelementptr %struct.rtx_def, ptr %x, i32 0, i32 3            ; <ptr> [#uses=1]
31         %tmp19 = load ptr, ptr %tmp15           ; <ptr> [#uses=1]
32         %tmp20 = getelementptr %struct.rtx_def, ptr %tmp19, i32 0, i32 0                ; <ptr> [#uses=1]
33         %tmp21 = load i16, ptr %tmp20           ; <i16> [#uses=1]
34         %tmp22 = icmp eq i16 %tmp21, 57         ; <i1> [#uses=1]
35         br i1 %tmp22, label %cond_true25, label %cond_next32
37 cond_true25:            ; preds = %cond_true13
38         %tmp29 = tail call ptr @fixup_memory_subreg( ptr %x, ptr %insn, i32 1 ) nounwind                ; <ptr> [#uses=1]
39         ret ptr %tmp29
41 cond_next32:            ; preds = %cond_true13, %cond_next
42         %tmp34 = getelementptr [116 x ptr], ptr @rtx_format, i32 0, i32 %tmp78          ; <ptr> [#uses=1]
43         %tmp35 = load ptr, ptr %tmp34, align 4          ; <ptr> [#uses=1]
44         %tmp37 = getelementptr [117 x i32], ptr @rtx_length, i32 0, i32 %tmp78          ; <ptr> [#uses=1]
45         %tmp38 = load i32, ptr %tmp37, align 4          ; <i32> [#uses=1]
46         %i.011 = add i32 %tmp38, -1             ; <i32> [#uses=2]
47         %tmp12513 = icmp sgt i32 %i.011, -1             ; <i1> [#uses=1]
48         br i1 %tmp12513, label %bb, label %UnifiedReturnBlock
50 bb:             ; preds = %bb123, %cond_next32
51         %indvar = phi i32 [ %indvar.next26, %bb123 ], [ 0, %cond_next32 ]               ; <i32> [#uses=2]
52         %i.01.0 = sub i32 %i.011, %indvar               ; <i32> [#uses=5]
53         %tmp42 = getelementptr i8, ptr %tmp35, i32 %i.01.0              ; <ptr> [#uses=2]
54         %tmp43 = load i8, ptr %tmp42            ; <i8> [#uses=1]
55         switch i8 %tmp43, label %bb123 [
56                  i8 101, label %cond_true47
57                  i8 69, label %bb105.preheader
58         ]
60 cond_true47:            ; preds = %bb
61         %tmp52 = getelementptr %struct.rtx_def, ptr %x, i32 0, i32 3, i32 %i.01.0               ; <ptr> [#uses=1]
62         %tmp55 = load ptr, ptr %tmp52           ; <ptr> [#uses=1]
63         %tmp58 = tail call  ptr @walk_fixup_memory_subreg( ptr %tmp55, ptr %insn ) nounwind             ; <ptr> [#uses=1]
64         %tmp62 = getelementptr %struct.rtx_def, ptr %x, i32 0, i32 3, i32 %i.01.0, i32 0                ; <ptr> [#uses=1]
65         %tmp58.c = ptrtoint ptr %tmp58 to i32           ; <i32> [#uses=1]
66         store i32 %tmp58.c, ptr %tmp62
67         %tmp6816 = load i8, ptr %tmp42          ; <i8> [#uses=1]
68         %tmp6917 = icmp eq i8 %tmp6816, 69              ; <i1> [#uses=1]
69         br i1 %tmp6917, label %bb105.preheader, label %bb123
71 bb105.preheader:                ; preds = %cond_true47, %bb
72         %tmp11020 = getelementptr %struct.rtx_def, ptr %x, i32 0, i32 3, i32 %i.01.0            ; <ptr> [#uses=1]
73         %tmp11322 = load ptr, ptr %tmp11020             ; <ptr> [#uses=1]
74         %tmp11423 = getelementptr %struct.rtvec_def, ptr %tmp11322, i32 0, i32 0                ; <ptr> [#uses=1]
75         %tmp11524 = load i32, ptr %tmp11423             ; <i32> [#uses=1]
76         %tmp11625 = icmp eq i32 %tmp11524, 0            ; <i1> [#uses=1]
77         br i1 %tmp11625, label %bb123, label %bb73
79 bb73:           ; preds = %bb73, %bb105.preheader
80         %j.019 = phi i32 [ %tmp104, %bb73 ], [ 0, %bb105.preheader ]            ; <i32> [#uses=3]
81         %tmp81 = load ptr, ptr %tmp11020                ; <ptr> [#uses=2]
82         %tmp92 = getelementptr %struct.rtvec_def, ptr %tmp81, i32 0, i32 1, i32 %j.019          ; <ptr> [#uses=1]
83         %tmp95 = load ptr, ptr %tmp92           ; <ptr> [#uses=1]
84         %tmp98 = tail call  ptr @walk_fixup_memory_subreg( ptr %tmp95, ptr %insn ) nounwind             ; <ptr> [#uses=1]
85         %tmp101 = getelementptr %struct.rtvec_def, ptr %tmp81, i32 0, i32 1, i32 %j.019, i32 0          ; <ptr> [#uses=1]
86         %tmp98.c = ptrtoint ptr %tmp98 to i32           ; <i32> [#uses=1]
87         store i32 %tmp98.c, ptr %tmp101
88         %tmp104 = add i32 %j.019, 1             ; <i32> [#uses=2]
89         %tmp113 = load ptr, ptr %tmp11020               ; <ptr> [#uses=1]
90         %tmp114 = getelementptr %struct.rtvec_def, ptr %tmp113, i32 0, i32 0            ; <ptr> [#uses=1]
91         %tmp115 = load i32, ptr %tmp114         ; <i32> [#uses=1]
92         %tmp116 = icmp ult i32 %tmp104, %tmp115         ; <i1> [#uses=1]
93         br i1 %tmp116, label %bb73, label %bb123
95 bb123:          ; preds = %bb73, %bb105.preheader, %cond_true47, %bb
96         %i.0 = add i32 %i.01.0, -1              ; <i32> [#uses=1]
97         %tmp125 = icmp sgt i32 %i.0, -1         ; <i1> [#uses=1]
98         %indvar.next26 = add i32 %indvar, 1             ; <i32> [#uses=1]
99         br i1 %tmp125, label %bb, label %UnifiedReturnBlock
101 UnifiedReturnBlock:             ; preds = %bb123, %cond_next32, %entry
102         %UnifiedRetVal = phi ptr [ null, %entry ], [ %x, %cond_next32 ], [ %x, %bb123 ]         ; <ptr> [#uses=1]
103         ret ptr %UnifiedRetVal