Lines Matching refs:isShadowAtom
331 static Bool isShadowAtom ( MCEnv* mce, IRAtom* a1 )
484 tl_assert(isShadowAtom(mce,a1));
485 tl_assert(isShadowAtom(mce,a2));
490 tl_assert(isShadowAtom(mce,a1));
491 tl_assert(isShadowAtom(mce,a2));
496 tl_assert(isShadowAtom(mce,a1));
497 tl_assert(isShadowAtom(mce,a2));
502 tl_assert(isShadowAtom(mce,a1));
503 tl_assert(isShadowAtom(mce,a2));
508 tl_assert(isShadowAtom(mce,a1));
509 tl_assert(isShadowAtom(mce,a2));
514 tl_assert(isShadowAtom(mce,a1));
515 tl_assert(isShadowAtom(mce,a2));
522 tl_assert(isShadowAtom(mce,a1));
523 tl_assert(isShadowAtom(mce,a2));
528 tl_assert(isShadowAtom(mce,a1));
529 tl_assert(isShadowAtom(mce,a2));
534 tl_assert(isShadowAtom(mce,a1));
535 tl_assert(isShadowAtom(mce,a2));
540 tl_assert(isShadowAtom(mce,a1));
541 tl_assert(isShadowAtom(mce,a2));
547 tl_assert(isShadowAtom(mce,a1));
548 tl_assert(isShadowAtom(mce,a2));
560 tl_assert(isShadowAtom(mce,a1));
561 tl_assert(isShadowAtom(mce,a2));
566 tl_assert(isShadowAtom(mce,a1));
567 tl_assert(isShadowAtom(mce,a2));
588 tl_assert(isShadowAtom(mce,a1));
593 tl_assert(isShadowAtom(mce,a1));
598 tl_assert(isShadowAtom(mce,a1));
603 tl_assert(isShadowAtom(mce,a1));
615 tl_assert(isShadowAtom(mce, vbits));
623 tl_assert(isShadowAtom(mce, vbits));
631 tl_assert(isShadowAtom(mce, vbits));
639 tl_assert(isShadowAtom(mce, vbits));
647 tl_assert(isShadowAtom(mce, vbits));
655 tl_assert(isShadowAtom(mce, vbits));
666 tl_assert(isShadowAtom(mce, vbits));
678 tl_assert(isShadowAtom(mce, vbits));
690 tl_assert(isShadowAtom(mce, vbits));
702 tl_assert(isShadowAtom(mce, vbits));
714 tl_assert(isShadowAtom(mce, vbits));
726 tl_assert(isShadowAtom(mce, vbits));
747 tl_assert(isShadowAtom(mce,vbits));
882 tl_assert(isShadowAtom(mce,vxx));
883 tl_assert(isShadowAtom(mce,vyy));
1004 tl_assert(isShadowAtom(mce,xxhash));
1005 tl_assert(isShadowAtom(mce,yyhash));
1117 tl_assert(isShadowAtom(mce, vatom));
1313 tl_assert(isShadowAtom(mce, vatom));
1446 tl_assert(isShadowAtom(mce,va1));
1447 tl_assert(isShadowAtom(mce,va2));
1496 tl_assert(isShadowAtom(mce,va1));
1497 tl_assert(isShadowAtom(mce,va2));
1498 tl_assert(isShadowAtom(mce,va3));
1594 tl_assert(isShadowAtom(mce,va1));
1595 tl_assert(isShadowAtom(mce,va2));
1596 tl_assert(isShadowAtom(mce,va3));
1597 tl_assert(isShadowAtom(mce,va4));
1719 tl_assert(isShadowAtom(mce,qaa));
1720 tl_assert(isShadowAtom(mce,qbb));
1825 tl_assert(isShadowAtom(mce,qaa));
1826 tl_assert(isShadowAtom(mce,qbb));
1944 tl_assert(isShadowAtom(mce, vatomX));
1945 tl_assert(isShadowAtom(mce, vatomY));
1955 tl_assert(isShadowAtom(mce, vatomX));
1964 tl_assert(isShadowAtom(mce, vatomX));
1965 tl_assert(isShadowAtom(mce, vatomY));
1977 tl_assert(isShadowAtom(mce, vatomX));
1990 tl_assert(isShadowAtom(mce, vatomX));
1991 tl_assert(isShadowAtom(mce, vatomY));
2001 tl_assert(isShadowAtom(mce, vatomX));
2010 tl_assert(isShadowAtom(mce, vatomX));
2011 tl_assert(isShadowAtom(mce, vatomY));
2023 tl_assert(isShadowAtom(mce, vatomX));
2036 tl_assert(isShadowAtom(mce, vatomX));
2037 tl_assert(isShadowAtom(mce, vatomY));
2047 tl_assert(isShadowAtom(mce, vatomX));
2058 tl_assert(isShadowAtom(mce, vatomX));
2059 tl_assert(isShadowAtom(mce, vatomY));
2069 tl_assert(isShadowAtom(mce, vatomX));
2080 tl_assert(isShadowAtom(mce, vatomX));
2081 tl_assert(isShadowAtom(mce, vatomY));
2091 tl_assert(isShadowAtom(mce, vatomX));
2199 tl_assert(isShadowAtom(mce,vatom1));
2200 tl_assert(isShadowAtom(mce,vatom2));
2220 tl_assert(isShadowAtom(mce,vatom1));
2221 tl_assert(isShadowAtom(mce,vatom2));
2234 tl_assert(isShadowAtom(mce,vatom1));
2281 tl_assert(isShadowAtom(mce,vatom1));
2408 tl_assert(isShadowAtom(mce,vatom1));
2409 tl_assert(isShadowAtom(mce,vatom2));
2410 tl_assert(isShadowAtom(mce,vatom3));
2411 tl_assert(isShadowAtom(mce,vatom4));
2453 tl_assert(isShadowAtom(mce,vatom1));
2454 tl_assert(isShadowAtom(mce,vatom2));
2455 tl_assert(isShadowAtom(mce,vatom3));
2541 tl_assert(isShadowAtom(mce,vatom1));
2542 tl_assert(isShadowAtom(mce,vatom2));
4090 tl_assert(isShadowAtom(mce,vatom));
4164 tl_assert(isShadowAtom(mce,vdata));
4691 tl_assert(isShadowAtom(mce, shadow));
4876 tl_assert(isShadowAtom(mce, vdataLo));
4880 tl_assert(isShadowAtom(mce, bdataLo));
4887 tl_assert(isShadowAtom(mce, vexpdLo));
4891 tl_assert(isShadowAtom(mce, bexpdLo));
4985 tl_assert(isShadowAtom(mce, vdataHi));
4986 tl_assert(isShadowAtom(mce, vdataLo));
4992 tl_assert(isShadowAtom(mce, bdataHi));
4993 tl_assert(isShadowAtom(mce, bdataLo));
5003 tl_assert(isShadowAtom(mce, vexpdHi));
5004 tl_assert(isShadowAtom(mce, vexpdLo));
5010 tl_assert(isShadowAtom(mce, bexpdHi));
5011 tl_assert(isShadowAtom(mce, bexpdLo));
