56     // mark the upper zmm bank bad and all the mask registers bad in this case

    56     // mark the upper zmm bank bad and all the mask registers bad in this case

    57     for (OptoReg::Name i = OptoReg::Name(middle); i<OptoReg::Name(_last_Mach_Reg - 1); i = OptoReg::add(i, 1)) {

    57     for (OptoReg::Name i = OptoReg::Name(middle); i<OptoReg::Name(_last_Mach_Reg - 1); i = OptoReg::add(i, 1)) {

    58       OptoReg::invalidate(i);

    58       OptoReg::invalidate(i);

    59     }

    59     }

    60   }

    60   }

    61 }

    63 }