Lines Matching defs:target
1033 val target = ref target0
1038 ( if (BitsN.bit((!target),55)) andalso
1040 then target :=
1042 ((!target),BitsN.B(0xFF,8)))
1044 ; if (not(BitsN.bit((!target),55))) andalso
1046 then target :=
1048 ((!target),BitsN.B(0x0,8)))
1052 ( if (BitsN.bit((!target),55)) andalso
1054 then target :=
1055 (BitsN.bitFieldInsert(63,56) ((!target),BitsN.B(0xFF,8)))
1057 ; if (not(BitsN.bit((!target),55))) andalso
1059 then target :=
1060 (BitsN.bitFieldInsert(63,56) ((!target),BitsN.B(0x0,8)))
1065 then target :=
1066 (BitsN.bitFieldInsert(63,56) ((!target),BitsN.B(0x0,8)))
1070 then target :=
1071 (BitsN.bitFieldInsert(63,56) ((!target),BitsN.B(0x0,8)))
1074 ; PC := (!target)
1703 val target = X 64 n
1708 ; BranchTo(target,branch_type)