34 lines · plain
1; REQUIRES: asserts2; RUN: opt -S -passes="loop-mssa(simple-loop-unswitch)" -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; CHECK-LABEL: @func_23()8define dso_local void @func_23() local_unnamed_addr {9 br label %bb210bb2: ; preds = %bb2.loopexit, %bb11 br label %bb712bb3.bb9.preheader_crit_edge: ; preds = %bb713 br label %bb9.preheader14bb9.preheader: ; preds = %bb3.bb9.preheader_crit_edge, %bb215 %tmp20 = icmp eq i32 0, 016 %tmp24 = icmp ugt i32 65536, 6553517 br label %bb1318bb7: ; preds = %bb7.lr.ph, %bb719 %tmp6 = icmp slt i8 94, 620 br i1 %tmp6, label %bb7, label %bb3.bb9.preheader_crit_edge21bb9: ; preds = %bb2122 store i16 %tmp27, ptr undef, align 223 %tmp12 = icmp eq i16 %tmp27, 124 br i1 %tmp12, label %bb28, label %bb1325bb13: ; preds = %bb9.preheader, %bb926 %storemerge3 = phi i16 [ 0, %bb9.preheader ], [ %tmp27, %bb9 ]27 br i1 %tmp20, label %bb21, label %bb2828bb21: ; preds = %bb1329 %tmp27 = add i16 %storemerge3, 130 br i1 %tmp24, label %bb2, label %bb931bb28: ; preds = %bb13, %bb932 ret void33}34