Lines Matching defs:PC
837 val PC = ref (BitsN.B(0x0,64)): BitsN.nbit ref
1074 ; PC := (!target)
1335 val base = ref (!PC)
1691 then BranchTo(BitsN.+((!PC),offset),BranchType_JMP)
1696 then write'X 64 (BitsN.+((!PC),BitsN.B(0x4,64)),BitsN.B(0x1E,5))
1698 ; BranchTo(BitsN.+((!PC),offset),branch_type)
1706 then write'X 64 (BitsN.+((!PC),BitsN.B(0x4,64)),BitsN.B(0x1E,5))
1717 then BranchTo(BitsN.+((!PC),offset),BranchType_JMP)
1726 then BranchTo(BitsN.+((!PC),offset),BranchType_JMP)
2026 val address = BitsN.+((!PC),offset)
5912 fun Fetch () = Mem 32 ((!PC),(4,AccType_IFETCH));
5918 then PC := (BitsN.+((!PC),BitsN.B(0x4,64)))