1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -aa-pipeline=basic-aa -passes='loop-distribute' -enable-loop-distribute -S %s | FileCheck %s
3
4; Testcases inspired by PR50296, PR50288.
5
6define void @phi_load_store_distribute(i1 %c, i16* %A, i16* %B, i16* %C) {
7; CHECK-LABEL: @phi_load_store_distribute(
8; CHECK-NEXT:  entry:
9; CHECK-NEXT:    br label [[FOR_BODY:%.*]]
10; CHECK:       for.body:
11; CHECK-NEXT:    [[IV:%.*]] = phi i16 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[IF_END:%.*]] ]
12; CHECK-NEXT:    [[LV:%.*]] = load i16, i16* [[A:%.*]], align 1
13; CHECK-NEXT:    store i16 [[LV]], i16* [[A]], align 1
14; CHECK-NEXT:    br i1 [[C:%.*]], label [[IF_THEN:%.*]], label [[IF_END]]
15; CHECK:       if.then:
16; CHECK-NEXT:    [[LV2:%.*]] = load i16, i16* [[A]], align 1
17; CHECK-NEXT:    br label [[IF_END]]
18; CHECK:       if.end:
19; CHECK-NEXT:    [[C_SINK:%.*]] = phi i16* [ [[B:%.*]], [[IF_THEN]] ], [ [[C:%.*]], [[FOR_BODY]] ]
20; CHECK-NEXT:    [[LV3:%.*]] = load i16, i16* [[C_SINK]], align 2
21; CHECK-NEXT:    [[ADD:%.*]] = add i16 [[LV3]], 10
22; CHECK-NEXT:    store i16 [[ADD]], i16* [[C_SINK]], align 1
23; CHECK-NEXT:    [[IV_NEXT]] = add nuw nsw i16 [[IV]], 1
24; CHECK-NEXT:    [[TOBOOL_NOT:%.*]] = icmp eq i16 [[IV_NEXT]], 1000
25; CHECK-NEXT:    br i1 [[TOBOOL_NOT]], label [[FOR_END_LOOPEXIT:%.*]], label [[FOR_BODY]]
26; CHECK:       for.end.loopexit:
27; CHECK-NEXT:    ret void
28;
29entry:
30  br label %for.body
31
32for.body:                                         ; preds = %if.end, %entry
33  %iv = phi i16 [ 0, %entry ], [ %iv.next, %if.end ]
34  %lv = load i16, i16* %A, align 1
35  store i16 %lv, i16* %A, align 1
36  br i1 %c, label %if.then, label %if.end
37
38if.then:                                          ; preds = %for.body
39  %lv2 = load i16, i16* %A, align 1
40  br label %if.end
41
42if.end:                                           ; preds = %if.then, %for.body
43  %c.sink = phi i16* [ %B, %if.then ], [ %C, %for.body ]
44  %lv3 = load i16, i16* %c.sink
45  %add = add i16 %lv3, 10
46  store i16 %add, i16* %c.sink, align 1
47  %iv.next = add nuw nsw i16 %iv, 1
48  %tobool.not = icmp eq i16 %iv.next, 1000
49  br i1 %tobool.not, label %for.end.loopexit, label %for.body
50
51for.end.loopexit:                                 ; preds = %if.end
52  ret void
53}
54
55define void @phi_load_distribute(i1 %c, i16* %A, i16* %B, i16* %C) {
56; CHECK-LABEL: @phi_load_distribute(
57; CHECK-NEXT:  entry:
58; CHECK:       for.end.loopexit:
59; CHECK-NEXT:    ret void
60;
61entry:
62  br label %for.body
63
64for.body:                                         ; preds = %if.end, %entry
65  %iv = phi i16 [ 0, %entry ], [ %iv.next, %if.end ]
66  %lv = load i16, i16* %A, align 1
67  store i16 %lv, i16* %A, align 1
68  br i1 %c, label %if.then, label %if.end
69
70if.then:                                          ; preds = %for.body
71  %lv2 = load i16, i16* %A, align 1
72  br label %if.end
73
74if.end:                                           ; preds = %if.then, %for.body
75  %c.sink = phi i16* [ %B, %if.then ], [ %C, %for.body ]
76  %lv3 = load i16, i16* %c.sink
77  %iv.next = add nuw nsw i16 %iv, 1
78  %tobool.not = icmp eq i16 %iv.next, 1000
79  br i1 %tobool.not, label %for.end.loopexit, label %for.body
80
81for.end.loopexit:                                 ; preds = %if.end
82  ret void
83}
84
85
86