• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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---
8name:            f1
9tracksRegLiveness: true
10machineFunctionInfo: {}
11body:             |
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
37