On 10/28/21 12:45 PM, Warner Losh wrote:
(2) Changes to CPSR cannot be made manually; you need cpsr_write.So would + cpsr_write(env, cpsr_read(env) | CPSR_T, CPSR_T, CPSRWriteByInstr); cover what's needed here?
You can use cpsr_write(env, CPSR_T, CPSR_T, CPSRWriteByInstr); because the mask takes care of not changing other bits. r~