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));
769 vassert(isIRAtom(st->Ist.AbiHint.base));
770 vassert(isIRAtom(st->Ist.AbiHint.nia));
782 vassert(isIRAtom(st->Ist.Store.addr));
783 vassert(isIRAtom(st->Ist.Store.data));
788 vassert(isIRAtom(sg->addr));
789 vassert(isIRAtom(sg->data));
790 vassert(isIRAtom(sg->guard));
796 vassert(isIRAtom(lg->addr));
797 vassert(isIRAtom(lg->alt));
798 vassert(isIRAtom(lg->guard));
803 vassert(isIRAtom(st->Ist.Exit.guard));
807 vassert(isIRAtom(st->Ist.PutI.details->ix));
808 vassert(isIRAtom(st->Ist.PutI.details->data));
922 //vassert(isIRAtom(st->Ist.Exit.guard));
942 vassert(isIRAtom(st->Ist.Put.data));
947 vassert(isIRAtom(st->Ist.PutI.details->ix));
948 vassert(isIRAtom(st->Ist.PutI.details->data));
2386 vassert(isIRAtom(ex->Iex.GetI.ix));
2395 vassert(isIRAtom(qop->arg1));
2396 vassert(isIRAtom(qop->arg2));
2397 vassert(isIRAtom(qop->arg3));
2398 vassert(isIRAtom(qop->arg4));
2410 vassert(isIRAtom(triop->arg1));
2411 vassert(isIRAtom(triop->arg2));
2412 vassert(isIRAtom(triop->arg3));
2422 vassert(isIRAtom(ex->Iex.Binop.arg1));
2423 vassert(isIRAtom(ex->Iex.Binop.arg2));
2431 vassert(isIRAtom(ex->Iex.Unop.arg));
2438 vassert(isIRAtom(ex->Iex.Load.addr));
2449 vassert(isIRAtom(args2[i]));
2460 vassert(isIRAtom(ex->Iex.ITE.cond));
2461 vassert(isIRAtom(ex->Iex.ITE.iftrue));
2462 vassert(isIRAtom(ex->Iex.ITE.iffalse));
2491 vassert(isIRAtom(st->Ist.AbiHint.base));
2492 vassert(isIRAtom(st->Ist.AbiHint.nia));
2499 vassert(isIRAtom(st->Ist.Put.data));
2508 vassert(isIRAtom(puti->ix));
2509 vassert(isIRAtom(puti->data));
2526 vassert(isIRAtom(st->Ist.Store.addr));
2527 vassert(isIRAtom(st->Ist.Store.data));
2536 vassert(isIRAtom(sg->addr));
2537 vassert(isIRAtom(sg->data));
2538 vassert(isIRAtom(sg->guard));
2563 vassert(isIRAtom(lg->addr));
2564 vassert(isIRAtom(lg->alt));
2565 vassert(isIRAtom(lg->guard));
2593 vassert(isIRAtom(cas->addr));
2594 vassert(cas->expdHi == NULL || isIRAtom(cas->expdHi));
2595 vassert(isIRAtom(cas->expdLo));
2596 vassert(cas->dataHi == NULL || isIRAtom(cas->dataHi));
2597 vassert(isIRAtom(cas->dataLo));
2612 vassert(isIRAtom(st->Ist.LLSC.addr));
2614 vassert(isIRAtom(st->Ist.LLSC.storedata));
2632 vassert(isIRAtom(d2->mAddr));
2635 vassert(isIRAtom(d2->guard));
2640 vassert(isIRAtom(arg));
2660 vassert(isIRAtom(st->Ist.Exit.guard));
3225 vassert(isIRAtom(ix1));
3226 vassert(isIRAtom(ix2));
4246 vassert(isIRAtom(s2->Ist.Put.data));
4258 vassert(isIRAtom(p2->ix));
4259 vassert(isIRAtom(p2->data));
4291 vassert(isIRAtom(s2->Ist.Store.addr));
4292 vassert(isIRAtom(s2->Ist.Store.data));
4333 && isIRAtom(replacement)
5897 vassert(isIRAtom(st->Ist.AbiHint.base));
5898 vassert(isIRAtom(st->Ist.AbiHint.nia));
5922 vassert(isIRAtom(st->Ist.Put.data));
5925 vassert(isIRAtom(st->Ist.Store.addr));
5926 vassert(isIRAtom(st->Ist.Store.data));
5930 vassert(isIRAtom(sg->addr));
5931 vassert(isIRAtom(sg->data));
5932 vassert(isIRAtom(sg->guard));
5937 vassert(isIRAtom(lg->addr));
5938 vassert(isIRAtom(lg->alt));
5939 vassert(isIRAtom(lg->guard));
5944 vassert(isIRAtom(cas->addr));
5945 vassert(cas->expdHi == NULL || isIRAtom(cas->expdHi));
5946 vassert(isIRAtom(cas->expdLo));
5947 vassert(cas->dataHi == NULL || isIRAtom(cas->dataHi));
5948 vassert(isIRAtom(cas->dataLo));
5951 vassert(isIRAtom(st->Ist.LLSC.addr));
5953 vassert(isIRAtom(st->Ist.LLSC.storedata));
5957 vassert(isIRAtom(d->guard));
5961 vassert(isIRAtom(arg));
5964 vassert(isIRAtom(d->mAddr));
5971 vassert(isIRAtom(st->Ist.Exit.guard));
