Skip to content

generalized rdcss to arbitrary (unboxed) values

Ghost User requested to merge (removed):master into master

For the expected value at the A location we require that it is unboxed and for the expected value n1 at the B location we require that [InjLV n1] is unboxed.

[new_rdcss] now takes an initial value as argument.

Merge request reports