Lines Matching defs:Encoding
60 datatype Encoding = Encoding_Thumb | Encoding_Thumb2 | Encoding_ARM
1598 val Encoding = ref (Encoding_ARM): Encoding ref
2027 if (HaveThumb2 ()) andalso (not((!Encoding) = Encoding_ARM))
2498 fun ThisInstrLength () = if (!Encoding) = Encoding_Thumb then 16 else 32;
3083 if (!Encoding) = Encoding_Thumb2
3897 ; Encoding := Encoding_ARM
4998 else if (!Encoding) = Encoding_ARM
5026 else if (!Encoding) = Encoding_ARM
5055 else if (!Encoding) = Encoding_ARM
7057 then ( Encoding := Encoding_ARM
7068 then ( Encoding := Encoding_Thumb2
7071 else ( Encoding := Encoding_Thumb
7118 (((!Encoding) = Encoding_ARM) andalso ((!Architecture) = ARMv6K)))
7122 (((!Encoding) = Encoding_ARM) andalso ((!Architecture) = ARMv6K)))
23252 ARM _ => Encoding := Encoding_ARM
23253 | Thumb2 _ => Encoding := Encoding_Thumb2
23254 | Thumb _ => Encoding := Encoding_Thumb
23255 | ThumbEE _ => Encoding := Encoding_Thumb