[PATCH] D152529: [NewGVN] Fold equivalent freeze instructions
Juneyoung Lee via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Fri Jun 9 08:47:14 PDT 2023
aqjune added a comment.
To check, does NewGVN fully replace one instruction with another, it they are considered equivalent?
This is to ensure that partial replacements like this doesn't happen:
a = freeze(x)
b = freeze(x)
use(a)
use(b)
use(b)
=/=>
use(a)
use(a)
use(b) // this is wrong; this also must be use(a).
`b` in this example must be fully replaced with `a` to be correct.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D152529/new/
https://reviews.llvm.org/D152529
More information about the llvm-commits
mailing list