Merged main:db2307d2d7f6 into amd-gfx:adc3c62817c1

Local branch amd-gfx adc3c62 Merged main:b2d7312d52f2 into amd-gfx:2e0f986f04bf
Remote branch main db2307d [LV] Add tests with dereferenceable assumptions.

Author: SC llvm team

clang-tools-extra/docs/clang-tidy/checks/modernize/use-ranges.rst

@@ -104,6 +104,9 @@ Calls to the following std library algorithms are checked:
 ``std::unique``,
 ``std::upper_bound``.
 
+Note: some range algorithms for ``vector<bool>`` require C++23 because it uses
+proxy iterators.
+
 Reverse Iteration
 -----------------
 

llvm/include/llvm/Config/llvm-config.h.cmake

@@ -16,7 +16,7 @@
 
 /* Indicate that this is LLVM compiled from the amd-gfx branch. */
 #define LLVM_HAVE_BRANCH_AMD_GFX
-#define LLVM_MAIN_REVISION 522249
+#define LLVM_MAIN_REVISION 522252
 
 /* Define if LLVM_ENABLE_DUMP is enabled */
 #cmakedefine LLVM_ENABLE_DUMP

llvm/lib/Transforms/Vectorize/VectorCombine.cpp

@@ -1532,6 +1532,10 @@ bool VectorCombine::foldConcatOfBoolMasks(Instruction &I) {
   if (ShAmtX > 0)
     NewCost += TTI.getArithmeticInstrCost(Instruction::Shl, Ty, CostKind);
 
+  LLVM_DEBUG(dbgs() << "Found a concatenation of bitcasted bool masks: " << I
+                    << "\n  OldCost: " << OldCost << " vs NewCost: " << NewCost
+                    << "\n");
+
   if (NewCost > OldCost)
     return false;