1 ; RUN: llc -verify-regalloc < %s | FileCheck %s 2 ; Check all spills are rematerialized. 3 ; CHECK-NOT: Spill 4 5 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 6 target triple = "x86_64-unknown-linux-gnu" 7 8 @b = common global double 0.000000e+00, align 8 9 @a = common global i32 0, align 4 10 11 ; Function Attrs: nounwind uwtable 12 define i32 @uniform_testdata(i32 %p1) { 13 entry: 14 %cmp3 = icmp sgt i32 %p1, 0 15 br i1 %cmp3, label %for.body.preheader, label %for.end 16 17 for.body.preheader: ; preds = %entry 18 %tmp = add i32 %p1, -1 19 %xtraiter = and i32 %p1, 7 20 %lcmp.mod = icmp eq i32 %xtraiter, 0 21 br i1 %lcmp.mod, label %for.body.preheader.split, label %for.body.prol.preheader 22 23 for.body.prol.preheader: ; preds = %for.body.preheader 24 br label %for.body.prol 25 26 for.body.prol: ; preds = %for.body.prol, %for.body.prol.preheader 27 %i.04.prol = phi i32 [ %inc.prol, %for.body.prol ], [ 0, %for.body.prol.preheader ] 28 %prol.iter = phi i32 [ %prol.iter.sub, %for.body.prol ], [ %xtraiter, %for.body.prol.preheader ] 29 %tmp1 = load double, double* @b, align 8 30 %call.prol = tail call double @pow(double %tmp1, double 2.500000e-01) 31 %inc.prol = add nuw nsw i32 %i.04.prol, 1 32 %prol.iter.sub = add i32 %prol.iter, -1 33 %prol.iter.cmp = icmp eq i32 %prol.iter.sub, 0 34 br i1 %prol.iter.cmp, label %for.body.preheader.split.loopexit, label %for.body.prol 35 36 for.body.preheader.split.loopexit: ; preds = %for.body.prol 37 %inc.prol.lcssa = phi i32 [ %inc.prol, %for.body.prol ] 38 br label %for.body.preheader.split 39 40 for.body.preheader.split: ; preds = %for.body.preheader.split.loopexit, %for.body.preheader 41 %i.04.unr = phi i32 [ 0, %for.body.preheader ], [ %inc.prol.lcssa, %for.body.preheader.split.loopexit ] 42 %tmp2 = icmp ult i32 %tmp, 7 43 br i1 %tmp2, label %for.end.loopexit, label %for.body.preheader.split.split 44 45 for.body.preheader.split.split: ; preds = %for.body.preheader.split 46 br label %for.body 47 48 for.body: ; preds = %for.body, %for.body.preheader.split.split 49 %i.04 = phi i32 [ %i.04.unr, %for.body.preheader.split.split ], [ %inc.7, %for.body ] 50 %tmp3 = load double, double* @b, align 8 51 %call = tail call double @pow(double %tmp3, double 2.500000e-01) 52 %tmp4 = load double, double* @b, align 8 53 %call.1 = tail call double @pow(double %tmp4, double 2.500000e-01) 54 %inc.7 = add nsw i32 %i.04, 8 55 %exitcond.7 = icmp eq i32 %inc.7, %p1 56 br i1 %exitcond.7, label %for.end.loopexit.unr-lcssa, label %for.body 57 58 for.end.loopexit.unr-lcssa: ; preds = %for.body 59 br label %for.end.loopexit 60 61 for.end.loopexit: ; preds = %for.end.loopexit.unr-lcssa, %for.body.preheader.split 62 br label %for.end 63 64 for.end: ; preds = %for.end.loopexit, %entry 65 %tmp5 = load i32, i32* @a, align 4 66 ret i32 %tmp5 67 } 68 69 ; Function Attrs: nounwind 70 declare double @pow(double, double) 71
