1; RUN: llc %s -o - -enable-shrink-wrap=true | FileCheck %s --check-prefix=CHECK --check-prefix=ENABLE
2; RUN: llc %s -o - -enable-shrink-wrap=false | FileCheck %s --check-prefix=CHECK --check-prefix=DISABLE
3; We cannot merge this test with the main test for shrink-wrapping, because
4; the code path we want to exerce is not taken with ios lowering.
5target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n8:16:32-S64"
6target triple = "armv7--linux-gnueabi"
7
8@skip = internal unnamed_addr constant [2 x i8] c"\01\01", align 1
9
10; Check that we do not restore the before having used the saved CSRs.
11; This happened because of a bad use of the post-dominance property.
12; The exit block of the loop happens to also lead to defs/uses of CSRs.
13; It also post-dominates the loop body and we use to generate invalid
14; restore sequence. I.e., we restored too early.
15;
16; CHECK-LABEL: wrongUseOfPostDominate:
17;
18; The prologue is the first thing happening in the function
19; without shrink-wrapping.
20; DISABLE: push
21;
22; CHECK: cmn r1, #1
23;
24; With shrink-wrapping, we branch to a pre-header, where the prologue
25; is located.
26; ENABLE-NEXT: ble [[LOOP_PREHEADER:[.a-zA-Z0-9_]+]]
27; Without shrink-wrapping, we go straight into the loop.
28; DISABLE-NEXT: ble [[LOOP_HEADER:[.a-zA-Z0-9_]+]]
29;
30; CHECK: @ %if.end29
31; DISABLE-NEXT: pop
32; ENABLE-NEXT: bx lr
33;
34; ENABLE: [[LOOP_PREHEADER]]
35; ENABLE: push
36; We must not find a pop here, otherwise that means we are in the loop
37; and are restoring before using the saved CSRs.
38; ENABLE-NOT: pop
39; ENALBE-NEXT: [[LOOP_HEADER:[.a-zA-Z0-9_]+]]: @ %while.cond2.outer
40;
41; DISABLE: [[LOOP_HEADER]]: @ %while.cond2.outer
42;
43; ENABLE-NOT: pop
44;
45; CHECK: @ %while.cond2
46; CHECK: add
47; CHECK-NEXT: cmp r{{[0-1]+}}, #1
48; Jump to the return block
49; CHECK-NEXT: beq [[RETURN_BLOCK:[.a-zA-Z0-9_]+]]
50;
51; Use the back edge to check we get the label of the loop right.
52; This is to make sure we check the right loop pattern.
53; CHECK:  @ %while.body24.land.rhs14_crit_edge
54; CHECK: cmp r{{[0-9]+}}, #192
55; CHECK-NEXT bhs [[LOOP_HEADER]]
56;
57; CHECK: [[RETURN_BLOCK]]:
58; Set the return value.
59; CHECK-NEXT: mov r0,
60; CHECK-NEXT: pop
61define fastcc i8* @wrongUseOfPostDominate(i8* readonly %s, i32 %off, i8* readnone %lim) {
62entry:
63  %cmp = icmp sgt i32 %off, -1
64  br i1 %cmp, label %while.cond.preheader, label %while.cond2.outer
65
66while.cond.preheader:                             ; preds = %entry
67  %tobool4 = icmp ne i32 %off, 0
68  %cmp15 = icmp ult i8* %s, %lim
69  %sel66 = and i1 %tobool4, %cmp15
70  br i1 %sel66, label %while.body, label %if.end29
71
72while.body:                                       ; preds = %while.body, %while.cond.preheader
73  %s.addr.08 = phi i8* [ %add.ptr, %while.body ], [ %s, %while.cond.preheader ]
74  %off.addr.07 = phi i32 [ %dec, %while.body ], [ %off, %while.cond.preheader ]
75  %dec = add nsw i32 %off.addr.07, -1
76  %tmp = load i8, i8* %s.addr.08, align 1, !tbaa !2
77  %idxprom = zext i8 %tmp to i32
78  %arrayidx = getelementptr inbounds [2 x i8], [2 x i8]* @skip, i32 0, i32 %idxprom
79  %tmp1 = load i8, i8* %arrayidx, align 1, !tbaa !2
80  %conv = zext i8 %tmp1 to i32
81  %add.ptr = getelementptr inbounds i8, i8* %s.addr.08, i32 %conv
82  %tobool = icmp ne i32 %off.addr.07, 1
83  %cmp1 = icmp ult i8* %add.ptr, %lim
84  %sel6 = and i1 %tobool, %cmp1
85  br i1 %sel6, label %while.body, label %if.end29
86
87while.cond2.outer:                                ; preds = %while.body24.land.rhs14_crit_edge, %while.body24, %land.rhs14.preheader, %if.then7, %entry
88  %off.addr.1.ph = phi i32 [ %off, %entry ], [ %inc, %land.rhs14.preheader ], [ %inc, %if.then7 ], [ %inc, %while.body24.land.rhs14_crit_edge ], [ %inc, %while.body24 ]
89  %s.addr.1.ph = phi i8* [ %s, %entry ], [ %incdec.ptr, %land.rhs14.preheader ], [ %incdec.ptr, %if.then7 ], [ %lsr.iv, %while.body24.land.rhs14_crit_edge ], [ %lsr.iv, %while.body24 ]
90  br label %while.cond2
91
92while.cond2:                                      ; preds = %while.body4, %while.cond2.outer
93  %off.addr.1 = phi i32 [ %inc, %while.body4 ], [ %off.addr.1.ph, %while.cond2.outer ]
94  %inc = add nsw i32 %off.addr.1, 1
95  %tobool3 = icmp eq i32 %off.addr.1, 0
96  br i1 %tobool3, label %if.end29, label %while.body4
97
98while.body4:                                      ; preds = %while.cond2
99  %tmp2 = icmp ugt i8* %s.addr.1.ph, %lim
100  br i1 %tmp2, label %if.then7, label %while.cond2
101
102if.then7:                                         ; preds = %while.body4
103  %incdec.ptr = getelementptr inbounds i8, i8* %s.addr.1.ph, i32 -1
104  %tmp3 = load i8, i8* %incdec.ptr, align 1, !tbaa !2
105  %conv1525 = zext i8 %tmp3 to i32
106  %tobool9 = icmp slt i8 %tmp3, 0
107  %cmp129 = icmp ugt i8* %incdec.ptr, %lim
108  %or.cond13 = and i1 %tobool9, %cmp129
109  br i1 %or.cond13, label %land.rhs14.preheader, label %while.cond2.outer
110
111land.rhs14.preheader:                             ; preds = %if.then7
112  %cmp1624 = icmp slt i8 %tmp3, 0
113  %cmp2026 = icmp ult i32 %conv1525, 192
114  %or.cond27 = and i1 %cmp1624, %cmp2026
115  br i1 %or.cond27, label %while.body24.preheader, label %while.cond2.outer
116
117while.body24.preheader:                           ; preds = %land.rhs14.preheader
118  %scevgep = getelementptr i8, i8* %s.addr.1.ph, i32 -2
119  br label %while.body24
120
121while.body24:                                     ; preds = %while.body24.land.rhs14_crit_edge, %while.body24.preheader
122  %lsr.iv = phi i8* [ %scevgep, %while.body24.preheader ], [ %scevgep34, %while.body24.land.rhs14_crit_edge ]
123  %cmp12 = icmp ugt i8* %lsr.iv, %lim
124  br i1 %cmp12, label %while.body24.land.rhs14_crit_edge, label %while.cond2.outer
125
126while.body24.land.rhs14_crit_edge:                ; preds = %while.body24
127  %.pre = load i8, i8* %lsr.iv, align 1, !tbaa !2
128  %cmp16 = icmp slt i8 %.pre, 0
129  %conv15 = zext i8 %.pre to i32
130  %cmp20 = icmp ult i32 %conv15, 192
131  %or.cond = and i1 %cmp16, %cmp20
132  %scevgep34 = getelementptr i8, i8* %lsr.iv, i32 -1
133  br i1 %or.cond, label %while.body24, label %while.cond2.outer
134
135if.end29:                                         ; preds = %while.cond2, %while.body, %while.cond.preheader
136  %s.addr.3 = phi i8* [ %s, %while.cond.preheader ], [ %add.ptr, %while.body ], [ %s.addr.1.ph, %while.cond2 ]
137  ret i8* %s.addr.3
138}
139
140!llvm.module.flags = !{!0, !1}
141
142!0 = !{i32 1, !"wchar_size", i32 4}
143!1 = !{i32 1, !"min_enum_size", i32 4}
144!2 = !{!3, !3, i64 0}
145!3 = !{!"omnipotent char", !4, i64 0}
146!4 = !{!"Simple C/C++ TBAA"}
147