regenerate checks

llvm-svn: 271841

test/Transforms/InstCombine/fcmp-special.ll

@@ -1,154 +1,175 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt < %s -instcombine -S | FileCheck %s
 
 ; Infinity
 
-; CHECK: inf0
-; CHECK: ret i1 false
-define i1 @inf0(double %arg) nounwind readnone {
+define i1 @inf0(double %arg) {
+; CHECK-LABEL: @inf0(
+; CHECK-NEXT:    ret i1 false
+;
   %tmp = fcmp ogt double %arg, 0x7FF0000000000000
   ret i1 %tmp
 }
 
-; CHECK: inf1
-; CHECK: ret i1 true
-define i1 @inf1(double %arg) nounwind readnone {
+define i1 @inf1(double %arg) {
+; CHECK-LABEL: @inf1(
+; CHECK-NEXT:    ret i1 true
+;
   %tmp = fcmp ule double %arg, 0x7FF0000000000000
   ret i1 %tmp
 }
 
 ; Negative infinity
 
-; CHECK: ninf0
-; CHECK: ret i1 false
-define i1 @ninf0(double %arg) nounwind readnone {
+define i1 @ninf0(double %arg) {
+; CHECK-LABEL: @ninf0(
+; CHECK-NEXT:    ret i1 false
+;
   %tmp = fcmp olt double %arg, 0xFFF0000000000000
   ret i1 %tmp
 }
 
-; CHECK: ninf1
-; CHECK: ret i1 true
-define i1 @ninf1(double %arg) nounwind readnone {
+define i1 @ninf1(double %arg) {
+; CHECK-LABEL: @ninf1(
+; CHECK-NEXT:    ret i1 true
+;
   %tmp = fcmp uge double %arg, 0xFFF0000000000000
   ret i1 %tmp
 }
 
 ; NaNs
 
-; CHECK: nan0
-; CHECK: ret i1 false
-define i1 @nan0(double %arg) nounwind readnone {
+define i1 @nan0(double %arg) {
+; CHECK-LABEL: @nan0(
+; CHECK-NEXT:    ret i1 false
+;
   %tmp = fcmp ord double %arg, 0x7FF00000FFFFFFFF
   ret i1 %tmp
 }
 
-; CHECK: nan1
-; CHECK: ret i1 false
-define i1 @nan1(double %arg) nounwind readnone {
+define i1 @nan1(double %arg) {
+; CHECK-LABEL: @nan1(
+; CHECK-NEXT:    ret i1 false
+;
   %tmp = fcmp oeq double %arg, 0x7FF00000FFFFFFFF
   ret i1 %tmp
 }
 
-; CHECK: nan2
-; CHECK: ret i1 false
-define i1 @nan2(double %arg) nounwind readnone {
+define i1 @nan2(double %arg) {
+; CHECK-LABEL: @nan2(
+; CHECK-NEXT:    ret i1 false
+;
   %tmp = fcmp olt double %arg, 0x7FF00000FFFFFFFF
   ret i1 %tmp
 }
 
-; CHECK: nan3
-; CHECK: ret i1 true
-define i1 @nan3(double %arg) nounwind readnone {
+define i1 @nan3(double %arg) {
+; CHECK-LABEL: @nan3(
+; CHECK-NEXT:    ret i1 true
+;
   %tmp = fcmp uno double %arg, 0x7FF00000FFFFFFFF
   ret i1 %tmp
 }
 
-; CHECK: nan4
-; CHECK: ret i1 true
-define i1 @nan4(double %arg) nounwind readnone {
+define i1 @nan4(double %arg) {
+; CHECK-LABEL: @nan4(
+; CHECK-NEXT:    ret i1 true
+;
   %tmp = fcmp une double %arg, 0x7FF00000FFFFFFFF
   ret i1 %tmp
 }
 
-; CHECK: nan5
-; CHECK: ret i1 true
-define i1 @nan5(double %arg) nounwind readnone {
+define i1 @nan5(double %arg) {
+; CHECK-LABEL: @nan5(
+; CHECK-NEXT:    ret i1 true
+;
   %tmp = fcmp ult double %arg, 0x7FF00000FFFFFFFF
   ret i1 %tmp
 }
 
 ; Negative NaN.
 
-; CHECK: nnan0
-; CHECK: ret i1 false
-define i1 @nnan0(double %arg) nounwind readnone {
+define i1 @nnan0(double %arg) {
+; CHECK-LABEL: @nnan0(
+; CHECK-NEXT:    ret i1 false
+;
   %tmp = fcmp ord double %arg, 0xFFF00000FFFFFFFF
   ret i1 %tmp
 }
 
-; CHECK: nnan1
-; CHECK: ret i1 false
-define i1 @nnan1(double %arg) nounwind readnone {
+define i1 @nnan1(double %arg) {
+; CHECK-LABEL: @nnan1(
+; CHECK-NEXT:    ret i1 false
+;
   %tmp = fcmp oeq double %arg, 0xFFF00000FFFFFFFF
   ret i1 %tmp
 }
 
-; CHECK: nnan2
-; CHECK: ret i1 false
-define i1 @nnan2(double %arg) nounwind readnone {
+define i1 @nnan2(double %arg) {
+; CHECK-LABEL: @nnan2(
+; CHECK-NEXT:    ret i1 false
+;
   %tmp = fcmp olt double %arg, 0xFFF00000FFFFFFFF
   ret i1 %tmp
 }
 
-; CHECK: nnan3
-; CHECK: ret i1 true
-define i1 @nnan3(double %arg) nounwind readnone {
+define i1 @nnan3(double %arg) {
+; CHECK-LABEL: @nnan3(
+; CHECK-NEXT:    ret i1 true
+;
   %tmp = fcmp uno double %arg, 0xFFF00000FFFFFFFF
   ret i1 %tmp
 }
 
-; CHECK: nnan4
-; CHECK: ret i1 true
-define i1 @nnan4(double %arg) nounwind readnone {
+define i1 @nnan4(double %arg) {
+; CHECK-LABEL: @nnan4(
+; CHECK-NEXT:    ret i1 true
+;
   %tmp = fcmp une double %arg, 0xFFF00000FFFFFFFF
   ret i1 %tmp
 }
 
-; CHECK: nnan5
-; CHECK: ret i1 true
-define i1 @nnan5(double %arg) nounwind readnone {
+define i1 @nnan5(double %arg) {
+; CHECK-LABEL: @nnan5(
+; CHECK-NEXT:    ret i1 true
+;
   %tmp = fcmp ult double %arg, 0xFFF00000FFFFFFFF
   ret i1 %tmp
 }
 
 ; Negative zero.
 
-; CHECK: nzero0
-; CHECK: ret i1 true
 define i1 @nzero0() {
+; CHECK-LABEL: @nzero0(
+; CHECK-NEXT:    ret i1 true
+;
   %tmp = fcmp oeq double 0.0, -0.0
   ret i1 %tmp
 }
 
-; CHECK: nzero1
-; CHECK: ret i1 false
 define i1 @nzero1() {
+; CHECK-LABEL: @nzero1(
+; CHECK-NEXT:    ret i1 false
+;
   %tmp = fcmp ogt double 0.0, -0.0
   ret i1 %tmp
 }
 
 ; Misc.
 
-; CHECK: misc0
-; CHECK: %tmp = fcmp ord double %arg, 0.000000e+00
-; CHECK: ret i1 %tmp
 define i1 @misc0(double %arg) {
+; CHECK-LABEL: @misc0(
+; CHECK-NEXT:    [[TMP:%.*]] = fcmp ord double %arg, 0.000000e+00
+; CHECK-NEXT:    ret i1 [[TMP]]
+;
   %tmp = fcmp oeq double %arg, %arg
   ret i1 %tmp
 }
 
-; CHECK: misc1
-; CHECK: ret i1 false
 define i1 @misc1(double %arg) {
+; CHECK-LABEL: @misc1(
+; CHECK-NEXT:    ret i1 false
+;
   %tmp = fcmp one double %arg, %arg
   ret i1 %tmp
 }