[all-commits] [llvm/llvm-project] b19194: [InstCombine] handle subobjects of constant aggreg...

[Martin Sebor via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b19194c032e7640be0a482f20491341a62e7304f
      https://github.com/llvm/llvm-project/commit/b19194c032e7640be0a482f20491341a62e7304f
  Author: Martin Sebor <msebor at redhat.com>
  Date:   2022-06-21 (Tue, 21 Jun 2022)

  Changed paths:
    M llvm/include/llvm/Analysis/ConstantFolding.h
    M llvm/lib/Analysis/ConstantFolding.cpp
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/lib/Transforms/Utils/SimplifyLibCalls.cpp
    M llvm/test/CodeGen/AArch64/arm64-2012-05-07-MemcpyAlignBug.ll
    M llvm/test/CodeGen/ARM/constantpool-promote-ldrh.ll
    M llvm/test/CodeGen/BPF/remove_truncate_5.ll
    M llvm/test/CodeGen/BPF/rodata_2.ll
    M llvm/test/CodeGen/PowerPC/aix-vec-arg-spills-mir.ll
    M llvm/test/CodeGen/PowerPC/aix-vec-arg-spills.ll
    M llvm/test/DebugInfo/COFF/types-array.ll
    M llvm/test/Transforms/InstCombine/memchr-5.ll
    A llvm/test/Transforms/InstCombine/memchr-8.ll
    M llvm/test/Transforms/InstCombine/memcmp-3.ll
    M llvm/test/Transforms/InstCombine/memcmp-4.ll
    M llvm/test/Transforms/InstCombine/memcmp-constant-fold.ll
    M llvm/test/Transforms/InstCombine/memrchr-5.ll
    M llvm/test/Transforms/InstCombine/sprintf-2.ll
    M llvm/test/Transforms/InstCombine/str-int-3.ll
    M llvm/test/Transforms/InstCombine/strcmp-3.ll
    M llvm/test/Transforms/InstCombine/strlen-5.ll
    M llvm/test/Transforms/InstCombine/strlen-6.ll
    M llvm/test/Transforms/InstCombine/strlen-7.ll
    M llvm/test/Transforms/InstCombine/strlen-8.ll
    M llvm/test/Transforms/InstCombine/strncmp-4.ll
    M llvm/test/Transforms/InstCombine/wcslen-3.ll
    A llvm/test/Transforms/InstCombine/wcslen-6.ll

  Log Message:
  -----------
  [InstCombine] handle subobjects of constant aggregates

Remove the known limitation of the library function call folders to only
work with top-level arrays of characters (as per the TODO comment in
the code) and allows them to also fold calls involving subobjects of
constant aggregates such as member arrays.