Lines Matching refs:prefixes
3039 val prefixes = Set.mk p
3040 val op_size_override = Set.mem(BitsN.B(0x66,8),prefixes)
3042 if Set.mem(BitsN.B(0x67,8),prefixes)
4377 val (prefixes,v) = e_opsize(sz,rex)
4385 then Option.SOME(prefixes,(v,l))
4392 then Option.SOME(prefixes,(v,l))
4399 then Option.SOME(prefixes,(v,l))
4403 then Option.SOME(prefixes,(v,e_imm64 imm))
4417 val (prefixes,v) = e_opsize(sz,rex)
4420 List.concat[prefixes,p,[BitsN.||(opc,m)],strm]
4428 Option.SOME(prefixes,(v,l)) =>
4429 List.concat[prefixes,[BitsN.||(opc2,v)],strm,l]
4437 val (prefixes,v) = e_opsize(sz,rex)
4441 | l => List.concat[prefixes,[BitsN.||(opc2,v)],strm,l]
4448 val prefixes = L3.fst(e_opsize(sz,rex))
4453 List.concat[prefixes,opc2,[BitsN.||(s,BitsN.B(0x20,8))],t,l]
4459 Option.SOME(prefixes,(v,l)) =>
4460 List.concat[prefixes,[BitsN.||(opc,v)],l]
5151 Option.SOME(prefixes,(v,l)) =>
5153 [prefixes,
5310 val (prefixes,v) = e_opsize(sz,rex)
5313 then prefixes