From b284e8b9b46375c8b1ab55e3a8746242a8284535 Mon Sep 17 00:00:00 2001 From: Craig Topper Date: Mon, 26 Feb 2018 19:36:36 +0000 Subject: [InstCombine] Switch to using FileCheck instead of grep. Auto-generate checks. NFC llvm-svn: 326114 --- llvm/test/Transforms/InstCombine/fpextend.ll | 91 +++++++++++++++++++--------- 1 file changed, 61 insertions(+), 30 deletions(-) (limited to 'llvm/test') 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 ; [#uses=1] - %tmp1 = fpext float %tmp to double ; [#uses=1] - %tmp3 = fadd double %tmp1, 0.000000e+00 ; [#uses=1] - %tmp34 = fptrunc double %tmp3 to float ; [#uses=1] - store float %tmp34, float* @X, align 4 - ret void + %tmp = load float, float* @X, align 4 ; [#uses=1] + %tmp1 = fpext float %tmp to double ; [#uses=1] + %tmp3 = fadd double %tmp1, 0.000000e+00 ; [#uses=1] + %tmp34 = fptrunc double %tmp3 to 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 ; [#uses=1] - %tmp1 = fpext float %tmp to double ; [#uses=1] - %tmp2 = load float, float* @Y, align 4 ; [#uses=1] - %tmp23 = fpext float %tmp2 to double ; [#uses=1] - %tmp5 = fmul double %tmp1, %tmp23 ; [#uses=1] - %tmp56 = fptrunc double %tmp5 to float ; [#uses=1] - store float %tmp56, float* @X, align 4 - ret void + %tmp = load float, float* @X, align 4 ; [#uses=1] + %tmp1 = fpext float %tmp to double ; [#uses=1] + %tmp2 = load float, float* @Y, align 4 ; [#uses=1] + %tmp23 = fpext float %tmp2 to double ; [#uses=1] + %tmp5 = fmul double %tmp1, %tmp23 ; [#uses=1] + %tmp56 = fptrunc double %tmp5 to 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 ; [#uses=1] - %tmp1 = fpext float %tmp to double ; [#uses=1] - %tmp2 = load float, float* @Y, align 4 ; [#uses=1] - %tmp23 = fpext float %tmp2 to double ; [#uses=1] - %tmp5 = fdiv double %tmp1, %tmp23 ; [#uses=1] - %tmp56 = fptrunc double %tmp5 to float ; [#uses=1] - store float %tmp56, float* @X, align 4 - ret void + %tmp = load float, float* @X, align 4 ; [#uses=1] + %tmp1 = fpext float %tmp to double ; [#uses=1] + %tmp2 = load float, float* @Y, align 4 ; [#uses=1] + %tmp23 = fpext float %tmp2 to double ; [#uses=1] + %tmp5 = fdiv double %tmp1, %tmp23 ; [#uses=1] + %tmp56 = fptrunc double %tmp5 to 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 ; [#uses=1] - %tmp1 = fpext float %tmp to double ; [#uses=1] - %tmp2 = fsub double -0.000000e+00, %tmp1 ; [#uses=1] - %tmp34 = fptrunc double %tmp2 to float ; [#uses=1] - store float %tmp34, float* @X, align 4 - ret void + %tmp = load float, float* @X, align 4 ; [#uses=1] + %tmp1 = fpext float %tmp to double ; [#uses=1] + %tmp2 = fsub double -0.000000e+00, %tmp1 ; [#uses=1] + %tmp34 = fptrunc double %tmp2 to float ; [#uses=1] + store float %tmp34, float* @X, align 4 + ret void } -- cgit v1.2.3