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
1298 (\version.
1303 version < 6 /\ (d = n))
1308 (\(ra,rm,rn,version).
1314 let C_flag = if version = 4 then UNKNOWN else C in
1332 (\version.
1337 version < 6 /\ ((dhi = n) \/ (dlo = n))) \/
1344 (\(rdhi,rdlo,rm,rn,version).
1354 let (C_flag,V_flag) = if version = 4 then (UNKNOWN,UNKNOWN)
2159 (\version.
2172 (m = 15w) \/ wback /\ version < 6 /\ (m = n)
2238 (\version.
2253 (m = 15w) \/ wback /\ version < 6 /\ (m = n)
2320 (\version.
2333 (m = 15w) \/ wback /\ version < 6 /\ (m = n)
2389 (\version.
2401 (m = 15w) \/ wback /\ version < 6 /\ (m = n)
2441 (\version.
2448 ((enc = Encoding_Thumb2) \/ version >= 7))
2569 (\version.
2577 version < 6 /\ wback /\ (m = n)
2610 (\version.
2617 (imm2 <> 0w) \/ (m = 15w) \/ version < 6 /\ wback /\ (m = n)
2849 A: SWP{B}<c> <Rt>,<Rt2>,[<Rn>] (deprecated for version >= 6)