ARM/O3: store the result of the predicate evaluation in DynInst or Threadstate.