Skip to content

CommonBlockElim ignores CmmType when comparing CmmLoads

Currently GHC.Cmm.CommonBlockElim.eqExprWith ignores the CmmType fields when comparing two CmmLoad expressions for equality. This seems quite suspicious. If this is correct there should be an argument explaining why.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information