Home | History | Annotate | Download | only in useful

Lines Matching refs:sameKindedAtoms

673 static Bool sameKindedAtoms ( IRAtom* a1, IRAtom* a2 )
877    tl_assert(sameKindedAtoms(data, vbits));
885    tl_assert(sameKindedAtoms(data, vbits));
893    tl_assert(sameKindedAtoms(data, vbits));
901    tl_assert(sameKindedAtoms(data, vbits));
909    tl_assert(sameKindedAtoms(data, vbits));
920    tl_assert(sameKindedAtoms(data, vbits));
932    tl_assert(sameKindedAtoms(data, vbits));
944    tl_assert(sameKindedAtoms(data, vbits));
956 sameKindedAtoms(data, vbits));
968    tl_assert(sameKindedAtoms(data, vbits));
1075    tl_assert(sameKindedAtoms(atom, vatom));
1123    /* sameKindedAtoms ... */
1213    tl_assert(sameKindedAtoms(atom, vatom));
1352    tl_assert(sameKindedAtoms(qaa,aa));
1353    tl_assert(sameKindedAtoms(qbb,bb));
1656    tl_assert(sameKindedAtoms(atom1,vatom1));
1657    tl_assert(sameKindedAtoms(atom2,vatom2));