Home | History | Annotate | Download | only in priv

Lines Matching refs:nVECRETs

528    UInt nVECRETs = 0;
593          nVECRETs++;
606    if (nVECRETs == 1) {
615       vassert(nVECRETs == 0);
768    vassert(nVECRETs == (retTy == Ity_V128 || retTy == Ity_V256) ? 1 : 0);