3225     uint32_t temp128;  in helper_dextr_r_w()  local
3238     temp128 = temp[2] & 0x01;  in helper_dextr_r_w()
3240     if ((temp128 != 0 || temp[1] != 0) &&  in helper_dextr_r_w()
3241        (temp128 != 1 || temp[1] != ~0ull)) {  in helper_dextr_r_w()
3252     uint32_t temp128;  in helper_dextr_rs_w()  local
3265     temp128 = temp[2] & 0x01;  in helper_dextr_rs_w()
3267     if ((temp128 != 0 || temp[1] != 0) &&  in helper_dextr_rs_w()
3268        (temp128 != 1 || temp[1] != ~0ull)) {  in helper_dextr_rs_w()
3269         if (temp128 == 0) {  in helper_dextr_rs_w()
3296     uint32_t temp128;  in helper_dextr_r_l()  local
3309     temp128 = temp[2] & 0x01;  in helper_dextr_r_l()
3311     if ((temp128 != 0 || temp[1] != 0) &&  in helper_dextr_r_l()
3312        (temp128 != 1 || temp[1] != ~0ull)) {  in helper_dextr_r_l()
3323     uint32_t temp128;  in helper_dextr_rs_l()  local
3336     temp128 = temp[2] & 0x01;  in helper_dextr_rs_l()
3338     if ((temp128 != 0 || temp[1] != 0) &&  in helper_dextr_rs_l()
3339        (temp128 != 1 || temp[1] != ~0ull)) {  in helper_dextr_rs_l()
3340         if (temp128 == 0) {  in helper_dextr_rs_l()