| OLD | NEW |
|---|
| (Empty) | |
| 1 ; This checks the correctness of the lowering code for the small |
| 2 ; integer variants of sdiv and srem. |
| 3 |
| 4 ; RUN: %llvm2ice --verbose none %s | FileCheck %s |
| 5 ; RUN: %llvm2ice -O2 --verbose none %s | FileCheck %s |
| 6 ; RUN: %llvm2ice -O2 --verbose none %s \ |
| 7 ; RUN: | llvm-mc -arch=x86 -x86-asm-syntax=intel -filetype=obj |
| 8 ; RUN: %llvm2ice -Om1 --verbose none %s \ |
| 9 ; RUN: | llvm-mc -arch=x86 -x86-asm-syntax=intel -filetype=obj |
| 10 ; RUN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s |
| 11 ; RUN: %llvm2iceinsts %s | %szdiff %s | FileCheck --check-prefix=DUMP %s |
| 12 ; RUN: %llvm2iceinsts --pnacl %s | %szdiff %s \ |
| 13 ; RUN: | FileCheck --check-prefix=DUMP %s |
| 14 |
| 15 define i32 @sdiv_i8(i32 %a.i32, i32 %b.i32) { |
| 16 entry: |
| 17 %a = trunc i32 %a.i32 to i8 |
| 18 %b = trunc i32 %b.i32 to i8 |
| 19 %res = sdiv i8 %a, %b |
| 20 %res.i32 = zext i8 %res to i32 |
| 21 ret i32 %res.i32 |
| 22 ; CHECK-LABEL: sdiv_i8: |
| 23 ; CHECK: cbw |
| 24 ; CHECK: idiv |
| 25 } |
| 26 |
| 27 define i32 @sdiv_i16(i32 %a.i32, i32 %b.i32) { |
| 28 entry: |
| 29 %a = trunc i32 %a.i32 to i16 |
| 30 %b = trunc i32 %b.i32 to i16 |
| 31 %res = sdiv i16 %a, %b |
| 32 %res.i32 = zext i16 %res to i32 |
| 33 ret i32 %res.i32 |
| 34 ; CHECK-LABEL: sdiv_i16: |
| 35 ; CHECK: cwd |
| 36 ; CHECK: idiv |
| 37 } |
| 38 |
| 39 define i32 @sdiv_i32(i32 %a, i32 %b) { |
| 40 entry: |
| 41 %res = sdiv i32 %a, %b |
| 42 ret i32 %res |
| 43 ; CHECK-LABEL: sdiv_i32: |
| 44 ; CHECK: cdq |
| 45 ; CHECK: idiv |
| 46 } |
| 47 |
| 48 define i32 @srem_i8(i32 %a.i32, i32 %b.i32) { |
| 49 entry: |
| 50 %a = trunc i32 %a.i32 to i8 |
| 51 %b = trunc i32 %b.i32 to i8 |
| 52 %res = srem i8 %a, %b |
| 53 %res.i32 = zext i8 %res to i32 |
| 54 ret i32 %res.i32 |
| 55 ; CHECK-LABEL: srem_i8: |
| 56 ; CHECK: cbw |
| 57 ; CHECK: idiv |
| 58 } |
| 59 |
| 60 define i32 @srem_i16(i32 %a.i32, i32 %b.i32) { |
| 61 entry: |
| 62 %a = trunc i32 %a.i32 to i16 |
| 63 %b = trunc i32 %b.i32 to i16 |
| 64 %res = srem i16 %a, %b |
| 65 %res.i32 = zext i16 %res to i32 |
| 66 ret i32 %res.i32 |
| 67 ; CHECK-LABEL: srem_i16: |
| 68 ; CHECK: cwd |
| 69 ; CHECK: idiv |
| 70 } |
| 71 |
| 72 define i32 @srem_i32(i32 %a, i32 %b) { |
| 73 entry: |
| 74 %res = srem i32 %a, %b |
| 75 ret i32 %res |
| 76 ; CHECK-LABEL: srem_i32: |
| 77 ; CHECK: cdq |
| 78 ; CHECK: idiv |
| 79 } |
| 80 |
| 81 ; ERRORS-NOT: ICE translation error |
| 82 ; DUMP-NOT: SZ |
| OLD | NEW |
|---|
Chromium Code Reviews
Issue 443203003:
Subzero: Use scalar arithmetic when no vector instruction exists. (Closed)
Base URL: https://gerrit.chromium.org/gerrit/p/native_client/pnacl-subzero.git@master