[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / JumpThreading / PR37745.ll
blob82fc91911821a21578f135cdd02753a8c2569f4b
1 ; RUN: opt -jump-threading -verify-each -S -mtriple=x86_64-- -o - %s
3 define void @foo() {
4 entry:
5   br i1 false, label %A, label %B
7 A:
8   %x = phi i32 [ undef, %entry ], [ %z, %B ]
9   br label %B
12   %y = phi i32 [ undef, %entry ], [ %x, %A ]
13   %z = add i32 %y, 1
14   %cmp = icmp ne i32 %z, 0
15   br i1 %cmp, label %exit, label %A
17 exit:
18   ret void