alexey-bataev wrote: This is required for other analysis, like early loop access analysis to check for support of some non-power-of-2 properties, like store-load dep distance https://github.com/llvm/llvm-project/pull/152977