pub const ENCODING_ENC_UQSHL_ASIMDSHF_R: ENCODING = 2634;