OLD | NEW |
1 ; Test that loads/stores don't move across a nacl.atomic.fence.all. | 1 ; Test that loads/stores don't move across a nacl.atomic.fence.all. |
2 ; This should apply to both atomic and non-atomic loads/stores | 2 ; This should apply to both atomic and non-atomic loads/stores |
3 ; (unlike the non-"all" variety of nacl.atomic.fence, which only | 3 ; (unlike the non-"all" variety of nacl.atomic.fence, which only |
4 ; applies to atomic load/stores). | 4 ; applies to atomic load/stores). |
5 ; | 5 ; |
6 ; RUN: %p2i -i %s --args -O2 --verbose none \ | 6 ; RUN: %p2i -i %s --args -O2 --verbose none \ |
7 ; RUN: | llvm-mc -triple=i686-none-nacl -filetype=obj \ | 7 ; RUN: | llvm-mc -triple=i686-none-nacl -filetype=obj \ |
8 ; RUN: | llvm-objdump -d -r -symbolize -x86-asm-syntax=intel - | FileCheck %s | 8 ; RUN: | llvm-objdump -d -r --symbolize -x86-asm-syntax=intel - | FileCheck %s |
9 | 9 |
10 ; TODO(jvoung): llvm-objdump doesn't symbolize global symbols well, so we | 10 ; TODO(jvoung): llvm-objdump doesn't symbolize global symbols well, so we |
11 ; have 0 == g32_a, 4 == g32_b, 8 == g32_c, 12 == g32_d | 11 ; have 0 == g32_a, 4 == g32_b, 8 == g32_c, 12 == g32_d |
12 | 12 |
13 declare void @llvm.nacl.atomic.fence.all() | 13 declare void @llvm.nacl.atomic.fence.all() |
14 declare i32 @llvm.nacl.atomic.load.i32(i32*, i32) | 14 declare i32 @llvm.nacl.atomic.load.i32(i32*, i32) |
15 declare void @llvm.nacl.atomic.store.i32(i32, i32*, i32) | 15 declare void @llvm.nacl.atomic.store.i32(i32, i32*, i32) |
16 | 16 |
17 @g32_a = internal global [4 x i8] zeroinitializer, align 4 | 17 @g32_a = internal global [4 x i8] zeroinitializer, align 4 |
18 @g32_b = internal global [4 x i8] zeroinitializer, align 4 | 18 @g32_b = internal global [4 x i8] zeroinitializer, align 4 |
(...skipping 19 matching lines...) Expand all Loading... |
38 %p_c = bitcast [4 x i8]* @g32_c to i32* | 38 %p_c = bitcast [4 x i8]* @g32_c to i32* |
39 %l_c = load i32* %p_c, align 1 | 39 %l_c = load i32* %p_c, align 1 |
40 %l_c2 = add i32 %l_c, 1 | 40 %l_c2 = add i32 %l_c, 1 |
41 call void @llvm.nacl.atomic.fence.all() | 41 call void @llvm.nacl.atomic.fence.all() |
42 store i32 %l_c2, i32* %p_c, align 1 | 42 store i32 %l_c2, i32* %p_c, align 1 |
43 | 43 |
44 ret i32 %l_c2 | 44 ret i32 %l_c2 |
45 } | 45 } |
46 ; CHECK-LABEL: test_fused_load_add_a | 46 ; CHECK-LABEL: test_fused_load_add_a |
47 ; alloca store | 47 ; alloca store |
48 ; CHECK: mov {{.*}}, esp | 48 ; CHECK: mov {{.*}},esp |
49 ; CHECK: mov dword ptr {{.*}}, 999 | 49 ; CHECK: mov DWORD PTR {{.*}},999 |
50 ; atomic store (w/ its own mfence) | 50 ; atomic store (w/ its own mfence) |
51 ; The load + add are optimized into one everywhere. | 51 ; The load + add are optimized into one everywhere. |
52 ; CHECK: add {{.*}}, dword ptr [.bss] | 52 ; CHECK: add {{.*}}, DWORD PTR [.bss] |
53 ; CHECK-NEXT: R_386_32 | 53 ; CHECK-NEXT: R_386_32 |
54 ; CHECK: mov dword ptr | 54 ; CHECK: mov DWORD PTR |
55 ; CHECK: mfence | 55 ; CHECK: mfence |
56 ; CHECK: add {{.*}}, dword ptr [.bss] | 56 ; CHECK: add {{.*}}, DWORD PTR [.bss] |
57 ; CHECK-NEXT: R_386_32 | 57 ; CHECK-NEXT: R_386_32 |
58 ; CHECK: mov dword ptr | 58 ; CHECK: mov DWORD PTR |
59 ; CHECK: add {{.*}}, dword ptr [.bss] | 59 ; CHECK: add {{.*}}, DWORD PTR [.bss] |
60 ; CHECK-NEXT: R_386_32 | 60 ; CHECK-NEXT: R_386_32 |
61 ; CHECK: mfence | 61 ; CHECK: mfence |
62 ; CHECK: mov dword ptr | 62 ; CHECK: mov DWORD PTR |
63 | 63 |
64 ; Test with the fence moved up a bit. | 64 ; Test with the fence moved up a bit. |
65 define i32 @test_fused_load_add_b() { | 65 define i32 @test_fused_load_add_b() { |
66 entry: | 66 entry: |
67 %p_alloca = alloca i8, i32 4, align 4 | 67 %p_alloca = alloca i8, i32 4, align 4 |
68 %p_alloca_bc = bitcast i8* %p_alloca to i32* | 68 %p_alloca_bc = bitcast i8* %p_alloca to i32* |
69 store i32 999, i32* %p_alloca_bc, align 1 | 69 store i32 999, i32* %p_alloca_bc, align 1 |
70 | 70 |
71 %p_a = bitcast [4 x i8]* @g32_a to i32* | 71 %p_a = bitcast [4 x i8]* @g32_a to i32* |
72 %l_a = call i32 @llvm.nacl.atomic.load.i32(i32* %p_a, i32 6) | 72 %l_a = call i32 @llvm.nacl.atomic.load.i32(i32* %p_a, i32 6) |
73 %l_a2 = add i32 %l_a, 1 | 73 %l_a2 = add i32 %l_a, 1 |
74 call void @llvm.nacl.atomic.store.i32(i32 %l_a2, i32* %p_a, i32 6) | 74 call void @llvm.nacl.atomic.store.i32(i32 %l_a2, i32* %p_a, i32 6) |
75 | 75 |
76 %p_b = bitcast [4 x i8]* @g32_b to i32* | 76 %p_b = bitcast [4 x i8]* @g32_b to i32* |
77 %l_b = load i32* %p_b, align 1 | 77 %l_b = load i32* %p_b, align 1 |
78 %l_b2 = add i32 %l_b, 1 | 78 %l_b2 = add i32 %l_b, 1 |
79 store i32 %l_b2, i32* %p_b, align 1 | 79 store i32 %l_b2, i32* %p_b, align 1 |
80 | 80 |
81 %p_c = bitcast [4 x i8]* @g32_c to i32* | 81 %p_c = bitcast [4 x i8]* @g32_c to i32* |
82 call void @llvm.nacl.atomic.fence.all() | 82 call void @llvm.nacl.atomic.fence.all() |
83 %l_c = load i32* %p_c, align 1 | 83 %l_c = load i32* %p_c, align 1 |
84 %l_c2 = add i32 %l_c, 1 | 84 %l_c2 = add i32 %l_c, 1 |
85 store i32 %l_c2, i32* %p_c, align 1 | 85 store i32 %l_c2, i32* %p_c, align 1 |
86 | 86 |
87 ret i32 %l_c2 | 87 ret i32 %l_c2 |
88 } | 88 } |
89 ; CHECK-LABEL: test_fused_load_add_b | 89 ; CHECK-LABEL: test_fused_load_add_b |
90 ; alloca store | 90 ; alloca store |
91 ; CHECK: mov {{.*}}, esp | 91 ; CHECK: mov {{.*}},esp |
92 ; CHECK: mov dword ptr {{.*}}, 999 | 92 ; CHECK: mov DWORD PTR {{.*}},999 |
93 ; atomic store (w/ its own mfence) | 93 ; atomic store (w/ its own mfence) |
94 ; CHECK: add {{.*}}, dword ptr [.bss] | 94 ; CHECK: add {{.*}}, DWORD PTR [.bss] |
95 ; CHECK-NEXT: R_386_32 | 95 ; CHECK-NEXT: R_386_32 |
96 ; CHECK: mov dword ptr | 96 ; CHECK: mov DWORD PTR |
97 ; CHECK: mfence | 97 ; CHECK: mfence |
98 ; CHECK: add {{.*}}, dword ptr [.bss] | 98 ; CHECK: add {{.*}}, DWORD PTR [.bss] |
99 ; CHECK-NEXT: R_386_32 | 99 ; CHECK-NEXT: R_386_32 |
100 ; CHECK: mov dword ptr | 100 ; CHECK: mov DWORD PTR |
101 ; CHECK: mfence | 101 ; CHECK: mfence |
102 ; Load + add can still be optimized into one instruction | 102 ; Load + add can still be optimized into one instruction |
103 ; because it is not separated by a fence. | 103 ; because it is not separated by a fence. |
104 ; CHECK: add {{.*}}, dword ptr [.bss] | 104 ; CHECK: add {{.*}}, DWORD PTR [.bss] |
105 ; CHECK-NEXT: R_386_32 | 105 ; CHECK-NEXT: R_386_32 |
106 ; CHECK: mov dword ptr | 106 ; CHECK: mov DWORD PTR |
107 | 107 |
108 ; Test with the fence splitting a load/add. | 108 ; Test with the fence splitting a load/add. |
109 define i32 @test_fused_load_add_c() { | 109 define i32 @test_fused_load_add_c() { |
110 entry: | 110 entry: |
111 %p_alloca = alloca i8, i32 4, align 4 | 111 %p_alloca = alloca i8, i32 4, align 4 |
112 %p_alloca_bc = bitcast i8* %p_alloca to i32* | 112 %p_alloca_bc = bitcast i8* %p_alloca to i32* |
113 store i32 999, i32* %p_alloca_bc, align 1 | 113 store i32 999, i32* %p_alloca_bc, align 1 |
114 | 114 |
115 %p_a = bitcast [4 x i8]* @g32_a to i32* | 115 %p_a = bitcast [4 x i8]* @g32_a to i32* |
116 %l_a = call i32 @llvm.nacl.atomic.load.i32(i32* %p_a, i32 6) | 116 %l_a = call i32 @llvm.nacl.atomic.load.i32(i32* %p_a, i32 6) |
117 %l_a2 = add i32 %l_a, 1 | 117 %l_a2 = add i32 %l_a, 1 |
118 call void @llvm.nacl.atomic.store.i32(i32 %l_a2, i32* %p_a, i32 6) | 118 call void @llvm.nacl.atomic.store.i32(i32 %l_a2, i32* %p_a, i32 6) |
119 | 119 |
120 %p_b = bitcast [4 x i8]* @g32_b to i32* | 120 %p_b = bitcast [4 x i8]* @g32_b to i32* |
121 %l_b = load i32* %p_b, align 1 | 121 %l_b = load i32* %p_b, align 1 |
122 call void @llvm.nacl.atomic.fence.all() | 122 call void @llvm.nacl.atomic.fence.all() |
123 %l_b2 = add i32 %l_b, 1 | 123 %l_b2 = add i32 %l_b, 1 |
124 store i32 %l_b2, i32* %p_b, align 1 | 124 store i32 %l_b2, i32* %p_b, align 1 |
125 | 125 |
126 %p_c = bitcast [4 x i8]* @g32_c to i32* | 126 %p_c = bitcast [4 x i8]* @g32_c to i32* |
127 %l_c = load i32* %p_c, align 1 | 127 %l_c = load i32* %p_c, align 1 |
128 %l_c2 = add i32 %l_c, 1 | 128 %l_c2 = add i32 %l_c, 1 |
129 store i32 %l_c2, i32* %p_c, align 1 | 129 store i32 %l_c2, i32* %p_c, align 1 |
130 | 130 |
131 ret i32 %l_c2 | 131 ret i32 %l_c2 |
132 } | 132 } |
133 ; CHECK-LABEL: test_fused_load_add_c | 133 ; CHECK-LABEL: test_fused_load_add_c |
134 ; alloca store | 134 ; alloca store |
135 ; CHECK: mov {{.*}}, esp | 135 ; CHECK: mov {{.*}},esp |
136 ; CHECK: mov dword ptr {{.*}}, 999 | 136 ; CHECK: mov DWORD PTR {{.*}},999 |
137 ; atomic store (w/ its own mfence) | 137 ; atomic store (w/ its own mfence) |
138 ; CHECK: add {{.*}}, dword ptr [.bss] | 138 ; CHECK: add {{.*}}, DWORD PTR [.bss] |
139 ; CHECK-NEXT: R_386_32 | 139 ; CHECK-NEXT: R_386_32 |
140 ; CHECK: mov dword ptr | 140 ; CHECK: mov DWORD PTR |
141 ; CHECK: mfence | 141 ; CHECK: mfence |
142 ; This load + add are no longer optimized into one, | 142 ; This load + add are no longer optimized into one, |
143 ; though perhaps it should be legal as long as | 143 ; though perhaps it should be legal as long as |
144 ; the load stays on the same side of the fence. | 144 ; the load stays on the same side of the fence. |
145 ; CHECK: mov {{.*}}, dword ptr [.bss] | 145 ; CHECK: mov {{.*}},DWORD ptr [.bss] |
146 ; CHECK-NEXT: R_386_32 | 146 ; CHECK-NEXT: R_386_32 |
147 ; CHECK: mfence | 147 ; CHECK: mfence |
148 ; CHECK: add {{.*}}, 1 | 148 ; CHECK: add {{.*}}, 1 |
149 ; CHECK: mov dword ptr | 149 ; CHECK: mov DWORD PTR |
150 ; CHECK: add {{.*}}, dword ptr [.bss] | 150 ; CHECK: add {{.*}}, DWORD PTR [.bss] |
151 ; CHECK-NEXT: R_386_32 | 151 ; CHECK-NEXT: R_386_32 |
152 ; CHECK: mov dword ptr | 152 ; CHECK: mov DWORD PTR |
153 | 153 |
154 | 154 |
155 ; Test where a bunch of i8 loads could have been fused into one | 155 ; Test where a bunch of i8 loads could have been fused into one |
156 ; i32 load, but a fence blocks that. | 156 ; i32 load, but a fence blocks that. |
157 define i32 @could_have_fused_loads() { | 157 define i32 @could_have_fused_loads() { |
158 entry: | 158 entry: |
159 %ptr1 = bitcast [4 x i8]* @g32_d to i8* | 159 %ptr1 = bitcast [4 x i8]* @g32_d to i8* |
160 %b1 = load i8* %ptr1, align 1 | 160 %b1 = load i8* %ptr1, align 1 |
161 | 161 |
162 %int_ptr2 = ptrtoint [4 x i8]* @g32_d to i32 | 162 %int_ptr2 = ptrtoint [4 x i8]* @g32_d to i32 |
(...skipping 17 matching lines...) Expand all Loading... |
180 %b12 = or i32 %b1.ext, %b2.shift | 180 %b12 = or i32 %b1.ext, %b2.shift |
181 %b3.ext = zext i8 %b3 to i32 | 181 %b3.ext = zext i8 %b3 to i32 |
182 %b3.shift = shl i32 %b3.ext, 16 | 182 %b3.shift = shl i32 %b3.ext, 16 |
183 %b123 = or i32 %b12, %b3.shift | 183 %b123 = or i32 %b12, %b3.shift |
184 %b4.ext = zext i8 %b4 to i32 | 184 %b4.ext = zext i8 %b4 to i32 |
185 %b4.shift = shl i32 %b4.ext, 24 | 185 %b4.shift = shl i32 %b4.ext, 24 |
186 %b1234 = or i32 %b123, %b4.shift | 186 %b1234 = or i32 %b123, %b4.shift |
187 ret i32 %b1234 | 187 ret i32 %b1234 |
188 } | 188 } |
189 ; CHECK-LABEL: could_have_fused_loads | 189 ; CHECK-LABEL: could_have_fused_loads |
190 ; CHECK: mov {{.*}}, byte ptr | 190 ; CHECK: mov {{.*}},BYTE PTR |
191 ; CHECK-NEXT: R_386_32 | 191 ; CHECK-NEXT: R_386_32 |
192 ; CHECK: mov {{.*}}, byte ptr | 192 ; CHECK: mov {{.*}},BYTE PTR |
193 ; CHECK: mov {{.*}}, byte ptr | 193 ; CHECK: mov {{.*}},BYTE PTR |
194 ; CHECK: mfence | 194 ; CHECK: mfence |
195 ; CHECK: mov {{.*}}, byte ptr | 195 ; CHECK: mov {{.*}},BYTE PTR |
196 | 196 |
197 | 197 |
198 ; Test where an identical load from two branches could have been hoisted | 198 ; Test where an identical load from two branches could have been hoisted |
199 ; up, and then the code merged, but a fence prevents it. | 199 ; up, and then the code merged, but a fence prevents it. |
200 define i32 @could_have_hoisted_loads(i32 %x) { | 200 define i32 @could_have_hoisted_loads(i32 %x) { |
201 entry: | 201 entry: |
202 %ptr = bitcast [4 x i8]* @g32_d to i32* | 202 %ptr = bitcast [4 x i8]* @g32_d to i32* |
203 %cmp = icmp eq i32 %x, 1 | 203 %cmp = icmp eq i32 %x, 1 |
204 br i1 %cmp, label %branch1, label %branch2 | 204 br i1 %cmp, label %branch1, label %branch2 |
205 branch1: | 205 branch1: |
206 %y = load i32* %ptr, align 1 | 206 %y = load i32* %ptr, align 1 |
207 ret i32 %y | 207 ret i32 %y |
208 branch2: | 208 branch2: |
209 call void @llvm.nacl.atomic.fence.all() | 209 call void @llvm.nacl.atomic.fence.all() |
210 %z = load i32* %ptr, align 1 | 210 %z = load i32* %ptr, align 1 |
211 ret i32 %z | 211 ret i32 %z |
212 } | 212 } |
213 ; CHECK-LABEL: could_have_hoisted_loads | 213 ; CHECK-LABEL: could_have_hoisted_loads |
214 ; CHECK: jne {{.*}} | 214 ; CHECK: jne {{.*}} |
215 ; CHECK: mov {{.*}}, dword ptr [.bss] | 215 ; CHECK: mov {{.*}},DWORD ptr [.bss] |
216 ; CHECK-NEXT: R_386_32 | 216 ; CHECK-NEXT: R_386_32 |
217 ; CHECK: ret | 217 ; CHECK: ret |
218 ; CHECK: mfence | 218 ; CHECK: mfence |
219 ; CHECK: mov {{.*}}, dword ptr [.bss] | 219 ; CHECK: mov {{.*}},DWORD ptr [.bss] |
220 ; CHECK-NEXT: R_386_32 | 220 ; CHECK-NEXT: R_386_32 |
221 ; CHECK: ret | 221 ; CHECK: ret |
OLD | NEW |