[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / Hexagon / constp-rewrite-branches.ll
blob30854ed6bfe9dee737cacacf90953e985da3d3fa
1 ; RUN: llc -O2 -march=hexagon < %s | FileCheck %s
3 define i32 @foo(i32 %x) {
4   %p = icmp eq i32 %x, 0
5   br i1 %p, label %zero, label %nonzero
6 nonzero:
7   %v1 = add i32 %x, 1
8   %c = icmp eq i32 %x, %v1
9 ; This branch will be rewritten by HCP.  A bug would cause both branches to
10 ; go away, leaving no path to "ret -1".
11   br i1 %c, label %zero, label %other
12 zero:
13   ret i32 0
14 other:
15 ; CHECK: -1
16   ret i32 -1