mirror of
https://github.com/RPCS3/llvm.git
synced 2024-12-29 16:04:33 +00:00
9c598cfebc
We were completely ignoring the unorder/ordered attributes of condition codes and also incorrectly lowering seto and setuo. Reviewed-by: Vincent Lejeune<vljn at ovi.com> git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@191603 91177308-0d34-0410-b5e6-96231b3b80d8
162 lines
5.0 KiB
LLVM
162 lines
5.0 KiB
LLVM
; RUN: llc < %s -march=r600 -mcpu=redwood | FileCheck %s
|
|
|
|
; These tests check that floating point comparisons which are used by select
|
|
; to store integer true (-1) and false (0) values are lowered to one of the
|
|
; SET*DX10 instructions.
|
|
|
|
; CHECK: @fcmp_une_select_fptosi
|
|
; CHECK: SETNE_DX10 {{\** *}}T{{[0-9]+\.[XYZW]}}, KC0[2].Z, literal.x,
|
|
; CHECK-NEXT: LSHR
|
|
; CHECK-NEXT: 1084227584(5.000000e+00)
|
|
define void @fcmp_une_select_fptosi(i32 addrspace(1)* %out, float %in) {
|
|
entry:
|
|
%0 = fcmp une float %in, 5.0
|
|
%1 = select i1 %0, float 1.000000e+00, float 0.000000e+00
|
|
%2 = fsub float -0.000000e+00, %1
|
|
%3 = fptosi float %2 to i32
|
|
store i32 %3, i32 addrspace(1)* %out
|
|
ret void
|
|
}
|
|
|
|
; CHECK: @fcmp_une_select_i32
|
|
; CHECK: SETNE_DX10 {{\** *}}T{{[0-9]+\.[XYZW]}}, KC0[2].Z, literal.x,
|
|
; CHECK-NEXT: LSHR
|
|
; CHECK-NEXT: 1084227584(5.000000e+00)
|
|
define void @fcmp_une_select_i32(i32 addrspace(1)* %out, float %in) {
|
|
entry:
|
|
%0 = fcmp une float %in, 5.0
|
|
%1 = select i1 %0, i32 -1, i32 0
|
|
store i32 %1, i32 addrspace(1)* %out
|
|
ret void
|
|
}
|
|
|
|
; CHECK: @fcmp_oeq_select_fptosi
|
|
; CHECK: SETE_DX10 {{\** *}}T{{[0-9]+\.[XYZW]}}, KC0[2].Z, literal.x,
|
|
; CHECK-NEXT: LSHR
|
|
; CHECK-NEXT: 1084227584(5.000000e+00)
|
|
define void @fcmp_oeq_select_fptosi(i32 addrspace(1)* %out, float %in) {
|
|
entry:
|
|
%0 = fcmp oeq float %in, 5.0
|
|
%1 = select i1 %0, float 1.000000e+00, float 0.000000e+00
|
|
%2 = fsub float -0.000000e+00, %1
|
|
%3 = fptosi float %2 to i32
|
|
store i32 %3, i32 addrspace(1)* %out
|
|
ret void
|
|
}
|
|
|
|
; CHECK: @fcmp_oeq_select_i32
|
|
; CHECK: SETE_DX10 {{\** *}}T{{[0-9]+\.[XYZW]}}, KC0[2].Z, literal.x,
|
|
; CHECK-NEXT: LSHR
|
|
; CHECK-NEXT: 1084227584(5.000000e+00)
|
|
define void @fcmp_oeq_select_i32(i32 addrspace(1)* %out, float %in) {
|
|
entry:
|
|
%0 = fcmp oeq float %in, 5.0
|
|
%1 = select i1 %0, i32 -1, i32 0
|
|
store i32 %1, i32 addrspace(1)* %out
|
|
ret void
|
|
}
|
|
|
|
; CHECK: @fcmp_ogt_select_fptosi
|
|
; CHECK: SETGT_DX10 {{\** *}}T{{[0-9]+\.[XYZW]}}, KC0[2].Z, literal.x,
|
|
; CHECK-NEXT: LSHR
|
|
; CHECK-NEXT: 1084227584(5.000000e+00)
|
|
define void @fcmp_ogt_select_fptosi(i32 addrspace(1)* %out, float %in) {
|
|
entry:
|
|
%0 = fcmp ogt float %in, 5.0
|
|
%1 = select i1 %0, float 1.000000e+00, float 0.000000e+00
|
|
%2 = fsub float -0.000000e+00, %1
|
|
%3 = fptosi float %2 to i32
|
|
store i32 %3, i32 addrspace(1)* %out
|
|
ret void
|
|
}
|
|
|
|
; CHECK: @fcmp_ogt_select_i32
|
|
; CHECK: SETGT_DX10 {{\** *}}T{{[0-9]+\.[XYZW]}}, KC0[2].Z, literal.x,
|
|
; CHECK-NEXT: LSHR
|
|
; CHECK-NEXT: 1084227584(5.000000e+00)
|
|
define void @fcmp_ogt_select_i32(i32 addrspace(1)* %out, float %in) {
|
|
entry:
|
|
%0 = fcmp ogt float %in, 5.0
|
|
%1 = select i1 %0, i32 -1, i32 0
|
|
store i32 %1, i32 addrspace(1)* %out
|
|
ret void
|
|
}
|
|
|
|
; CHECK: @fcmp_oge_select_fptosi
|
|
; CHECK: SETGE_DX10 {{\** *}}T{{[0-9]+\.[XYZW]}}, KC0[2].Z, literal.x,
|
|
; CHECK-NEXT: LSHR
|
|
; CHECK-NEXT: 1084227584(5.000000e+00)
|
|
define void @fcmp_oge_select_fptosi(i32 addrspace(1)* %out, float %in) {
|
|
entry:
|
|
%0 = fcmp oge float %in, 5.0
|
|
%1 = select i1 %0, float 1.000000e+00, float 0.000000e+00
|
|
%2 = fsub float -0.000000e+00, %1
|
|
%3 = fptosi float %2 to i32
|
|
store i32 %3, i32 addrspace(1)* %out
|
|
ret void
|
|
}
|
|
|
|
; CHECK: @fcmp_oge_select_i32
|
|
; CHECK: SETGE_DX10 {{\** *}}T{{[0-9]+\.[XYZW]}}, KC0[2].Z, literal.x,
|
|
; CHECK-NEXT: LSHR
|
|
; CHECK-NEXT: 1084227584(5.000000e+00)
|
|
define void @fcmp_oge_select_i32(i32 addrspace(1)* %out, float %in) {
|
|
entry:
|
|
%0 = fcmp oge float %in, 5.0
|
|
%1 = select i1 %0, i32 -1, i32 0
|
|
store i32 %1, i32 addrspace(1)* %out
|
|
ret void
|
|
}
|
|
|
|
; CHECK: @fcmp_ole_select_fptosi
|
|
; CHECK: SETGE_DX10 {{\** *}}T{{[0-9]+\.[XYZW]}}, literal.x, KC0[2].Z,
|
|
; CHECK-NEXT: LSHR
|
|
; CHECK-NEXT: 1084227584(5.000000e+00)
|
|
define void @fcmp_ole_select_fptosi(i32 addrspace(1)* %out, float %in) {
|
|
entry:
|
|
%0 = fcmp ole float %in, 5.0
|
|
%1 = select i1 %0, float 1.000000e+00, float 0.000000e+00
|
|
%2 = fsub float -0.000000e+00, %1
|
|
%3 = fptosi float %2 to i32
|
|
store i32 %3, i32 addrspace(1)* %out
|
|
ret void
|
|
}
|
|
|
|
; CHECK: @fcmp_ole_select_i32
|
|
; CHECK: SETGE_DX10 {{\** *}}T{{[0-9]+\.[XYZW]}}, literal.x, KC0[2].Z,
|
|
; CHECK-NEXT: LSHR
|
|
; CHECK-NEXT: 1084227584(5.000000e+00)
|
|
define void @fcmp_ole_select_i32(i32 addrspace(1)* %out, float %in) {
|
|
entry:
|
|
%0 = fcmp ole float %in, 5.0
|
|
%1 = select i1 %0, i32 -1, i32 0
|
|
store i32 %1, i32 addrspace(1)* %out
|
|
ret void
|
|
}
|
|
|
|
; CHECK: @fcmp_olt_select_fptosi
|
|
; CHECK: SETGT_DX10 {{\** *}}T{{[0-9]+\.[XYZW]}}, literal.x, KC0[2].Z,
|
|
; CHECK-NEXT: LSHR
|
|
; CHECK-NEXT: 1084227584(5.000000e+00)
|
|
define void @fcmp_olt_select_fptosi(i32 addrspace(1)* %out, float %in) {
|
|
entry:
|
|
%0 = fcmp olt float %in, 5.0
|
|
%1 = select i1 %0, float 1.000000e+00, float 0.000000e+00
|
|
%2 = fsub float -0.000000e+00, %1
|
|
%3 = fptosi float %2 to i32
|
|
store i32 %3, i32 addrspace(1)* %out
|
|
ret void
|
|
}
|
|
|
|
; CHECK: @fcmp_olt_select_i32
|
|
; CHECK: SETGT_DX10 {{\** *}}T{{[0-9]+\.[XYZW]}}, literal.x, KC0[2].Z,
|
|
; CHECK-NEXT: LSHR
|
|
; CHECK-NEXT: 1084227584(5.000000e+00)
|
|
define void @fcmp_olt_select_i32(i32 addrspace(1)* %out, float %in) {
|
|
entry:
|
|
%0 = fcmp olt float %in, 5.0
|
|
%1 = select i1 %0, i32 -1, i32 0
|
|
store i32 %1, i32 addrspace(1)* %out
|
|
ret void
|
|
}
|