[all-commits] [llvm/llvm-project] b8bda5: [Sparc] Regenerate float-constants.ll test checks

[Simon Pilgrim via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b8bda5093269dfd9e295e445f4cbbdc85c192753
      https://github.com/llvm/llvm-project/commit/b8bda5093269dfd9e295e445f4cbbdc85c192753
  Author: Simon Pilgrim <llvm-dev at redking.me.uk>
  Date:   2023-07-18 (Tue, 18 Jul 2023)

  Changed paths:
    M llvm/test/CodeGen/SPARC/float-constants.ll

  Log Message:
  -----------
  [Sparc] Regenerate float-constants.ll test checks


  Commit: 3ad4f92f83b7a6a79957c9413dfa3a2667c236a6
      https://github.com/llvm/llvm-project/commit/3ad4f92f83b7a6a79957c9413dfa3a2667c236a6
  Author: Simon Pilgrim <llvm-dev at redking.me.uk>
  Date:   2023-07-18 (Tue, 18 Jul 2023)

  Changed paths:
    M llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
    M llvm/test/CodeGen/AArch64/aarch64-neon-vector-insert-uaddlv.ll
    M llvm/test/CodeGen/AArch64/sve-streaming-mode-fixed-length-ext-loads.ll
    M llvm/test/CodeGen/Mips/cconv/vector.ll
    M llvm/test/CodeGen/SPARC/float-constants.ll

  Log Message:
  -----------
  [DAG] More aggressively (extract_vector_elt (build_vector x, y), c) iff element is zero constant

We currently don't extract vector elements from multi-use build vectors unless TLI.aggressivelyPreferBuildVectorSources accepts them, which seems a little extreme for constant build vectors (especially as under some cases ComputeKnownBits will indirectly extract the data for us).

This is causing a few regressions in some upcoming SimplifyDemandedBits work I'm looking at, all of which just need to know that the element is zero, so I've tweaked the fold to accept zero elements as well, which will typically fold very easily.

Differential Revision: https://reviews.llvm.org/D155582


Compare: https://github.com/llvm/llvm-project/compare/67a910bbff77...3ad4f92f83b7