commit 9401f5397128ddc8dc36de923dd5e6bd4e4b5be4
author Aart Bik <ajcbik@google.com> Mon Sep 28 16:25:56 2015 -0700
committer Aart Bik <ajcbik@google.com> Wed Sep 30 09:58:53 2015 -0700
tree 4ff8052307da80baa89dfa80a446f48752c0e95c
parent 931e26843bbb688eacfa67b40414c6b8f221a56a

Implemented trip-count safety information.

As shown in the induction analysis presentation, trip-counts need to
deal with potential taken/not-taken situations (so that trip-count
is either valid in the full loop or just in the loop-body proper)
and potential finite/infinite situations (the latter can still be
analyzed but may need to run-time test later to guard against the
infinite conditions). This CL provides that information.

Change-Id: I0445d8e836b80a3614af217ce3e39d766e77b986