1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py 2# RUN: llc -o - %s -verify-machineinstrs -mtriple=s390x-linux-gnu -mcpu=z196 -run-pass=livevars,twoaddressinstruction | FileCheck %s 3 4# Check that the COPY from [[COPY3]] is not killed because there is a subsequent 5# use of [[COPY3]] in the INLINEASM instruction. 6--- 7name: f2 8tracksRegLiveness: true 9body: | 10 bb.0: 11 liveins: $r2l 12 13 ; CHECK-LABEL: name: f2 14 ; CHECK: liveins: $r2l 15 ; CHECK-NEXT: {{ $}} 16 ; CHECK-NEXT: [[COPY:%[0-9]+]]:gr32bit = COPY killed $r2l 17 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:grh32bit = COPY [[COPY]] 18 ; CHECK-NEXT: $r2l = COPY [[COPY]] 19 ; CHECK-NEXT: $r3l = COPY killed [[COPY]] 20 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:grh32bit = COPY killed [[COPY1]] 21 ; CHECK-NEXT: INLINEASM &"stepa $1, $2, $3", 0 /* attdialect */, 393226 /* regdef:GRH32Bit */, def [[COPY2]], 2147483657 /* reguse tiedto:$0 */, [[COPY2]](tied-def 3), 9 /* reguse */, killed $r2l, 9 /* reguse */, killed $r3l 22 ; CHECK-NEXT: [[COPY3:%[0-9]+]]:grh32bit = COPY killed [[COPY2]] 23 ; CHECK-NEXT: [[COPY4:%[0-9]+]]:grh32bit = COPY [[COPY3]] 24 ; CHECK-NEXT: INLINEASM &"stepb $1, $2", 0 /* attdialect */, 393227 /* regdef-ec:GRH32Bit */, def early-clobber [[COPY4]], 2147483657 /* reguse tiedto:$0 */, [[COPY4]](tied-def 3), 393225 /* reguse:GRH32Bit */, [[COPY3]] 25 ; CHECK-NEXT: $r2l = COPY killed [[COPY4]] 26 ; CHECK-NEXT: Return implicit killed $r2l 27 %0:gr32bit = COPY killed $r2l 28 %2:grh32bit = COPY %0 29 $r2l = COPY %0 30 $r3l = COPY killed %0 31 INLINEASM &"stepa $1, $2, $3", 0 /* attdialect */, 393226 /* regdef:GRH32Bit */, def %1:grh32bit, 2147483657 /* reguse tiedto:$0 */, killed %2(tied-def 3), 9 /* reguse */, killed $r2l, 9 /* reguse */, killed $r3l 32 %4:grh32bit = COPY killed %1 33 INLINEASM &"stepb $1, $2", 0 /* attdialect */, 393227 /* regdef-ec:GRH32Bit */, def early-clobber %3:grh32bit, 2147483657 /* reguse tiedto:$0 */, killed %4(tied-def 3), 393225 /* reguse:GRH32Bit */, %4 34 $r2l = COPY killed %3 35 Return implicit killed $r2l 36... 37