Lines Matching refs:isShadowAtom
324 static Bool isShadowAtom ( MCEnv* mce, IRAtom* a1 )
469 tl_assert(isShadowAtom(mce,a1));
470 tl_assert(isShadowAtom(mce,a2));
475 tl_assert(isShadowAtom(mce,a1));
476 tl_assert(isShadowAtom(mce,a2));
481 tl_assert(isShadowAtom(mce,a1));
482 tl_assert(isShadowAtom(mce,a2));
487 tl_assert(isShadowAtom(mce,a1));
488 tl_assert(isShadowAtom(mce,a2));
493 tl_assert(isShadowAtom(mce,a1));
494 tl_assert(isShadowAtom(mce,a2));
501 tl_assert(isShadowAtom(mce,a1));
502 tl_assert(isShadowAtom(mce,a2));
507 tl_assert(isShadowAtom(mce,a1));
508 tl_assert(isShadowAtom(mce,a2));
513 tl_assert(isShadowAtom(mce,a1));
514 tl_assert(isShadowAtom(mce,a2));
519 tl_assert(isShadowAtom(mce,a1));
520 tl_assert(isShadowAtom(mce,a2));
526 tl_assert(isShadowAtom(mce,a1));
527 tl_assert(isShadowAtom(mce,a2));
539 tl_assert(isShadowAtom(mce,a1));
540 tl_assert(isShadowAtom(mce,a2));
561 tl_assert(isShadowAtom(mce,a1));
566 tl_assert(isShadowAtom(mce,a1));
571 tl_assert(isShadowAtom(mce,a1));
576 tl_assert(isShadowAtom(mce,a1));
588 tl_assert(isShadowAtom(mce, vbits));
596 tl_assert(isShadowAtom(mce, vbits));
604 tl_assert(isShadowAtom(mce, vbits));
612 tl_assert(isShadowAtom(mce, vbits));
620 tl_assert(isShadowAtom(mce, vbits));
631 tl_assert(isShadowAtom(mce, vbits));
643 tl_assert(isShadowAtom(mce, vbits));
655 tl_assert(isShadowAtom(mce, vbits));
667 tl_assert(isShadowAtom(mce, vbits));
679 tl_assert(isShadowAtom(mce, vbits));
700 tl_assert(isShadowAtom(mce,vbits));
826 tl_assert(isShadowAtom(mce,vxx));
827 tl_assert(isShadowAtom(mce,vyy));
948 tl_assert(isShadowAtom(mce,xxhash));
949 tl_assert(isShadowAtom(mce,yyhash));
1057 tl_assert(isShadowAtom(mce, vatom));
1241 tl_assert(isShadowAtom(mce, vatom));
1362 tl_assert(isShadowAtom(mce,va1));
1363 tl_assert(isShadowAtom(mce,va2));
1412 tl_assert(isShadowAtom(mce,va1));
1413 tl_assert(isShadowAtom(mce,va2));
1414 tl_assert(isShadowAtom(mce,va3));
1510 tl_assert(isShadowAtom(mce,va1));
1511 tl_assert(isShadowAtom(mce,va2));
1512 tl_assert(isShadowAtom(mce,va3));
1513 tl_assert(isShadowAtom(mce,va4));
1635 tl_assert(isShadowAtom(mce,qaa));
1636 tl_assert(isShadowAtom(mce,qbb));
1741 tl_assert(isShadowAtom(mce,qaa));
1742 tl_assert(isShadowAtom(mce,qbb));
1850 tl_assert(isShadowAtom(mce, vatomX));
1851 tl_assert(isShadowAtom(mce, vatomY));
1861 tl_assert(isShadowAtom(mce, vatomX));
1870 tl_assert(isShadowAtom(mce, vatomX));
1871 tl_assert(isShadowAtom(mce, vatomY));
1883 tl_assert(isShadowAtom(mce, vatomX));
1896 tl_assert(isShadowAtom(mce, vatomX));
1897 tl_assert(isShadowAtom(mce, vatomY));
1907 tl_assert(isShadowAtom(mce, vatomX));
1916 tl_assert(isShadowAtom(mce, vatomX));
1917 tl_assert(isShadowAtom(mce, vatomY));
1929 tl_assert(isShadowAtom(mce, vatomX));
1942 tl_assert(isShadowAtom(mce, vatomX));
1943 tl_assert(isShadowAtom(mce, vatomY));
1953 tl_assert(isShadowAtom(mce, vatomX));
2061 tl_assert(isShadowAtom(mce,vatom1));
2062 tl_assert(isShadowAtom(mce,vatom2));
2082 tl_assert(isShadowAtom(mce,vatom1));
2083 tl_assert(isShadowAtom(mce,vatom2));
2096 tl_assert(isShadowAtom(mce,vatom1));
2143 tl_assert(isShadowAtom(mce,vatom1));
2270 tl_assert(isShadowAtom(mce,vatom1));
2271 tl_assert(isShadowAtom(mce,vatom2));
2272 tl_assert(isShadowAtom(mce,vatom3));
2273 tl_assert(isShadowAtom(mce,vatom4));
2310 tl_assert(isShadowAtom(mce,vatom1));
2311 tl_assert(isShadowAtom(mce,vatom2));
2312 tl_assert(isShadowAtom(mce,vatom3));
2382 tl_assert(isShadowAtom(mce,vatom1));
2383 tl_assert(isShadowAtom(mce,vatom2));
3777 tl_assert(isShadowAtom(mce,vatom));
3851 tl_assert(isShadowAtom(mce,vdata));
4268 tl_assert(isShadowAtom(mce, shadow));
4453 tl_assert(isShadowAtom(mce, vdataLo));
4457 tl_assert(isShadowAtom(mce, bdataLo));
4464 tl_assert(isShadowAtom(mce, vexpdLo));
4468 tl_assert(isShadowAtom(mce, bexpdLo));
4562 tl_assert(isShadowAtom(mce, vdataHi));
4563 tl_assert(isShadowAtom(mce, vdataLo));
4569 tl_assert(isShadowAtom(mce, bdataHi));
4570 tl_assert(isShadowAtom(mce, bdataLo));
4580 tl_assert(isShadowAtom(mce, vexpdHi));
4581 tl_assert(isShadowAtom(mce, vexpdLo));
4587 tl_assert(isShadowAtom(mce, bexpdHi));
4588 tl_assert(isShadowAtom(mce, bexpdLo));
