OLD | NEW |
1 ; This file checks support for comparing vector values with the fcmp | 1 ; This file checks support for comparing vector values with the fcmp |
2 ; instruction. | 2 ; instruction. |
3 | 3 |
4 ; RUN: %llvm2ice -O2 --verbose none %s \ | 4 ; RUN: %p2i -i %s -a -O2 --verbose none \ |
5 ; RUN: | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj \ | 5 ; RUN: | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj \ |
6 ; RUN: | llvm-objdump -d --symbolize -x86-asm-syntax=intel - | FileCheck %s | 6 ; RUN: | llvm-objdump -d --symbolize -x86-asm-syntax=intel - | FileCheck %s |
7 ; RUN: %llvm2ice -Om1 --verbose none %s \ | 7 ; RUN: %p2i -i %s -a -Om1 --verbose none \ |
8 ; RUN: | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj \ | 8 ; RUN: | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj \ |
9 ; RUN: | llvm-objdump -d --symbolize -x86-asm-syntax=intel - | FileCheck %s | 9 ; RUN: | llvm-objdump -d --symbolize -x86-asm-syntax=intel - | FileCheck %s |
10 ; RUN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s | 10 ; RUN: %p2i -i %s -a --verbose none | FileCheck --check-prefix=ERRORS %s |
11 ; RUN: %llvm2iceinsts %s | %szdiff %s | FileCheck --check-prefix=DUMP %s | 11 ; RUN: %p2i -i %s --insts | %szdiff %s | FileCheck --check-prefix=DUMP %s |
12 ; RUN: %llvm2iceinsts --pnacl %s | %szdiff %s \ | |
13 ; RUN: | FileCheck --check-prefix=DUMP %s | |
14 | 12 |
15 ; Check that sext elimination occurs when the result of the comparison | 13 ; Check that sext elimination occurs when the result of the comparison |
16 ; instruction is alrady sign extended. Sign extension to 4 x i32 uses | 14 ; instruction is alrady sign extended. Sign extension to 4 x i32 uses |
17 ; the pslld instruction. | 15 ; the pslld instruction. |
18 define <4 x i32> @sextElimination(<4 x float> %a, <4 x float> %b) { | 16 define <4 x i32> @sextElimination(<4 x float> %a, <4 x float> %b) { |
19 entry: | 17 entry: |
20 %res.trunc = fcmp oeq <4 x float> %a, %b | 18 %res.trunc = fcmp oeq <4 x float> %a, %b |
21 %res = sext <4 x i1> %res.trunc to <4 x i32> | 19 %res = sext <4 x i1> %res.trunc to <4 x i32> |
22 ret <4 x i32> %res | 20 ret <4 x i32> %res |
23 ; CHECK-LABEL: sextElimination: | 21 ; CHECK-LABEL: sextElimination: |
(...skipping 145 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
169 %res.trunc = fcmp uno <4 x float> %a, %b | 167 %res.trunc = fcmp uno <4 x float> %a, %b |
170 %res = sext <4 x i1> %res.trunc to <4 x i32> | 168 %res = sext <4 x i1> %res.trunc to <4 x i32> |
171 ret <4 x i32> %res | 169 ret <4 x i32> %res |
172 ; CHECK-LABEL: fcmpUnoVector: | 170 ; CHECK-LABEL: fcmpUnoVector: |
173 ; CHECK: cmpunordps | 171 ; CHECK: cmpunordps |
174 } | 172 } |
175 | 173 |
176 ; ERRORS-NOT: ICE translation error | 174 ; ERRORS-NOT: ICE translation error |
177 ; DUMP-NOT: SZ | 175 ; DUMP-NOT: SZ |
178 | 176 |
OLD | NEW |