1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py 2# RUN: llc -mtriple s390x-ibm-linux -mcpu=z13 -systemz-subreg-liveness -verify-machineinstrs -start-before simple-register-coalescing -stop-after greedy -o - %s | FileCheck %s 3 4# Check that when we split the live-range with several active lanes 5# as part of the live-range update, we correctly eliminate the VNI from 6# the relevant part. 7# 8# In this specific test, the register coalescer will: 9# 1. Merge %0 with %1, creating a live-range for the full value subreg_l32 + subreg_h32 10# (actually %0 gets merge with %1 via rematerialization, and technically %0 and %1 11# remain two different live-ranges.) 12# 2. Merge %2 with %1 triggering a split into the subreg_l32 + subreg_h32 ranges, since 13# %2 only touches subreg_l32. As part of the split the subrange covering subreg_h32 14# must contain only the VNI for the high part (i.e., the one tied with the remaaat of %0). 15# This used to be broken and trigger a machine verifier error, because we were not 16# clearing the dead value w.r.t. lanes when doing the splitting. I.e., we were ending 17# with a subrange referring a value that did not define that lane. 18# 19# PR40835 20--- 21name: main 22tracksRegLiveness: true 23body: | 24 bb.0: 25 26 ; CHECK-LABEL: name: main 27 ; CHECK: [[LGHI:%[0-9]+]]:gr64bit = LGHI 43 28 ; CHECK: [[LGHI1:%[0-9]+]]:gr64bit = LGHI 43 29 ; CHECK: [[LGHI1]].subreg_l32:gr64bit = MSR [[LGHI1]].subreg_l32, [[LGHI1]].subreg_l32 30 ; CHECK: [[LGHI1]].subreg_l32:gr64bit = AHIMux [[LGHI1]].subreg_l32, 9, implicit-def dead $cc 31 ; CHECK: undef %3.subreg_l64:gr128bit = LGFI -245143785, implicit [[LGHI1]].subreg_l32 32 ; CHECK: [[DLGR:%[0-9]+]]:gr128bit = DLGR [[DLGR]], [[LGHI]] 33 ; CHECK: Return implicit [[DLGR]] 34 %0:gr64bit = LGHI 43 35 %1:gr32bit = COPY %0.subreg_l32 36 %1:gr32bit = MSR %1, %1 37 %2:gr32bit = COPY killed %1 38 %2:gr32bit = AHIMux killed %2, 9, implicit-def dead $cc 39 undef %3.subreg_l64:gr128bit = LGFI -245143785, implicit killed %2 40 %3:gr128bit = DLGR %3:gr128bit, killed %0 41 Return implicit killed %3 42 43... 44 45# Make sure the compiler does not choke on VNIs that don't 46# an explicit MI as definition. 47# In that specific example, this is the PHI not explicitly 48# represented for the value carried by %7. 49--- 50name: segfault 51tracksRegLiveness: true 52liveins: [] 53body: | 54 ; CHECK-LABEL: name: segfault 55 ; CHECK: bb.0: 56 ; CHECK: successors: %bb.1(0x80000000) 57 ; CHECK: [[LGHI:%[0-9]+]]:addr64bit = LGHI 0 58 ; CHECK: bb.1: 59 ; CHECK: successors: %bb.1(0x80000000) 60 ; CHECK: ADJCALLSTACKDOWN 0, 0 61 ; CHECK: [[LGFR:%[0-9]+]]:gr64bit = LGFR [[LGHI]].subreg_l32 62 ; CHECK: $r2d = LGHI 123 63 ; CHECK: $r3d = LGHI 0 64 ; CHECK: $r4d = LGHI 0 65 ; CHECK: $r5d = COPY [[LGFR]] 66 ; CHECK: KILL killed $r2d, killed $r3d, killed $r4d, $r5d, csr_systemz, implicit-def dead $r14d, implicit-def dead $cc 67 ; CHECK: ADJCALLSTACKUP 0, 0 68 ; CHECK: [[LGHI]]:addr64bit = nuw nsw LA [[LGHI]], 1, $noreg 69 ; CHECK: J %bb.1 70 bb.0: 71 successors: %bb.1(0x80000000) 72 73 %2:gr64bit = LGHI 0 74 %5:gr64bit = LGHI 123 75 %7:addr64bit = COPY %2 76 77 bb.1: 78 successors: %bb.1(0x80000000) 79 80 %0:addr64bit = COPY killed %7 81 ADJCALLSTACKDOWN 0, 0 82 %3:gr32bit = COPY %0.subreg_l32 83 %4:gr64bit = LGFR killed %3 84 $r2d = COPY %5 85 $r3d = COPY %2 86 $r4d = COPY %2 87 $r5d = COPY killed %4 88 KILL killed $r2d, killed $r3d, killed $r4d, killed $r5d, csr_systemz, implicit-def dead $r14d, implicit-def dead $cc 89 ADJCALLSTACKUP 0, 0 90 %1:gr64bit = nuw nsw LA killed %0, 1, $noreg 91 %7:addr64bit = COPY killed %1 92 J %bb.1 93 94... 95