Lines Matching defs:SPSR
2083 fun SPSR () =
2086 ("SPSR: BadMode: " ^ (BitsN.toHexString(#M((!CPSR) : PSR))))
2095 | _ => raise UNPREDICTABLE "SPSR";
2097 fun write'SPSR value =
2100 ("SPSR: BadMode: " ^ (BitsN.toHexString(#M((!CPSR) : PSR))))
2109 | _ => raise UNPREDICTABLE "SPSR";
2281 val x = SPSR ()
2284 write'SPSR
2292 val x = SPSR ()
2295 write'SPSR
2303 val x = SPSR ()
2306 write'SPSR
2313 val x = SPSR ()
2316 write'SPSR
2326 val x = SPSR ()
2329 write'SPSR
3134 ; write'SPSR new_spsr_value
3148 ; write'SPSR new_spsr_value
3216 ; write'SPSR new_spsr_value
3266 ; write'SPSR new_spsr_value
3363 ; write'SPSR new_spsr_value
3425 ; write'SPSR new_spsr_value
3491 ; write'SPSR new_spsr_value
3520 ; write'SPSR new_spsr_value
3581 ; write'SPSR new_spsr_value
3616 ; write'SPSR new_spsr_value
3961 else ( CPSRWriteByInstr(reg'PSR(SPSR ()),(BitsN.B(0xF,4),true))
5289 ; CPSRWriteByInstr(reg'PSR(SPSR ()),(BitsN.B(0xF,4),true))
5881 ( CPSRWriteByInstr(reg'PSR(SPSR ()),(BitsN.B(0xF,4),true))
5903 else write'R(reg'PSR(SPSR ()),d)
6232 write'MemA 32 (reg'PSR(SPSR ()),x)
27056 String.concat[s_reg d,", ",if read_spsr then "SPSR" else "CPSR"])