Use thumb_opcode_val & 0x7 instead