Lines Matching refs:isShadowAtom
343 static Bool isShadowAtom ( MCEnv* mce, IRAtom* a1 )
499 tl_assert(isShadowAtom(mce,a1));
500 tl_assert(isShadowAtom(mce,a2));
505 tl_assert(isShadowAtom(mce,a1));
506 tl_assert(isShadowAtom(mce,a2));
511 tl_assert(isShadowAtom(mce,a1));
512 tl_assert(isShadowAtom(mce,a2));
517 tl_assert(isShadowAtom(mce,a1));
518 tl_assert(isShadowAtom(mce,a2));
523 tl_assert(isShadowAtom(mce,a1));
524 tl_assert(isShadowAtom(mce,a2));
529 tl_assert(isShadowAtom(mce,a1));
530 tl_assert(isShadowAtom(mce,a2));
537 tl_assert(isShadowAtom(mce,a1));
538 tl_assert(isShadowAtom(mce,a2));
543 tl_assert(isShadowAtom(mce,a1));
544 tl_assert(isShadowAtom(mce,a2));
549 tl_assert(isShadowAtom(mce,a1));
550 tl_assert(isShadowAtom(mce,a2));
555 tl_assert(isShadowAtom(mce,a1));
556 tl_assert(isShadowAtom(mce,a2));
562 tl_assert(isShadowAtom(mce,a1));
563 tl_assert(isShadowAtom(mce,a2));
575 tl_assert(isShadowAtom(mce,a1));
576 tl_assert(isShadowAtom(mce,a2));
581 tl_assert(isShadowAtom(mce,a1));
582 tl_assert(isShadowAtom(mce,a2));
604 tl_assert(isShadowAtom(mce,a1));
609 tl_assert(isShadowAtom(mce,a1));
614 tl_assert(isShadowAtom(mce,a1));
619 tl_assert(isShadowAtom(mce,a1));
631 tl_assert(isShadowAtom(mce, vbits));
639 tl_assert(isShadowAtom(mce, vbits));
647 tl_assert(isShadowAtom(mce, vbits));
655 tl_assert(isShadowAtom(mce, vbits));
663 tl_assert(isShadowAtom(mce, vbits));
671 tl_assert(isShadowAtom(mce, vbits));
682 tl_assert(isShadowAtom(mce, vbits));
694 tl_assert(isShadowAtom(mce, vbits));
706 tl_assert(isShadowAtom(mce, vbits));
718 tl_assert(isShadowAtom(mce, vbits));
730 tl_assert(isShadowAtom(mce, vbits));
742 tl_assert(isShadowAtom(mce, vbits));
763 tl_assert(isShadowAtom(mce,vbits));
981 tl_assert(isShadowAtom(mce,vxx));
982 tl_assert(isShadowAtom(mce,vyy));
1112 tl_assert(isShadowAtom(mce,xxhash));
1113 tl_assert(isShadowAtom(mce,yyhash));
1237 tl_assert(isShadowAtom(mce, vatom));
1448 tl_assert(isShadowAtom(mce, vatom));
1581 tl_assert(isShadowAtom(mce,va1));
1582 tl_assert(isShadowAtom(mce,va2));
1631 tl_assert(isShadowAtom(mce,va1));
1632 tl_assert(isShadowAtom(mce,va2));
1633 tl_assert(isShadowAtom(mce,va3));
1766 tl_assert(isShadowAtom(mce,va1));
1767 tl_assert(isShadowAtom(mce,va2));
1768 tl_assert(isShadowAtom(mce,va3));
1769 tl_assert(isShadowAtom(mce,va4));
1891 tl_assert(isShadowAtom(mce,qaa));
1892 tl_assert(isShadowAtom(mce,qbb));
1976 tl_assert(isShadowAtom(mce,vatom));
2051 tl_assert(isShadowAtom(mce,qaa));
2052 tl_assert(isShadowAtom(mce,qbb));
2180 tl_assert(isShadowAtom(mce, vatomX));
2181 tl_assert(isShadowAtom(mce, vatomY));
2191 tl_assert(isShadowAtom(mce, vatomX));
2200 tl_assert(isShadowAtom(mce, vatomX));
2201 tl_assert(isShadowAtom(mce, vatomY));
2213 tl_assert(isShadowAtom(mce, vatomX));
2226 tl_assert(isShadowAtom(mce, vatomX));
2227 tl_assert(isShadowAtom(mce, vatomY));
2237 tl_assert(isShadowAtom(mce, vatomX));
2246 tl_assert(isShadowAtom(mce, vatomX));
2247 tl_assert(isShadowAtom(mce, vatomY));
2259 tl_assert(isShadowAtom(mce, vatomX));
2272 tl_assert(isShadowAtom(mce, vatomX));
2273 tl_assert(isShadowAtom(mce, vatomY));
2283 tl_assert(isShadowAtom(mce, vatomX));
2294 tl_assert(isShadowAtom(mce, vatomX));
2295 tl_assert(isShadowAtom(mce, vatomY));
2305 tl_assert(isShadowAtom(mce, vatomX));
2316 tl_assert(isShadowAtom(mce, vatomX));
2317 tl_assert(isShadowAtom(mce, vatomY));
2327 tl_assert(isShadowAtom(mce, vatomX));
2531 tl_assert(isShadowAtom(mce,vatom1));
2532 tl_assert(isShadowAtom(mce,vatom2));
2552 tl_assert(isShadowAtom(mce,vatom1));
2553 tl_assert(isShadowAtom(mce,vatom2));
2566 tl_assert(isShadowAtom(mce,vatom1));
2613 tl_assert(isShadowAtom(mce,vatom1));
2778 tl_assert(isShadowAtom(mce,vatom1));
2779 tl_assert(isShadowAtom(mce,vatom2));
2780 tl_assert(isShadowAtom(mce,vatom3));
2781 tl_assert(isShadowAtom(mce,vatom4));
2823 tl_assert(isShadowAtom(mce,vatom1));
2824 tl_assert(isShadowAtom(mce,vatom2));
2825 tl_assert(isShadowAtom(mce,vatom3));
2944 tl_assert(isShadowAtom(mce,vatom1));
2945 tl_assert(isShadowAtom(mce,vatom2));
4963 tl_assert(isShadowAtom(mce,vatom));
5041 tl_assert(isShadowAtom(mce,vdata));
5571 tl_assert(isShadowAtom(mce, shadow));
5756 tl_assert(isShadowAtom(mce, vdataLo));
5760 tl_assert(isShadowAtom(mce, bdataLo));
5767 tl_assert(isShadowAtom(mce, vexpdLo));
5771 tl_assert(isShadowAtom(mce, bexpdLo));
5866 tl_assert(isShadowAtom(mce, vdataHi));
5867 tl_assert(isShadowAtom(mce, vdataLo));
5873 tl_assert(isShadowAtom(mce, bdataHi));
5874 tl_assert(isShadowAtom(mce, bdataLo));
5884 tl_assert(isShadowAtom(mce, vexpdHi));
5885 tl_assert(isShadowAtom(mce, vexpdLo));
5891 tl_assert(isShadowAtom(mce, bexpdHi));
5892 tl_assert(isShadowAtom(mce, bexpdLo));
