Great analysis. Thanks for following up. I guess you realise this, but the benefits of hoisting even simple operations like a dereference outside the loops is

Great analysis. Thanks for following up. I guess you realise this, but the benefits of hoisting even simple operations like a dereference outside the loops is enabling other optimisations, such as the addition -> multiplication one here or even fancier like interchanging loops/ifs and vectorisation.