628                                    UInt zmaskL, UInt zmaskR,  in compute_PCMPxSTRx_gen_output()  argument
684      | ((zmaskR == 0)  ? 0 : MASK_S) // S == 1 iff any in argR is 0  in compute_PCMPxSTRx_gen_output()
696                                         UInt zmaskL, UInt zmaskR,  in compute_PCMPxSTRx_gen_output_wide()  argument
752      | ((zmaskR == 0)  ? 0 : MASK_S) // S == 1 iff any in argR is 0  in compute_PCMPxSTRx_gen_output_wide()
787                          UInt zmaskL, UInt zmaskR,  in compute_PCMPxSTRx()  argument
792    vassert((zmaskR >> 16) == 0);  in compute_PCMPxSTRx()
828       UInt validR = ~(zmaskR | -zmaskR);  // not(left(zmaskR))  in compute_PCMPxSTRx()
840          intRes1, zmaskL, zmaskR, validL, pol, idx, isxSTRM  in compute_PCMPxSTRx()
858       UInt   validR  = ~(zmaskR | -zmaskR);  // not(left(zmaskR))  in compute_PCMPxSTRx()
878          intRes1, zmaskL, zmaskR, validL, pol, idx, isxSTRM  in compute_PCMPxSTRx()
897       UInt   validR  = ~(zmaskR | -zmaskR);  // not(left(zmaskR))  in compute_PCMPxSTRx()
918          intRes1, zmaskL, zmaskR, validL, pol, idx, isxSTRM  in compute_PCMPxSTRx()
937       UInt   validR  = ~(zmaskR | -zmaskR);  // not(left(zmaskR))  in compute_PCMPxSTRx()
958          intRes1, zmaskL, zmaskR, validL, pol, idx, isxSTRM  in compute_PCMPxSTRx()
977       UInt   validR  = ~(zmaskR | -zmaskR);  // not(left(zmaskR))  in compute_PCMPxSTRx()
998          intRes1, zmaskL, zmaskR, validL, pol, idx, isxSTRM  in compute_PCMPxSTRx()
1038                               UInt zmaskL, UInt zmaskR,  in compute_PCMPxSTRx_wide()  argument
1043    vassert((zmaskR >> 8) == 0);  in compute_PCMPxSTRx_wide()
1079       UInt validR = ~(zmaskR | -zmaskR);  // not(left(zmaskR))  in compute_PCMPxSTRx_wide()
1091          intRes1, zmaskL, zmaskR, validL, pol, idx, isxSTRM  in compute_PCMPxSTRx_wide()
1109       UInt    validR  = ~(zmaskR | -zmaskR);  // not(left(zmaskR))  in compute_PCMPxSTRx_wide()
1129          intRes1, zmaskL, zmaskR, validL, pol, idx, isxSTRM  in compute_PCMPxSTRx_wide()
1148       UInt    validR  = ~(zmaskR | -zmaskR);  // not(left(zmaskR))  in compute_PCMPxSTRx_wide()
1169          intRes1, zmaskL, zmaskR, validL, pol, idx, isxSTRM  in compute_PCMPxSTRx_wide()
1188       UInt    validR  = ~(zmaskR | -zmaskR);  // not(left(zmaskR))  in compute_PCMPxSTRx_wide()
1209          intRes1, zmaskL, zmaskR, validL, pol, idx, isxSTRM  in compute_PCMPxSTRx_wide()