Lines Matching defs:rloc
1838 RetLoc rloc = mk_RetLoc_INVALID();
1839 Bool ok = doHelperCall( &addToSp, &rloc, env, NULL/*guard*/,
1844 vassert(is_sane_RetLoc(rloc));
1845 vassert(rloc.pri == RLPri_Int);
5973 RetLoc rloc = mk_RetLoc_INVALID();
5974 doHelperCall( &addToSp, &rloc, env, d->guard, d->cee, retty, d->args );
5975 vassert(is_sane_RetLoc(rloc));
5982 vassert(rloc.pri == RLPri_None);
5987 vassert(rloc.pri == RLPri_2Int);
6004 vassert(rloc.pri == RLPri_Int);
6022 vassert(rloc.pri == RLPri_V128SpRel);
6023 vassert(rloc.spOff < 256); // else ARMRI84_I84(_,0) can't encode it
6025 vassert(addToSp < 256); // ditto reason as for rloc.spOff
6030 tmp, r13, ARMRI84_I84(rloc.spOff,0)));
