145 lines · plain
1; RUN: llc -verify-machineinstrs -mtriple=s390x-ibm-linux -mcpu=z13 -O3 -hoist-const-stores < %s | FileCheck %s2 3@b = dso_local local_unnamed_addr global i32 15, align 44@e = dso_local local_unnamed_addr global i32 -1, align 45@f = common dso_local global i32 0, align 46@g = dso_local local_unnamed_addr global ptr @f, align 87@c = common dso_local local_unnamed_addr global i32 0, align 48@a = common dso_local local_unnamed_addr global [6 x i32] zeroinitializer, align 49@d = common dso_local local_unnamed_addr global i32 0, align 410@h = common dso_local local_unnamed_addr global i32 0, align 411@.str = private unnamed_addr constant [15 x i8] c"checksum = %X\0A\00", align 212 13; Function Attrs: nounwind14define dso_local signext i32 @main() {15entry:16 %i = alloca i32, align 417 %.pr = load i32, ptr @c, align 4, !tbaa !218 %cmp6 = icmp slt i32 %.pr, 619 br i1 %cmp6, label %for.body.preheader, label %for.end20 21for.body.preheader: ; preds = %entry22 store i32 5, ptr getelementptr inbounds ([6 x i32], ptr @a, i64 0, i64 1), align 4, !tbaa !223 store i32 6, ptr @c, align 4, !tbaa !224 br label %for.end25 26for.end: ; preds = %for.body.preheader, %entry27 call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %i)28 store i32 14, ptr %i, align 4, !tbaa !229 %.pr2 = load i32, ptr @d, align 4, !tbaa !230 %cmp25 = icmp sgt i32 %.pr2, -131 br i1 %cmp25, label %for.cond4thread-pre-split.lr.ph, label %for.end.for.end11_crit_edge32 33for.end.for.end11_crit_edge: ; preds = %for.end34 %.pre10 = load i32, ptr @b, align 4, !tbaa !235 br label %for.end1136 37; CHECK: # %for.cond4thread-pre-split.lr.ph38; CHECK-NOT: mvhi 164(%r15), 039; CHECK: # %for.end940; CHECK: mvhi 164(%r15), 041 42for.cond4thread-pre-split.lr.ph: ; preds = %for.end43 %0 = ptrtoint ptr %i to i6444 %1 = trunc i64 %0 to i3245 %2 = load ptr, ptr @g, align 846 %.pr3.pre = load i32, ptr @e, align 4, !tbaa !247 br label %for.cond4thread-pre-split48 49for.cond4thread-pre-split: ; preds = %for.cond4thread-pre-split.lr.ph, %for.end950 %3 = phi i32 [ %.pr2, %for.cond4thread-pre-split.lr.ph ], [ %dec, %for.end9 ]51 %4 = phi i32 [ 14, %for.cond4thread-pre-split.lr.ph ], [ 0, %for.end9 ]52 %.pr3 = phi i32 [ %.pr3.pre, %for.cond4thread-pre-split.lr.ph ], [ %.pr37, %for.end9 ]53 %cmp54 = icmp slt i32 %.pr3, 154 br i1 %cmp54, label %for.body6.preheader, label %for.end955 56for.body6.preheader: ; preds = %for.cond4thread-pre-split57 store i32 %4, ptr %2, align 4, !tbaa !258 %5 = load i32, ptr @e, align 4, !tbaa !259 %inc811 = add nsw i32 %5, 160 store i32 %inc811, ptr @e, align 4, !tbaa !261 %cmp512 = icmp slt i32 %5, 062 br i1 %cmp512, label %for.body6.for.body6_crit_edge, label %for.end9.loopexit63 64for.body6.for.body6_crit_edge: ; preds = %for.body6.preheader, %for.body6.for.body6_crit_edge.365 %.pre = load i32, ptr %i, align 4, !tbaa !266 store i32 %.pre, ptr %2, align 4, !tbaa !267 %6 = load i32, ptr @e, align 4, !tbaa !268 %inc8 = add nsw i32 %6, 169 store i32 %inc8, ptr @e, align 4, !tbaa !270 %cmp5 = icmp slt i32 %6, 071 br i1 %cmp5, label %for.body6.for.body6_crit_edge.1, label %for.end9.loopexit72 73for.end9.loopexit: ; preds = %for.body6.for.body6_crit_edge, %for.body6.for.body6_crit_edge.1, %for.body6.for.body6_crit_edge.2, %for.body6.for.body6_crit_edge.3, %for.body6.preheader74 %inc8.lcssa = phi i32 [ %inc811, %for.body6.preheader ], [ %inc8, %for.body6.for.body6_crit_edge ], [ %inc8.1, %for.body6.for.body6_crit_edge.1 ], [ %inc8.2, %for.body6.for.body6_crit_edge.2 ], [ %inc8.3, %for.body6.for.body6_crit_edge.3 ]75 %.pre9 = load i32, ptr @d, align 4, !tbaa !276 br label %for.end977 78for.end9: ; preds = %for.end9.loopexit, %for.cond4thread-pre-split79 %7 = phi i32 [ %.pre9, %for.end9.loopexit ], [ %3, %for.cond4thread-pre-split ]80 %.pr37 = phi i32 [ %inc8.lcssa, %for.end9.loopexit ], [ %.pr3, %for.cond4thread-pre-split ]81 store i32 %1, ptr @h, align 4, !tbaa !282 store i32 0, ptr %i, align 4, !tbaa !283 %8 = load i32, ptr @b, align 4, !tbaa !284 %9 = load i32, ptr @f, align 4, !tbaa !285 %xor = xor i32 %9, %886 %idxprom = sext i32 %xor to i6487 %arrayidx = getelementptr inbounds [6 x i32], ptr @a, i64 0, i64 %idxprom88 %10 = load i32, ptr %arrayidx, align 4, !tbaa !289 store i32 %10, ptr @b, align 4, !tbaa !290 %dec = add nsw i32 %7, -191 store i32 %dec, ptr @d, align 4, !tbaa !292 %cmp2 = icmp sgt i32 %7, 093 br i1 %cmp2, label %for.cond4thread-pre-split, label %for.end1194 95for.end11: ; preds = %for.end9, %for.end.for.end11_crit_edge96 %11 = phi i32 [ %.pre10, %for.end.for.end11_crit_edge ], [ %10, %for.end9 ]97 %call = call signext i32 (ptr, ...) @printf(ptr @.str, i32 signext %11)98 call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %i)99 ret i32 0100 101for.body6.for.body6_crit_edge.1: ; preds = %for.body6.for.body6_crit_edge102 %.pre.1 = load i32, ptr %i, align 4, !tbaa !2103 store i32 %.pre.1, ptr %2, align 4, !tbaa !2104 %12 = load i32, ptr @e, align 4, !tbaa !2105 %inc8.1 = add nsw i32 %12, 1106 store i32 %inc8.1, ptr @e, align 4, !tbaa !2107 %cmp5.1 = icmp slt i32 %12, 0108 br i1 %cmp5.1, label %for.body6.for.body6_crit_edge.2, label %for.end9.loopexit109 110for.body6.for.body6_crit_edge.2: ; preds = %for.body6.for.body6_crit_edge.1111 %.pre.2 = load i32, ptr %i, align 4, !tbaa !2112 store i32 %.pre.2, ptr %2, align 4, !tbaa !2113 %13 = load i32, ptr @e, align 4, !tbaa !2114 %inc8.2 = add nsw i32 %13, 1115 store i32 %inc8.2, ptr @e, align 4, !tbaa !2116 %cmp5.2 = icmp slt i32 %13, 0117 br i1 %cmp5.2, label %for.body6.for.body6_crit_edge.3, label %for.end9.loopexit118 119for.body6.for.body6_crit_edge.3: ; preds = %for.body6.for.body6_crit_edge.2120 %.pre.3 = load i32, ptr %i, align 4, !tbaa !2121 store i32 %.pre.3, ptr %2, align 4, !tbaa !2122 %14 = load i32, ptr @e, align 4, !tbaa !2123 %inc8.3 = add nsw i32 %14, 1124 store i32 %inc8.3, ptr @e, align 4, !tbaa !2125 %cmp5.3 = icmp slt i32 %14, 0126 br i1 %cmp5.3, label %for.body6.for.body6_crit_edge, label %for.end9.loopexit127}128 129; Function Attrs: argmemonly nounwind130declare void @llvm.lifetime.start.p0(i64, ptr nocapture)131 132; Function Attrs: argmemonly nounwind133declare void @llvm.lifetime.end.p0(i64, ptr nocapture)134 135; Function Attrs: nounwind136declare dso_local signext i32 @printf(ptr nocapture readonly, ...)137 138!llvm.module.flags = !{!0}139 140!0 = !{i32 1, !"wchar_size", i32 4}141!2 = !{!3, !3, i64 0}142!3 = !{!"int", !4, i64 0}143!4 = !{!"omnipotent char", !5, i64 0}144!5 = !{!"Simple C/C++ TBAA"}145