[llvm] [IR] Introduce `llvm.allow.{runtime, ubsan}.check()` (PR #84850)

[Vitaly Buka via llvm-commits]

https://github.com/vitalybuka updated https://github.com/llvm/llvm-project/pull/84850

>From 967fb9464a7f5f083a0c0953d0bbca2c5501f75c Mon Sep 17 00:00:00 2001
From: Vitaly Buka <vitalybuka at google.com>
Date: Mon, 11 Mar 2024 16:31:55 -0700
Subject: [PATCH 1/5] =?UTF-8?q?[=F0=9D=98=80=F0=9D=97=BD=F0=9D=97=BF]=20ch?=
 =?UTF-8?q?anges=20to=20main=20this=20commit=20is=20based=20on?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Created using spr 1.3.4

[skip ci]
---
 llvm/docs/LangRef.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst
index 77ec72f176d6ed..d613ceea8654f8 100644
--- a/llvm/docs/LangRef.rst
+++ b/llvm/docs/LangRef.rst
@@ -27553,7 +27553,7 @@ in example below:
 .. code-block:: text
 
     %cond = call i1 @llvm.experimental.widenable.condition()
-    br i1 %cond, label %solution_1, label %solution_2
+    br i1 %cond, label %fast_path, label %slow_path
 
   label %fast_path:
     ; Apply memory-consuming but fast solution for a task.

>From 679055efe79a97c84c8ef675d7eb450c5df58a51 Mon Sep 17 00:00:00 2001
From: Vitaly Buka <vitalybuka at google.com>
Date: Tue, 12 Mar 2024 12:01:01 -0700
Subject: [PATCH 2/5] Update llvm/docs/LangRef.rst

Co-authored-by: Nikita Popov <npopov at redhat.com>
---
 llvm/docs/LangRef.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst
index 36f4c964ee296c..a707ab721a2b2a 100644
--- a/llvm/docs/LangRef.rst
+++ b/llvm/docs/LangRef.rst
@@ -27656,7 +27656,7 @@ This intrinsic returns true iff it's known that containing basic block is hot in
 profile.
 
 When used with profile based optimization allows to change program behaviour
-deppending on the code hotness.
+depending on the code hotness.
 
 Arguments:
 """"""""""

>From 4c1ae296adffc5a9f30dc5f88f78f07b8ff7e6dc Mon Sep 17 00:00:00 2001
From: Vitaly Buka <vitalybuka at google.com>
Date: Tue, 12 Mar 2024 17:57:47 -0700
Subject: [PATCH 3/5] undo unrelated change

Created using spr 1.3.4
---
 llvm/docs/LangRef.rst | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst
index ab2ec5050ea90b..939a90be279369 100644
--- a/llvm/docs/LangRef.rst
+++ b/llvm/docs/LangRef.rst
@@ -27971,8 +27971,7 @@ Lowering:
 
 In the most general case call to the '``llvm.memcpy.element.unordered.atomic.*``' is
 lowered to a call to the symbol ``__llvm_memcpy_element_unordered_atomic_*``. Where '*'
-is replaced with an actual element size. See :
-ref:`RewriteStatepointsForGC intrinsic
+is replaced with an actual element size. See :ref:`RewriteStatepointsForGC intrinsic
 lowering <RewriteStatepointsForGC_intrinsic_lowering>` for details on GC specific
 lowering.
 
@@ -28051,8 +28050,7 @@ Lowering:
 In the most general case call to the
 '``llvm.memmove.element.unordered.atomic.*``' is lowered to a call to the symbol
 ``__llvm_memmove_element_unordered_atomic_*``. Where '*' is replaced with an
-actual element size. See :
-ref:`RewriteStatepointsForGC intrinsic lowering
+actual element size. See :ref:`RewriteStatepointsForGC intrinsic lowering
 <RewriteStatepointsForGC_intrinsic_lowering>` for details on GC specific
 lowering.
 

>From ff1a904e3c0c139007c56d8d717f8435712e9b90 Mon Sep 17 00:00:00 2001
From: Vitaly Buka <vitalybuka at google.com>
Date: Tue, 19 Mar 2024 14:45:35 -0700
Subject: [PATCH 4/5] undo random changes

Created using spr 1.3.4
---
 llvm/docs/LangRef.rst | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst
index ad19633a095c58..a811c1fd3b9ead 100644
--- a/llvm/docs/LangRef.rst
+++ b/llvm/docs/LangRef.rst
@@ -28099,8 +28099,7 @@ Lowering:
 
 In the most general case call to the '``llvm.memcpy.element.unordered.atomic.*``' is
 lowered to a call to the symbol ``__llvm_memcpy_element_unordered_atomic_*``. Where '*'
-is replaced with an actual element size. See :
-ref:`RewriteStatepointsForGC intrinsic
+is replaced with an actual element size. See :ref:`RewriteStatepointsForGC intrinsic
 lowering <RewriteStatepointsForGC_intrinsic_lowering>` for details on GC specific
 lowering.
 
@@ -28179,8 +28178,7 @@ Lowering:
 In the most general case call to the
 '``llvm.memmove.element.unordered.atomic.*``' is lowered to a call to the symbol
 ``__llvm_memmove_element_unordered_atomic_*``. Where '*' is replaced with an
-actual element size. See :
-ref:`RewriteStatepointsForGC intrinsic lowering
+actual element size. See :ref:`RewriteStatepointsForGC intrinsic lowering
 <RewriteStatepointsForGC_intrinsic_lowering>` for details on GC specific
 lowering.
 

>From 9a478cee91284f7f124ddbe57c4e25afebfb4da7 Mon Sep 17 00:00:00 2001
From: Vitaly Buka <vitalybuka at google.com>
Date: Wed, 20 Mar 2024 14:20:16 -0700
Subject: [PATCH 5/5] -none

Created using spr 1.3.4
---
 llvm/docs/LangRef.rst | 2 --
 1 file changed, 2 deletions(-)

diff --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst
index 9180d6fb000804..3e6871a67b38ca 100644
--- a/llvm/docs/LangRef.rst
+++ b/llvm/docs/LangRef.rst
@@ -27782,8 +27782,6 @@ Arguments:
 A string identifying the kind of runtime check guarded by the intrinsic. The
 string can be used to control rules to allow checks.
 
-None.
-
 Semantics:
 """"""""""