652                                         SelectPatternFlavor SPF1,  in FoldSPFofSPF()  argument
662     if (SPF1 == SPF2)  in FoldSPFofSPF()
667     if ((SPF1 == SPF_SMIN && SPF2 == SPF_SMAX) ||  in FoldSPFofSPF()
668         (SPF1 == SPF_SMAX && SPF2 == SPF_SMIN) ||  in FoldSPFofSPF()
669         (SPF1 == SPF_UMIN && SPF2 == SPF_UMAX) ||  in FoldSPFofSPF()
670         (SPF1 == SPF_UMAX && SPF2 == SPF_UMIN))  in FoldSPFofSPF()
674   if (SPF1 == SPF2) {  in FoldSPFofSPF()
682         if ((SPF1 == SPF_UMIN && ACB.ule(ACC)) ||  in FoldSPFofSPF()
683             (SPF1 == SPF_SMIN && ACB.sle(ACC)) ||  in FoldSPFofSPF()
684             (SPF1 == SPF_UMAX && ACB.uge(ACC)) ||  in FoldSPFofSPF()
685             (SPF1 == SPF_SMAX && ACB.sge(ACC)))  in FoldSPFofSPF()
690         if ((SPF1 == SPF_UMIN && ACB.ugt(ACC)) ||  in FoldSPFofSPF()
691             (SPF1 == SPF_SMIN && ACB.sgt(ACC)) ||  in FoldSPFofSPF()
692             (SPF1 == SPF_UMAX && ACB.ult(ACC)) ||  in FoldSPFofSPF()
693             (SPF1 == SPF_SMAX && ACB.slt(ACC))) {  in FoldSPFofSPF()
703   if (SPF1 == SPF2 && (SPF1 == SPF_ABS || SPF1 == SPF_NABS)) {  in FoldSPFofSPF()
709   if ((SPF1 == SPF_ABS && SPF2 == SPF_NABS) ||  in FoldSPFofSPF()
710       (SPF1 == SPF_NABS && SPF2 == SPF_ABS)) {  in FoldSPFofSPF()
756         Builder, getInverseMinMaxSelectPattern(SPF1), NotA, NotB);  in FoldSPFofSPF()