Lines Matching refs:version
188 (\version.
189 if version < 6 /\ ((1 >< 0) address <> 0w:word2)
219 (\version.
220 if version >= 5 then
228 (\(version,iset).
229 if version >= 7 /\ (iset = InstrSet_ARM) then
1321 (\version.
1326 version < 6 /\ (d = n))
1331 (\(ra,rm,rn,version).
1337 let C_flag = if version = 4 then UNKNOWN else C in
1355 (\version.
1360 version < 6 /\ ((dhi = n) \/ (dlo = n))) \/
1367 (\(rdhi,rdlo,rm,rn,version).
1377 let (C_flag,V_flag) = if version = 4 then (UNKNOWN,UNKNOWN)
2182 (\version.
2195 (m = 15w) \/ wback /\ version < 6 /\ (m = n)
2261 (\version.
2276 (m = 15w) \/ wback /\ version < 6 /\ (m = n)
2343 (\version.
2356 (m = 15w) \/ wback /\ version < 6 /\ (m = n)
2412 (\version.
2424 (m = 15w) \/ wback /\ version < 6 /\ (m = n)
2464 (\version.
2471 ((enc = Encoding_Thumb2) \/ version >= 7))
2592 (\version.
2600 version < 6 /\ wback /\ (m = n)
2633 (\version.
2640 (imm2 <> 0w) \/ (m = 15w) \/ version < 6 /\ wback /\ (m = n)
2872 A: SWP{B}<c> <Rt>,<Rt2>,[<Rn>] (deprecated for version >= 6)