[PATCH] D144319: [SimplifyCFG] Check if the return instruction causes undefined behavior

[DianQK via Phabricator via llvm-commits]

DianQK added a comment.

Another thing I'm curious about is why all the `gep zero` have been removed in the `llvm/test/Transforms/SimplifyCFG/UnreachableEliminate.ll` file at the 8979ae42769e529b0f6fce3268492ffb49bd54b9 <https://github.com/llvm/llvm-project/commit/8979ae42769e529b0f6fce3268492ffb49bd54b9#diff-1ef9510bac94e9a0b139fc4adac4ca65b8687248f5691a7fae468eab2a396a1bL404>.

  -  %phi = phi i8* [ %Y, %entry ], [ null, %if ]
  -  %gep = getelementptr inbounds i8, i8* %phi, i64 0
  -  call i8* @fn_nonnull_noundef_arg(i8* %gep)
  +  %phi = phi ptr [ %Y, %entry ], [ null, %if ]
  +  call ptr @fn_nonnull_noundef_arg(ptr %phi)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D144319