From 3854a5d90fee52af1065edbed34521fff6cdc18d Mon Sep 17 00:00:00 2001 From: Michael Ilseman Date: Thu, 7 Feb 2013 23:01:35 +0000 Subject: Have InstCombine call SipmlifyCall when handling calls. Test case included. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@174675 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/InstCombine/intrinsics.ll | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) (limited to 'test/Transforms/InstCombine/intrinsics.ll') diff --git a/test/Transforms/InstCombine/intrinsics.ll b/test/Transforms/InstCombine/intrinsics.ll index f334b3b1e9..6bfea72f41 100644 --- a/test/Transforms/InstCombine/intrinsics.ll +++ b/test/Transforms/InstCombine/intrinsics.ll @@ -152,8 +152,8 @@ entry: ret void ; CHECK: @powi ; CHECK: %A = fdiv double 1.0{{.*}}, %V -; CHECK: store volatile double %A, -; CHECK: store volatile double 1.0 +; CHECK: store volatile double %A, +; CHECK: store volatile double 1.0 ; CHECK: store volatile double %V } @@ -256,3 +256,15 @@ define i32 @cttz_select(i32 %Value) nounwind { ; CHECK: @cttz_select ; CHECK: select i1 %tobool, i32 %cttz, i32 32 } + +; Test that SimplifyCall is getting invoked by InstCombine +declare float @llvm.fabs.f32(float) nounwind readnone +define float @simplify_idempotent(float %a) { +; CHECK: @simplify_idempotent +; CHECK: fabs +; CHECK-NOT: fabs + %a0 = call float @llvm.fabs.f32(float %a) + %a1 = call float @llvm.fabs.f32(float %a0) + + ret float %a1 +} \ No newline at end of file -- cgit v1.2.3