Lines Matching defs:typ
1313 fun DecodeImmShift (typ,imm5) =
1314 case typ of
1326 fun DecodeRegShift typ =
1327 case typ of
1334 fun Shift_C N (value,(typ,(amount,carry_in))) =
1337 else case typ of
1344 fun Shift N (value,(typ,(amount,carry_in))) =
1345 L3.fst(Shift_C N (value,(typ,(amount,carry_in))));
3372 val (typ,imm5) = EncodeImmShift(shift_t,shift_n)
3374 Thumb16(BitsN.concat[BitsN.B(0x0,3),typ,imm5,Rm,Rd])
3868 fun p_shift_amount (typ,(h,s)) =
3873 ((n = 32) andalso (Set.mem(typ,[SRType_LSR,SRType_ASR])))
3874 then ("",(typ,NAT n))
3878 Option.SOME rs => ("",(typ,REGISTER rs))
3961 (false,(true,(Option.SOME(rd,rm),("",(typ,NAT n))))) =>
3962 OK(c,Data(ShiftImmediate(negate,(setflags,(rd,(rm,(typ,n)))))))
3963 | (false,(true,(Option.SOME(rd,rm),("",(typ,REGISTER rs))))) =>
3964 OK(c,Data(ShiftRegister(rd,(rm,(typ,rs)))))
3969 fun p_shift_full (c,(typ,l)) =
3976 OK(c,Data(ShiftRegister(rd,(rn,(typ,rm)))))
3982 (Set.mem(typ,[SRType_LSR,SRType_ASR])))
3986 (false,(true,(rd,(rn,(typ,n)))))))
3992 fun p_shift (c,(typ,l)) =
3995 (case p_shift_full(c,(typ,l)) of
3996 FAIL "syntax error" => p_shift_full(c,(typ,h :: l))