| # RUN: not --crash llc -mtriple=s390x-linux-gnu -mcpu=z14 -run-pass=none -filetype=null %s 2>&1 | FileCheck %s |
| # REQUIRES: systemz-registered-target |
| |
| # Test that a the machine verifier reports an error when a register in |
| # liveins is not liveout from predecessor. |
| |
| --- |
| name: f1 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| liveins: $r2l, $r3l |
| |
| %1:gr32bit = COPY $r3l |
| %0:gr32bit = COPY $r2l |
| CHIMux %0, 0, implicit-def $cc |
| |
| bb.1: |
| |
| bb.2: |
| liveins: $cc |
| |
| %2:grx32bit = LOCRMux %1, %0, 14, 8, implicit $cc |
| $r2l = COPY %2 |
| Return implicit $r2l |
| ... |
| |
| # CHECK: Bad machine code: Live in register not found to be live out from predecessor |
| # CHECK:- function: f1 |
| # CHECK:- basic block: %bb.2 |
| # CHECK:CC not found to be live out from %bb.1 |
