[PATCH] D156117: [GVN] Freeze SrcVal if materializes load to a smaller type load

Tue Jul 25 06:00:04 PDT 2023

nikic requested changes to this revision.
nikic added a comment.
This revision now requires changes to proceed.

I don't think this fixes the issue. Let's say we have in memory i32 poison, i32 0. Then we person a load i64 on this and a load i32. Then trunc(freeze(load i64)) will not result in zero, but rather in freeze(poison). The load already propagates poison to the full value, freezing afterwards is too late.

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D156117/new/

https://reviews.llvm.org/D156117