llvm-project/llvm/test/MachineVerifier/verifier-pseudo-terminators...

# RUN: not --crash llc -march=amdgcn -run-pass=verify -o - %s 2>&1 | FileCheck %s
# REQUIRES: amdgpu-registered-target

# Make sure that mismatched successors are caught when a _term
# instruction is used

# CHECK: *** Bad machine code: MBB exits via unconditional branch but the CFG successor doesn't match the actual successor! ***

---
name: verifier_pseudo_terminators
body:             |
  bb.0:
    successors: %bb.1

    %0:sreg_64 = S_XOR_B64_term undef %1:sreg_64, undef %2:sreg_64, implicit-def $scc
    $exec = S_MOV_B64_term %0
    S_BRANCH %bb.2

  bb.1:
    S_SETPC_B64_return undef $sgpr30_sgpr31

  bb.2:
    S_SETPC_B64_return undef $sgpr30_sgpr31

...
Revert "Revert "Reland "[Support] make report_fatal_error `abort` instead of `exit`""" 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. 2020-02-12 15:01:35 +08:00			`# RUN: not --crash llc -march=amdgcn -run-pass=verify -o - %s 2>&1 \| FileCheck %s`
Try to organize MachineVerifier tests The Verifier is separate from the MachineVerifier, so move it to a different directory. Some other verifier tests were scattered in target codegen tests as well (although I'm sure I missed some). Work towards using a more consistent naming scheme to make it clearer where the gaps still are for generic instructions. llvm-svn: 354138 2019-02-15 23:24:31 +08:00			`# REQUIRES: amdgpu-registered-target`

AMDGPU: Fix analyzeBranch failing with pseudoterminators If a block had one of the _term instructions used for gluing exec modifying instructions to the end of the block, analyzeBranch would fail, preventing the verifier from catching a broken successor list. llvm-svn: 347027 2018-11-16 13:03:02 +08:00			`# Make sure that mismatched successors are caught when a _term`
			`# instruction is used`

			`# CHECK: * Bad machine code: MBB exits via unconditional branch but the CFG successor doesn't match the actual successor! *`

			`---`
			`name: verifier_pseudo_terminators`
			`body: \|`
			`bb.0:`
			`successors: %bb.1`

			`%0:sreg_64 = S_XOR_B64_term undef %1:sreg_64, undef %2:sreg_64, implicit-def $scc`
			`$exec = S_MOV_B64_term %0`
			`S_BRANCH %bb.2`

			`bb.1:`
			`S_SETPC_B64_return undef $sgpr30_sgpr31`

			`bb.2:`
			`S_SETPC_B64_return undef $sgpr30_sgpr31`

			`...`