llvm/test/MachineVerifier/live-ins-03.mir

   1 # RUN: not --crash llc -o - %s -mtriple=s390x-linux-gnu -mcpu=z14 -run-pass none 2>&1 | FileCheck %s
   2 # REQUIRES: systemz-registered-target
   3
   4 # Test that a the machine verifier reports an error when a register in
   5 # liveins is not liveout from predecessor.
   6
   7 ---
   8 name:            f1
   9 tracksRegLiveness: true
  10 machineFunctionInfo: {}
  11 body:             |
  12   bb.0:
  13     liveins: $r2l, $r3l
  14
  15     %1:gr32bit = COPY $r3l
  16     %0:gr32bit = COPY $r2l
  17     CHIMux %0, 0, implicit-def $cc
  18
  19   bb.1:
  20     liveins: $cc
  21     BRC 14, 8, %bb.3, implicit $cc
  22
  23   bb.2:
  24
  25   bb.3:
  26     liveins: $cc
  27
  28     %2:grx32bit = LOCRMux %1, %0, 14, 8, implicit $cc
  29     $r2l = COPY %2
  30     Return implicit $r2l
  31 ...
  32
  33 # CHECK: *** Bad machine code: Live in register not found to be live out from predecessor. ***
  34 # CHECK:- function:    f1
  35 # CHECK:- basic block: %bb.3
  36 # CHECK:CC not found to be live out from %bb.2