https://github.com/fhahn commented:
Could you add an Alive2 proof showing this transform is valid given the precondition for completeness? https://github.com/llvm/llvm-project/pull/135785 _______________________________________________ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
