| OLD | NEW |
| 1 ; Assembly test for simple arithmetic operations. | 1 ; Assembly test for simple arithmetic operations. |
| 2 | 2 |
| 3 ; RUN: %if --need=target_X8632 --command %p2i --filetype=obj --disassemble \ | 3 ; RUN: %if --need=target_X8632 --command %p2i --filetype=obj --disassemble \ |
| 4 ; RUN: --target x8632 -i %s --args -O2 \ | 4 ; RUN: --target x8632 -i %s --args -O2 \ |
| 5 ; RUN: | %if --need=target_X8632 --command FileCheck %s | 5 ; RUN: | %if --need=target_X8632 --command FileCheck %s |
| 6 | 6 |
| 7 ; TODO(jvoung): Stop skipping unimplemented parts (via --skip-unimplemented) | 7 ; TODO(jvoung): Stop skipping unimplemented parts (via --skip-unimplemented) |
| 8 ; once enough infrastructure is in. Also, switch to --filetype=obj | 8 ; once enough infrastructure is in. Also, switch to --filetype=obj |
| 9 ; when possible. | 9 ; when possible. |
| 10 ; RUN: %if --need=target_ARM32 --need=allow_dump \ | 10 ; RUN: %if --need=target_ARM32 --need=allow_dump \ |
| (...skipping 153 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 164 ; ARM32: bne | 164 ; ARM32: bne |
| 165 ; The following instruction is ".word 0xe7fedef0 = udf #60896 ; 0xede0". | 165 ; The following instruction is ".word 0xe7fedef0 = udf #60896 ; 0xede0". |
| 166 ; ARM32: e7fedef0 | 166 ; ARM32: e7fedef0 |
| 167 ; ARM32: bl {{.*}} __divsi3 | 167 ; ARM32: bl {{.*}} __divsi3 |
| 168 ; ARM32HWDIV-LABEL: Sdiv | 168 ; ARM32HWDIV-LABEL: Sdiv |
| 169 ; ARM32HWDIV: tst | 169 ; ARM32HWDIV: tst |
| 170 ; ARM32HWDIV: bne | 170 ; ARM32HWDIV: bne |
| 171 ; ARM32HWDIV: sdiv | 171 ; ARM32HWDIV: sdiv |
| 172 | 172 |
| 173 ; MIPS32-LABEL: Sdiv | 173 ; MIPS32-LABEL: Sdiv |
| 174 ; MIPS32: jal {{.*}} __divsi3 | 174 ; MIPS32: div zero,{{.*}},[[REG:.*]] |
| 175 ; MIPS32: teq [[REG]],zero,0x7 |
| 176 ; MIPS32: mflo |
| 175 | 177 |
| 176 define internal i32 @SdivConst(i32 %a) { | 178 define internal i32 @SdivConst(i32 %a) { |
| 177 entry: | 179 entry: |
| 178 %div = sdiv i32 %a, 219 | 180 %div = sdiv i32 %a, 219 |
| 179 ret i32 %div | 181 ret i32 %div |
| 180 } | 182 } |
| 181 ; CHECK-LABEL: SdivConst | 183 ; CHECK-LABEL: SdivConst |
| 182 ; CHECK: cdq | 184 ; CHECK: cdq |
| 183 ; CHECK: idiv e | 185 ; CHECK: idiv e |
| 184 ; | 186 ; |
| 185 ; ARM32-LABEL: SdivConst | 187 ; ARM32-LABEL: SdivConst |
| 186 ; ARM32-NOT: tst | 188 ; ARM32-NOT: tst |
| 187 ; ARM32: bl {{.*}} __divsi3 | 189 ; ARM32: bl {{.*}} __divsi3 |
| 188 ; ARM32HWDIV-LABEL: SdivConst | 190 ; ARM32HWDIV-LABEL: SdivConst |
| 189 ; ARM32HWDIV-NOT: tst | 191 ; ARM32HWDIV-NOT: tst |
| 190 ; ARM32HWDIV: sdiv | 192 ; ARM32HWDIV: sdiv |
| 191 | 193 |
| 192 ; MIPS32-LABEL: SdivConst | 194 ; MIPS32-LABEL: SdivConst |
| 193 ; MIPS32: jal {{.*}} __divsi3 | 195 ; MIPS32: div zero,{{.*}},[[REG:.*]] |
| 196 ; MIPS32: teq [[REG]],zero,0x7 |
| 197 ; MIPS32: mflo |
| 194 | 198 |
| 195 define internal i32 @Srem(i32 %a, i32 %b) { | 199 define internal i32 @Srem(i32 %a, i32 %b) { |
| 196 entry: | 200 entry: |
| 197 %rem = srem i32 %a, %b | 201 %rem = srem i32 %a, %b |
| 198 ret i32 %rem | 202 ret i32 %rem |
| 199 } | 203 } |
| 200 ; CHECK-LABEL: Srem | 204 ; CHECK-LABEL: Srem |
| 201 ; CHECK: cdq | 205 ; CHECK: cdq |
| 202 ; CHECK: idiv e | 206 ; CHECK: idiv e |
| 203 ; | 207 ; |
| 204 ; ARM32-LABEL: Srem | 208 ; ARM32-LABEL: Srem |
| 205 ; ARM32: tst [[DENOM:r.*]], [[DENOM]] | 209 ; ARM32: tst [[DENOM:r.*]], [[DENOM]] |
| 206 ; ARM32: bne | 210 ; ARM32: bne |
| 207 ; ARM32: bl {{.*}} __modsi3 | 211 ; ARM32: bl {{.*}} __modsi3 |
| 208 ; ARM32HWDIV-LABEL: Srem | 212 ; ARM32HWDIV-LABEL: Srem |
| 209 ; ARM32HWDIV: tst | 213 ; ARM32HWDIV: tst |
| 210 ; ARM32HWDIV: bne | 214 ; ARM32HWDIV: bne |
| 211 ; ARM32HWDIV: sdiv | 215 ; ARM32HWDIV: sdiv |
| 212 ; ARM32HWDIV: mls | 216 ; ARM32HWDIV: mls |
| 213 | 217 |
| 214 ; MIPS32-LABEL: Srem | 218 ; MIPS32-LABEL: Srem |
| 215 ; MIPS32: jal {{.*}} __modsi3 | 219 ; MIPS32: div zero,{{.*}},[[REG:.*]] |
| 220 ; MIPS32: teq [[REG]],zero,0x7 |
| 221 ; MIPS32: mfhi |
| 216 | 222 |
| 217 define internal i32 @Udiv(i32 %a, i32 %b) { | 223 define internal i32 @Udiv(i32 %a, i32 %b) { |
| 218 entry: | 224 entry: |
| 219 %div = udiv i32 %a, %b | 225 %div = udiv i32 %a, %b |
| 220 ret i32 %div | 226 ret i32 %div |
| 221 } | 227 } |
| 222 ; CHECK-LABEL: Udiv | 228 ; CHECK-LABEL: Udiv |
| 223 ; CHECK: div e | 229 ; CHECK: div e |
| 224 ; | 230 ; |
| 225 ; ARM32-LABEL: Udiv | 231 ; ARM32-LABEL: Udiv |
| 226 ; ARM32: tst [[DENOM:r.*]], [[DENOM]] | 232 ; ARM32: tst [[DENOM:r.*]], [[DENOM]] |
| 227 ; ARM32: bne | 233 ; ARM32: bne |
| 228 ; ARM32: bl {{.*}} __udivsi3 | 234 ; ARM32: bl {{.*}} __udivsi3 |
| 229 ; ARM32HWDIV-LABEL: Udiv | 235 ; ARM32HWDIV-LABEL: Udiv |
| 230 ; ARM32HWDIV: tst | 236 ; ARM32HWDIV: tst |
| 231 ; ARM32HWDIV: bne | 237 ; ARM32HWDIV: bne |
| 232 ; ARM32HWDIV: udiv | 238 ; ARM32HWDIV: udiv |
| 233 | 239 |
| 234 ; MIPS32-LABEL: Udiv | 240 ; MIPS32-LABEL: Udiv |
| 235 ; MIPS32: jal {{.*}} __udivsi3 | 241 ; MIPS32: divu zero,{{.*}},[[REG:.*]] |
| 242 ; MIPS32: teq [[REG]],zero,0x7 |
| 243 ; MIPS32: mflo |
| 236 | 244 |
| 237 define internal i32 @Urem(i32 %a, i32 %b) { | 245 define internal i32 @Urem(i32 %a, i32 %b) { |
| 238 entry: | 246 entry: |
| 239 %rem = urem i32 %a, %b | 247 %rem = urem i32 %a, %b |
| 240 ret i32 %rem | 248 ret i32 %rem |
| 241 } | 249 } |
| 242 ; CHECK-LABEL: Urem | 250 ; CHECK-LABEL: Urem |
| 243 ; CHECK: div e | 251 ; CHECK: div e |
| 244 ; | 252 ; |
| 245 ; ARM32-LABEL: Urem | 253 ; ARM32-LABEL: Urem |
| 246 ; ARM32: tst [[DENOM:r.*]], [[DENOM]] | 254 ; ARM32: tst [[DENOM:r.*]], [[DENOM]] |
| 247 ; ARM32: bne | 255 ; ARM32: bne |
| 248 ; ARM32: bl {{.*}} __umodsi3 | 256 ; ARM32: bl {{.*}} __umodsi3 |
| 249 ; ARM32HWDIV-LABEL: Urem | 257 ; ARM32HWDIV-LABEL: Urem |
| 250 ; ARM32HWDIV: tst | 258 ; ARM32HWDIV: tst |
| 251 ; ARM32HWDIV: bne | 259 ; ARM32HWDIV: bne |
| 252 ; ARM32HWDIV: udiv | 260 ; ARM32HWDIV: udiv |
| 253 ; ARM32HWDIV: mls | 261 ; ARM32HWDIV: mls |
| 254 | 262 |
| 255 ; MIPS32-LABEL: Urem | 263 ; MIPS32-LABEL: Urem |
| 256 ; MIPS32: jal {{.*}} __umodsi3 | 264 ; MIPS32: divu zero,{{.*}},[[REG:.*]] |
| 265 ; MIPS32: teq [[REG]],zero,0x7 |
| 266 ; MIPS32: mfhi |
| 257 | 267 |
| 258 ; The following tests check that shift instructions don't try to use a | 268 ; The following tests check that shift instructions don't try to use a |
| 259 ; ConstantRelocatable as an immediate operand. | 269 ; ConstantRelocatable as an immediate operand. |
| 260 | 270 |
| 261 @G = internal global [4 x i8] zeroinitializer, align 4 | 271 @G = internal global [4 x i8] zeroinitializer, align 4 |
| 262 | 272 |
| 263 define internal i32 @ShlReloc(i32 %a) { | 273 define internal i32 @ShlReloc(i32 %a) { |
| 264 entry: | 274 entry: |
| 265 %opnd = ptrtoint [4 x i8]* @G to i32 | 275 %opnd = ptrtoint [4 x i8]* @G to i32 |
| 266 %result = shl i32 %a, %opnd | 276 %result = shl i32 %a, %opnd |
| (...skipping 12 matching lines...) Expand all Loading... |
| 279 ; CHECK: shr {{.*}},cl | 289 ; CHECK: shr {{.*}},cl |
| 280 | 290 |
| 281 define internal i32 @AshrReloc(i32 %a) { | 291 define internal i32 @AshrReloc(i32 %a) { |
| 282 entry: | 292 entry: |
| 283 %opnd = ptrtoint [4 x i8]* @G to i32 | 293 %opnd = ptrtoint [4 x i8]* @G to i32 |
| 284 %result = ashr i32 %a, %opnd | 294 %result = ashr i32 %a, %opnd |
| 285 ret i32 %result | 295 ret i32 %result |
| 286 } | 296 } |
| 287 ; CHECK-LABEL: AshrReloc | 297 ; CHECK-LABEL: AshrReloc |
| 288 ; CHECK: sar {{.*}},cl | 298 ; CHECK: sar {{.*}},cl |
| OLD | NEW |