llvm/llvm-project
GitHub で見る[GlobalISel] Port known-bit and known-sign-bits for all operations
Open
#150,515 opened on 2025年7月24日
good first issuellvm:globalisel
Repository metrics
- Stars
- (26,378 stars)
- PR merge metrics
- (平均マージ 1d 2h) (30d で 1,000 merged PRs)
説明
I was going through the SDAG version of computeKnownBits and computeSignBits to see what was missing from GISel. This is a list of all the nodes that SDAG tries to handle and their current status is GISel. Some nodes have no equivalent in GISel. Missing nodes will presumably need to be ported over, under the assumption that they will eventually be useful somewhere. Some of the examples like https://github.com/llvm/llvm-project/pull/141933 and https://github.com/llvm/llvm-project/pull/142355 make a good example of what kind of thing needs to be added and how tests can be written.
| SDAG computeKnownBits | Status |
|---|---|
| MERGE_VALUES | Not relavant |
| SPLAT_VECTOR | Done |
| SPLAT_VECTOR_PARTS | Not relavant |
| STEP_VECTOR | #190598 |
| BUILD_VECTOR | Done |
| VECTOR_SHUFFLE | Done |
| VSCALE | |
| CONCAT_VECTORS | Done |
| INSERT_SUBVECTOR | |
| EXTRACT_SUBVECTOR | |
| SCALAR_TO_VECTOR | Not relavant |
| BITCAST | |
| AND | Done |
| OR | Done |
| XOR | Done |
| MUL | Done |
| MULHU | #158445 |
| MULHS | #158445 |
| ABDU | #186822 |
| ABDS | #186822 |
| UMUL_LOHI | Not relavant |
| SMUL_LOHI | Not relavant |
| AVGFLOORU | |
| AVGCEILU | |
| AVGFLOORS | |
| AVGCEILS | |
| SELECT | Done |
| VSELECT | Not relavant |
| SELECT_CC | Not relavant |
| SMULO | |
| UMULO | |
| SETCC | Done |
| SETCCCARRY | Not relavant |
| STRICT_FSETCC | Not relavant |
| STRICT_FSETCCS | Not relavant |
| SHL | Done |
| SRL | Done |
| SRA | Done |
| ROTL | #166365 |
| ROTR | #166365 |
| FSHL | #191260 |
| FSHR | #191260 |
| SHL_PARTS | Not relavant |
| SRA_PARTS | Not relavant |
| SRL_PARTS | Not relavant |
| SIGN_EXTEND_INREG | Done |
| CTTZ | #181474 |
| CTTZ_ZERO_UNDEF | #181474 |
| CTLZ | Done |
| CTLZ_ZERO_UNDEF | Done |
| CTPOP | Done |
| PARITY | |
| MGATHER | |
| MLOAD | |
| LOAD | Done |
| ZERO_EXTEND_VECTOR_INREG | Not relavant |
| ZERO_EXTEND | Done |
| SIGN_EXTEND_VECTOR_INREG | Not relavant |
| SIGN_EXTEND | Done |
| ANY_EXTEND_VECTOR_INREG | Not relavant |
| ANY_EXTEND | Done |
| TRUNCATE | Done |
| AssertZext | Done |
| AssertAlign | Done |
| FGETSIGN | |
| ADD | Done |
| SUB | Done |
| USUBO | Done |
| SSUBO | Done |
| USUBO_CARRY | Done |
| SSUBO_CARRY | Done |
| UADDO | Done |
| SADDO | Done |
| UADDO_CARRY | Done |
| SADDO_CARRY | Done |
| UDIV | #181307 |
| SDIV | #181307 |
| SREM | |
| UREM | #193455 |
| EXTRACT_ELEMENT | |
| EXTRACT_VECTOR_ELT | #164825 |
| INSERT_VECTOR_ELT | |
| BITREVERSE | Done |
| BSWAP | Done |
| ABS | #154413 |
| USUBSAT | |
| UMIN | Done |
| UMAX | Done |
| SMIN | Done |
| SMAX | Done |
| UINT_TO_FP | |
| SINT_TO_FP | |
| FP_TO_UINT_SAT | |
| ATOMIC_LOAD | |
| ATOMIC_CMP_SWAP_WITH_SUCCESS | |
| ATOMIC_CMP_SWAP | |
| ATOMIC_SWAP | |
| ATOMIC_LOAD_ADD | |
| ATOMIC_LOAD_SUB | |
| ATOMIC_LOAD_AND | |
| ATOMIC_LOAD_CLR | |
| ATOMIC_LOAD_OR | |
| ATOMIC_LOAD_XOR | |
| ATOMIC_LOAD_NAND | |
| ATOMIC_LOAD_MIN | |
| ATOMIC_LOAD_MAX | |
| ATOMIC_LOAD_UMIN | |
| ATOMIC_LOAD_UMAX | |
| FrameIndex | Done |
| TargetFrameIndex | Not relavant |
| SDAG computeNumSignBits | Status |
|---|---|
| ISD::AssertSext | Done |
| ISD::AssertZext | |
| ISD::MERGE_VALUES | Not relavant |
| ISD::SPLAT_VECTOR | Done |
| ISD::BUILD_VECTOR | Done |
| ISD::VECTOR_SHUFFLE | Done |
| ISD::BITCAST | |
| ISD::FP_TO_SINT_SAT | |
| ISD::SIGN_EXTEND | Done |
| ISD::SIGN_EXTEND_INREG | Done |
| ISD::SIGN_EXTEND_VECTOR_INREG | Not relavant |
| ISD::SRA | Done |
| ISD::SHL | #152067 |
| ISD::AND | Done |
| ISD::OR | Done |
| ISD::XOR | Done |
| ISD::SELECT | Done |
| ISD::VSELECT | Done |
| ISD::SMIN | Done |
| ISD::SMAX | Done |
| ISD::UMIN | Done |
| ISD::UMAX | Done |
| ISD::SSUBO_CARRY | Done |
| ISD::USUBO_CARRY | Done |
| ISD::SADDO | Done |
| ISD::UADDO | Done |
| ISD::SADDO_CARRY | Done |
| ISD::UADDO_CARRY | Done |
| ISD::SSUBO | Done |
| ISD::USUBO | Done |
| ISD::SMULO | Done |
| ISD::UMULO | Done |
| ISD::SETCC | Done |
| ISD::SETCCCARRY | Not relavant |
| ISD::STRICT_FSETCC | Not relavant |
| ISD::STRICT_FSETCCS | Not relavant |
| ISD::ROTL | |
| ISD::ROTR | |
| ISD::ADD | #159202 |
| ISD::SUB | #158384 |
| ISD::MUL | #167311 |
| ISD::AVGCEILS | |
| ISD::AVGFLOORS | |
| ISD::SREM | |
| ISD::TRUNCATE | Done |
| ISD::EXTRACT_ELEMENT | Not relavant |
| ISD::INSERT_VECTOR_ELT | |
| ISD::EXTRACT_VECTOR_ELT | |
| ISD::EXTRACT_SUBVECTOR | |
| ISD::CONCAT_VECTORS | Done |
| ISD::INSERT_SUBVECTOR | |
| ISD::LOAD | Done |
| ISD::ATOMIC_CMP_SWAP | |
| ISD::ATOMIC_CMP_SWAP_WITH_SUCCESS | |
| ISD::ATOMIC_SWAP | |
| ISD::ATOMIC_LOAD_ADD | |
| ISD::ATOMIC_LOAD_SUB | |
| ISD::ATOMIC_LOAD_AND | |
| ISD::ATOMIC_LOAD_CLR | |
| ISD::ATOMIC_LOAD_OR | |
| ISD::ATOMIC_LOAD_XOR | |
| ISD::ATOMIC_LOAD_NAND | |
| ISD::ATOMIC_LOAD_MIN | |
| ISD::ATOMIC_LOAD_MAX | |
| ISD::ATOMIC_LOAD_UMIN | |
| ISD::ATOMIC_LOAD_UMAX | |
| ISD::ATOMIC_LOAD |