]> granicus.if.org Git - llvm/commitdiff
[InstCombine] auto-generate complete test checks; NFC
authorSanjay Patel <spatel@rotateright.com>
Thu, 13 Jun 2019 18:14:49 +0000 (18:14 +0000)
committerSanjay Patel <spatel@rotateright.com>
Thu, 13 Jun 2019 18:14:49 +0000 (18:14 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@363286 91177308-0d34-0410-b5e6-96231b3b80d8

test/Transforms/InstCombine/sqrt.ll

index bf44e4f841ce37ef42ab2ea93b6a5cf49dc0df5e..57719eb8a08b47261ff0a86bed65be29bfcea086 100644 (file)
@@ -1,43 +1,41 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt -S -instcombine < %s | FileCheck %s
 
 define float @test1(float %x) nounwind readnone ssp {
-entry:
 ; CHECK-LABEL: @test1(
-; CHECK-NOT: fpext
-; CHECK-NOT: sqrt(
-; CHECK: sqrtf(
-; CHECK-NOT: fptrunc
-  %conv = fpext float %x to double                ; <double> [#uses=1]
-  %call = tail call double @sqrt(double %conv) readnone nounwind ; <double> [#uses=1]
-  %conv1 = fptrunc double %call to float          ; <float> [#uses=1]
-; CHECK: ret float
+; CHECK-NEXT:    [[SQRTF:%.*]] = call float @sqrtf(float [[X:%.*]]) #3
+; CHECK-NEXT:    ret float [[SQRTF]]
+;
+  %conv = fpext float %x to double
+  %call = tail call double @sqrt(double %conv) readnone nounwind
+  %conv1 = fptrunc double %call to float
   ret float %conv1
 }
 
 ; PR8096
+
 define float @test2(float %x) nounwind readnone ssp {
-entry:
 ; CHECK-LABEL: @test2(
-; CHECK-NOT: fpext
-; CHECK-NOT: sqrt(
-; CHECK: sqrtf(
-; CHECK-NOT: fptrunc
-  %conv = fpext float %x to double                ; <double> [#uses=1]
-  %call = tail call double @sqrt(double %conv) nounwind ; <double> [#uses=1]
-  %conv1 = fptrunc double %call to float          ; <float> [#uses=1]
-; CHECK: ret float
+; CHECK-NEXT:    [[SQRTF:%.*]] = call float @sqrtf(float [[X:%.*]]) #3
+; CHECK-NEXT:    ret float [[SQRTF]]
+;
+  %conv = fpext float %x to double
+  %call = tail call double @sqrt(double %conv) nounwind
+  %conv1 = fptrunc double %call to float
   ret float %conv1
 }
 
 ; rdar://9763193
 ; Can't fold (fptrunc (sqrt (fpext x))) -> (sqrtf x) since there is another
 ; use of sqrt result.
+
 define float @test3(float* %v) nounwind uwtable ssp {
-entry:
 ; CHECK-LABEL: @test3(
-; CHECK: sqrt(
-; CHECK-NOT: sqrtf(
-; CHECK: fptrunc
+; CHECK-NEXT:    [[CALL34:%.*]] = call double @sqrt(double 0x7FF8000000000000) #3
+; CHECK-NEXT:    [[CALL36:%.*]] = call i32 @foo(double [[CALL34]]) #4
+; CHECK-NEXT:    [[CONV38:%.*]] = fptrunc double [[CALL34]] to float
+; CHECK-NEXT:    ret float [[CONV38]]
+;
   %arrayidx13 = getelementptr inbounds float, float* %v, i64 2
   %tmp14 = load float, float* %arrayidx13
   %mul18 = fmul float %tmp14, %tmp14
@@ -50,5 +48,4 @@ entry:
 }
 
 declare i32 @foo(double)
-
 declare double @sqrt(double) readnone