111 lines · plain
1; REQUIRES: asserts2; RUN: opt -mcpu=z13 -S -passes=loop-simplifycfg -enable-loop-simplifycfg-term-folding -verify-memoryssa 2>&1 < %s | FileCheck %s3target datalayout = "E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-v128:64-a:8:16-n32:64"4 5@global = external dso_local local_unnamed_addr global i8, align 26@global.1 = external dso_local local_unnamed_addr global i32, align 47@global.2 = external dso_local local_unnamed_addr global i32, align 48@global.3 = external dso_local local_unnamed_addr global i16, align 29@global.4 = external dso_local local_unnamed_addr global i32, align 410 11; CHECK-LABEL: @test_01(12 13define internal fastcc void @test_01() unnamed_addr {14bb:15 %tmp = load i32, ptr @global.2, align 416 %tmp1 = icmp eq i32 %tmp, 017 br i1 %tmp1, label %bb3, label %bb218 19bb2: ; preds = %bb20 br label %bb721 22bb3: ; preds = %bb23 br label %bb424 25bb4: ; preds = %bb6, %bb326 br i1 true, label %bb5, label %bb627 28bb5: ; preds = %bb429 store i16 0, ptr @global.3, align 230 br label %bb631 32bb6: ; preds = %bb5, %bb433 br label %bb434 35bb7: ; preds = %bb7, %bb236 %tmp8 = phi i32 [ 1, %bb7 ], [ 0, %bb2 ]37 %tmp9 = icmp eq i32 %tmp8, 038 br i1 %tmp9, label %bb7, label %bb1039 40bb10: ; preds = %bb741 br label %bb1142 43bb11: ; preds = %bb13, %bb1044 %tmp12 = icmp ult i32 %tmp, 645 br i1 %tmp12, label %bb13, label %bb1446 47bb13: ; preds = %bb1148 store i32 0, ptr @global.1, align 449 br label %bb1150 51bb14: ; preds = %bb1152 ret void53}54 55@global.5 = external dso_local local_unnamed_addr global i16, align 256 57declare dso_local void @spam() local_unnamed_addr58 59declare dso_local void @blam() local_unnamed_addr60 61declare dso_local i64 @quux.1() local_unnamed_addr62 63declare dso_local void @bar() local_unnamed_addr64 65; CHECK-LABEL: @test_02(66 67define dso_local void @test_02(i8 signext %arg) local_unnamed_addr {68bb:69 br label %bb170 71bb1: ; preds = %bb16, %bb72 %tmp = phi i8 [ %arg, %bb ], [ %tmp17, %bb16 ]73 %tmp2 = load i16, ptr @global.5, align 274 %tmp3 = icmp ugt i16 %tmp2, 5675 br i1 %tmp3, label %bb4, label %bb1876 77bb4: ; preds = %bb178 %tmp5 = tail call i64 @quux.1()79 %tmp6 = icmp eq i64 %tmp5, 080 br i1 %tmp6, label %bb13, label %bb781 82bb7: ; preds = %bb483 br label %bb884 85bb8: ; preds = %bb8, %bb786 %tmp9 = phi i32 [ 26, %bb7 ], [ %tmp10, %bb8 ]87 tail call void @bar()88 %tmp10 = add nsw i32 %tmp9, -189 %tmp11 = icmp eq i32 %tmp10, 1290 br i1 %tmp11, label %bb12, label %bb891 92bb12: ; preds = %bb893 br i1 false, label %bb14, label %bb1694 95bb13: ; preds = %bb496 tail call void @spam()97 br label %bb1498 99bb14: ; preds = %bb13, %bb12100 %tmp15 = phi i8 [ -23, %bb12 ], [ %tmp, %bb13 ]101 tail call void @blam()102 br label %bb16103 104bb16: ; preds = %bb14, %bb12105 %tmp17 = phi i8 [ %tmp15, %bb14 ], [ -23, %bb12 ]106 br label %bb1107 108bb18: ; preds = %bb1109 ret void110}111