test/CodeGen/SystemZ/regcoal-subranges-update.mir

   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 ---
  21 name:            main
  22 tracksRegLiveness: true
  23 body:             |
  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 ---
  50 name:            segfault
  51 tracksRegLiveness: true
  52 liveins:         []
  53 body:             |
  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 ...