[PATCH] D60793: [Evaluator] Walk initial elements when handling load through bitcast

Jon Roelofs via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Mon Jul 12 10:42:12 PDT 2021


jroelofs added a comment.

I have a miscompile that seems to stem from sharing the same logic between loads and stores.

In the store case, allowing `evaluateBitcastFromPtr` to narrow the operation to apply only to the struct's 0th element means we lose the writes to the other struct elements whenever constant folding is unable to fold an integer literal bitcast into a struct:

https://llvm.godbolt.org/z/8sYdYv5rh


Repository:
  rL LLVM

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

https://reviews.llvm.org/D60793



More information about the llvm-commits mailing list