Lines Matching defs:PC
728 fun PC () = R(BitsN.B(0xF,4));
730 fun write'PC value =
886 ; write'PC(MemA 32 (BitsN.+(vectortable,BitsN.B(0x4,32)),4))
960 fun ReturnAddress () = PC ();
1050 ; write'PC
1080 ; write'PC(MemA 32 (BitsN.+(frameptr,BitsN.B(0x18,32)),4))
1202 fun BranchTo address = write'PC address;
1386 ( BranchWritePC(BitsN.+(PC (),imm32)); count := (Nat.+((!count),3)) );
1393 val next_instr_addr = PC ()
1396 ; BranchWritePC(BitsN.+(PC (),imm32))
1404 val next_instr_addr = BitsN.-(PC (),BitsN.B(0x2,32))
1419 then Align 32 (PC (),4)
1445 else if n = (BitsN.B(0xF,4)) then PC () else R n
1578 val base = Align 32 (PC (),4)