You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Instructions are manually specified as either value- or effect-producing with result and effect, respectively. This is tedious and error-prone, such information should be specified in one big lookup table (function) keyed on (with input type) Instr.
The text was updated successfully, but these errors were encountered:
I was just bit by this again when implementing cmpxchg: I ended up debugging extractval for a while because it was encountering errors propagated from the fact that I spuriously marked cmpxchg as an effect rather than result.
Instructions are manually specified as either value- or effect-producing with
result
andeffect
, respectively. This is tedious and error-prone, such information should be specified in one big lookup table (function) keyed on (with input type)Instr
.The text was updated successfully, but these errors were encountered: