hoisting checks out of the loops is still incorrect, but the code that can actually do it for the first time is in place
Merge branch 'master' of github.com:victor-fdez/llvm-array-check-pass