diff options
| -rw-r--r-- | llvm/test/Transforms/InstCombine/fpextend.ll | 91 |
1 files changed, 61 insertions, 30 deletions
diff --git a/llvm/test/Transforms/InstCombine/fpextend.ll b/llvm/test/Transforms/InstCombine/fpextend.ll index 775caadb45a..4f5e8e121a3 100644 --- a/llvm/test/Transforms/InstCombine/fpextend.ll +++ b/llvm/test/Transforms/InstCombine/fpextend.ll @@ -1,48 +1,79 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt < %s -instcombine -S | FileCheck %s -; RUN: opt < %s -instcombine -S | not grep fpext -@X = external global float +@X = external global float @Y = external global float define void @test() nounwind { +; CHECK-LABEL: @test( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[TMP:%.*]] = load float, float* @X, align 4 +; CHECK-NEXT: [[TMP34:%.*]] = fadd float [[TMP]], 0.000000e+00 +; CHECK-NEXT: store float [[TMP34]], float* @X, align 4 +; CHECK-NEXT: ret void +; entry: - %tmp = load float, float* @X, align 4 ; <float> [#uses=1] - %tmp1 = fpext float %tmp to double ; <double> [#uses=1] - %tmp3 = fadd double %tmp1, 0.000000e+00 ; <double> [#uses=1] - %tmp34 = fptrunc double %tmp3 to float ; <float> [#uses=1] - store float %tmp34, float* @X, align 4 - ret void + %tmp = load float, float* @X, align 4 ; <float> [#uses=1] + %tmp1 = fpext float %tmp to double ; <double> [#uses=1] + %tmp3 = fadd double %tmp1, 0.000000e+00 ; <double> [#uses=1] + %tmp34 = fptrunc double %tmp3 to float ; <float> [#uses=1] + store float %tmp34, float* @X, align 4 + ret void } define void @test2() nounwind { +; CHECK-LABEL: @test2( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[TMP:%.*]] = load float, float* @X, align 4 +; CHECK-NEXT: [[TMP2:%.*]] = load float, float* @Y, align 4 +; CHECK-NEXT: [[TMP56:%.*]] = fmul float [[TMP]], [[TMP2]] +; CHECK-NEXT: store float [[TMP56]], float* @X, align 4 +; CHECK-NEXT: ret void +; entry: - %tmp = load float, float* @X, align 4 ; <float> [#uses=1] - %tmp1 = fpext float %tmp to double ; <double> [#uses=1] - %tmp2 = load float, float* @Y, align 4 ; <float> [#uses=1] - %tmp23 = fpext float %tmp2 to double ; <double> [#uses=1] - %tmp5 = fmul double %tmp1, %tmp23 ; <double> [#uses=1] - %tmp56 = fptrunc double %tmp5 to float ; <float> [#uses=1] - store float %tmp56, float* @X, align 4 - ret void + %tmp = load float, float* @X, align 4 ; <float> [#uses=1] + %tmp1 = fpext float %tmp to double ; <double> [#uses=1] + %tmp2 = load float, float* @Y, align 4 ; <float> [#uses=1] + %tmp23 = fpext float %tmp2 to double ; <double> [#uses=1] + %tmp5 = fmul double %tmp1, %tmp23 ; <double> [#uses=1] + %tmp56 = fptrunc double %tmp5 to float ; <float> [#uses=1] + store float %tmp56, float* @X, align 4 + ret void } define void @test3() nounwind { +; CHECK-LABEL: @test3( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[TMP:%.*]] = load float, float* @X, align 4 +; CHECK-NEXT: [[TMP2:%.*]] = load float, float* @Y, align 4 +; CHECK-NEXT: [[TMP56:%.*]] = fdiv float [[TMP]], [[TMP2]] +; CHECK-NEXT: store float [[TMP56]], float* @X, align 4 +; CHECK-NEXT: ret void +; entry: - %tmp = load float, float* @X, align 4 ; <float> [#uses=1] - %tmp1 = fpext float %tmp to double ; <double> [#uses=1] - %tmp2 = load float, float* @Y, align 4 ; <float> [#uses=1] - %tmp23 = fpext float %tmp2 to double ; <double> [#uses=1] - %tmp5 = fdiv double %tmp1, %tmp23 ; <double> [#uses=1] - %tmp56 = fptrunc double %tmp5 to float ; <float> [#uses=1] - store float %tmp56, float* @X, align 4 - ret void + %tmp = load float, float* @X, align 4 ; <float> [#uses=1] + %tmp1 = fpext float %tmp to double ; <double> [#uses=1] + %tmp2 = load float, float* @Y, align 4 ; <float> [#uses=1] + %tmp23 = fpext float %tmp2 to double ; <double> [#uses=1] + %tmp5 = fdiv double %tmp1, %tmp23 ; <double> [#uses=1] + %tmp56 = fptrunc double %tmp5 to float ; <float> [#uses=1] + store float %tmp56, float* @X, align 4 + ret void } define void @test4() nounwind { +; CHECK-LABEL: @test4( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[TMP:%.*]] = load float, float* @X, align 4 +; CHECK-NEXT: [[TMP34:%.*]] = fsub float -0.000000e+00, [[TMP]] +; CHECK-NEXT: store float [[TMP34]], float* @X, align 4 +; CHECK-NEXT: ret void +; entry: - %tmp = load float, float* @X, align 4 ; <float> [#uses=1] - %tmp1 = fpext float %tmp to double ; <double> [#uses=1] - %tmp2 = fsub double -0.000000e+00, %tmp1 ; <double> [#uses=1] - %tmp34 = fptrunc double %tmp2 to float ; <float> [#uses=1] - store float %tmp34, float* @X, align 4 - ret void + %tmp = load float, float* @X, align 4 ; <float> [#uses=1] + %tmp1 = fpext float %tmp to double ; <double> [#uses=1] + %tmp2 = fsub double -0.000000e+00, %tmp1 ; <double> [#uses=1] + %tmp34 = fptrunc double %tmp2 to float ; <float> [#uses=1] + store float %tmp34, float* @X, align 4 + ret void } |
