tree 233f278fb590036beaf327e0a345f177b070df43
parent e4228d93de256c72df9d57f0def938b11cfe21a1
author Razvan A Lupusoru <razvan.a.lupusoru@intel.com> 1412034131 -0700
committer Razvan A Lupusoru <razvan.a.lupusoru@intel.com> 1413317212 -0700

ART: Add div/rem zero check elimination flag

Just as with other throwing bytecodes, it is possible to prove in some cases
that a divide/remainder won't throw ArithmeticException. For example, in case
two divides with same denominator are in order, then provably the second one
cannot throw if the first one did not.

This patch adds the elimination flag and updates the signature of several
Mir2Lir methods to take the instruction optimization flags into account.

Change-Id: I0b078cf7f29899f0f059db1f14b65a37444b84e8
Signed-off-by: Razvan A Lupusoru <razvan.a.lupusoru@intel.com>