| ; REQUIRES: asserts |
| ; RUN: opt -S -mtriple=systemz-unknown -mcpu=z13 -O3 -enable-mssa-loop-dependency -enable-simple-loop-unswitch -verify-memoryssa < %s | FileCheck %s |
| |
| target datalayout = "E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-v128:64-a:8:16-n32:64" |
| target triple = "s390x-ibm-linux" |
| |
| @g_225 = external dso_local global i16, align 2 |
| @g_967 = external dso_local global i8, align 2 |
| @g_853 = external dso_local global i32***, align 8 |
| @g_320 = external dso_local global { i8, i8, i8, i8, i8, i8, i8, i8 }, align 4 |
| |
| ; Function Attrs: nounwind |
| ; CHECK-LABEL: @main( |
| define dso_local void @main() #0 { |
| bb: |
| call void @func_1() |
| unreachable |
| } |
| |
| ; Function Attrs: nounwind |
| define dso_local void @func_1() #0 { |
| bb: |
| call void @func_23() |
| unreachable |
| } |
| |
| ; Function Attrs: nounwind |
| define dso_local void @func_23() #0 { |
| bb: |
| %tmp = alloca i32****, align 8 |
| %tmp1 = alloca i32*****, align 8 |
| store i32**** @g_853, i32***** %tmp, align 8, !tbaa !1 |
| store i32***** %tmp, i32****** %tmp1, align 8, !tbaa !1 |
| br label %bb2 |
| |
| bb2: ; preds = %bb21, %bb |
| br label %bb3 |
| |
| bb3: ; preds = %bb7, %bb2 |
| %tmp4 = load i8, i8* @g_967, align 2, !tbaa !5 |
| %tmp5 = sext i8 %tmp4 to i32 |
| %tmp6 = icmp sle i32 %tmp5, 5 |
| br i1 %tmp6, label %bb7, label %bb8 |
| |
| bb7: ; preds = %bb3 |
| call void @safe_sub_func_uint64_t_u_u() |
| br label %bb3 |
| |
| bb8: ; preds = %bb3 |
| store i16 0, i16* @g_225, align 2, !tbaa !6 |
| br label %bb9 |
| |
| bb9: ; preds = %bb25, %bb8 |
| %tmp10 = load i16, i16* @g_225, align 2, !tbaa !6 |
| %tmp11 = sext i16 %tmp10 to i32 |
| %tmp12 = icmp ne i32 %tmp11, 1 |
| br i1 %tmp12, label %bb13, label %bb28 |
| |
| bb13: ; preds = %bb9 |
| %tmp14 = load i32*****, i32****** %tmp1, align 8, !tbaa !1 |
| %tmp15 = load i32****, i32***** %tmp14, align 8, !tbaa !1 |
| %tmp16 = load i32***, i32**** %tmp15, align 8, !tbaa !1 |
| %tmp17 = load i32**, i32*** %tmp16, align 8, !tbaa !1 |
| %tmp18 = load i32*, i32** %tmp17, align 8, !tbaa !1 |
| %tmp19 = load i32, i32* %tmp18, align 4, !tbaa !8 |
| %tmp20 = icmp ne i32 %tmp19, 0 |
| br i1 %tmp20, label %bb28, label %bb21 |
| |
| bb21: ; preds = %bb13 |
| %tmp22 = load i32, i32* bitcast ({ i8, i8, i8, i8, i8, i8, i8, i8 }* @g_320 to i32*), align 4 |
| %tmp23 = ashr i32 %tmp22, 16 |
| %tmp24 = icmp ne i32 %tmp23, 0 |
| br i1 %tmp24, label %bb2, label %bb25 |
| |
| bb25: ; preds = %bb21 |
| %tmp26 = load i16, i16* @g_225, align 2, !tbaa !6 |
| %tmp27 = add i16 %tmp26, 1 |
| store i16 %tmp27, i16* @g_225, align 2, !tbaa !6 |
| br label %bb9 |
| |
| bb28: ; preds = %bb13, %bb9 |
| ret void |
| } |
| |
| ; Function Attrs: nounwind |
| define dso_local void @func_33() #0 { |
| bb: |
| unreachable |
| } |
| |
| ; Function Attrs: nounwind |
| declare dso_local void @safe_sub_func_uint64_t_u_u() #0 |
| |
| attributes #0 = { nounwind "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="z13" "target-features"="+transactional-execution,+vector" "unsafe-fp-math"="false" "use-soft-float"="false" } |
| |
| !llvm.ident = !{!0} |
| |
| !0 = !{!"clang version 8.0.0 (http://llvm.org/git/clang.git a674a04e68bcf09f9a0423f3f589589596bc01a6) (http://llvm.org/git/llvm.git 1fe1ffe00e034128d1c5504254fdd4742f48bb9a)"} |
| !1 = !{!2, !2, i64 0} |
| !2 = !{!"any pointer", !3, i64 0} |
| !3 = !{!"omnipotent char", !4, i64 0} |
| !4 = !{!"Simple C/C++ TBAA"} |
| !5 = !{!3, !3, i64 0} |
| !6 = !{!7, !7, i64 0} |
| !7 = !{!"short", !3, i64 0} |
| !8 = !{!9, !9, i64 0} |
| !9 = !{!"int", !3, i64 0} |
| |