mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-24 21:42:54 +02:00
423048100e
...because that's what the cost model was intended to do. As discussed in D12882, this fix has a temporary unintended consequence for SimplifyCFG: it causes us to not speculate an fdiv. However, two wrongs make PR24818 right, and two wrongs make PR24343 act right even though it's really still wrong. I intend to correct SimplifyCFG and add to CodeGenPrepare to account for this cost model change and preserve the righteousness for the bug report cases. https://llvm.org/bugs/show_bug.cgi?id=24818 https://llvm.org/bugs/show_bug.cgi?id=24343 Differential Revision: http://reviews.llvm.org/D12882 llvm-svn: 248439
138 lines
5.2 KiB
LLVM
138 lines
5.2 KiB
LLVM
; RUN: opt -S -simplifycfg -phi-node-folding-threshold=2 < %s | FileCheck %s
|
|
|
|
declare float @llvm.sqrt.f32(float) nounwind readonly
|
|
declare float @llvm.fma.f32(float, float, float) nounwind readonly
|
|
declare float @llvm.fmuladd.f32(float, float, float) nounwind readonly
|
|
declare float @llvm.fabs.f32(float) nounwind readonly
|
|
declare float @llvm.minnum.f32(float, float) nounwind readonly
|
|
declare float @llvm.maxnum.f32(float, float) nounwind readonly
|
|
|
|
; FIXME: This is intended to be a temporary test. As discussed in
|
|
; D12882, we actually do want to speculate even expensive operations
|
|
; in SimplifyCFG because it can expose more optimizations for other
|
|
; passes. Therefore, we either need to adjust SimplifyCFG's
|
|
; calculations that use the TTI cost model or use a different cost
|
|
; model for deciding which ops should be speculated in SimplifyCFG.
|
|
; We should also be using the TTI cost model later - for example in
|
|
; CodeGenPrepare - to potentially undo this speculation.
|
|
|
|
; Do not speculate fdiv by default because it is generally expensive.
|
|
|
|
; CHECK-LABEL: @fdiv_test(
|
|
; CHECK-NOT: select
|
|
define double @fdiv_test(double %a, double %b) {
|
|
entry:
|
|
%cmp = fcmp ogt double %a, 0.0
|
|
br i1 %cmp, label %cond.true, label %cond.end
|
|
|
|
cond.true:
|
|
%div = fdiv double %b, %a
|
|
br label %cond.end
|
|
|
|
cond.end:
|
|
%cond = phi double [ %div, %cond.true ], [ 0.0, %entry ]
|
|
ret double %cond
|
|
}
|
|
|
|
; CHECK-LABEL: @sqrt_test(
|
|
; CHECK: select
|
|
define void @sqrt_test(float addrspace(1)* noalias nocapture %out, float %a) nounwind {
|
|
entry:
|
|
%cmp.i = fcmp olt float %a, 0.000000e+00
|
|
br i1 %cmp.i, label %test_sqrt.exit, label %cond.else.i
|
|
|
|
cond.else.i: ; preds = %entry
|
|
%0 = tail call float @llvm.sqrt.f32(float %a) nounwind readnone
|
|
br label %test_sqrt.exit
|
|
|
|
test_sqrt.exit: ; preds = %cond.else.i, %entry
|
|
%cond.i = phi float [ %0, %cond.else.i ], [ 0x7FF8000000000000, %entry ]
|
|
store float %cond.i, float addrspace(1)* %out, align 4
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: @fabs_test(
|
|
; CHECK: select
|
|
define void @fabs_test(float addrspace(1)* noalias nocapture %out, float %a) nounwind {
|
|
entry:
|
|
%cmp.i = fcmp olt float %a, 0.000000e+00
|
|
br i1 %cmp.i, label %test_fabs.exit, label %cond.else.i
|
|
|
|
cond.else.i: ; preds = %entry
|
|
%0 = tail call float @llvm.fabs.f32(float %a) nounwind readnone
|
|
br label %test_fabs.exit
|
|
|
|
test_fabs.exit: ; preds = %cond.else.i, %entry
|
|
%cond.i = phi float [ %0, %cond.else.i ], [ 0x7FF8000000000000, %entry ]
|
|
store float %cond.i, float addrspace(1)* %out, align 4
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: @fma_test(
|
|
; CHECK: select
|
|
define void @fma_test(float addrspace(1)* noalias nocapture %out, float %a, float %b, float %c) nounwind {
|
|
entry:
|
|
%cmp.i = fcmp olt float %a, 0.000000e+00
|
|
br i1 %cmp.i, label %test_fma.exit, label %cond.else.i
|
|
|
|
cond.else.i: ; preds = %entry
|
|
%0 = tail call float @llvm.fma.f32(float %a, float %b, float %c) nounwind readnone
|
|
br label %test_fma.exit
|
|
|
|
test_fma.exit: ; preds = %cond.else.i, %entry
|
|
%cond.i = phi float [ %0, %cond.else.i ], [ 0x7FF8000000000000, %entry ]
|
|
store float %cond.i, float addrspace(1)* %out, align 4
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: @fmuladd_test(
|
|
; CHECK: select
|
|
define void @fmuladd_test(float addrspace(1)* noalias nocapture %out, float %a, float %b, float %c) nounwind {
|
|
entry:
|
|
%cmp.i = fcmp olt float %a, 0.000000e+00
|
|
br i1 %cmp.i, label %test_fmuladd.exit, label %cond.else.i
|
|
|
|
cond.else.i: ; preds = %entry
|
|
%0 = tail call float @llvm.fmuladd.f32(float %a, float %b, float %c) nounwind readnone
|
|
br label %test_fmuladd.exit
|
|
|
|
test_fmuladd.exit: ; preds = %cond.else.i, %entry
|
|
%cond.i = phi float [ %0, %cond.else.i ], [ 0x7FF8000000000000, %entry ]
|
|
store float %cond.i, float addrspace(1)* %out, align 4
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: @minnum_test(
|
|
; CHECK: select
|
|
define void @minnum_test(float addrspace(1)* noalias nocapture %out, float %a, float %b) nounwind {
|
|
entry:
|
|
%cmp.i = fcmp olt float %a, 0.000000e+00
|
|
br i1 %cmp.i, label %test_minnum.exit, label %cond.else.i
|
|
|
|
cond.else.i: ; preds = %entry
|
|
%0 = tail call float @llvm.minnum.f32(float %a, float %b) nounwind readnone
|
|
br label %test_minnum.exit
|
|
|
|
test_minnum.exit: ; preds = %cond.else.i, %entry
|
|
%cond.i = phi float [ %0, %cond.else.i ], [ 0x7FF8000000000000, %entry ]
|
|
store float %cond.i, float addrspace(1)* %out, align 4
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: @maxnum_test(
|
|
; CHECK: select
|
|
define void @maxnum_test(float addrspace(1)* noalias nocapture %out, float %a, float %b) nounwind {
|
|
entry:
|
|
%cmp.i = fcmp olt float %a, 0.000000e+00
|
|
br i1 %cmp.i, label %test_maxnum.exit, label %cond.else.i
|
|
|
|
cond.else.i: ; preds = %entry
|
|
%0 = tail call float @llvm.maxnum.f32(float %a, float %b) nounwind readnone
|
|
br label %test_maxnum.exit
|
|
|
|
test_maxnum.exit: ; preds = %cond.else.i, %entry
|
|
%cond.i = phi float [ %0, %cond.else.i ], [ 0x7FF8000000000000, %entry ]
|
|
store float %cond.i, float addrspace(1)* %out, align 4
|
|
ret void
|
|
}
|