Lines Matching defs:relation
3173 /* Produces the alias relation between an indexed guest
3195 /* Produces the alias relation between two indexed guest state
3222 relation will be. Now, since the IR is flattened, the index
4092 GSAliasing relation;
4115 relation
4121 if (relation == NoAlias) {
4125 /* relation == UnknownAlias || relation == ExactAlias */
4129 vassert(relation != ExactAlias);
4139 relation = getAliasingRelation_II(
4146 if (relation == NoAlias) {
4152 if (relation == UnknownAlias) {
4159 vassert(relation == ExactAlias);
4212 GSAliasing relation;
4247 relation
4260 relation
4270 relation
4280 relation
4301 if (relation == NoAlias)