[llvm] [LowerAllowCheck] Add llvm.allow.sanitize.* intrinsics (PR #172029)

[Marco Elver via llvm-commits]

https://github.com/melver updated https://github.com/llvm/llvm-project/pull/172029

>From c032aff501a6321f4648fba374eee6ab90bd4b0d Mon Sep 17 00:00:00 2001
From: Marco Elver <elver at google.com>
Date: Fri, 12 Dec 2025 16:57:13 +0100
Subject: [PATCH 1/2] =?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.8-beta.1

[skip ci]
---
 .../{ => LowerAllowCheck}/lower-builtin-allow-check-pipeline.ll   | 0
 .../{ => LowerAllowCheck}/lower-builtin-allow-check-remarks.ll    | 0
 .../Transforms/{ => LowerAllowCheck}/lower-builtin-allow-check.ll | 0
 3 files changed, 0 insertions(+), 0 deletions(-)
 rename llvm/test/Transforms/{ => LowerAllowCheck}/lower-builtin-allow-check-pipeline.ll (100%)
 rename llvm/test/Transforms/{ => LowerAllowCheck}/lower-builtin-allow-check-remarks.ll (100%)
 rename llvm/test/Transforms/{ => LowerAllowCheck}/lower-builtin-allow-check.ll (100%)

diff --git a/llvm/test/Transforms/lower-builtin-allow-check-pipeline.ll b/llvm/test/Transforms/LowerAllowCheck/lower-builtin-allow-check-pipeline.ll
similarity index 100%
rename from llvm/test/Transforms/lower-builtin-allow-check-pipeline.ll
rename to llvm/test/Transforms/LowerAllowCheck/lower-builtin-allow-check-pipeline.ll
diff --git a/llvm/test/Transforms/lower-builtin-allow-check-remarks.ll b/llvm/test/Transforms/LowerAllowCheck/lower-builtin-allow-check-remarks.ll
similarity index 100%
rename from llvm/test/Transforms/lower-builtin-allow-check-remarks.ll
rename to llvm/test/Transforms/LowerAllowCheck/lower-builtin-allow-check-remarks.ll
diff --git a/llvm/test/Transforms/lower-builtin-allow-check.ll b/llvm/test/Transforms/LowerAllowCheck/lower-builtin-allow-check.ll
similarity index 100%
rename from llvm/test/Transforms/lower-builtin-allow-check.ll
rename to llvm/test/Transforms/LowerAllowCheck/lower-builtin-allow-check.ll

>From 7c8dbba4f20841f2759fb7ee9a7c012facf056ac Mon Sep 17 00:00:00 2001
From: Marco Elver <elver at google.com>
Date: Thu, 18 Dec 2025 12:05:08 +0100
Subject: [PATCH 2/2] fix

Created using spr 1.3.8-beta.1
---
 llvm/lib/Transforms/Instrumentation/LowerAllowCheckPass.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/llvm/lib/Transforms/Instrumentation/LowerAllowCheckPass.cpp b/llvm/lib/Transforms/Instrumentation/LowerAllowCheckPass.cpp
index d4c23ffe9a723..7a950036d9b6b 100644
--- a/llvm/lib/Transforms/Instrumentation/LowerAllowCheckPass.cpp
+++ b/llvm/lib/Transforms/Instrumentation/LowerAllowCheckPass.cpp
@@ -156,7 +156,7 @@ static bool lowerAllowChecks(Function &F, const BlockFrequencyInfo &BFI,
 
   for (auto [I, V] : ReplaceWithValue) {
     ++NumChecksTotal;
-    if (!V) // If the final value is false, the check is considered removed
+    if (!V) // If the final value is false, the check is considered removed.
       ++NumChecksRemoved;
     I->replaceAllUsesWith(ConstantInt::getBool(I->getType(), V));
     I->eraseFromParent();