From: Sanjay Patel <spatel@rotateright.com>
Date: Wed, 7 Nov 2018 14:44:09 +0000 (+0000)
Subject: [InstCombine] add FMF to fcmp to show failure to propagate; NFC
X-Git-Tag: android-x86-9.0-r1~10936
X-Git-Url: http://git.osdn.net/view?a=commitdiff_plain;h=a9c6bcdb5375c719246414fa5420c3c2f75be1cb;p=android-x86%2Fexternal-llvm.git

[InstCombine] add FMF to fcmp to show failure to propagate; NFC


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@346317 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/test/Transforms/InstCombine/fcmp.ll b/test/Transforms/InstCombine/fcmp.ll
index 919659e45f4..dc91ee9552b 100644
--- a/test/Transforms/InstCombine/fcmp.ll
+++ b/test/Transforms/InstCombine/fcmp.ll
@@ -193,7 +193,7 @@ define <2 x i1> @fabs_ole(<2 x float> %a) {
 ; CHECK-NEXT:    ret <2 x i1> [[CMP]]
 ;
   %call = call <2 x float> @llvm.fabs.v2f32(<2 x float> %a)
-  %cmp = fcmp ole <2 x float> %call, zeroinitializer
+  %cmp = fcmp ninf ole <2 x float> %call, zeroinitializer
   ret <2 x i1> %cmp
 }
 
@@ -203,7 +203,7 @@ define i1 @fabs_ogt(double %a) {
 ; CHECK-NEXT:    ret i1 [[CMP]]
 ;
   %call = call double @llvm.fabs.f64(double %a)
-  %cmp = fcmp ogt double %call, 0.0
+  %cmp = fcmp reassoc ogt double %call, 0.0
   ret i1 %cmp
 }
 
@@ -213,7 +213,7 @@ define i1 @fabs_oge(double %a) {
 ; CHECK-NEXT:    ret i1 [[CMP]]
 ;
   %call = call double @llvm.fabs.f64(double %a)
-  %cmp = fcmp oge double %call, 0.0
+  %cmp = fcmp afn oge double %call, 0.0
   ret i1 %cmp
 }
 
@@ -223,7 +223,7 @@ define i1 @fabs_une(half %a) {
 ; CHECK-NEXT:    ret i1 [[CMP]]
 ;
   %call = call half @llvm.fabs.f16(half %a)
-  %cmp = fcmp une half %call, 0.0
+  %cmp = fcmp ninf une half %call, 0.0
   ret i1 %cmp
 }
 
@@ -233,7 +233,7 @@ define i1 @fabs_oeq(double %a) {
 ; CHECK-NEXT:    ret i1 [[CMP]]
 ;
   %call = call double @llvm.fabs.f64(double %a)
-  %cmp = fcmp oeq double %call, 0.0
+  %cmp = fcmp ninf reassoc oeq double %call, 0.0
   ret i1 %cmp
 }
 
@@ -243,7 +243,7 @@ define i1 @fabs_one(double %a) {
 ; CHECK-NEXT:    ret i1 [[CMP]]
 ;
   %call = call double @llvm.fabs.f64(double %a)
-  %cmp = fcmp one double %call, 0.0
+  %cmp = fcmp fast one double %call, 0.0
   ret i1 %cmp
 }
 
@@ -253,7 +253,7 @@ define <2 x i1> @fabs_ueq(<2 x float> %a) {
 ; CHECK-NEXT:    ret <2 x i1> [[CMP]]
 ;
   %call = call <2 x float> @llvm.fabs.v2f32(<2 x float> %a)
-  %cmp = fcmp ueq <2 x float> %call, zeroinitializer
+  %cmp = fcmp arcp ueq <2 x float> %call, zeroinitializer
   ret <2 x i1> %cmp
 }