[llvm] r216736 - Make fabs safe to speculatively execute
Matt Arsenault
Matthew.Arsenault at amd.com
Fri Aug 29 09:01:18 PDT 2014
Author: arsenm
Date: Fri Aug 29 11:01:17 2014
New Revision: 216736
URL: http://llvm.org/viewvc/llvm-project?rev=216736&view=rev
Log:
Make fabs safe to speculatively execute
Modified:
llvm/trunk/lib/Analysis/ValueTracking.cpp
llvm/trunk/test/Transforms/SimplifyCFG/speculate-math.ll
Modified: llvm/trunk/lib/Analysis/ValueTracking.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/ValueTracking.cpp?rev=216736&r1=216735&r2=216736&view=diff
==============================================================================
--- llvm/trunk/lib/Analysis/ValueTracking.cpp (original)
+++ llvm/trunk/lib/Analysis/ValueTracking.cpp Fri Aug 29 11:01:17 2014
@@ -2009,6 +2009,7 @@ bool llvm::isSafeToSpeculativelyExecute(
case Intrinsic::sqrt:
case Intrinsic::fma:
case Intrinsic::fmuladd:
+ case Intrinsic::fabs:
return true;
// TODO: some fp intrinsics are marked as having the same error handling
// as libm. They're safe to speculate when they won't error.
Modified: llvm/trunk/test/Transforms/SimplifyCFG/speculate-math.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/SimplifyCFG/speculate-math.ll?rev=216736&r1=216735&r2=216736&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/SimplifyCFG/speculate-math.ll (original)
+++ llvm/trunk/test/Transforms/SimplifyCFG/speculate-math.ll Fri Aug 29 11:01:17 2014
@@ -3,6 +3,7 @@
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
; CHECK-LABEL: @sqrt_test(
; CHECK: select
@@ -21,6 +22,22 @@ test_sqrt.exit:
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
More information about the llvm-commits
mailing list