[InstCombine] Regenerate some fcmp tests to use the update_test_checks.py script

Author: RKSimon

llvm/test/Transforms/InstCombine/2008-05-23-CompareFold.ll

@@ -1,14 +1,17 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
 ; PR2359
 
-; CHECK-LABEL: @f(
-; CHECK: ret i1 false
 define i1 @f(ptr %x) {
+; CHECK-LABEL: @f(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    ret i1 false
+;
 entry:
-       %tmp462 = load i8, ptr %x, align 1          ; <i8> [#uses=1]
-       %tmp462463 = sitofp i8 %tmp462 to float         ; <float> [#uses=1]
-       %tmp464 = fcmp ugt float %tmp462463, 0x47EFFFFFE0000000         ; <i1>
-       ret i1 %tmp464
+  %tmp462 = load i8, ptr %x, align 1          ; <i8> [#uses=1]
+  %tmp462463 = sitofp i8 %tmp462 to float         ; <float> [#uses=1]
+  %tmp464 = fcmp ugt float %tmp462463, 0x47EFFFFFE0000000         ; <i1>
+  ret i1 %tmp464
 }
 
 

llvm/test/Transforms/InstCombine/2008-11-08-FCmp.ll

@@ -1,63 +1,74 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
 ; PR3021
 
 ; When inst combining an FCMP with the LHS coming from a uitofp instruction, we
 ; can't lower it to signed ICMP instructions.
 
-; CHECK-LABEL: @test1(
 define i1 @test1(i32 %val) {
+; CHECK-LABEL: @test1(
+; CHECK-NEXT:    [[TMP1:%.*]] = icmp eq i32 [[VAL:%.*]], 0
+; CHECK-NEXT:    ret i1 [[TMP1]]
+;
   %1 = uitofp i32 %val to double
   %2 = fcmp ole double %1, 0.000000e+00
-; CHECK: icmp eq i32 %val, 0
   ret i1 %2
 }
 
-; CHECK-LABEL: @test2(
 define i1 @test2(i32 %val) {
+; CHECK-LABEL: @test2(
+; CHECK-NEXT:    ret i1 false
+;
   %1 = uitofp i32 %val to double
   %2 = fcmp olt double %1, 0.000000e+00
   ret i1 %2
-; CHECK: ret i1 false
 }
 
-; CHECK-LABEL: @test3(
 define i1 @test3(i32 %val) {
+; CHECK-LABEL: @test3(
+; CHECK-NEXT:    ret i1 true
+;
   %1 = uitofp i32 %val to double
   %2 = fcmp oge double %1, 0.000000e+00
   ret i1 %2
-; CHECK: ret i1 true
 }
 
-; CHECK-LABEL: @test4(
 define i1 @test4(i32 %val) {
+; CHECK-LABEL: @test4(
+; CHECK-NEXT:    [[TMP1:%.*]] = icmp ne i32 [[VAL:%.*]], 0
+; CHECK-NEXT:    ret i1 [[TMP1]]
+;
   %1 = uitofp i32 %val to double
   %2 = fcmp ogt double %1, 0.000000e+00
-; CHECK: icmp ne i32 %val, 0
   ret i1 %2
 }
 
-; CHECK-LABEL: @test5(
 define i1 @test5(i32 %val) {
+; CHECK-LABEL: @test5(
+; CHECK-NEXT:    ret i1 true
+;
   %1 = uitofp i32 %val to double
   %2 = fcmp ogt double %1, -4.400000e+00
   ret i1 %2
-; CHECK: ret i1 true
 }
 
-; CHECK-LABEL: @test6(
 define i1 @test6(i32 %val) {
+; CHECK-LABEL: @test6(
+; CHECK-NEXT:    ret i1 false
+;
   %1 = uitofp i32 %val to double
   %2 = fcmp olt double %1, -4.400000e+00
   ret i1 %2
-; CHECK: ret i1 false
 }
 
 ; Check that optimizing unsigned >= comparisons correctly distinguishes
 ; positive and negative constants.  <rdar://problem/12029145>
-; CHECK-LABEL: @test7(
 define i1 @test7(i32 %val) {
+; CHECK-LABEL: @test7(
+; CHECK-NEXT:    [[TMP1:%.*]] = icmp ugt i32 [[VAL:%.*]], 3
+; CHECK-NEXT:    ret i1 [[TMP1]]
+;
   %1 = uitofp i32 %val to double
   %2 = fcmp oge double %1, 3.200000e+00
   ret i1 %2
-; CHECK: icmp ugt i32 %val, 3
 }

llvm/test/Transforms/InstCombine/2009-05-23-FCmpToICmp.ll

@@ -1,9 +1,13 @@
-; RUN: opt < %s -passes=instcombine -S | not grep cmp
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt < %s -passes=instcombine -S | FileCheck %s
 ; rdar://6903175
 
 define i1 @f0(ptr %a) nounwind {
-       %b = load i32, ptr %a, align 4
-       %c = uitofp i32 %b to double
-       %d = fcmp ogt double %c, 0x41EFFFFFFFE00000
-       ret i1 %d
+; CHECK-LABEL: @f0(
+; CHECK-NEXT:    ret i1 false
+;
+  %b = load i32, ptr %a, align 4
+  %c = uitofp i32 %b to double
+  %d = fcmp ogt double %c, 0x41EFFFFFFFE00000
+  ret i1 %d
 }

llvm/test/Transforms/InstCombine/2012-02-13-FCmp.ll

@@ -1,17 +1,38 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
 ; Radar 10803727
 @.str = private unnamed_addr constant [35 x i8] c"\0Ain_range input (should be 0): %f\0A\00", align 1
 @.str1 = external hidden unnamed_addr constant [35 x i8], align 1
 
 declare i32 @printf(ptr, ...)
 define i64 @_Z8tempCastj(i32 %val) uwtable ssp {
+; CHECK-LABEL: @_Z8tempCastj(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    [[CALL:%.*]] = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str1, i32 [[VAL:%.*]])
+; CHECK-NEXT:    [[CONV:%.*]] = uitofp i32 [[VAL]] to double
+; CHECK-NEXT:    [[CALL_I:%.*]] = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str, double [[CONV]])
+; CHECK-NEXT:    br i1 true, label [[LAND_RHS_I:%.*]], label [[IF_END_CRITEDGE:%.*]]
+; CHECK:       land.rhs.i:
+; CHECK-NEXT:    [[CMP1_I:%.*]] = icmp eq i32 [[VAL]], 0
+; CHECK-NEXT:    br i1 [[CMP1_I]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK:       if.then:
+; CHECK-NEXT:    [[ADD:%.*]] = fadd double [[CONV]], 5.000000e-01
+; CHECK-NEXT:    [[CONV3:%.*]] = fptosi double [[ADD]] to i64
+; CHECK-NEXT:    br label [[RETURN:%.*]]
+; CHECK:       if.end.critedge:
+; CHECK-NEXT:    br label [[IF_END]]
+; CHECK:       if.end:
+; CHECK-NEXT:    br label [[RETURN]]
+; CHECK:       return:
+; CHECK-NEXT:    [[RETVAL_0:%.*]] = phi i64 [ [[CONV3]], [[IF_THEN]] ], [ -1, [[IF_END]] ]
+; CHECK-NEXT:    ret i64 [[RETVAL_0]]
+;
 entry:
   %call = call i32 (ptr, ...) @printf(ptr @.str1, i32 %val)
   %conv = uitofp i32 %val to double
   %call.i = call i32 (ptr, ...) @printf(ptr @.str, double %conv)
   %cmp.i = fcmp oge double %conv, -1.000000e+00
   br i1 %cmp.i, label %land.rhs.i, label %if.end.critedge
-; CHECK:  br i1 true, label %land.rhs.i, label %if.end.critedge
 
 land.rhs.i:                                       ; preds = %entry
   %cmp1.i = fcmp olt double %conv, 1.000000e+00