llvm-mirror/test/MachineVerifier
Jonas Paulsson a1f306c9ad Recommit "[MachineVerifier] Improve verification of live-in lists."
MachineVerifier::visitMachineFunctionAfter() is extended to check the
live-through case for live-in lists. This is only done for registers without
aliases and that are neither allocatable or reserved, such as the SystemZ::CC
register.

The MachineVerifier earlier only catched the case of a live-in use without an
entry in the live-in list (as "using an undefined physical register").

A comment in LivePhysRegs.h has been added stating a guarantee that
addLiveOuts() can be trusted for a full register both before and after
register allocation.

Review: Quentin Colombet

Differential Revision: https://reviews.llvm.org/D68267
2020-01-08 16:58:54 -08:00
..
live-ins-01.mir Recommit "[MachineVerifier] Improve verification of live-in lists." 2020-01-08 16:58:54 -08:00
live-ins-02.mir Recommit "[MachineVerifier] Improve verification of live-in lists." 2020-01-08 16:58:54 -08:00
live-ins-03.mir Recommit "[MachineVerifier] Improve verification of live-in lists." 2020-01-08 16:58:54 -08:00
test_copy_mismatch_types.mir
test_copy.mir
test_g_add.mir
test_g_addrspacecast.mir Fix GlobalISel MachineVerifier tests. NFC. 2019-06-19 18:15:45 +00:00
test_g_bitcast.mir
test_g_brjt.mir [GlobalISel] Add a G_BRJT opcode. 2019-06-14 17:55:48 +00:00
test_g_build_vector_trunc.mir
test_g_build_vector.mir Fix GlobalISel MachineVerifier tests. NFC. 2019-06-19 18:15:45 +00:00
test_g_concat_vectors.mir
test_g_constant.mir
test_g_dyn_stackalloc.mir Remove unnecessary REQUIRES from a test. 2019-08-24 02:39:51 +00:00
test_g_extract.mir
test_g_fcmp.mir Fix GlobalISel MachineVerifier tests. NFC. 2019-06-19 18:15:45 +00:00
test_g_fconstant.mir
test_g_icmp.mir Fix GlobalISel MachineVerifier tests. NFC. 2019-06-19 18:15:45 +00:00
test_g_insert.mir GlobalISel: Verify g_insert 2019-02-19 16:10:16 +00:00
test_g_intrinsic_w_side_effects.mir Fix GlobalISel MachineVerifier tests. NFC. 2019-06-19 18:15:45 +00:00
test_g_intrinsic.mir Fix GlobalISel MachineVerifier tests. NFC. 2019-06-19 18:15:45 +00:00
test_g_inttoptr.mir Fix GlobalISel MachineVerifier tests. NFC. 2019-06-19 18:15:45 +00:00
test_g_jump_table.mir [GlobalISel] Add a G_JUMP_TABLE opcode. 2019-06-11 19:58:06 +00:00
test_g_load.mir Fix GlobalISel MachineVerifier tests. NFC. 2019-06-19 18:15:45 +00:00
test_g_merge_values.mir GlobalISel: Verify G_MERGE_VALUES operand sizes 2019-07-01 18:01:35 +00:00
test_g_phi.mir
test_g_ptr_add.mir [globalisel] Rename G_GEP to G_PTR_ADD 2019-11-05 10:31:17 -08:00
test_g_ptrtoint.mir Fix GlobalISel MachineVerifier tests. NFC. 2019-06-19 18:15:45 +00:00
test_g_select.mir
test_g_sext_inreg.mir Add missing REQUIRES to r368487 2019-08-09 22:16:16 +00:00
test_g_sextload.mir Fix GlobalISel MachineVerifier tests. NFC. 2019-06-19 18:15:45 +00:00
test_g_shuffle_vector.mir [GlobalISel]: Fix lowering of G_SHUFFLE_VECTOR with scalar sources 2019-08-13 21:49:11 +00:00
test_g_store.mir Fix GlobalISel MachineVerifier tests. NFC. 2019-06-19 18:15:45 +00:00
test_g_trunc.mir Fix GlobalISel MachineVerifier tests. NFC. 2019-06-19 18:15:45 +00:00
test_g_zextload.mir Fix GlobalISel MachineVerifier tests. NFC. 2019-06-19 18:15:45 +00:00
test_memccpy_intrinsics.mir Add an operand to memory intrinsics to denote the "tail" marker. 2019-09-28 05:33:21 +00:00
test_phis_precede_nonphis.mir
verifier-generic-extend-truncate.mir
verifier-generic-types-1.mir
verifier-generic-types-2.mir
verifier-implicit-virtreg-invalid-physreg-liveness.mir [AMDGPU] Add support for immediate operand for S_ENDPGM 2019-03-12 09:52:58 +00:00
verifier-phi-fail0.mir [X86] Merge the different Jcc instructions for each condition code into single instructions that store the condition code as an operand. 2019-04-05 19:28:09 +00:00
verifier-phi.mir [X86] Merge the different Jcc instructions for each condition code into single instructions that store the condition code as an operand. 2019-04-05 19:28:09 +00:00
verifier-pseudo-terminators.mir [Testing] Fix tests that break with read-only checkouts 2019-08-01 06:41:40 +00:00
verify-regbankselected.mir
verify-regops.mir [MachineVerifier] Improve checks of target instructions operands. 2019-12-03 10:20:52 +01:00
verify-selected.mir