Summary: loop invariant code motion may move load before store to the same field
Reviewed-by: kvn