[llvm] 6028681 - [Analysis] Update Analysis/LazyValueAnalysis/lvi-after-jumpthreading.ll

[Roman Lebedev via llvm-commits]

Author: Roman Lebedev
Date: 2019-10-23T18:39:10+03:00
New Revision: 60286818ff88d938233ad7c3e87a94761a4fef91

URL: https://github.com/llvm/llvm-project/commit/60286818ff88d938233ad7c3e87a94761a4fef91
DIFF: https://github.com/llvm/llvm-project/commit/60286818ff88d938233ad7c3e87a94761a4fef91.diff

LOG: [Analysis] Update Analysis/LazyValueAnalysis/lvi-after-jumpthreading.ll

I should have updated it in 1f665046fbf3b9d47a229714f689cd941f6f1216
but i didn't even realize those tests were there.

Added: 
    

Modified: 
    llvm/test/Analysis/LazyValueAnalysis/lvi-after-jumpthreading.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Analysis/LazyValueAnalysis/lvi-after-jumpthreading.ll b/llvm/test/Analysis/LazyValueAnalysis/lvi-after-jumpthreading.ll
index fbc2eb135d75..303c7c4c1564 100644
--- a/llvm/test/Analysis/LazyValueAnalysis/lvi-after-jumpthreading.ll
+++ b/llvm/test/Analysis/LazyValueAnalysis/lvi-after-jumpthreading.ll
@@ -53,9 +53,9 @@ entry:
 
 ; CHECK-LABEL: loop:
 ; CHECK-NEXT:    ; LatticeVal for: 'i32 %n' is: overdefined
-; CHECK-NEXT:    ; LatticeVal for: '  %iv = phi i32 [ 0, %entry ], [ %iv.next, %backedge ]' in BB: '%loop' is: constantrange<0, -2147483647>
+; CHECK-NEXT:    ; LatticeVal for: '  %iv = phi i32 [ 0, %entry ], [ %iv.next, %backedge ]' in BB: '%loop' is: constantrange<0, 400>
 ; CHECK-DAG:     ; LatticeVal for: '  %iv = phi i32 [ 0, %entry ], [ %iv.next, %backedge ]' in BB: '%backedge' is: constantrange<0, -2147483648>
-; CHECK-DAG:     ; LatticeVal for: '  %iv = phi i32 [ 0, %entry ], [ %iv.next, %backedge ]' in BB: '%exit' is: constantrange<0, -2147483647>
+; CHECK-DAG:     ; LatticeVal for: '  %iv = phi i32 [ 0, %entry ], [ %iv.next, %backedge ]' in BB: '%exit' is: constantrange<0, -2147483648>
 ; CHECK-NEXT:  %iv = phi i32 [ 0, %entry ], [ %iv.next, %backedge ]
 loop:
   %iv = phi i32 [0, %entry], [%iv.next, %backedge]
@@ -81,7 +81,7 @@ loop:
 
 ; CHECK-LABEL: backedge:
 ; CHECK-NEXT:    ; LatticeVal for: 'i32 %n' is: overdefined
-; CHECK-NEXT:    ; LatticeVal for: '  %iv.next = add nsw i32 %iv, 1' in BB: '%backedge' is: constantrange<1, -2147483647>
+; CHECK-NEXT:    ; LatticeVal for: '  %iv.next = add nsw i32 %iv, 1' in BB: '%backedge' is: constantrange<1, -2147483648>
 ; CHECK-NEXT:  %iv.next = add nsw i32 %iv, 1
 backedge:
   %iv.next = add nsw i32 %iv, 1
@@ -108,7 +108,7 @@ define i32 @test3(i32 %i, i1 %f, i32 %n) {
 ; CHECK-LABEL: LVI for function 'test3':
 ; CHECK-LABEL: entry
 ; CHECK:  ; LatticeVal for: 'i32 %i' is: overdefined
-; CHECK: %c = icmp ne i32 %i, -2134 
+; CHECK: %c = icmp ne i32 %i, -2134
 ; CHECK: br i1 %c, label %cont, label %exit
 entry:
   %c = icmp ne i32 %i, -2134
@@ -141,7 +141,7 @@ do:
   call void (i1, ...) @llvm.experimental.guard(i1 %cond) [ "deopt"() ]
   %cond.2 = icmp sgt i32 %i, 0
   br i1 %cond.2, label %exit, label %cont
-  
+
 exit2:
 ; CHECK-LABEL: exit2:
 ; LatticeVal for: 'i32 %i' is: constantrange<-2134, 1>