opencompl / opencompl/veir

Builtin integer types have no signedness

Open
#1,352 1 comment 0 reactions 0 assignees View on GitHub
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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.