[PATCH] D120133: [instsimplify] Assume storage for byval args doesn't overlap allocas, globals, or other byval args

[Florian Hahn via Phabricator via llvm-commits]

fhahn added inline comments.


================
Comment at: llvm/test/Transforms/InstSimplify/compare.ll:2740
 
 ; TODO: Never equal
 define i1 @byval_args_inequal(i32* byval(i32) %a, i32* byval(i32) %b) {
----------------
TODO can be dropped now.



================
Comment at: llvm/test/Transforms/InstSimplify/compare.ll:2761
 
 ; TODO: Never equal
 define i1 @test_byval_alloca_inequal(i32* byval(i32) %a) {
----------------
 TODO can be dropped now.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D120133