Lines Matching defs:typ
3000 fun DecodeImmShift (typ,imm5) =
3001 case typ of
3013 fun DecodeRegShift typ =
3014 case typ of
3021 fun Shift_C N (value,(typ,(amount,carry_in))) =
3024 else case typ of
3031 fun Shift N (value,(typ,(amount,carry_in))) =
3032 L3.fst(Shift_C N (value,(typ,(amount,carry_in))));
6675 fun dfn'vneg_mul (dp_operation,(typ,(d,(n,m)))) =
6680 case typ of
6690 case typ of
7388 val typ =
7399 | BitsN.B(0x1,_) => vneg_mul(dp_operation,(typ,(d,(n,m))))
8306 (typ'1,
8307 (typ'0,(false,(Rm'3,(Rm'2,(Rm'1,Rm'0))))))))))))))))))))))))))) =>
8327 (BitsN.fromBitstring([typ'1,typ'0],2),
8659 (typ'1,
8660 (typ'0,(false,(Rm'3,(Rm'2,(Rm'1,Rm'0))))))))))))))))))))))))))) =>
8690 (BitsN.fromBitstring([typ'1,typ'0],2),
9777 (typ'1,
9778 (typ'0,(false,(Rm'3,(Rm'2,(Rm'1,Rm'0))))))))))))))))))))))))))) =>
9791 (BitsN.fromBitstring([typ'1,typ'0],2),
9835 (typ'1,
9836 (typ'0,(true,(Rm'3,(Rm'2,(Rm'1,Rm'0))))))))))))))))))))))))))) =>
9859 (BitsN.fromBitstring([typ'1,typ'0],2))
11845 (typ'1,
11846 (typ'0,(false,(Rm'3,(Rm'2,(Rm'1,Rm'0))))))))))))))))))))))))))) =>
11870 (BitsN.fromBitstring([typ'1,typ'0],2),
11907 (typ'1,
11908 (typ'0,(false,(Rm'3,(Rm'2,(Rm'1,Rm'0))))))))))))))))))))))))))) =>
11939 (BitsN.fromBitstring([typ'1,typ'0],2),
11977 (typ'1,
11978 (typ'0,(false,(Rm'3,(Rm'2,(Rm'1,Rm'0))))))))))))))))))))))))))) =>
12000 (BitsN.fromBitstring([typ'1,typ'0],2),
12038 (typ'1,
12039 (typ'0,(false,(Rm'3,(Rm'2,(Rm'1,Rm'0))))))))))))))))))))))))))) =>
12071 (BitsN.fromBitstring([typ'1,typ'0],2),
16120 (imm2'1,(imm2'0,(typ'1,(typ'0,(Rm'3,(Rm'2,(Rm'1,Rm'0)))))))))))))))) =>
16125 val typ = BitsN.fromBitstring([typ'1,typ'0],2)
16135 DecodeImmShift(typ,BitsN.@@(imm3,imm2))
16176 ( if (typ = (BitsN.B(0x0,2))) andalso
16261 (if BitsN.bit(typ,0)
16274 val tbform = BitsN.bit(typ,1)
16302 DecodeImmShift(typ,BitsN.@@(imm3,imm2))
19985 | vneg_mul(dp_operation,(typ,(d,(n,m)))) =>
19993 case typ of
20340 val (typ,imm5) = EncodeImmShift(shift_t,shift_n)
20343 [c,BitsN.B(0x0,3),opc,S,Rn,Rd,imm5,typ,
20394 val (typ,imm5) = EncodeImmShift(shift_t,shift_n)
20416 BitsN.concat[BitsN.B(0x0,1),imm3,Rd,imm2,typ,Rm])
20424 val (typ,imm5) = EncodeImmShift(shift_t,shift_n)
20428 BitsN.B(0x0,4),imm5,typ,BitsN.B(0x0,1),Rm])
20455 val (typ,imm5) = EncodeImmShift(shift_t,shift_n)
20469 [BitsN.B(0x0,1),imm3,BitsN.B(0xF,4),imm2,typ,Rm])
20479 val (typ,imm5) = EncodeImmShift(shift_t,shift_n)
20483 Rd,imm5,typ,BitsN.B(0x0,1),Rm])
20505 val (typ,imm5) = EncodeImmShift(shift_t,shift_n)
20507 Thumb(BitsN.concat[BitsN.B(0x0,3),typ,imm5,Rm,Rd])
20528 val (typ,imm5) = EncodeImmShift(shift_t,shift_n)
20535 BitsN.concat[BitsN.B(0x0,1),imm3,Rd,imm2,typ,Rm])
20548 val typ = EncodeRegShift shift_t
20551 [c,BitsN.B(0x0,3),opc,S,Rn,Rd,Rs,BitsN.B(0x0,1),typ,
20565 val typ = EncodeRegShift shift_t
20569 Rd,Rs,BitsN.B(0x0,1),typ,BitsN.B(0x1,1),Rm])
20596 val typ = EncodeRegShift shift_t
20599 (BitsN.concat[BitsN.B(0x1F4,9),typ,S,Rn],
20622 val (typ,imm5) = EncodeImmShift(shift_t,shift_n)
20623 val tb = BitsN.bits(1,1) typ
20642 val (typ,imm5) = EncodeImmShift(shift_t,shift_n)
20643 val sh = BitsN.bits(1,1) typ
21027 val (typ,imm5) = EncodeImmShift(shift_t,shift_n)
21031 BitsN.B(0xF,4),imm5,typ,BitsN.B(0x0,1),Rm])
21094 val (typ,imm5) = EncodeImmShift(shift_t,shift_n)
21098 imm5,typ,BitsN.B(0x0,1),Rm])
21845 val (typ,imm5) = EncodeImmShift(shift_t,shift_n)
21858 BitsN.B(0x1,1),Rn,Rt,imm5,typ,BitsN.B(0x0,1),Rm])
21946 val (typ,imm5) = EncodeImmShift(shift_t,shift_n)
21950 [c,BitsN.B(0x6,4),U,BitsN.B(0x3,3),Rn,Rt,imm5,typ,
22030 val (typ,imm5) = EncodeImmShift(shift_t,shift_n)
22044 BitsN.B(0x1,1),Rn,Rt,imm5,typ,
22145 val (typ,imm5) = EncodeImmShift(shift_t,shift_n)
22149 [c,BitsN.B(0x6,4),U,BitsN.B(0x7,3),Rn,Rt,imm5,typ,
22641 val (typ,imm5) = EncodeImmShift(shift_t,shift_n)
22654 BitsN.B(0x0,1),Rn,Rt,imm5,typ,BitsN.B(0x0,1),Rm])
22708 val (typ,imm5) = EncodeImmShift(shift_t,shift_n)
22712 [c,BitsN.B(0x6,4),U,BitsN.B(0x2,3),Rn,Rt,imm5,typ,
22773 val (typ,imm5) = EncodeImmShift(shift_t,shift_n)
22786 BitsN.B(0x0,1),Rn,Rt,imm5,typ,BitsN.B(0x0,1),Rm])
22841 val (typ,imm5) = EncodeImmShift(shift_t,shift_n)
22845 [c,BitsN.B(0x6,4),U,BitsN.B(0x6,3),Rn,Rt,imm5,typ,
23715 fun p_shift_amount (typ,(h,s)) =
23720 ((n = 32) andalso (Set.mem(typ,[SRType_LSR,SRType_ASR])))
23721 then ("",(typ,NAT n))
23725 Option.SOME rs => ("",(typ,REGISTER rs))
23778 (Option.SOME(rd,(rn,rm)),("",(typ,NAT n))) =>
23779 OK(c,Data(Register(opc,(setflags,(rd,(rn,(rm,(typ,n))))))))
23780 | (Option.SOME(rd,(rn,rm)),("",(typ,REGISTER rs))) =>
23784 (opc,(setflags,(rd,(rn,(rm,(typ,rs))))))))
23817 (Option.SOME(rn,rm),("",(typ,NAT n))) =>
23818 OK(c,Data(TestCompareRegister(opc,(rn,(rm,(typ,n))))))
23819 | (Option.SOME(rn,rm),("",(typ,REGISTER rs))) =>
23824 (true,(BitsN.B(0x0,4),(rn,(rm,(typ,rs))))))))
23849 (Option.SOME(rd,rm),("",(typ,NAT n))) =>
23850 OK(c,Data(ShiftImmediate(negate,(setflags,(rd,(rm,(typ,n)))))))
23851 | (Option.SOME(rd,rm),("",(typ,REGISTER rs))) =>
23852 OK(c,Data(ShiftRegister(negate,(setflags,(rd,(rm,(typ,rs)))))))
23857 fun p_shift_full (c,(typ,(setflags,l))) =
23867 (false,(setflags,(rd,(rn,(typ,rm)))))))
23873 (Set.mem(typ,[SRType_LSR,SRType_ASR])))
23877 (false,(setflags,(rd,(rn,(typ,n)))))))
23883 fun p_shift (c,(typ,(setflags,l))) =
23886 (case p_shift_full(c,(typ,(setflags,l))) of
23887 FAIL "syntax error" => p_shift_full(c,(typ,(setflags,h :: l)))
24501 (Option.SOME(add,rm),("",(typ,NAT n))) =>
24507 (rn,register_form1(rm,(typ,n)))))))
24554 (Option.SOME(add,rm),("",(typ,NAT n))) =>
24561 register_form1(rm,(typ,n)))))))
26370 | vneg_mul(dp,(typ,(d,(n,m)))) =>
26371 ((case typ of