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. 5 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n8:16:32-S64" 6 target 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: cmp r1, #0 23 ; 24 ; With shrink-wrapping, we branch to a pre-header, where the prologue 25 ; is located. 26 ; ENABLE-NEXT: blt [[LOOP_PREHEADER:[.a-zA-Z0-9_]+]] 27 ; Without shrink-wrapping, we go straight into the loop. 28 ; DISABLE-NEXT: blt [[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 ; Set the return value. 49 ; CHECK-NEXT: moveq r0, 50 ; CHECK-NEXT: popeq 51 ; 52 ; Use the back edge to check we get the label of the loop right. 53 ; This is to make sure we check the right loop pattern. 54 ; CHECK: @ %while.body24.land.rhs14_crit_edge 55 ; CHECK: cmp r{{[0-9]+}}, #192 56 ; CHECK-NEXT bhs [[LOOP_HEADER]] 57 define fastcc i8* @wrongUseOfPostDominate(i8* readonly %s, i32 %off, i8* readnone %lim) { 58 entry: 59 %cmp = icmp sgt i32 %off, -1 60 br i1 %cmp, label %while.cond.preheader, label %while.cond2.outer 61 62 while.cond.preheader: ; preds = %entry 63 %tobool4 = icmp ne i32 %off, 0 64 %cmp15 = icmp ult i8* %s, %lim 65 %sel66 = and i1 %tobool4, %cmp15 66 br i1 %sel66, label %while.body, label %if.end29 67 68 while.body: ; preds = %while.body, %while.cond.preheader 69 %s.addr.08 = phi i8* [ %add.ptr, %while.body ], [ %s, %while.cond.preheader ] 70 %off.addr.07 = phi i32 [ %dec, %while.body ], [ %off, %while.cond.preheader ] 71 %dec = add nsw i32 %off.addr.07, -1 72 %tmp = load i8, i8* %s.addr.08, align 1, !tbaa !2 73 %idxprom = zext i8 %tmp to i32 74 %arrayidx = getelementptr inbounds [2 x i8], [2 x i8]* @skip, i32 0, i32 %idxprom 75 %tmp1 = load i8, i8* %arrayidx, align 1, !tbaa !2 76 %conv = zext i8 %tmp1 to i32 77 %add.ptr = getelementptr inbounds i8, i8* %s.addr.08, i32 %conv 78 %tobool = icmp ne i32 %off.addr.07, 1 79 %cmp1 = icmp ult i8* %add.ptr, %lim 80 %sel6 = and i1 %tobool, %cmp1 81 br i1 %sel6, label %while.body, label %if.end29 82 83 while.cond2.outer: ; preds = %while.body24.land.rhs14_crit_edge, %while.body24, %land.rhs14.preheader, %if.then7, %entry 84 %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 ] 85 %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 ] 86 br label %while.cond2 87 88 while.cond2: ; preds = %while.body4, %while.cond2.outer 89 %off.addr.1 = phi i32 [ %inc, %while.body4 ], [ %off.addr.1.ph, %while.cond2.outer ] 90 %inc = add nsw i32 %off.addr.1, 1 91 %tobool3 = icmp eq i32 %off.addr.1, 0 92 br i1 %tobool3, label %if.end29, label %while.body4 93 94 while.body4: ; preds = %while.cond2 95 %tmp2 = icmp ugt i8* %s.addr.1.ph, %lim 96 br i1 %tmp2, label %if.then7, label %while.cond2 97 98 if.then7: ; preds = %while.body4 99 %incdec.ptr = getelementptr inbounds i8, i8* %s.addr.1.ph, i32 -1 100 %tmp3 = load i8, i8* %incdec.ptr, align 1, !tbaa !2 101 %conv1525 = zext i8 %tmp3 to i32 102 %tobool9 = icmp slt i8 %tmp3, 0 103 %cmp129 = icmp ugt i8* %incdec.ptr, %lim 104 %or.cond13 = and i1 %tobool9, %cmp129 105 br i1 %or.cond13, label %land.rhs14.preheader, label %while.cond2.outer 106 107 land.rhs14.preheader: ; preds = %if.then7 108 %cmp1624 = icmp slt i8 %tmp3, 0 109 %cmp2026 = icmp ult i32 %conv1525, 192 110 %or.cond27 = and i1 %cmp1624, %cmp2026 111 br i1 %or.cond27, label %while.body24.preheader, label %while.cond2.outer 112 113 while.body24.preheader: ; preds = %land.rhs14.preheader 114 %scevgep = getelementptr i8, i8* %s.addr.1.ph, i32 -2 115 br label %while.body24 116 117 while.body24: ; preds = %while.body24.land.rhs14_crit_edge, %while.body24.preheader 118 %lsr.iv = phi i8* [ %scevgep, %while.body24.preheader ], [ %scevgep34, %while.body24.land.rhs14_crit_edge ] 119 %cmp12 = icmp ugt i8* %lsr.iv, %lim 120 br i1 %cmp12, label %while.body24.land.rhs14_crit_edge, label %while.cond2.outer 121 122 while.body24.land.rhs14_crit_edge: ; preds = %while.body24 123 %.pre = load i8, i8* %lsr.iv, align 1, !tbaa !2 124 %cmp16 = icmp slt i8 %.pre, 0 125 %conv15 = zext i8 %.pre to i32 126 %cmp20 = icmp ult i32 %conv15, 192 127 %or.cond = and i1 %cmp16, %cmp20 128 %scevgep34 = getelementptr i8, i8* %lsr.iv, i32 -1 129 br i1 %or.cond, label %while.body24, label %while.cond2.outer 130 131 if.end29: ; preds = %while.cond2, %while.body, %while.cond.preheader 132 %s.addr.3 = phi i8* [ %s, %while.cond.preheader ], [ %add.ptr, %while.body ], [ %s.addr.1.ph, %while.cond2 ] 133 ret i8* %s.addr.3 134 } 135 136 !llvm.module.flags = !{!0, !1} 137 138 !0 = !{i32 1, !"wchar_size", i32 4} 139 !1 = !{i32 1, !"min_enum_size", i32 4} 140 !2 = !{!3, !3, i64 0} 141 !3 = !{!"omnipotent char", !4, i64 0} 142 !4 = !{!"Simple C/C++ TBAA"} 143
