New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

finalize the semantics of those opcodes with potentially undefined behavior #5

Open

robertmuth opened this issue Aug 8, 2021 · 1 comment

Labels

backend

Owner

robertmuth commented Aug 8, 2021

mod with signed ints
div/mod with zero divisors
shifts with shift amounts exceeding the bitwidth of the operand
conversions that widen and change from signed to unsigned

see comments interleaved with opcode description.

Owner Author

robertmuth commented Sep 14, 2021

suggestion from a reddit user

Don't forget to maintain the identity:

div a 0 -> 0
mod a 0 -> a
(it helps to think of "0" as "2bitwidth, but wrapped around")

robertmuth added the backend label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment