ARM: taint propagation of instructions in "type_sat_instr_lookup"