726a727,730
> // There might be fault from a previous execution attempt if this is
> // a strictly ordered load
> inst->getFault() = NoFault;
>