search

opencompl / lean-mlir

A minimal development of SSA theory
Other
88 stars 10 forks source link

feat: add `BitVec.getMsbD_(add, sub, neg)` and `Bitvec.getLsbD(sub, neg)` #692

Closed luisacicolini closed 2 weeks ago

luisacicolini commented 3 weeks ago

Replacing https://github.com/opencompl/lean-mlir/pull/686 which I mistakenly merged.

github-actions[bot] commented 3 weeks ago

Alive Statistics: 76 / 93 (17 failed)

tobiasgrosser commented 3 weeks ago

Why don't you want to merge this?

luisacicolini commented 3 weeks ago

I am not sure these are good enough, especially the sub ones

github-actions[bot] commented 3 weeks ago

Alive Statistics: 76 / 93 (17 failed)

github-actions[bot] commented 3 weeks ago

Alive Statistics: 76 / 93 (17 failed)

tobiasgrosser commented 2 weeks ago

@luisacicolini, this seems to be broken now. Can you double-check to enable the merge?

github-actions[bot] commented 2 weeks ago

Alive Statistics: 76 / 93 (17 failed)