1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-19 11:02:59 +02:00
llvm-mirror/test/MachineVerifier
Jessica Paquette ae291b6dfb [GlobalISel] Add G_SBFX + G_UBFX (bitfield extraction opcodes)
There is a bunch of similar bitfield extraction code throughout *ISelDAGToDAG.

E.g, ARMISelDAGToDAG, AArch64ISelDAGToDAG, and AMDGPUISelDAGToDAG all contain
code that matches a bitfield extract from an and + right shift.

Rather than duplicating code in the same way, this adds two opcodes:

- G_UBFX (unsigned bitfield extract)
- G_SBFX (signed bitfield extract)

They work like this

```
%x = G_UBFX %y, %lsb, %width
```

Where `lsb` and `width` are

- The least-significant bit of the extraction
- The width of the extraction

This will extract `width` bits from `%y`, starting at `lsb`. G_UBFX zero-extends
the result, while G_SBFX sign-extends the result.

This should allow us to use the combiner to match the bitfield extraction
patterns rather than duplicating pattern-matching code in each target.

Differential Revision: https://reviews.llvm.org/D98464
2021-03-19 14:37:19 -07:00
..
generic-vreg-undef-use.mir GlobalISel: Disallow undef generic virtual register uses 2020-06-30 19:18:01 -04:00
live-ins-01.mir
live-ins-02.mir
live-ins-03.mir
test_copy_mismatch_types.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_copy.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_g_add.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_g_addrspacecast.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_g_assert_sext_register_bank_class.mir [GlobalISel] Add G_ASSERT_SEXT 2021-02-17 13:10:34 -08:00
test_g_assert_sext.mir [GlobalISel] Add G_ASSERT_SEXT 2021-02-17 13:10:34 -08:00
test_g_assert_zext_register_bank_class.mir [GlobalISel] Add G_ASSERT_ZEXT 2021-01-28 13:58:37 -08:00
test_g_assert_zext.mir [GlobalISel] Simpler verification of G_SEXT_INREG and G_ASSERT_ZEXT 2021-02-12 21:33:27 +00:00
test_g_bitcast.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_g_brindirect_is_indirect_branch.mir [NFC] Remove unnecessary require global-isel from tests 2020-06-15 16:35:18 +02:00
test_g_brjt_is_indirect_branch.mir [NFC] Remove unnecessary require global-isel from tests 2020-06-15 16:35:18 +02:00
test_g_brjt.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_g_build_vector_trunc.mir
test_g_build_vector.mir
test_g_concat_vectors.mir GlobalISel: Verify G_CONCAT_VECTORS has at least 2 sources 2021-03-01 09:10:36 -05:00
test_g_constant.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_g_dyn_stackalloc.mir
test_g_extract.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_g_fcmp.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_g_fconstant.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_g_icmp.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_g_insert.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_g_intrinsic_w_side_effects.mir
test_g_intrinsic.mir
test_g_inttoptr.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_g_jump_table.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_g_load.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_g_memcpy.mir Fix for PS4 bots after 0b7f6cc71a72a85f8a0cbee836a7a8e31876951a 2020-08-27 12:47:26 +01:00
test_g_memset.mir Fix for PS4 bots after 0b7f6cc71a72a85f8a0cbee836a7a8e31876951a 2020-08-27 12:47:26 +01:00
test_g_merge_values.mir
test_g_phi.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_g_ptr_add.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_g_ptrmask.mir
test_g_ptrtoint.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_g_select.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_g_sext_inreg.mir [GlobalISel] Simpler verification of G_SEXT_INREG and G_ASSERT_ZEXT 2021-02-12 21:33:27 +00:00
test_g_sextload.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_g_shuffle_vector.mir
test_g_store.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_g_trunc.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_g_ubfx_sbfx.mir [GlobalISel] Add G_SBFX + G_UBFX (bitfield extraction opcodes) 2021-03-19 14:37:19 -07:00
test_g_zextload.mir [Test] Tidy up loose ends from LLVM_HAS_GLOBAL_ISEL 2020-08-27 16:36:27 +01:00
test_phis_precede_nonphis.mir
test_vector_reductions.mir [GlobalISel] Remove scalar src from non-sequential fadd/fmul reductions. 2020-10-15 15:51:44 -07:00
verifier-generic-extend-truncate.mir
verifier-generic-types-1.mir
verifier-generic-types-2.mir
verifier-implicit-virtreg-invalid-physreg-liveness.mir
verifier-phi-fail0.mir
verifier-phi.mir
verifier-pseudo-terminators.mir
verifier-statepoint.mir [Verifier] Add tied-ness verification to statepoint intsruction 2021-01-13 14:40:44 +07:00
verify-regbankselected.mir
verify-regops.mir
verify-selected.mir