1; RUN: opt < %s -analyze -enable-new-pm=0 -scalar-evolution | FileCheck %s
2; RUN: opt < %s -disable-output "-passes=print<scalar-evolution>" 2>&1 | FileCheck %s
3
4; CHECK: %t = add i64 %t, 1
5; CHECK: -->  undef
6
7define void @foo() {
8entry:
9  ret void
10
11dead:
12  %t = add i64 %t, 1
13  ret void
14}
15