Add extra constraints to prevent register side effects in CPU32 padding rows#646

RobinJadoul wants to merge 2 commits into

spec/mainyetanotherco/lambda_vm:spec/mainfrom

spec/cpu32-paddingyetanotherco/lambda_vm:spec/cpu32-paddingCopy head branch name to clipboard