https://github.com/anematode updated 
https://github.com/llvm/llvm-project/pull/149745

>From d36dcec834f1846f050b89650b31bee4e138ddc3 Mon Sep 17 00:00:00 2001
From: Timothy Herchen <timothy.herc...@gmail.com>
Date: Sun, 20 Jul 2025 16:11:22 -0700
Subject: [PATCH 1/2] [clang] [Sema] Check argument range for prefetchi*
 intrinsics

---
 clang/lib/Sema/SemaX86.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/clang/lib/Sema/SemaX86.cpp b/clang/lib/Sema/SemaX86.cpp
index 5c149bdec7073..6bb3558972126 100644
--- a/clang/lib/Sema/SemaX86.cpp
+++ b/clang/lib/Sema/SemaX86.cpp
@@ -954,6 +954,11 @@ bool SemaX86::CheckBuiltinFunctionCall(const TargetInfo 
&TI, unsigned BuiltinID,
     l = 0;
     u = 15;
     break;
+  case X86::BI__builtin_ia32_prefetchi:
+    i = 1;
+    l = 2; // _MM_HINT_T1
+    u = 3; // _MM_HINT_T0
+    break;
   }
 
   // Note that we don't force a hard error on the range check here, allowing

>From 76a7a508da569c4b8ab2fae24ff6c418b12560d3 Mon Sep 17 00:00:00 2001
From: Timothy Herchen <timothy.herc...@gmail.com>
Date: Mon, 21 Jul 2025 21:20:03 -0700
Subject: [PATCH 2/2] add test

---
 clang/test/CodeGen/X86/prefetchi-builtins.c | 4 ++++
 clang/test/CodeGen/X86/sm3-builtins.c       | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/clang/test/CodeGen/X86/prefetchi-builtins.c 
b/clang/test/CodeGen/X86/prefetchi-builtins.c
index c822f7cb7dbea..9becd572e1559 100644
--- a/clang/test/CodeGen/X86/prefetchi-builtins.c
+++ b/clang/test/CodeGen/X86/prefetchi-builtins.c
@@ -14,3 +14,7 @@ void test_m_prefetch_it1(void *p) {
   // CHECK-LABEL: define{{.*}} void @test_m_prefetch_it1
   // CHECK: call void @llvm.prefetch.p0(ptr {{.*}}, i32 0, i32 2, i32 0)
 }
+
+void test_invalid_prefetchi(void* p) {
+  return __builtin_ia32_prefetchi(p, 1); // expected-error {{argument value 1 
is outside the valid range [2, 3]}}
+}
\ No newline at end of file
diff --git a/clang/test/CodeGen/X86/sm3-builtins.c 
b/clang/test/CodeGen/X86/sm3-builtins.c
index fb703ccfae672..4d0788686451e 100644
--- a/clang/test/CodeGen/X86/sm3-builtins.c
+++ b/clang/test/CodeGen/X86/sm3-builtins.c
@@ -19,4 +19,4 @@ __m128i test_mm_sm3rnds2_epi32(__m128i __A, __m128i __B, 
__m128i __C) {
   // CHECK-LABEL: @test_mm_sm3rnds2_epi32(
   // CHECK: call <4 x i32> @llvm.x86.vsm3rnds2(<4 x i32> %{{.*}}, <4 x i32> 
%{{.*}}, <4 x i32> %{{.*}}, i32 127)
   return _mm_sm3rnds2_epi32(__A, __B, __C, 127);
-}
+}
\ No newline at end of file

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to