81 lines · plain
1; REQUIRES: asserts2; RUN: opt -S -mtriple=systemz-unknown -mcpu=z13 -O3 -verify-memoryssa < %s | FileCheck %s3 4target datalayout = "E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-v128:64-a:8:16-n32:64"5target triple = "s390x-ibm-linux"6 7@g_80 = external dso_local global i32, align 48@g_1683 = external dso_local global i32, align 49@0 = internal global [7 x i8] c"\00\EE\00\00\EE\00\00", align 210 11; Function Attrs: nounwind12; CHECK-LABEL: @main13define dso_local void @main() {14bb:15 call void @func_1()16 unreachable17}18 19; Function Attrs: nounwind20define dso_local void @func_1() {21bb:22 call void @func_2()23 unreachable24}25 26; Function Attrs: nounwind27define dso_local void @func_2() {28bb:29 %tmp = alloca i32, align 430 store i32 0, ptr @g_80, align 4, !tbaa !131 br label %bb132 33bb1: ; preds = %bb15, %bb34 %tmp2 = load i32, ptr @g_80, align 4, !tbaa !135 %tmp3 = icmp sle i32 %tmp2, 636 br i1 %tmp3, label %bb4, label %bb1837 38bb4: ; preds = %bb139 %tmp5 = load i32, ptr @g_1683, align 4, !tbaa !140 %tmp6 = sext i32 %tmp5 to i6441 %tmp7 = getelementptr inbounds [7 x i8], ptr @0, i64 0, i64 %tmp642 %tmp8 = load i8, ptr %tmp7, align 1, !tbaa !543 %tmp9 = icmp ne i8 %tmp8, 044 br i1 %tmp9, label %bb10, label %bb1145 46bb10: ; preds = %bb447 store i32 82, ptr %tmp, align 448 br label %bb1249 50bb11: ; preds = %bb451 store i32 0, ptr %tmp, align 452 br label %bb1253 54bb12: ; preds = %bb11, %bb1055 %tmp13 = load i32, ptr %tmp, align 456 %tmp14 = icmp ult i32 %tmp13, 157 br i1 %tmp14, label %bb15, label %bb1858 59bb15: ; preds = %bb1260 %tmp16 = load i32, ptr @g_80, align 4, !tbaa !161 %tmp17 = add nsw i32 %tmp16, 162 store i32 %tmp17, ptr @g_80, align 4, !tbaa !163 br label %bb164 65bb18: ; preds = %bb12, %bb166 call void @llvm.trap()67 unreachable68}69 70; Function Attrs: cold noreturn nounwind71declare void @llvm.trap()72 73!llvm.ident = !{!0}74 75!0 = !{!"clang version 8.0.0 (http://llvm.org/git/clang.git a674a04e68bcf09f9a0423f3f589589596bc01a6) (http://llvm.org/git/llvm.git 1fe1ffe00e034128d1c5504254fdd4742f48bb9a)"}76!1 = !{!2, !2, i64 0}77!2 = !{!"int", !3, i64 0}78!3 = !{!"omnipotent char", !4, i64 0}79!4 = !{!"Simple C/C++ TBAA"}80!5 = !{!3, !3, i64 0}81