[all-commits] [llvm/llvm-project] 154609: [InstCombine] Add strlen of gep test without inbou...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 154609b1dfa6882b490a2652291548cf457f2e3b
      https://github.com/llvm/llvm-project/commit/154609b1dfa6882b490a2652291548cf457f2e3b
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-04-11 (Mon, 11 Apr 2022)

  Changed paths:
    M llvm/test/Transforms/InstCombine/strlen-1.ll

  Log Message:
  -----------
  [InstCombine] Add strlen of gep test without inbounds (NFC)


  Commit: 9af8cc8d1790a17506049f39be3272ff16022d58
      https://github.com/llvm/llvm-project/commit/9af8cc8d1790a17506049f39be3272ff16022d58
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-04-11 (Mon, 11 Apr 2022)

  Changed paths:
    M llvm/lib/Transforms/Utils/SimplifyLibCalls.cpp
    M llvm/test/Transforms/InstCombine/strlen-1.ll

  Log Message:
  -----------
  [SimplifyLibCalls] Remove unnecessary inbounds check

Even if the GEP is not inbounds, the GEP will have provenance of
the global, and accessing past the extent of the global would be
undefined behavior.


Compare: https://github.com/llvm/llvm-project/compare/c292b6066cca...9af8cc8d1790