1; RUN: opt -analyze -enable-new-pm=0 -scalar-evolution -scalar-evolution < %s | FileCheck %s
2; RUN: opt -disable-output "-passes=print<scalar-evolution>,print<scalar-evolution>" < %s 2>&1 | FileCheck %s
3
4define void @bad.nsw() {
5; CHECK-LABEL: Classifying expressions for: @bad.nsw
6; CHECK-LABEL: Classifying expressions for: @bad.nsw
7 entry:
8  br label %loop
9
10 loop:
11  %i = phi i8 [ -1, %entry ], [ %i.inc, %loop ]
12; CHECK:  %i = phi i8 [ -1, %entry ], [ %i.inc, %loop ]
13; CHECK-NEXT: -->  {-1,+,-128}<nw><%loop>
14; CHECK-NOT: -->  {-1,+,-128}<nsw><%loop>
15
16  %counter = phi i8 [ 0, %entry ], [ %counter.inc, %loop ]
17
18  %i.inc = add i8 %i, -128
19  %i.sext = sext i8 %i to i16
20
21  %counter.inc = add i8 %counter, 1
22  %continue = icmp eq i8 %counter, 1
23  br i1 %continue, label %exit, label %loop
24
25 exit:
26  ret void
27}
28