OSDN Git Service

[InstCombine, NewGVN] remove FP undef from tests
authorSanjay Patel <spatel@rotateright.com>
Thu, 8 Mar 2018 14:57:08 +0000 (14:57 +0000)
committerSanjay Patel <spatel@rotateright.com>
Thu, 8 Mar 2018 14:57:08 +0000 (14:57 +0000)
I'm trying to preserve the intent of these tests by using
non-undef operands; if we fix FP undef folding these tests
will not pass.

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

test/Transforms/InstCombine/select-crash.ll
test/Transforms/NewGVN/pr32607.ll

index 991635b..41b69d2 100644 (file)
@@ -15,7 +15,7 @@ entry:
   %cmp86 = fcmp ogt double %highlights, 0.000000e+00
   %cond90 = select i1 %cmp86, double %sub24, double %add26
   %mul91 = fmul double %highlights, %cond90
-  %add94 = fadd double undef, %mul91
+  %add94 = fadd double %mul91, %mul91
   ret double %add94
 }
 
index 203ac75..635757d 100644 (file)
@@ -6,7 +6,7 @@ define hidden void @foo() {
 ; CHECK-NEXT:    br label [[IF:%.*]]
 ; CHECK:       if:
 ; CHECK-NEXT:    [[TMP0:%.*]] = phi double [ [[TMP1:%.*]], [[IF]] ], [ undef, [[TOP:%.*]] ]
-; CHECK-NEXT:    [[TMP1]] = fadd double [[TMP0]], undef
+; CHECK-NEXT:    [[TMP1]] = fadd double [[TMP0]], 1.000000e+00
 ; CHECK-NEXT:    br i1 false, label [[L50:%.*]], label [[IF]]
 ; CHECK:       L50:
 ; CHECK-NEXT:    store i8 undef, i8* null
@@ -22,7 +22,7 @@ top:
 
 if:                                               ; preds = %if, %top
   %0 = phi double [ %1, %if ], [ %.promoted, %top ]
-  %1 = fadd double %0, undef
+  %1 = fadd double %0, 1.0
   br i1 false, label %L50, label %if
 
 L50:                                              ; preds = %if