Lines Matching refs:rloc
1992 RetLoc rloc = mk_RetLoc_INVALID();
1993 Bool ok = doHelperCall( &addToSp, &rloc, env, NULL/*guard*/,
1998 vassert(is_sane_RetLoc(rloc));
1999 vassert(rloc.pri == RLPri_Int);
6169 RetLoc rloc = mk_RetLoc_INVALID();
6170 Bool ok = doHelperCall( &addToSp, &rloc, env,
6173 vassert(is_sane_RetLoc(rloc));
6180 vassert(rloc.pri == RLPri_None);
6185 vassert(rloc.pri == RLPri_2Int);
6202 vassert(rloc.pri == RLPri_Int);
6215 vassert(rloc.pri == RLPri_V128SpRel);
6216 vassert(rloc.spOff < 256); // else ARMRI84_I84(_,0) can't encode it
6221 vassert(0 == (rloc.spOff % 8));
6227 tmp, sp, ARMRI84_I84(rloc.spOff,0)));
