Lines Matching refs:isIRAtom
2770 return isIRAtom(st->Ist.AbiHint.base)
2771 && isIRAtom(st->Ist.AbiHint.nia);
2773 return isIRAtom(st->Ist.Put.data);
2775 return toBool( isIRAtom(st->Ist.PutI.ix)
2776 && isIRAtom(st->Ist.PutI.data) );
2785 case Iex_GetI: return isIRAtom(e->Iex.GetI.ix);
2788 isIRAtom(e->Iex.Qop.arg1)
2789 && isIRAtom(e->Iex.Qop.arg2)
2790 && isIRAtom(e->Iex.Qop.arg3)
2791 && isIRAtom(e->Iex.Qop.arg4));
2793 isIRAtom(e->Iex.Triop.arg1)
2794 && isIRAtom(e->Iex.Triop.arg2)
2795 && isIRAtom(e->Iex.Triop.arg3));
2797 isIRAtom(e->Iex.Binop.arg1)
2798 && isIRAtom(e->Iex.Binop.arg2));
2799 case Iex_Unop: return isIRAtom(e->Iex.Unop.arg);
2800 case Iex_Load: return isIRAtom(e->Iex.Load.addr);
2803 if (!isIRAtom(e->Iex.CCall.args[i]))
2807 isIRAtom(e->Iex.Mux0X.cond)
2808 && isIRAtom(e->Iex.Mux0X.expr0)
2809 && isIRAtom(e->Iex.Mux0X.exprX));
2815 return toBool( isIRAtom(st->Ist.Store.addr)
2816 && isIRAtom(st->Ist.Store.data) );
2819 return toBool( isIRAtom(cas->addr)
2820 && (cas->expdHi ? isIRAtom(cas->expdHi) : True)
2821 && isIRAtom(cas->expdLo)
2822 && (cas->dataHi ? isIRAtom(cas->dataHi) : True)
2823 && isIRAtom(cas->dataLo) );
2825 return toBool( isIRAtom(st->Ist.LLSC.addr)
2827 ? isIRAtom(st->Ist.LLSC.storedata) : True) );
2830 if (!isIRAtom(di->guard))
2833 if (!isIRAtom(di->args[i]))
2835 if (di->mAddr && !isIRAtom(di->mAddr))
2843 return isIRAtom(st->Ist.Exit.guard);
3479 if (!isIRAtom(bb->next))
3653 vassert(isIRAtom(a1));
3654 vassert(isIRAtom(a2));
