New feature: LICM - Invariant subexpressions motion?

[jcrodriguez1989]

Actually, the opt_loop_invariant considers only full expressions, it is not working on subexpressions, for instance, the code:

while (i < n) {
  i <- (x * y) + 1
}

as x and y are invariant, could be optimized to:

is_1 <- (x * y)
while (i < n) {
  i <- is_1 + 1
}