Builtin integer types have no signedness
Open
- Dominant language
- Lean
- Stars
- 109
- Forks
- 32
- Avg merge
- 1d 1h
- Merged PRs (30d)
- 155
Description
VeIR's builtin `IntegerType` is a bare bitwidth. MLIR's `IntegerType` carries a signedness semantics, one of signless, signed or unsigned, spelled `i32`, `si32` and `ui32` (https://mlir.llvm.org/docs/Dialects/Builtin/#integertype). VeIR can neither represent nor parse the signed and unsigned forms.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by locating VeIR's builtin IntegerType definition and the parser for integer type spellings. Add representation and parsing for signless, signed, and unsigned forms, then verify that i32, si32, and ui32 are accepted and preserved with their signedness semantics.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Active
- Clarity
- Mostly clear
- Newbie friendliness
- 67/100