armdata.js marks one of the T32 forms of TST as available in ARMv4T+

[tom42]

trafficstars

["tst" , "Rn!=XX, #ImmC" , "T32", "1111|0|ImmC:1|0|0000|1|Rn|0|ImmC:3|1111|ImmC:8" , "ARMv4T+ IT=ANY APSR.NZC=W"]

Shouldn't that be ARMv6T2+?

See here, "These 32-bit Thumb-2 instructions are available in T2 variants of ARMv6 and above."

Cheers Thomas

[kobalicek]

Thanks! I will fix that.