(cmp_ccxv_neg_set): Likewise.
(cmp_ccv_neg_sltu_set): Likewise.
+ * tree-ssa-loop-split.c: Remove trailing spaces.
+ * match.pd: Likewise.
+
2016-10-21 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
PR rtl-optimization/78038
Disable the transform if either operand is pointer to function.
This broke pr22051-2.c for arm where function pointer
canonicalizaion is not wanted. */
-
+
(for cmp (ne eq)
(simplify
(cmp (convert @0) INTEGER_CST@1)
falling through to LOOP2, or skipping it. This is done by splitting
the ex1->join edge at X in the diagram above, and inserting a condition
whose one arm goes to pre2, resulting in this situation:
-
+
.------if (cond)------.
v v
pre1 .---------->pre2
| |
'--->join<---'
-
+
The condition used is the exit condition of LOOP1, which effectively means
that when the first loop exits (for whatever reason) but the real original
exit expression is still false the second loop will be entered.
The function returns the new edge cond->pre2.
-
+
This doesn't update the SSA form, see connect_loop_phis for that. */
static edge