From b9a64cd7b6359e4b9542cea9ac7e789da0d7f9a0 Mon Sep 17 00:00:00 2001 From: Roman Lebedev Date: Wed, 23 Oct 2019 18:38:34 +0300 Subject: [PATCH] [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. --- .../LazyValueAnalysis/lvi-after-jumpthreading.ll | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/test/Analysis/LazyValueAnalysis/lvi-after-jumpthreading.ll b/test/Analysis/LazyValueAnalysis/lvi-after-jumpthreading.ll index fbc2eb135d7..303c7c4c156 100644 --- a/test/Analysis/LazyValueAnalysis/lvi-after-jumpthreading.ll +++ b/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>