emit negative integer literals into ssa

zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

MIT License

1.6k stars 52 forks source link

emit negative integer literals into ssa #113

Closed aep closed 3 years ago

aep commented 4 years ago

wrap and include the sign. it SHOULD not be nessesary, because literals are bv, exactly like in machine code, but just in case it does, we carry the sign until ssa.literal

fixes #112

jwerle commented 4 years ago

nice