Lines Matching refs:isIRAtom
2615 return isIRAtom(st->Ist.AbiHint.base) in isFlatIRStmt()
2616 && isIRAtom(st->Ist.AbiHint.nia); in isFlatIRStmt()
2618 return isIRAtom(st->Ist.Put.data); in isFlatIRStmt()
2620 return toBool( isIRAtom(st->Ist.PutI.ix) in isFlatIRStmt()
2621 && isIRAtom(st->Ist.PutI.data) ); in isFlatIRStmt()
2630 case Iex_GetI: return isIRAtom(e->Iex.GetI.ix); in isFlatIRStmt()
2633 isIRAtom(e->Iex.Qop.arg1) in isFlatIRStmt()
2634 && isIRAtom(e->Iex.Qop.arg2) in isFlatIRStmt()
2635 && isIRAtom(e->Iex.Qop.arg3) in isFlatIRStmt()
2636 && isIRAtom(e->Iex.Qop.arg4)); in isFlatIRStmt()
2638 isIRAtom(e->Iex.Triop.arg1) in isFlatIRStmt()
2639 && isIRAtom(e->Iex.Triop.arg2) in isFlatIRStmt()
2640 && isIRAtom(e->Iex.Triop.arg3)); in isFlatIRStmt()
2642 isIRAtom(e->Iex.Binop.arg1) in isFlatIRStmt()
2643 && isIRAtom(e->Iex.Binop.arg2)); in isFlatIRStmt()
2644 case Iex_Unop: return isIRAtom(e->Iex.Unop.arg); in isFlatIRStmt()
2645 case Iex_Load: return isIRAtom(e->Iex.Load.addr); in isFlatIRStmt()
2648 if (!isIRAtom(e->Iex.CCall.args[i])) in isFlatIRStmt()
2652 isIRAtom(e->Iex.Mux0X.cond) in isFlatIRStmt()
2653 && isIRAtom(e->Iex.Mux0X.expr0) in isFlatIRStmt()
2654 && isIRAtom(e->Iex.Mux0X.exprX)); in isFlatIRStmt()
2660 return toBool( isIRAtom(st->Ist.Store.addr) in isFlatIRStmt()
2661 && isIRAtom(st->Ist.Store.data) ); in isFlatIRStmt()
2664 return toBool( isIRAtom(cas->addr) in isFlatIRStmt()
2665 && (cas->expdHi ? isIRAtom(cas->expdHi) : True) in isFlatIRStmt()
2666 && isIRAtom(cas->expdLo) in isFlatIRStmt()
2667 && (cas->dataHi ? isIRAtom(cas->dataHi) : True) in isFlatIRStmt()
2668 && isIRAtom(cas->dataLo) ); in isFlatIRStmt()
2670 return toBool( isIRAtom(st->Ist.LLSC.addr) in isFlatIRStmt()
2672 ? isIRAtom(st->Ist.LLSC.storedata) : True) ); in isFlatIRStmt()
2675 if (!isIRAtom(di->guard)) in isFlatIRStmt()
2678 if (!isIRAtom(di->args[i])) in isFlatIRStmt()
2680 if (di->mAddr && !isIRAtom(di->mAddr)) in isFlatIRStmt()
2688 return isIRAtom(st->Ist.Exit.guard); in isFlatIRStmt()
3320 if (!isIRAtom(bb->next)) in sanityCheckIRSB()
3491 vassert(isIRAtom(a1)); in eqIRAtom()
3492 vassert(isIRAtom(a2)); in eqIRAtom()