3627   if (isIRAtom(e)) {  in isIRAtom_or_VECRET_or_BBPTR()
3643          return isIRAtom(st->Ist.AbiHint.base)  in isFlatIRStmt()
3644                 && isIRAtom(st->Ist.AbiHint.nia);  in isFlatIRStmt()
3646          return isIRAtom(st->Ist.Put.data);  in isFlatIRStmt()
3649          return toBool( isIRAtom(puti->ix)   in isFlatIRStmt()
3650                         && isIRAtom(puti->data) );  in isFlatIRStmt()
3660             case Iex_GetI:   return isIRAtom(e->Iex.GetI.ix);  in isFlatIRStmt()
3664                                     isIRAtom(qop->arg1)   in isFlatIRStmt()
3665                                     && isIRAtom(qop->arg2)  in isFlatIRStmt()
3666                                     && isIRAtom(qop->arg3)  in isFlatIRStmt()
3667                                     && isIRAtom(qop->arg4));  in isFlatIRStmt()
3670                                     isIRAtom(triop->arg1)   in isFlatIRStmt()
3671                                     && isIRAtom(triop->arg2)  in isFlatIRStmt()
3672                                     && isIRAtom(triop->arg3));  in isFlatIRStmt()
3674                                     isIRAtom(e->Iex.Binop.arg1)   in isFlatIRStmt()
3675                                     && isIRAtom(e->Iex.Binop.arg2));  in isFlatIRStmt()
3676             case Iex_Unop:   return isIRAtom(e->Iex.Unop.arg);  in isFlatIRStmt()
3677             case Iex_Load:   return isIRAtom(e->Iex.Load.addr);  in isFlatIRStmt()
3680                                 if (!isIRAtom(e->Iex.CCall.args[i]))   in isFlatIRStmt()
3684                                     isIRAtom(e->Iex.ITE.cond)   in isFlatIRStmt()
3685                                     && isIRAtom(e->Iex.ITE.iftrue)   in isFlatIRStmt()
3686                                     && isIRAtom(e->Iex.ITE.iffalse));  in isFlatIRStmt()
3692          return toBool( isIRAtom(st->Ist.Store.addr)   in isFlatIRStmt()
3693                         && isIRAtom(st->Ist.Store.data) );  in isFlatIRStmt()
3696          return toBool( isIRAtom(sg->addr)  in isFlatIRStmt()
3697                         && isIRAtom(sg->data) && isIRAtom(sg->guard) );  in isFlatIRStmt()
3701          return toBool( isIRAtom(lg->addr)  in isFlatIRStmt()
3702                         && isIRAtom(lg->alt) && isIRAtom(lg->guard) );  in isFlatIRStmt()
3706          return toBool( isIRAtom(cas->addr)  in isFlatIRStmt()
3707                         && (cas->expdHi ? isIRAtom(cas->expdHi) : True)  in isFlatIRStmt()
3708                         && isIRAtom(cas->expdLo)  in isFlatIRStmt()
3709                         && (cas->dataHi ? isIRAtom(cas->dataHi) : True)  in isFlatIRStmt()
3710                         && isIRAtom(cas->dataLo) );  in isFlatIRStmt()
3713          return toBool( isIRAtom(st->Ist.LLSC.addr)  in isFlatIRStmt()
3715                                ? isIRAtom(st->Ist.LLSC.storedata) : True) );  in isFlatIRStmt()
3718          if (!isIRAtom(di->guard))   in isFlatIRStmt()
3723          if (di->mAddr && !isIRAtom(di->mAddr))   in isFlatIRStmt()
3732          return isIRAtom(st->Ist.Exit.guard);  in isFlatIRStmt()
4503       if (!isIRAtom(bb->next))  in sanityCheckIRSB()
4706    vassert(isIRAtom(a1));  in eqIRAtom()
4707    vassert(isIRAtom(a2));  in eqIRAtom()