Lines Matching defs:bits
68 fun bits h l (n:bool list) = List.take(List.drop(n,l),h + 1 - l);
69 fun bit b n = (bits b b n = [true]);
149 val Rn = list2register o bits 19 16;
150 val Rd = list2register o bits 15 12;
151 val Rs = list2register o bits 11 8;
152 val Rm = list2register o bits 3 0;
165 mk_immediate (list2int (bits 11 8 l)) (list2num (bits 7 0 l))
169 let val imm = list2int (bits 11 7 l) in
170 {Rm = Rm l, Imm = imm, Sh = list2shift (bits 6 5 l)}
176 Br {L = bit 24 l, offset = Arbnum.toInt (list2num (bits 23 0 l))};
180 {Rm = Rm l, Rs = Rs l, Sh = list2shift (bits 6 5 l)}
191 {opc = list2opcode (bits 24 21 l), S = bit 20 l,
202 DthImmediate (list2int ((bits 11 8 l) @ (bits 3 0 l)))
216 DtImmediate (list2int (bits 11 0 l))
225 Rn = Rn l, list = list2int (bits 15 0 l)};
243 {Cop1 = list2int (bits 23 20 l), CRn = Rn l, CRd = Rd l,
244 CP = list2int (bits 11 8 l), Cop2 = list2int (bits 7 5 l), CRm = Rm l};
247 {Cop1 = list2int (bits 23 21 l), L = bit 20 l, Rd = Rd l, CRn = Rn l,
248 CP = list2int (bits 11 8 l), CRm = Rm l, Cop2 = list2int (bits 7 5 l)};
252 CRd = Rd l, Rn = Rn l, CP = list2int (bits 11 8 l),
253 offset = list2int (bits 7 0 l)};