Cross Reference: /external/valgrind/VEX/priv/ir

Lines Matching refs:isIRAtom
274       return toBool( isIRAtom(e->Iex.Binop.arg1) 
275                      && isIRAtom(e->Iex.Binop.arg2) );
277       return isIRAtom(e->Iex.Load.addr);
411          if (isIRAtom(st->Ist.Put.data)) {
699          vassert(isIRAtom(st->Ist.Put.data));
770          vassert(isIRAtom(st->Ist.AbiHint.base));
771          vassert(isIRAtom(st->Ist.AbiHint.nia));
783          vassert(isIRAtom(st->Ist.Store.addr));
784          vassert(isIRAtom(st->Ist.Store.data));
789          vassert(isIRAtom(sg->addr));
790          vassert(isIRAtom(sg->data));
791          vassert(isIRAtom(sg->guard));
797          vassert(isIRAtom(lg->addr));
798          vassert(isIRAtom(lg->alt));
799          vassert(isIRAtom(lg->guard));
804          vassert(isIRAtom(st->Ist.Exit.guard));
808          vassert(isIRAtom(st->Ist.Put.data));
812          vassert(isIRAtom(st->Ist.PutI.details->ix));
813          vassert(isIRAtom(st->Ist.PutI.details->data));
930          //vassert(isIRAtom(st->Ist.Exit.guard));
950             vassert(isIRAtom(st->Ist.Put.data));
955             vassert(isIRAtom(st->Ist.PutI.details->ix));
956             vassert(isIRAtom(st->Ist.PutI.details->data));
2451          vassert(isIRAtom(ex->Iex.GetI.ix));
2460          vassert(isIRAtom(qop->arg1));
2461          vassert(isIRAtom(qop->arg2));
2462          vassert(isIRAtom(qop->arg3));
2463          vassert(isIRAtom(qop->arg4));
2475          vassert(isIRAtom(triop->arg1));
2476          vassert(isIRAtom(triop->arg2));
2477          vassert(isIRAtom(triop->arg3));
2487          vassert(isIRAtom(ex->Iex.Binop.arg1));
2488          vassert(isIRAtom(ex->Iex.Binop.arg2));
2496          vassert(isIRAtom(ex->Iex.Unop.arg));
2503          vassert(isIRAtom(ex->Iex.Load.addr));
2514             vassert(isIRAtom(args2[i]));
2525          vassert(isIRAtom(ex->Iex.ITE.cond));
2526          vassert(isIRAtom(ex->Iex.ITE.iftrue));
2527          vassert(isIRAtom(ex->Iex.ITE.iffalse));
2556          vassert(isIRAtom(st->Ist.AbiHint.base));
2557          vassert(isIRAtom(st->Ist.AbiHint.nia));
2564          vassert(isIRAtom(st->Ist.Put.data));
2573          vassert(isIRAtom(puti->ix));
2574          vassert(isIRAtom(puti->data));
2591          vassert(isIRAtom(st->Ist.Store.addr));
2592          vassert(isIRAtom(st->Ist.Store.data));
2601          vassert(isIRAtom(sg->addr));
2602          vassert(isIRAtom(sg->data));
2603          vassert(isIRAtom(sg->guard));
2628          vassert(isIRAtom(lg->addr));
2629          vassert(isIRAtom(lg->alt));
2630          vassert(isIRAtom(lg->guard));
2658          vassert(isIRAtom(cas->addr));
2659          vassert(cas->expdHi == NULL || isIRAtom(cas->expdHi));
2660          vassert(isIRAtom(cas->expdLo));
2661          vassert(cas->dataHi == NULL || isIRAtom(cas->dataHi));
2662          vassert(isIRAtom(cas->dataLo));
2677          vassert(isIRAtom(st->Ist.LLSC.addr));
2679             vassert(isIRAtom(st->Ist.LLSC.storedata));
2697             vassert(isIRAtom(d2->mAddr));
2700          vassert(isIRAtom(d2->guard));
2705                vassert(isIRAtom(arg));
2725          vassert(isIRAtom(st->Ist.Exit.guard));
3292    vassert(isIRAtom(ix1));
3293    vassert(isIRAtom(ix2));
4376          vassert(isIRAtom(s2->Ist.Put.data));
4388          vassert(isIRAtom(p2->ix));
4389          vassert(isIRAtom(p2->data));
4421          vassert(isIRAtom(s2->Ist.Store.addr));
4422          vassert(isIRAtom(s2->Ist.Store.data));
4463              && isIRAtom(replacement)
6035 #  define ISATOM(_e)    isIRAtom(_e)
6222       vassert(aa && isIRAtom(aa));
6223       vassert(bb && isIRAtom(bb));
6224       vassert(cc && isIRAtom(cc));
6265             vassert(isIRAtom(st->Ist.AbiHint.base));
6266             vassert(isIRAtom(st->Ist.AbiHint.nia));
6269             vassert(isIRAtom(st->Ist.Put.data));
6273             vassert(isIRAtom(puti->ix));
6274             vassert(isIRAtom(puti->data));
6291             vassert(isIRAtom(st->Ist.Store.addr));
6292             vassert(isIRAtom(st->Ist.Store.data));
6296             vassert(isIRAtom(sg->addr));
6297             vassert(isIRAtom(sg->data));
6298             vassert(isIRAtom(sg->guard));
6303             vassert(isIRAtom(lg->addr));
6304             vassert(isIRAtom(lg->alt));
6305             vassert(isIRAtom(lg->guard));
6310             vassert(isIRAtom(cas->addr));
6311             vassert(cas->expdHi == NULL || isIRAtom(cas->expdHi));
6312             vassert(isIRAtom(cas->expdLo));
6313             vassert(cas->dataHi == NULL || isIRAtom(cas->dataHi));
6314             vassert(isIRAtom(cas->dataLo));
6318             vassert(isIRAtom(st->Ist.LLSC.addr));
6320                vassert(isIRAtom(st->Ist.LLSC.storedata));
6325                vassert(isIRAtom(d->mAddr));
6327             vassert(isIRAtom(d->guard));
6331                   vassert(isIRAtom(arg));
6341             vassert(isIRAtom(st->Ist.Exit.guard));
6349    vassert(isIRAtom(sb->next));
6476             vassert(isIRAtom(st->Ist.AbiHint.base));
6477             vassert(isIRAtom(st->Ist.AbiHint.nia));
6501             vassert(isIRAtom(st->Ist.Put.data));
6504             vassert(isIRAtom(st->Ist.Store.addr));
6505             vassert(isIRAtom(st->Ist.Store.data));
6509             vassert(isIRAtom(sg->addr));
6510             vassert(isIRAtom(sg->data));
6511             vassert(isIRAtom(sg->guard));
6516             vassert(isIRAtom(lg->addr));
6517             vassert(isIRAtom(lg->alt));
6518             vassert(isIRAtom(lg->guard));
6523             vassert(isIRAtom(cas->addr));
6524             vassert(cas->expdHi == NULL || isIRAtom(cas->expdHi));
6525             vassert(isIRAtom(cas->expdLo));
6526             vassert(cas->dataHi == NULL || isIRAtom(cas->dataHi));
6527             vassert(isIRAtom(cas->dataLo));
6530             vassert(isIRAtom(st->Ist.LLSC.addr));
6532                vassert(isIRAtom(st->Ist.LLSC.storedata));
6536             vassert(isIRAtom(d->guard));
6540                   vassert(isIRAtom(arg));
6543                vassert(isIRAtom(d->mAddr));
6550             vassert(isIRAtom(st->Ist.Exit.guard));