1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -S -loop-fusion < %s | FileCheck %s
3; RUN: opt -S -loop-fusion -pass-remarks-output=%t < %s
4; RUN: FileCheck --input-file=%t %s --check-prefix REMARKS
5
6define dso_local void @pr48060(i1 %cond) {
7; CHECK-LABEL: @pr48060(
8; CHECK-NEXT:  entry:
9; CHECK-NEXT:    br label [[FOR_1_PH:%.*]]
10; CHECK:       for.1.ph:
11; CHECK-NEXT:    br label [[FOR_1:%.*]]
12; CHECK:       for.1:
13; CHECK-NEXT:    [[I:%.*]] = phi i32 [ 0, [[FOR_1_PH]] ], [ [[I_NEXT:%.*]], [[FOR_1]] ]
14; CHECK-NEXT:    [[I_NEXT]] = add i32 [[I]], 1
15; CHECK-NEXT:    [[COND_1:%.*]] = icmp eq i32 [[I_NEXT]], 10
16; CHECK-NEXT:    br i1 [[COND_1]], label [[FOR_1_EXIT:%.*]], label [[FOR_1]]
17; CHECK:       for.1.exit:
18; CHECK-NEXT:    br i1 [[COND:%.*]], label [[END:%.*]], label [[FOR_2_PH:%.*]]
19; CHECK:       for.2.ph:
20; CHECK-NEXT:    br label [[FOR_2:%.*]]
21; CHECK:       for.2:
22; CHECK-NEXT:    [[J:%.*]] = phi i32 [ 0, [[FOR_2_PH]] ], [ [[J_NEXT:%.*]], [[FOR_2]] ]
23; CHECK-NEXT:    [[J_NEXT]] = add i32 [[J]], 1
24; CHECK-NEXT:    [[COND_2:%.*]] = icmp eq i32 [[J_NEXT]], 10
25; CHECK-NEXT:    br i1 [[COND_2]], label [[FOR_2_EXIT:%.*]], label [[FOR_2]]
26; CHECK:       for.2.exit:
27; CHECK-NEXT:    br label [[END]]
28; CHECK:       end:
29; CHECK-NEXT:    ret void
30;
31
32; REMARKS:      --- !Missed
33; REMARKS-NEXT: Pass:            loop-fusion
34; REMARKS-NEXT: Name:            OnlySecondCandidateIsGuarded
35; REMARKS-NEXT: Function:        pr48060
36; REMARKS-NEXT: Args:
37; REMARKS:        - Cand1:           for.1.ph
38; REMARKS:        - Cand2:           for.2.ph
39; REMARKS:        - String:          The second candidate is guarded while the first one is not
40entry:
41  br label %for.1.ph
42
43for.1.ph:                                         ; preds = %entry
44  br label %for.1
45
46for.1:                                            ; preds = %for.1, %for.1.ph
47  %i = phi i32 [ 0, %for.1.ph ], [ %i.next, %for.1 ]
48  %i.next = add i32 %i, 1
49  %cond.1 = icmp eq i32 %i.next, 10
50  br i1 %cond.1, label %for.1.exit, label %for.1
51
52for.1.exit:                                       ; preds = %for.1
53  br i1 %cond, label %end, label %for.2.ph
54
55for.2.ph:                                         ; preds = %for.1.exit
56  br label %for.2
57
58for.2:                                            ; preds = %for.2, %for.2.ph
59  %j = phi i32 [ 0, %for.2.ph ], [ %j.next, %for.2 ]
60  %j.next = add i32 %j, 1
61  %cond.2 = icmp eq i32 %j.next, 10
62  br i1 %cond.2, label %for.2.exit, label %for.2
63
64for.2.exit:                                       ; preds = %for.2
65  br label %end
66
67end:                                              ; preds = %for.1.exit, %for.2.exit
68  ret void
69}
70