llvm/llvm-project
View on GitHub[GlobalISel] Port known-bit and known-sign-bits for all operations
Open
#150,515 opened on Jul 24, 2025
good first issuellvm:globalisel
Repository metrics
- Stars
- (26,378 stars)
- PR merge metrics
- (Avg merge 1d 2h) (1,000 merged PRs in 30d)
Description
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 |