https://github.com/nikic requested changes to this pull request. Check that are necessary for correctness cannot be omitted, because canonicality is not guaranteed for non-root instructions. https://github.com/llvm/llvm-project/pull/153047