117 lines · plain
1; RUN: llc < %s | FileCheck %s2 3; Check no spills to the same stack slot after hoisting.4; CHECK: mov{{.}} %{{.*}}, [[SPOFFSET1:-?[0-9]*]](%rsp)5; CHECK: mov{{.}} %{{.*}}, [[SPOFFSET2:-?[0-9]*]](%rsp)6; CHECK-NOT: mov{{.}} %{{.*}}, [[SPOFFSET1]](%rsp)7; CHECK-NOT: mov{{.}} %{{.*}}, [[SPOFFSET2]](%rsp)8 9target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"10target triple = "x86_64-unknown-linux-gnu"11 12@a = external global ptr, align 813@b = external global i32, align 414@d = external global ptr, align 815 16; Function Attrs: norecurse noreturn nounwind uwtable17define void @fn1(i32 %p1, i32 %p2, i64 %p3, i1 %arg) {18entry:19 %tmp = load ptr, ptr @d, align 820 %tmp1 = load ptr, ptr @a, align 821 %tmp2 = sext i32 %p1 to i6422 br label %for.cond23 24for.cond: ; preds = %for.inc14, %entry25 %indvar = phi i32 [ %indvar.next, %for.inc14 ], [ 0, %entry ]26 %indvars.iv30.in = phi i32 [ %indvars.iv30, %for.inc14 ], [ %p1, %entry ]27 %c.0 = phi i32 [ %inc15, %for.inc14 ], [ 1, %entry ]28 %k.0 = phi i32 [ %k.1.lcssa, %for.inc14 ], [ undef, %entry ]29 %tmp3 = icmp sgt i32 %p2, 030 %smax52 = select i1 %tmp3, i32 %c.0, i32 031 %tmp4 = zext i32 %smax52 to i6432 %tmp5 = icmp sgt i64 %p3, %tmp433 %smax53 = select i1 %tmp5, i64 %tmp2, i64 %tmp434 %tmp6 = add nsw i64 %smax53, 135 %tmp7 = sub nsw i64 %tmp6, %tmp436 %tmp8 = add nsw i64 %tmp7, -837 %tmp9 = sub i32 undef, %indvar38 %tmp10 = icmp sgt i64 %tmp2, 039 %smax40 = select i1 %tmp10, i64 %tmp2, i64 040 %scevgep41 = getelementptr i32, ptr %tmp1, i64 %smax4041 %indvars.iv30 = add i32 %indvars.iv30.in, -142 %tmp11 = icmp sgt i32 %indvars.iv30, 043 %smax = select i1 %tmp11, i32 %indvars.iv30, i32 044 %tmp12 = zext i32 %smax to i6445 %sub = sub nsw i32 %p1, %c.046 %cmp = icmp sgt i32 %sub, 047 %sub. = select i1 %cmp, i32 %sub, i32 048 %cmp326 = icmp sgt i32 %k.0, %p149 br i1 %cmp326, label %for.cond4.preheader, label %for.body.preheader50 51for.cond4.preheader: ; preds = %for.body, %for.cond52 %k.1.lcssa = phi i32 [ %k.0, %for.cond ], [ %add, %for.body ]53 %cmp528 = icmp sgt i32 %sub., %p154 br i1 %cmp528, label %for.inc14, label %for.body6.preheader55 56for.body6.preheader: ; preds = %for.cond4.preheader57 br i1 %arg, label %for.body6, label %min.iters.checked58 59min.iters.checked: ; preds = %for.body6.preheader60 br i1 %arg, label %for.body6, label %vector.memcheck61 62vector.memcheck: ; preds = %min.iters.checked63 %bound1 = icmp ule ptr undef, %scevgep4164 %memcheck.conflict = and i1 undef, %bound165 br i1 %memcheck.conflict, label %for.body6, label %vector.body.preheader66 67vector.body.preheader: ; preds = %vector.memcheck68 %lcmp.mod = icmp eq i64 undef, 069 br i1 %lcmp.mod, label %vector.body.preheader.split, label %vector.body.prol70 71vector.body.prol: ; preds = %vector.body.prol, %vector.body.preheader72 %prol.iter.cmp = icmp eq i64 undef, 073 br i1 %prol.iter.cmp, label %vector.body.preheader.split, label %vector.body.prol74 75vector.body.preheader.split: ; preds = %vector.body.prol, %vector.body.preheader76 %tmp13 = icmp ult i64 %tmp8, 2477 br i1 %tmp13, label %middle.block, label %vector.body78 79vector.body: ; preds = %vector.body, %vector.body.preheader.split80 %index = phi i64 [ %index.next.3, %vector.body ], [ 0, %vector.body.preheader.split ]81 %index.next = add i64 %index, 882 %offset.idx.1 = add i64 %tmp12, %index.next83 %tmp14 = getelementptr inbounds i32, ptr %tmp, i64 %offset.idx.184 %wide.load.1 = load <4 x i32>, ptr %tmp14, align 485 %tmp16 = getelementptr inbounds i32, ptr %tmp1, i64 %offset.idx.186 store <4 x i32> %wide.load.1, ptr %tmp16, align 487 %index.next.3 = add i64 %index, 3288 br i1 %arg, label %middle.block, label %vector.body89 90middle.block: ; preds = %vector.body, %vector.body.preheader.split91 br i1 %arg, label %for.inc14, label %for.body692 93for.body.preheader: ; preds = %for.cond94 br label %for.body95 96for.body: ; preds = %for.body, %for.body.preheader97 %k.127 = phi i32 [ %k.0, %for.body.preheader ], [ %add, %for.body ]98 %add = add nsw i32 %k.127, 199 %tmp18 = load i32, ptr undef, align 4100 store i32 %tmp18, ptr @b, align 4101 br i1 %arg, label %for.body, label %for.cond4.preheader102 103for.body6: ; preds = %for.body6, %middle.block, %vector.memcheck, %min.iters.checked, %for.body6.preheader104 %indvars.iv32 = phi i64 [ undef, %for.body6 ], [ %tmp12, %vector.memcheck ], [ %tmp12, %min.iters.checked ], [ %tmp12, %for.body6.preheader ], [ undef, %middle.block ]105 %arrayidx8 = getelementptr inbounds i32, ptr %tmp, i64 %indvars.iv32106 %tmp19 = load i32, ptr %arrayidx8, align 4107 %arrayidx10 = getelementptr inbounds i32, ptr %tmp1, i64 %indvars.iv32108 store i32 %tmp19, ptr %arrayidx10, align 4109 %cmp5 = icmp slt i64 %indvars.iv32, undef110 br i1 %cmp5, label %for.body6, label %for.inc14111 112for.inc14: ; preds = %for.body6, %middle.block, %for.cond4.preheader113 %inc15 = add nuw nsw i32 %c.0, 1114 %indvar.next = add i32 %indvar, 1115 br label %for.cond116}117