heterogeneous bitwidths for transfer.integer - #88

Draft

dominicmkennedy wants to merge 14 commits into

opencompl:mainfrom

dominicmkennedy:heterogeneous-bw

Commits on Feb 11, 2026

inital commit with special lowering for transfer.integer
dominicmkennedy
committed
c15239b
fmt
dominicmkennedy
committed
92be09a
fix types
dominicmkennedy
committed
18d33eb
[WIP] remove legacy transfer.integer; tests are broken
dominicmkennedy
committed
e1c15f7
fix all filecheck tests
dominicmkennedy
committed
76c5bfa
fix semantics lowering for trunc/zext/sext
dominicmkennedy
committed
14da570
change `transfer.integer` in other test filse (even though these aren't used by filecheck)
dominicmkennedy
committed
f2eceb5
wire up lowering in the ResolveWidths pass
dominicmkennedy
committed
bb76822
fix tests to use new pass args
dominicmkennedy
committed
ddbcc4c
Replace `i1 -> smt.pair<smt.bv<1>, smt.bool>` with `transfer.integer<1> -> smt.bv<1>`
dominicmkennedy
committed
f61af74

Commits on Feb 12, 2026

wip changes to how legacy transfer.integers are treated
dominicmkennedy
committed
b05b33e
revert a lot of tests
dominicmkennedy
committed
864e905

Commits on Feb 13, 2026

didn't lower abstract values properly
dominicmkennedy
committed
3395423
forgot to add case for `transfer.tuple`
dominicmkennedy
committed
0346837