[llvm] r346236 - [InstCombine] adjust tests to show dropping FMF; NFC

[Sanjay Patel via llvm-commits]

Author: spatel
Date: Tue Nov  6 07:57:52 2018
New Revision: 346236

URL: http://llvm.org/viewvc/llvm-project?rev=346236&view=rev
Log:
[InstCombine] adjust tests to show dropping FMF; NFC

Also, remove some stale FIXME comments ( rL346234 ).

Modified:
    llvm/trunk/test/Transforms/InstCombine/fcmp.ll

Modified: llvm/trunk/test/Transforms/InstCombine/fcmp.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/fcmp.ll?rev=346236&r1=346235&r2=346236&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/fcmp.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/fcmp.ll Tue Nov  6 07:57:52 2018
@@ -78,7 +78,7 @@ define <2 x i1> @fneg_constant_swap_pred
   ret <2 x i1> %cmp
 }
 
-; FIXME: The new fcmp should have the same FMF as the original.
+; The new fcmp should have the same FMF as the original.
 
 define i1 @fneg_fmf(float %x) {
 ; CHECK-LABEL: @fneg_fmf(
@@ -90,7 +90,7 @@ define i1 @fneg_fmf(float %x) {
   ret i1 %r
 }
 
-; FIXME: The new fcmp should have the same FMF as the original, vector edition.
+; The new fcmp should have the same FMF as the original, vector edition.
 
 define <2 x i1> @fcmp_fneg_fmf_vec(<2 x float> %x) {
 ; CHECK-LABEL: @fcmp_fneg_fmf_vec(
@@ -109,7 +109,7 @@ define i1 @fneg_fneg_swap_pred(float %x,
 ;
   %neg1 = fsub float -0.0, %x
   %neg2 = fsub float -0.0, %y
-  %cmp = fcmp olt float %neg1, %neg2
+  %cmp = fcmp nnan olt float %neg1, %neg2
   ret i1 %cmp
 }
 
@@ -120,7 +120,7 @@ define <2 x i1> @fneg_fneg_swap_pred_vec
 ;
   %neg1 = fsub <2 x float> <float -0.0, float -0.0>, %x
   %neg2 = fsub <2 x float> <float -0.0, float -0.0>, %y
-  %cmp = fcmp olt <2 x float> %neg1, %neg2
+  %cmp = fcmp ninf olt <2 x float> %neg1, %neg2
   ret <2 x i1> %cmp
 }