const exec_list *instructions, const fs_inst *inst,
int var_to, int var_from)
{
- if (live_intervals->vars_interfere(var_from, var_to)) {
- /* We know that the live ranges of A (var_from) and B (var_to)
- * interfere because of the ->vars_interfere() call above. If the end
- * of B's live range is after the end of A's range, then we know two
- * things:
- * - the start of B's live range must be in A's live range (since we
- * already know the two ranges interfere, this is the only remaining
- * possibility)
- * - the interference isn't of the form we're looking for (where B is
- * entirely inside A)
- */
- if (live_intervals->end[var_to] > live_intervals->end[var_from])
- return false;
+ if (!live_intervals->vars_interfere(var_from, var_to))
+ return true;
+
+ /* We know that the live ranges of A (var_from) and B (var_to)
+ * interfere because of the ->vars_interfere() call above. If the end
+ * of B's live range is after the end of A's range, then we know two
+ * things:
+ * - the start of B's live range must be in A's live range (since we
+ * already know the two ranges interfere, this is the only remaining
+ * possibility)
+ * - the interference isn't of the form we're looking for (where B is
+ * entirely inside A)
+ */
+ if (live_intervals->end[var_to] > live_intervals->end[var_from])
+ return false;
- int scan_ip = -1;
+ int scan_ip = -1;
- foreach_list(n, instructions) {
- fs_inst *scan_inst = (fs_inst *)n;
- scan_ip++;
+ foreach_list(n, instructions) {
+ fs_inst *scan_inst = (fs_inst *)n;
+ scan_ip++;
- if (scan_inst->is_control_flow())
- return false;
+ if (scan_inst->is_control_flow())
+ return false;
- if (scan_ip <= live_intervals->start[var_to])
- continue;
+ if (scan_ip <= live_intervals->start[var_to])
+ continue;
- if (scan_ip > live_intervals->end[var_to])
- break;
+ if (scan_ip > live_intervals->end[var_to])
+ break;
- if (scan_inst->dst.equals(inst->dst) ||
- scan_inst->dst.equals(inst->src[0]))
- return false;
- }
+ if (scan_inst->dst.equals(inst->dst) ||
+ scan_inst->dst.equals(inst->src[0]))
+ return false;
}
return true;