mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-19 11:02:59 +02:00
dd53274771
This reverts commit 80a34ae31125aa46dcad47162ba45b152aed968d with fixes. Previously, since bots turning on EXPENSIVE_CHECKS are essentially turning on MachineVerifierPass by default on X86 and the fact that inline-asm-avx-v-constraint-32bit.ll and inline-asm-avx512vl-v-constraint-32bit.ll are not expected to generate functioning machine code, this would go down to `report_fatal_error` in MachineVerifierPass. Here passing `-verify-machineinstrs=0` to make the intent explicit.
58 lines
1.2 KiB
YAML
58 lines
1.2 KiB
YAML
# RUN: not --crash llc -o - %s -mtriple=s390x-linux-gnu -mcpu=z14 -run-pass none 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
|
|
machineFunctionInfo: {}
|
|
body: |
|
|
bb.0:
|
|
liveins: $r2l, $r3l
|
|
|
|
%1:gr32bit = COPY $r3l
|
|
%0:gr32bit = COPY $r2l
|
|
CHIMux %0, 0, implicit-def $cc
|
|
|
|
bb.1:
|
|
liveins: $cc
|
|
|
|
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: f2
|
|
# CHECK:- basic block: %bb.2
|
|
# CHECK:CC not found to be live out from %bb.1
|
|
---
|
|
name: f2
|
|
tracksRegLiveness: true
|
|
machineFunctionInfo: {}
|
|
body: |
|
|
bb.0:
|
|
liveins: $r2l, $r3l
|
|
|
|
%1:gr32bit = COPY $r3l
|
|
%0:gr32bit = COPY $r2l
|
|
CHIMux %0, 0, implicit-def $cc
|
|
|
|
bb.1:
|
|
liveins: $cc
|
|
KILL killed $cc
|
|
|
|
bb.2:
|
|
liveins: $cc
|
|
|
|
%2:grx32bit = LOCRMux %1, %0, 14, 8, implicit $cc
|
|
$r2l = COPY %2
|
|
Return implicit $r2l
|
|
|
|
...
|