RAValidation: fix spillregister validation

It doesn't write to its node. Fixes spurious

  %7: Arg[0] expects reg0 to contain %4, but it actually contains %16

Signed-off-by: Alyssa Rosenzweig <alyssa@rosenzweig.io>
This commit is contained in:
Alyssa Rosenzweig 2024-04-19 16:08:27 -04:00
parent 579fb42458
commit 6e0f5eccb3

View File

@ -198,7 +198,9 @@ bool RAValidation::Run(IREmitter* IREmit) {
}
// Update BlockState map
BlockRegState.Set(RAData->GetNodeRegister(ID), ID);
if (IROp->Op != OP_SPILLREGISTER) {
BlockRegState.Set(RAData->GetNodeRegister(ID), ID);
}
}
}