788                          UInt imm8,   Bool isxSTRM )  in compute_PCMPxSTRx()  argument
790    vassert(imm8 < 0x80);  in compute_PCMPxSTRx()
797    switch (imm8) {  in compute_PCMPxSTRx()
807    UInt fmt = (imm8 >> 0) & 3; // imm8[1:0]  data format  in compute_PCMPxSTRx()
808    UInt agg = (imm8 >> 2) & 3; // imm8[3:2]  aggregation fn  in compute_PCMPxSTRx()
809    UInt pol = (imm8 >> 4) & 3; // imm8[5:4]  polarity  in compute_PCMPxSTRx()
810    UInt idx = (imm8 >> 6) & 1; // imm8[6]    1==msb/bytemask  in compute_PCMPxSTRx()
1039                               UInt imm8,   Bool isxSTRM )  in compute_PCMPxSTRx_wide()  argument
1041    vassert(imm8 < 0x80);  in compute_PCMPxSTRx_wide()
1048    switch (imm8) {  in compute_PCMPxSTRx_wide()
1057    UInt fmt = (imm8 >> 0) & 3; // imm8[1:0]  data format  in compute_PCMPxSTRx_wide()
1058    UInt agg = (imm8 >> 2) & 3; // imm8[3:2]  aggregation fn  in compute_PCMPxSTRx_wide()
1059    UInt pol = (imm8 >> 4) & 3; // imm8[5:4]  polarity  in compute_PCMPxSTRx_wide()
1060    UInt idx = (imm8 >> 6) & 1; // imm8[6]    1==msb/bytemask  in compute_PCMPxSTRx_wide()