[clang] [CIR] Add support for the IdiomRecognizer pass (PR #208854)

[Rithik Sharma via cfe-commits]

================
@@ -1,2 +1,50 @@
 // RUN: %clang_cc1 -fclangir -emit-cir -mmlir --mlir-print-ir-after-all -clangir-enable-idiom-recognizer %s -o %t.cir 2>&1 | FileCheck %s -check-prefix=CIR
 // CIR: IR Dump After IdiomRecognizer: cir-idiom-recognizer
+
+// The implicit-check-not on the RAISED run makes the original std::find call an
+// error anywhere in the post-pass dump, so the test only passes if that call was
+// raised to cir.std.find rather than left in place.
+// RUN: %clang_cc1 -std=c++17 -triple x86_64-unknown-linux-gnu -fclangir -clangir-enable-idiom-recognizer -emit-cir -mmlir --mlir-print-ir-after=cir-idiom-recognizer %s -o %t.cir 2>&1 | FileCheck %s --check-prefix=RAISED '--implicit-check-not=cir.call @_ZSt4findIPccET_S1_S1_RKT0_'
+// RUN: FileCheck %s --check-prefix=FINAL --input-file=%t.cir
+
+namespace std {
+template <class Iter, class T>
+__attribute__((pure)) Iter find(Iter, Iter, const T &) noexcept;
+}
+
+char *test_find(char *first, char *last, const char &value) {
+  return std::find(first, last, value);
+}
+// Raised, then lowered back in operand order with its call attributes.
+// RAISED: cir.std.find(
+// RAISED-SAME: @_ZSt4find
+// FINAL: %[[FIRST:.*]] = cir.load{{.*}} : !cir.ptr<!cir.ptr<!s8i>>
+// FINAL: %[[LAST:.*]] = cir.load{{.*}} : !cir.ptr<!cir.ptr<!s8i>>
+// FINAL: %[[VALUE:.*]] = cir.load{{.*}} : !cir.ptr<!cir.ptr<!s8i>>
+// FINAL: cir.call @_ZSt4find{{.*}}(%[[FIRST]], %[[LAST]], %[[VALUE]])
+// FINAL-SAME: nothrow side_effect(pure)
+// FINAL-SAME: {llvm.noundef}
+// FINAL-SAME: -> (!cir.ptr<!s8i> {llvm.noundef})
+// FINAL-NOT: cir.call @_ZSt4find
+// FINAL-NOT: cir.std.
+
+// A function merely named like the std one is not raised.
+char *find(char *first, char *last, const char &value);
+char *test_non_std_find(char *first, char *last, const char &value) {
+  return find(first, last, value);
+}
+// RAISED: cir.call @_Z4find
----------------
SharmaRithik wrote:

Fixed, pinned the full mangled name.

https://github.com/llvm/llvm-project/pull/208854