[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