1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt < %s -instcombine -S | FileCheck %s
3
4; We used to hit an assertion in getFlippedStrictnessPredicateAndConstant due
5; to assuming that edge cases such as %cmp (ult x, 0) already has been
6; simplified. But that depends on the worklist order, so that is not always
7; guaranteed.
8
9define i16 @d(i16* %d.a, i16* %d.b) {
10; CHECK-LABEL: @d(
11; CHECK-NEXT:  entry:
12; CHECK-NEXT:    [[T0:%.*]] = load i16, i16* [[D_A:%.*]], align 1
13; CHECK-NEXT:    [[TOBOOL:%.*]] = icmp eq i16 [[T0]], 0
14; CHECK-NEXT:    br i1 [[TOBOOL]], label [[LAND_END:%.*]], label [[LAND_RHS:%.*]]
15; CHECK:       land.rhs:
16; CHECK-NEXT:    br label [[LAND_END]]
17; CHECK:       land.end:
18; CHECK-NEXT:    ret i16 -1
19;
20entry:
21  %t0 = load i16, i16* %d.a, align 1
22  %tobool = icmp ne i16 %t0, 0
23  br i1 %tobool, label %land.rhs, label %land.end
24
25land.rhs:
26  %t1 = load i16, i16* %d.b, align 1
27  %cmp = icmp ult i16 %t1, 0
28  br label %land.end
29
30land.end:
31  %t2 = phi i1 [ false, %entry ], [ %cmp, %land.rhs ]
32  %land.ext = zext i1 %t2 to i16
33  %mul = mul nsw i16 %land.ext, 3
34  %neg = xor i16 %mul, -1
35  ret i16 %neg
36}
37