#name: Valid ARM, invalid Thumb
#as: -march=armv6k
#error-output: t16-bad.l