35 lines · plain
1; Test that this test case does not abort after the folding of load -> add ->2; store into an alsi. This folding is suppose to not happen as it would3; introduce a loop in the DAG.4;5; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 -disable-basic-aa -consthoist-gep | FileCheck %s6 7@g_295 = external dso_local unnamed_addr global i32, align 48@g_672 = external dso_local unnamed_addr global i64, align 89@g_1484 = external dso_local global <{ i8, i64, { i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i32, i8, i8, [2 x i8], i8, i8, i8, i8, i8, i8, i8, i8, i32, i8, i8, i8 }, i32 }>, align 210 11define void @fun() {12; CHECK-LABEL: fun:13 14bb:15 br label %bb116 17bb1: ; preds = %bb1, %bb18 store i32 2, ptr getelementptr inbounds (<{ i8, i64, { i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i32, i8, i8, [2 x i8], i8, i8, i8, i8, i8, i8, i8, i8, i32, i8, i8, i8 }, i32 }>, ptr @g_1484, i64 0, i32 2, i32 16)19 %tmp = icmp slt i32 undef, 320 br i1 %tmp, label %bb1, label %bb221 22bb2: ; preds = %bb123 %tmp3 = load i32, ptr getelementptr inbounds (<{ i8, i64, { i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i32, i8, i8, [2 x i8], i8, i8, i8, i8, i8, i8, i8, i8, i32, i8, i8, i8 }, i32 }>, ptr @g_1484, i64 0, i32 2, i32 28)24 %tmp4 = load i64, ptr @g_67225 %tmp5 = add i64 %tmp4, 126 store i64 %tmp5, ptr @g_67227 %tmp6 = icmp eq i64 %tmp5, 028 %tmp7 = zext i1 %tmp6 to i3229 %tmp8 = icmp ult i32 %tmp3, %tmp730 %tmp9 = zext i1 %tmp8 to i3231 store i32 %tmp9, ptr @g_29532 ret void33}34 35