Instruction precomputation with memoization for fault detection