diff options
| author | Luke Lau <luke@igalia.com> | 2025-01-16 18:57:08 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-16 18:57:08 +0800 |
| commit | 5c15caa83fec6aaae7827b9406adf8ab9fac7eac (patch) | |
| tree | 4ced3e73a24e341bd7baef6c171d1ea20af58e8c /lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.h | |
| parent | 13b44283e90f357ea31c553445527953facccdbf (diff) | |
| download | llvm-5c15caa83fec6aaae7827b9406adf8ab9fac7eac.zip llvm-5c15caa83fec6aaae7827b9406adf8ab9fac7eac.tar.gz llvm-5c15caa83fec6aaae7827b9406adf8ab9fac7eac.tar.bz2 | |
[VPlan] Verify scalar types in VPlanVerifier. NFCI (#122679)
VTypeAnalysis contains some assertions which can be useful for reasoning
that the types of various operands match.
This patch teaches VPlanVerifier to invoke VTypeAnalysis to check them,
and catches some issues with VPInstruction types that are also fixed
here:
* Handles the missing cases for CalculateTripCountMinusVF,
CanonicalIVIncrementForPart and AnyOf
* Fixes ICmp and ActiveLaneMask to return i1 (to align with `icmp` and
`@llvm.get.active.lane.mask` in the LangRef)
The VPlanVerifier unit tests also need to be fleshed out a bit more to
satisfy the stricter assertions
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.h')
0 files changed, 0 insertions, 0 deletions