llvm-project

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
37