[all-commits] [llvm/llvm-project] 6e504d: [ValueTracking] Handle constant exprs in isKnownNo...

[Nikita Popov via All-commits]

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

  Changed paths:
    M clang/test/CodeGenCXX/RelativeVTablesABI/dynamic-cast.cpp
    M clang/test/CodeGenCXX/microsoft-abi-dynamic-cast.cpp
    M clang/test/CodeGenCXX/microsoft-abi-typeid.cpp
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/Attributor/value-simplify-pointer-info.ll
    M llvm/test/Transforms/Coroutines/coro-async.ll
    M llvm/test/Transforms/Inline/cgscc-cycle.ll
    M llvm/test/Transforms/InstCombine/assume_inevitable.ll
    M llvm/test/Transforms/InstCombine/deref-alloc-fns.ll
    M llvm/test/Transforms/InstCombine/element-atomic-memintrins.ll
    M llvm/test/Transforms/InstCombine/err-rep-cold.ll
    M llvm/test/Transforms/InstCombine/fortify-folding.ll
    M llvm/test/Transforms/InstCombine/fputs-1.ll
    M llvm/test/Transforms/InstCombine/gepphigep.ll
    M llvm/test/Transforms/InstCombine/getelementptr.ll
    M llvm/test/Transforms/InstCombine/memccpy.ll
    M llvm/test/Transforms/InstCombine/memcmp-5.ll
    M llvm/test/Transforms/InstCombine/memcmp-8.ll
    M llvm/test/Transforms/InstCombine/memcpy-from-global.ll
    M llvm/test/Transforms/InstCombine/memmove.ll
    M llvm/test/Transforms/InstCombine/memmove_chk-1.ll
    M llvm/test/Transforms/InstCombine/memrchr-3.ll
    M llvm/test/Transforms/InstCombine/memrchr-4.ll
    M llvm/test/Transforms/InstCombine/memrchr-8.ll
    M llvm/test/Transforms/InstCombine/memset_chk-1.ll
    M llvm/test/Transforms/InstCombine/objsize.ll
    M llvm/test/Transforms/InstCombine/simplify-libcalls-i16.ll
    M llvm/test/Transforms/InstCombine/simplify-libcalls.ll
    M llvm/test/Transforms/InstCombine/stdio-custom-dl.ll
    M llvm/test/Transforms/InstCombine/stpcpy-1.ll
    M llvm/test/Transforms/InstCombine/stpcpy_chk-1.ll
    M llvm/test/Transforms/InstCombine/stpncpy-1.ll
    M llvm/test/Transforms/InstCombine/str-int-3.ll
    M llvm/test/Transforms/InstCombine/str-int-4.ll
    M llvm/test/Transforms/InstCombine/str-int-5.ll
    M llvm/test/Transforms/InstCombine/strcall-bad-sig.ll
    M llvm/test/Transforms/InstCombine/strcall-no-nul.ll
    M llvm/test/Transforms/InstCombine/wcslen-1.ll
    M llvm/test/Transforms/InstCombine/wcslen-3.ll
    M llvm/test/Transforms/InstCombine/wcslen-4.ll
    M llvm/test/Transforms/InstCombine/wcslen-5.ll
    M llvm/test/Transforms/WholeProgramDevirt/branch-funnel.ll

  Log Message:
  -----------
  [ValueTracking] Handle constant exprs in isKnownNonZero()

Handle constant expressions by falling through to the general
operator-based code. In particular, this adds support for bitcast
and GEP expressions.