1# RUN: llc -mtriple=s390x-linux-gnu -mcpu=z13 -misched=shuffle -verify-machineinstrs -start-before=register-coalescer -systemz-subreg-liveness %s -o - | FileCheck %s 2 3# -misched=shuffle is under !NDEBUG. 4# REQUIRES: asserts 5 6# Check for successful compilation. 7# CHECK: lhi %r0, 0 8 9--- | 10 target datalayout = "E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-v128:64-a:8:16-n32:64" 11 target triple = "s390x-unknown-linux-gnu" 12 13 @g_54 = external dso_local unnamed_addr global i8, align 2 14 @g_69 = external dso_local unnamed_addr global i32, align 4 15 @g_189 = external dso_local unnamed_addr global i16, align 2 16 @g_226 = external dso_local unnamed_addr global i8, align 2 17 @g_314 = external dso_local global [10 x i8], align 2 18 @g_334 = external dso_local global i32, align 4 19 @g_352 = external dso_local unnamed_addr global i64, align 8 20 @g_747 = external dso_local unnamed_addr global i1, align 2 21 @0 = internal unnamed_addr global i8 74, align 2 22 @g_1055 = external dso_local unnamed_addr global i16, align 2 23 @g_195 = external dso_local global ptr, align 8 24 25 declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #0 26 27 declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0 28 29 define dso_local fastcc void @func_32(i8 zeroext %arg, i16 zeroext %arg1) unnamed_addr #1 { 30 bb: 31 %tmp = alloca i32, align 4 32 %tmp2 = alloca [5 x [5 x ptr]], align 8 33 %tmp3 = bitcast ptr %tmp2 to ptr 34 %tmp4 = getelementptr inbounds [5 x [5 x ptr]], ptr %tmp2, i64 0, i64 2, i64 2 35 %tmp5 = bitcast ptr %tmp4 to ptr 36 br label %bb6 37 38 bb6: ; preds = %bb40, %bb 39 %tmp7 = phi i8 [ 0, %bb ], [ %tmp43, %bb40 ] 40 %tmp8 = phi i16 [ %arg1, %bb ], [ %tmp41, %bb40 ] 41 %tmp9 = phi i8 [ %arg, %bb ], [ 0, %bb40 ] 42 %tmp10 = sext i8 %tmp7 to i64 43 %tmp11 = add nsw i64 %tmp10, 1 44 %tmp12 = getelementptr inbounds [10 x i8], ptr @g_314, i64 0, i64 %tmp11 45 %tmp13 = load volatile i8, ptr %tmp12, align 1 46 br i1 undef, label %bb39, label %bb14 47 48 bb14: ; preds = %bb6 49 %tmp15 = load ptr, ptr @g_195, align 8 50 %tmp16 = load volatile i8, ptr %tmp12, align 1 51 store i32 7, ptr %tmp, align 4 52 call void @llvm.lifetime.start.p0(i64 200, ptr nonnull %tmp3) 53 store i32 580868341, ptr @g_69, align 4 54 %tmp17 = zext i8 %tmp9 to i64 55 %tmp18 = load i64, ptr @g_352, align 8 56 %tmp19 = and i64 %tmp18, %tmp17 57 %tmp20 = icmp ne i64 %tmp19, 1 58 %tmp21 = zext i1 %tmp20 to i64 59 %tmp22 = load ptr, ptr %tmp15, align 8 60 store i64 %tmp21, ptr %tmp22, align 8 61 %tmp23 = load i32, ptr @g_334, align 4 62 %tmp24 = xor i32 %tmp23, 1 63 store i32 %tmp24, ptr @g_334, align 4 64 %tmp25 = zext i8 %tmp9 to i16 65 %tmp26 = mul i16 %tmp25, 26036 66 %tmp27 = load ptr, ptr %tmp5, align 8 67 br label %bb28 68 69 bb28: ; preds = %bb14 70 %tmp29 = mul i16 %tmp26, %tmp8 71 %tmp30 = zext i16 %tmp29 to i32 72 store i32 %tmp30, ptr @g_69, align 4 73 store i8 0, ptr @g_226, align 2 74 br label %bb32 75 76 bb31: ; preds = %bb35 77 call void @llvm.lifetime.end.p0(i64 200, ptr nonnull %tmp3) 78 br label %bb40 79 80 bb32: ; preds = %bb34, %bb28 81 store i16 1, ptr @g_1055, align 2 82 store i64 0, ptr @g_352, align 8 83 store ptr @g_334, ptr undef, align 8 84 %tmp33 = or i64 0, 1 85 store i64 %tmp33, ptr @g_352, align 8 86 store ptr @g_334, ptr null, align 8 87 br label %bb34 88 89 bb34: ; preds = %bb32 90 br i1 false, label %bb32, label %bb35 91 92 bb35: ; preds = %bb34 93 store ptr %tmp, ptr undef, align 8 94 store i8 0, ptr @0, align 2 95 store i16 2, ptr @g_189, align 2 96 store i8 1, ptr @g_54, align 2 97 store i1 true, ptr @g_747, align 2 98 store i64 0, ptr undef, align 8 99 %tmp36 = load ptr, ptr undef, align 8 100 %tmp37 = load i64, ptr %tmp36, align 8 101 %tmp38 = load ptr, ptr %tmp27, align 8 102 store i64 %tmp37, ptr %tmp38, align 8 103 store i16 0, ptr @g_189, align 2 104 br label %bb31 105 106 bb39: ; preds = %bb6 107 br label %bb40 108 109 bb40: ; preds = %bb39, %bb31 110 %tmp41 = phi i16 [ undef, %bb39 ], [ 0, %bb31 ] 111 %tmp42 = load volatile i8, ptr %tmp12, align 1 112 %tmp43 = add i8 %tmp7, 1 113 br i1 false, label %bb6, label %bb44 114 115 bb44: ; preds = %bb40 116 unreachable 117 } 118 119 attributes #0 = { argmemonly nofree nosync nounwind willreturn } 120 attributes #1 = { nounwind } 121 attributes #2 = { nofree nosync nounwind willreturn } 122 123... 124--- 125name: func_32 126alignment: 16 127tracksRegLiveness: true 128liveins: 129 - { reg: '$r2d', virtual-reg: '%0' } 130 - { reg: '$r3d', virtual-reg: '%1' } 131frameInfo: 132 maxAlignment: 8 133stack: 134 - { id: 0, name: tmp, size: 4, alignment: 4 } 135 - { id: 1, name: tmp2, size: 200, alignment: 8 } 136body: | 137 bb.0.bb: 138 liveins: $r2d, $r3d 139 140 %1:gr64bit = COPY killed $r3d 141 %0:gr64bit = COPY killed $r2d 142 %2:grx32bit = COPY killed %1.subreg_l32 143 %3:grx32bit = COPY killed %0.subreg_l32 144 %4:addr64bit = LA %stack.1.tmp2, 96, $noreg 145 %5:gr32bit = LHIMux 0 146 %6:addr64bit = LARL @g_314 147 %7:gr32bit = IIFMux 580868341 148 %8:addr64bit = LARL @g_352 149 %9:gr64bit = LGHI 0 150 %10:addr64bit = LARL @g_334 151 %11:gr32bit = LHIMux 1 152 %12:addr64bit = LARL @g_226 153 %13:gr64bit = LGHI 1 154 %14:gr64bit = LA %stack.0.tmp, 0, $noreg 155 %15:addr64bit = LARL @0 156 %16:gr32bit = LHIMux 2 157 %17:addr64bit = LARL @g_54 158 %18:addr64bit = LARL @g_747 159 %19:grx32bit = COPY %5 160 %20:gr32bit = COPY killed %2 161 %21:grx32bit = COPY killed %3 162 163 bb.1.bb6: 164 %22:grx32bit = COPY killed %21 165 %23:gr32bit = COPY killed %20 166 %24:grx32bit = COPY killed %19 167 undef %25.subreg_l32:gr64bit = COPY %24 168 %26:addr64bit = LGBR killed %25 169 %27:addr64bit = LA %26, 1, %6 170 dead %28:grx32bit = LBMux killed %26, 1, %6 :: (volatile load (s8) from %ir.tmp12) 171 CHIMux %5, 0, implicit-def $cc 172 BRC 14, 6, %bb.7, implicit killed $cc 173 J %bb.2 174 175 bb.2.bb14: 176 %29:addr64bit = LGRL @g_195 :: (dereferenceable load (s64) from @g_195) 177 dead %30:grx32bit = LBMux %27, 0, $noreg :: (volatile load (s8) from %ir.tmp12) 178 MVHI %stack.0.tmp, 0, 7 :: (store (s32) into %ir.tmp) 179 STRL %7, @g_69 :: (store (s32) into @g_69) 180 undef %31.subreg_l32:gr64bit = COPY %22 181 %32:gr64bit = LLGC %8, 7, $noreg :: (dereferenceable load (s8) from @g_352 + 7) 182 %33:gr64bit = COPY killed %32 183 %33:gr64bit = RNSBG %33, killed %31, 0, 63, 0, implicit-def dead $cc 184 CGHI killed %33, 1, implicit-def $cc 185 %34:gr64bit = COPY %9 186 %34:gr64bit = LOCGHI %34, 1, 14, 6, implicit killed $cc 187 %35:addr64bit = LG killed %29, 0, $noreg :: (load (s64) from %ir.tmp15) 188 STG killed %34, killed %35, 0, $noreg :: (store (s64) into %ir.tmp22) 189 %36:gr32bit = COPY %11 190 %36:gr32bit = X %36, %10, 0, $noreg, implicit-def dead $cc :: (dereferenceable load (s32) from @g_334) 191 STRL killed %36, @g_334 :: (store (s32) into @g_334) 192 %37:gr32bit = LLCRMux killed %22 193 %38:gr32bit = COPY killed %37 194 %38:gr32bit = MHI %38, 26036 195 %39:addr64bit = LG %4, 0, $noreg :: (dereferenceable load (s64) from %ir.tmp5) 196 197 bb.3.bb28: 198 %40:gr32bit = COPY killed %38 199 %40:gr32bit = MSR %40, killed %23 200 %41:gr32bit = LLHRMux killed %40 201 STRL killed %41, @g_69 :: (store (s32) into @g_69) 202 MVI %12, 0, 0 :: (store (s8) into @g_226, align 2) 203 J %bb.4 204 205 bb.4.bb32: 206 STHRL %11, @g_1055 :: (store (s16) into @g_1055) 207 STGRL %9, @g_352 :: (store (s64) into @g_352) 208 STG %10, undef %42:addr64bit, 0, $noreg :: (store (s64) into `ptr undef`) 209 STGRL %13, @g_352 :: (store (s64) into @g_352) 210 STG %10, $noreg, 0, $noreg :: (store (s64) into `ptr null`) 211 212 bb.5.bb34: 213 successors: %bb.4(0x7c000000), %bb.6(0x04000000) 214 215 CHIMux %5, 0, implicit-def $cc 216 BRC 14, 6, %bb.4, implicit killed $cc 217 J %bb.6 218 219 bb.6.bb35: 220 STG %14, undef %43:addr64bit, 0, $noreg :: (store (s64) into `ptr undef`) 221 MVI %15, 0, 0 :: (store (s8) into @0, align 2) 222 STHRL %16, @g_189 :: (store (s16) into @g_189) 223 MVI %17, 0, 1 :: (store (s8) into @g_54, align 2) 224 MVI %18, 0, 1 :: (store (s8) into @g_747, align 2) 225 MVGHI undef %44:addr64bit, 0, 0 :: (store (s64) into `ptr undef`) 226 %45:gr64bit = LG $noreg, 0, $noreg :: (load (s64) from %ir.tmp36) 227 %46:addr64bit = LG killed %39, 0, $noreg :: (load (s64) from %ir.tmp27) 228 STG killed %45, killed %46, 0, $noreg :: (store (s64) into %ir.tmp38) 229 STHRL %5, @g_189 :: (store (s16) into @g_189) 230 %47:grx32bit = LHIMux 0 231 %48:grx32bit = COPY killed %47 232 J %bb.8 233 234 bb.7.bb39: 235 %48:grx32bit = IMPLICIT_DEF 236 237 bb.8.bb40: 238 successors: %bb.1(0x7fffffff), %bb.9(0x00000001) 239 240 %49:grx32bit = COPY killed %48 241 dead %50:grx32bit = LBMux killed %27, 0, $noreg :: (volatile load (s8) from %ir.tmp12) 242 %51:grx32bit = COPY killed %24 243 %51:grx32bit = AHIMux %51, 1, implicit-def dead $cc 244 %52:grx32bit = LHIMux 0 245 CHIMux %52, 0, implicit-def $cc 246 %19:grx32bit = COPY killed %51 247 %20:gr32bit = COPY killed %49 248 %21:grx32bit = COPY killed %52 249 BRC 14, 6, %bb.1, implicit killed $cc 250 J %bb.9 251 252 bb.9.bb44: 253 254... 255