1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt < %s -jump-threading -S | FileCheck %s
3
4; CHECK-ALL-LABEL: @func(
5
6define i1 @func(i1 %arg, i32 %arg1, i1 %arg2) {
7; CHECK-LABEL: @func(
8; CHECK-NEXT:  bb:
9; CHECK-NEXT:    br i1 [[ARG:%.*]], label [[BB7:%.*]], label [[BB4:%.*]]
10; CHECK:       bb4:
11; CHECK-NEXT:    callbr void asm sideeffect "", "!i"()
12; CHECK-NEXT:    to label [[BB5:%.*]] [label %bb7.thr_comm]
13; CHECK:       bb5:
14; CHECK-NEXT:    br label [[BB7_THR_COMM:%.*]]
15; CHECK:       bb7.thr_comm:
16; CHECK-NEXT:    [[I91:%.*]] = xor i1 [[ARG2:%.*]], [[ARG]]
17; CHECK-NEXT:    br i1 [[I91]], label [[BB11:%.*]], label [[BB11]]
18; CHECK:       bb7:
19; CHECK-NEXT:    [[I:%.*]] = icmp eq i32 [[ARG1:%.*]], 0
20; CHECK-NEXT:    [[I9:%.*]] = xor i1 [[I]], [[ARG]]
21; CHECK-NEXT:    br i1 [[I9]], label [[BB11]], label [[BB11]]
22; CHECK:       bb11:
23; CHECK-NEXT:    [[I93:%.*]] = phi i1 [ [[I91]], [[BB7_THR_COMM]] ], [ [[I9]], [[BB7]] ], [ [[I91]], [[BB7_THR_COMM]] ], [ [[I9]], [[BB7]] ]
24; CHECK-NEXT:    ret i1 [[I93]]
25;
26bb:
27  br i1 %arg, label %bb3, label %bb4
28
29bb3:
30  %i = icmp eq i32 %arg1, 0
31  br label %bb7
32
33bb4:
34  callbr void asm sideeffect "", "!i"()
35  to label %bb5 [label %bb6]
36
37bb5:
38  br label %bb6
39
40bb6:
41  br label %bb7
42
43bb7:
44  %i8 = phi i1 [ %i, %bb3 ], [ %arg2, %bb6 ]
45  %i9 = xor i1 %i8, %arg
46  br i1 %i9, label %bb11, label %bb10
47
48bb10:
49  br label %bb11
50
51bb11:
52  ret i1 %i9
53}
54