mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-02-01 05:01:59 +01:00
f23376ed86
We can replace "scalar" FP-bitwise-logic with other forms of bitwise-logic instructions. Scalar SSE/AVX FP-logic instructions only exist in your imagination and/or the bowels of compilers, but logically equivalent int, float, and double variants of bitwise-logic instructions are reality in x86, and the float variant may be a shorter instruction depending on which flavor (SSE or AVX) of vector ISA you have...so just prefer float all the time. This is a preliminary step towards solving PR6137: https://llvm.org/bugs/show_bug.cgi?id=6137 Differential Revision: https://reviews.llvm.org/D26712 llvm-svn: 287122
234 lines
6.1 KiB
LLVM
234 lines
6.1 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=sse4.2 | FileCheck %s
|
|
|
|
define double @test1(double %a, double %b, double %eps) {
|
|
; CHECK-LABEL: test1:
|
|
; CHECK: # BB#0:
|
|
; CHECK-NEXT: cmpltsd %xmm2, %xmm0
|
|
; CHECK-NEXT: andps %xmm1, %xmm0
|
|
; CHECK-NEXT: retq
|
|
;
|
|
%cmp = fcmp olt double %a, %eps
|
|
%cond = select i1 %cmp, double %b, double 0.000000e+00
|
|
ret double %cond
|
|
}
|
|
|
|
define double @test2(double %a, double %b, double %eps) {
|
|
; CHECK-LABEL: test2:
|
|
; CHECK: # BB#0:
|
|
; CHECK-NEXT: cmplesd %xmm2, %xmm0
|
|
; CHECK-NEXT: andps %xmm1, %xmm0
|
|
; CHECK-NEXT: retq
|
|
;
|
|
%cmp = fcmp ole double %a, %eps
|
|
%cond = select i1 %cmp, double %b, double 0.000000e+00
|
|
ret double %cond
|
|
}
|
|
|
|
define double @test3(double %a, double %b, double %eps) {
|
|
; CHECK-LABEL: test3:
|
|
; CHECK: # BB#0:
|
|
; CHECK-NEXT: cmpltsd %xmm0, %xmm2
|
|
; CHECK-NEXT: andps %xmm1, %xmm2
|
|
; CHECK-NEXT: movaps %xmm2, %xmm0
|
|
; CHECK-NEXT: retq
|
|
;
|
|
%cmp = fcmp ogt double %a, %eps
|
|
%cond = select i1 %cmp, double %b, double 0.000000e+00
|
|
ret double %cond
|
|
}
|
|
|
|
define double @test4(double %a, double %b, double %eps) {
|
|
; CHECK-LABEL: test4:
|
|
; CHECK: # BB#0:
|
|
; CHECK-NEXT: cmplesd %xmm0, %xmm2
|
|
; CHECK-NEXT: andps %xmm1, %xmm2
|
|
; CHECK-NEXT: movaps %xmm2, %xmm0
|
|
; CHECK-NEXT: retq
|
|
;
|
|
%cmp = fcmp oge double %a, %eps
|
|
%cond = select i1 %cmp, double %b, double 0.000000e+00
|
|
ret double %cond
|
|
}
|
|
|
|
define double @test5(double %a, double %b, double %eps) {
|
|
; CHECK-LABEL: test5:
|
|
; CHECK: # BB#0:
|
|
; CHECK-NEXT: cmpltsd %xmm2, %xmm0
|
|
; CHECK-NEXT: andnps %xmm1, %xmm0
|
|
; CHECK-NEXT: retq
|
|
;
|
|
%cmp = fcmp olt double %a, %eps
|
|
%cond = select i1 %cmp, double 0.000000e+00, double %b
|
|
ret double %cond
|
|
}
|
|
|
|
define double @test6(double %a, double %b, double %eps) {
|
|
; CHECK-LABEL: test6:
|
|
; CHECK: # BB#0:
|
|
; CHECK-NEXT: cmplesd %xmm2, %xmm0
|
|
; CHECK-NEXT: andnps %xmm1, %xmm0
|
|
; CHECK-NEXT: retq
|
|
;
|
|
%cmp = fcmp ole double %a, %eps
|
|
%cond = select i1 %cmp, double 0.000000e+00, double %b
|
|
ret double %cond
|
|
}
|
|
|
|
define double @test7(double %a, double %b, double %eps) {
|
|
; CHECK-LABEL: test7:
|
|
; CHECK: # BB#0:
|
|
; CHECK-NEXT: cmpltsd %xmm0, %xmm2
|
|
; CHECK-NEXT: andnps %xmm1, %xmm2
|
|
; CHECK-NEXT: movaps %xmm2, %xmm0
|
|
; CHECK-NEXT: retq
|
|
;
|
|
%cmp = fcmp ogt double %a, %eps
|
|
%cond = select i1 %cmp, double 0.000000e+00, double %b
|
|
ret double %cond
|
|
}
|
|
|
|
define double @test8(double %a, double %b, double %eps) {
|
|
; CHECK-LABEL: test8:
|
|
; CHECK: # BB#0:
|
|
; CHECK-NEXT: cmplesd %xmm0, %xmm2
|
|
; CHECK-NEXT: andnps %xmm1, %xmm2
|
|
; CHECK-NEXT: movaps %xmm2, %xmm0
|
|
; CHECK-NEXT: retq
|
|
;
|
|
%cmp = fcmp oge double %a, %eps
|
|
%cond = select i1 %cmp, double 0.000000e+00, double %b
|
|
ret double %cond
|
|
}
|
|
|
|
define float @test9(float %a, float %b, float %eps) {
|
|
; CHECK-LABEL: test9:
|
|
; CHECK: # BB#0:
|
|
; CHECK-NEXT: cmpltss %xmm2, %xmm0
|
|
; CHECK-NEXT: andps %xmm1, %xmm0
|
|
; CHECK-NEXT: retq
|
|
;
|
|
%cmp = fcmp olt float %a, %eps
|
|
%cond = select i1 %cmp, float %b, float 0.000000e+00
|
|
ret float %cond
|
|
}
|
|
|
|
define float @test10(float %a, float %b, float %eps) {
|
|
; CHECK-LABEL: test10:
|
|
; CHECK: # BB#0:
|
|
; CHECK-NEXT: cmpless %xmm2, %xmm0
|
|
; CHECK-NEXT: andps %xmm1, %xmm0
|
|
; CHECK-NEXT: retq
|
|
;
|
|
%cmp = fcmp ole float %a, %eps
|
|
%cond = select i1 %cmp, float %b, float 0.000000e+00
|
|
ret float %cond
|
|
}
|
|
|
|
define float @test11(float %a, float %b, float %eps) {
|
|
; CHECK-LABEL: test11:
|
|
; CHECK: # BB#0:
|
|
; CHECK-NEXT: cmpltss %xmm0, %xmm2
|
|
; CHECK-NEXT: andps %xmm1, %xmm2
|
|
; CHECK-NEXT: movaps %xmm2, %xmm0
|
|
; CHECK-NEXT: retq
|
|
;
|
|
%cmp = fcmp ogt float %a, %eps
|
|
%cond = select i1 %cmp, float %b, float 0.000000e+00
|
|
ret float %cond
|
|
}
|
|
|
|
define float @test12(float %a, float %b, float %eps) {
|
|
; CHECK-LABEL: test12:
|
|
; CHECK: # BB#0:
|
|
; CHECK-NEXT: cmpless %xmm0, %xmm2
|
|
; CHECK-NEXT: andps %xmm1, %xmm2
|
|
; CHECK-NEXT: movaps %xmm2, %xmm0
|
|
; CHECK-NEXT: retq
|
|
;
|
|
%cmp = fcmp oge float %a, %eps
|
|
%cond = select i1 %cmp, float %b, float 0.000000e+00
|
|
ret float %cond
|
|
}
|
|
|
|
define float @test13(float %a, float %b, float %eps) {
|
|
; CHECK-LABEL: test13:
|
|
; CHECK: # BB#0:
|
|
; CHECK-NEXT: cmpltss %xmm2, %xmm0
|
|
; CHECK-NEXT: andnps %xmm1, %xmm0
|
|
; CHECK-NEXT: retq
|
|
;
|
|
%cmp = fcmp olt float %a, %eps
|
|
%cond = select i1 %cmp, float 0.000000e+00, float %b
|
|
ret float %cond
|
|
}
|
|
|
|
define float @test14(float %a, float %b, float %eps) {
|
|
; CHECK-LABEL: test14:
|
|
; CHECK: # BB#0:
|
|
; CHECK-NEXT: cmpless %xmm2, %xmm0
|
|
; CHECK-NEXT: andnps %xmm1, %xmm0
|
|
; CHECK-NEXT: retq
|
|
;
|
|
%cmp = fcmp ole float %a, %eps
|
|
%cond = select i1 %cmp, float 0.000000e+00, float %b
|
|
ret float %cond
|
|
}
|
|
|
|
define float @test15(float %a, float %b, float %eps) {
|
|
; CHECK-LABEL: test15:
|
|
; CHECK: # BB#0:
|
|
; CHECK-NEXT: cmpltss %xmm0, %xmm2
|
|
; CHECK-NEXT: andnps %xmm1, %xmm2
|
|
; CHECK-NEXT: movaps %xmm2, %xmm0
|
|
; CHECK-NEXT: retq
|
|
;
|
|
%cmp = fcmp ogt float %a, %eps
|
|
%cond = select i1 %cmp, float 0.000000e+00, float %b
|
|
ret float %cond
|
|
}
|
|
|
|
define float @test16(float %a, float %b, float %eps) {
|
|
; CHECK-LABEL: test16:
|
|
; CHECK: # BB#0:
|
|
; CHECK-NEXT: cmpless %xmm0, %xmm2
|
|
; CHECK-NEXT: andnps %xmm1, %xmm2
|
|
; CHECK-NEXT: movaps %xmm2, %xmm0
|
|
; CHECK-NEXT: retq
|
|
;
|
|
%cmp = fcmp oge float %a, %eps
|
|
%cond = select i1 %cmp, float 0.000000e+00, float %b
|
|
ret float %cond
|
|
}
|
|
|
|
define float @test17(float %a, float %b, float %c, float %eps) {
|
|
; CHECK-LABEL: test17:
|
|
; CHECK: # BB#0:
|
|
; CHECK-NEXT: cmpless %xmm0, %xmm3
|
|
; CHECK-NEXT: andps %xmm3, %xmm2
|
|
; CHECK-NEXT: andnps %xmm1, %xmm3
|
|
; CHECK-NEXT: orps %xmm2, %xmm3
|
|
; CHECK-NEXT: movaps %xmm3, %xmm0
|
|
; CHECK-NEXT: retq
|
|
;
|
|
%cmp = fcmp oge float %a, %eps
|
|
%cond = select i1 %cmp, float %c, float %b
|
|
ret float %cond
|
|
}
|
|
|
|
define double @test18(double %a, double %b, double %c, double %eps) {
|
|
; CHECK-LABEL: test18:
|
|
; CHECK: # BB#0:
|
|
; CHECK-NEXT: cmplesd %xmm0, %xmm3
|
|
; CHECK-NEXT: andps %xmm3, %xmm2
|
|
; CHECK-NEXT: andnps %xmm1, %xmm3
|
|
; CHECK-NEXT: orps %xmm2, %xmm3
|
|
; CHECK-NEXT: movaps %xmm3, %xmm0
|
|
; CHECK-NEXT: retq
|
|
;
|
|
%cmp = fcmp oge double %a, %eps
|
|
%cond = select i1 %cmp, double %c, double %b
|
|
ret double %cond
|
|
}
|
|
|