tree 7794d83f6dd20acdcbb4ee7a075d6ea8f4590b42
parent 03376f4c4de8e419402bf40fdff4135728ffb21e
author Artem Serov <artem.serov@linaro.org> 1512657361 +0000
committer Artem Serov <artem.serov@linaro.org> 1513192693 +0000

ART: Fix single-preheader transformation.

Original implementation of "Make sure the loop has only one
pre-header" had an assumption that the header had no phi
functions since loops with multiple preheaders now only may exist
during graph building before ssa construction; all of the
optimizations preserve the single-preheader invariant. This code is
used by DCE; DCE was called multiple times but after graph building
preheader transformation was never executed. However if someone
introduces a optimization which might not keep the invariant
(e.g. loop peeling) the data flow adjustments must be performed.

Test: loop_optimization_test.cc
Test: test-art-target, test-art-host
Change-Id: I88bb0aad2dd5241addef7fe9cda474a6868bf532