[all-commits] [llvm/llvm-project] 635f93: [SimplifyLibCalls] Place deref attr even if nonnul...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 635f93dff7f07a58af4e8a7c915dfdb1852bb76b
      https://github.com/llvm/llvm-project/commit/635f93dff7f07a58af4e8a7c915dfdb1852bb76b
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-10-04 (Tue, 04 Oct 2022)

  Changed paths:
    M llvm/lib/Transforms/Utils/SimplifyLibCalls.cpp
    M llvm/test/Transforms/InstCombine/memchr-4.ll
    M llvm/test/Transforms/InstCombine/memchr-6.ll
    M llvm/test/Transforms/InstCombine/memchr-7.ll
    M llvm/test/Transforms/InstCombine/memchr.ll
    M llvm/test/Transforms/InstCombine/memset-1.ll
    M llvm/test/Transforms/InstCombine/printf-1.ll
    M llvm/test/Transforms/InstCombine/printf-2.ll
    M llvm/test/Transforms/InstCombine/sprintf-1.ll
    M llvm/test/Transforms/InstCombine/strchr-1.ll
    M llvm/test/Transforms/InstCombine/strchr-3.ll
    M llvm/test/Transforms/InstCombine/strcmp-memcmp.ll
    M llvm/test/Transforms/InstCombine/strcpy-1.ll
    M llvm/test/Transforms/InstCombine/strlcpy-1.ll
    M llvm/test/Transforms/InstCombine/strlen-1.ll
    M llvm/test/Transforms/InstCombine/strlen-4.ll
    M llvm/test/Transforms/InstCombine/strncat-2.ll
    M llvm/test/Transforms/InstCombine/strncmp-3.ll
    M llvm/test/Transforms/InstCombine/strncpy-1.ll
    M llvm/test/Transforms/InstCombine/strnlen-2.ll
    M llvm/test/Transforms/InstCombine/strnlen-3.ll

  Log Message:
  -----------
  [SimplifyLibCalls] Place deref attr even if nonnull already set

If nonnull is already set, we currently skip setting both nonnull
and dereferenceable. Make these independent, to avoid regressions
when additional nonnull attributes are inferred earlier.