Lines Matching refs:isIRAtom
255 return toBool( isIRAtom(e->Iex.Binop.arg1)
256 && isIRAtom(e->Iex.Binop.arg2) );
258 return isIRAtom(e->Iex.Load.addr);
385 if (isIRAtom(st->Ist.Put.data)) {
654 vassert(isIRAtom(st->Ist.Put.data));
724 vassert(isIRAtom(st->Ist.AbiHint.base));
725 vassert(isIRAtom(st->Ist.AbiHint.nia));
737 vassert(isIRAtom(st->Ist.Store.addr));
738 vassert(isIRAtom(st->Ist.Store.data));
743 vassert(isIRAtom(st->Ist.Exit.guard));
747 vassert(isIRAtom(st->Ist.PutI.ix));
748 vassert(isIRAtom(st->Ist.PutI.data));
826 vassert(isIRAtom(st->Ist.Exit.guard));
838 vassert(isIRAtom(st->Ist.Put.data));
843 vassert(isIRAtom(st->Ist.PutI.ix));
844 vassert(isIRAtom(st->Ist.PutI.data));
1816 vassert(isIRAtom(ex->Iex.GetI.ix));
1824 vassert(isIRAtom(ex->Iex.Qop.arg1));
1825 vassert(isIRAtom(ex->Iex.Qop.arg2));
1826 vassert(isIRAtom(ex->Iex.Qop.arg3));
1827 vassert(isIRAtom(ex->Iex.Qop.arg4));
1837 vassert(isIRAtom(ex->Iex.Triop.arg1));
1838 vassert(isIRAtom(ex->Iex.Triop.arg2));
1839 vassert(isIRAtom(ex->Iex.Triop.arg3));
1848 vassert(isIRAtom(ex->Iex.Binop.arg1));
1849 vassert(isIRAtom(ex->Iex.Binop.arg2));
1857 vassert(isIRAtom(ex->Iex.Unop.arg));
1864 vassert(isIRAtom(ex->Iex.Load.addr));
1875 vassert(isIRAtom(args2[i]));
1886 vassert(isIRAtom(ex->Iex.Mux0X.cond));
1887 vassert(isIRAtom(ex->Iex.Mux0X.expr0));
1888 vassert(isIRAtom(ex->Iex.Mux0X.exprX));
1917 vassert(isIRAtom(st->Ist.AbiHint.base));
1918 vassert(isIRAtom(st->Ist.AbiHint.nia));
1925 vassert(isIRAtom(st->Ist.Put.data));
1932 vassert(isIRAtom(st->Ist.PutI.ix));
1933 vassert(isIRAtom(st->Ist.PutI.data));
1950 vassert(isIRAtom(st->Ist.Store.addr));
1951 vassert(isIRAtom(st->Ist.Store.data));
1961 vassert(isIRAtom(cas->addr));
1962 vassert(cas->expdHi == NULL || isIRAtom(cas->expdHi));
1963 vassert(isIRAtom(cas->expdLo));
1964 vassert(cas->dataHi == NULL || isIRAtom(cas->dataHi));
1965 vassert(isIRAtom(cas->dataLo));
1978 vassert(isIRAtom(st->Ist.LLSC.addr));
1980 vassert(isIRAtom(st->Ist.LLSC.storedata));
1998 vassert(isIRAtom(d2->mAddr));
2001 vassert(isIRAtom(d2->guard));
2004 vassert(isIRAtom(d2->args[i]));
2023 vassert(isIRAtom(st->Ist.Exit.guard));
2479 vassert(isIRAtom(ix1));
2480 vassert(isIRAtom(ix2));
3262 vassert(isIRAtom(s2->Ist.Put.data));
3272 vassert(isIRAtom(s2->Ist.PutI.ix));
3273 vassert(isIRAtom(s2->Ist.PutI.data));
3305 vassert(isIRAtom(s2->Ist.Store.addr));
3306 vassert(isIRAtom(s2->Ist.Store.data));
3347 && isIRAtom(replacement)
4630 vassert(isIRAtom(st->Ist.AbiHint.base));
4631 vassert(isIRAtom(st->Ist.AbiHint.nia));
4651 vassert(isIRAtom(st->Ist.Put.data));
4654 vassert(isIRAtom(st->Ist.Store.addr));
4655 vassert(isIRAtom(st->Ist.Store.data));
4659 vassert(isIRAtom(cas->addr));
4660 vassert(cas->expdHi == NULL || isIRAtom(cas->expdHi));
4661 vassert(isIRAtom(cas->expdLo));
4662 vassert(cas->dataHi == NULL || isIRAtom(cas->dataHi));
4663 vassert(isIRAtom(cas->dataLo));
4666 vassert(isIRAtom(st->Ist.LLSC.addr));
4668 vassert(isIRAtom(st->Ist.LLSC.storedata));
4672 vassert(isIRAtom(d->guard));
4674 vassert(isIRAtom(d->args[j]));
4676 vassert(isIRAtom(d->mAddr));
4683 vassert(isIRAtom(st->Ist.Exit.guard));
