[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / SystemZ / regalloc-fast-invalid-kill-flag.mir
blobcf2c274b1c3416d0c73514955d78fdc926d48922
1 # RUN: llc -verify-machineinstrs -run-pass regallocfast -mtriple s390x-ibm-linux -o - %s | FileCheck %s
2 --- |
3   
4   @g_167 = external global [5 x i64], align 8
5   define void @main() local_unnamed_addr {
6     ret void
7   }
8 ...
9 # Make sure the usage of different subregisters on the same virtual register
10 # does not result in invalid kill flags.
11 # PR33677
12 ---
13 name:            main
14 alignment:       4
15 tracksRegLiveness: true
16 # CHECK: $r0l = COPY renamable $r1l
17 # Although R0L partially redefines R0Q, it must not mark R0Q as kill
18 # because R1D is still live through that instruction.
19 # CHECK-NOT: implicit killed $r0q
20 # CHECK-NEXT: {{\$r[0-9]+d}} = COPY renamable $r1d
21 # CHECK-NEXT: LARL
22 body:             |
23   bb.0:
24     %0 : gr128bit = IMPLICIT_DEF
25     %0.subreg_hl32 = COPY %0.subreg_l32
26     %1 : gr64bit = COPY %0.subreg_l64
27     %2 : addr64bit = LARL @g_167
28     STC %1.subreg_l32, %2, 8, $noreg
30 ...