No need to explicitly clear results.
Update.
Update.
We don't always need to invalidate shared regs.
Implement a skeleton of invalidate_shared_regs( ).