[clang] [clang][bytecode] Implement ia32_bextr builitns (PR #110513)
Timm Baeder via cfe-commits
cfe-commits at lists.llvm.org
Mon Sep 30 07:09:20 PDT 2024
https://github.com/tbaederr created https://github.com/llvm/llvm-project/pull/110513
None
>From 73e8f295b39674ed300534d85872fc0ba4821a62 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Timm=20B=C3=A4der?= <tbaeder at redhat.com>
Date: Mon, 30 Sep 2024 16:08:07 +0200
Subject: [PATCH] [clang][bytecode] Implement ia32_bextr builitns
---
clang/lib/AST/ByteCode/InterpBuiltin.cpp | 36 ++++++++++++++++++++++++
1 file changed, 36 insertions(+)
diff --git a/clang/lib/AST/ByteCode/InterpBuiltin.cpp b/clang/lib/AST/ByteCode/InterpBuiltin.cpp
index 82ed6d9e7a2ff4..eb59cf3e9b1e3d 100644
--- a/clang/lib/AST/ByteCode/InterpBuiltin.cpp
+++ b/clang/lib/AST/ByteCode/InterpBuiltin.cpp
@@ -14,6 +14,7 @@
#include "clang/AST/OSLog.h"
#include "clang/AST/RecordLayout.h"
#include "clang/Basic/Builtins.h"
+#include "clang/Basic/TargetBuiltins.h"
#include "clang/Basic/TargetInfo.h"
#include "llvm/Support/SipHash.h"
@@ -1152,6 +1153,33 @@ static bool interp__builtin_is_aligned_up_down(InterpState &S, CodePtr OpPC,
return false;
}
+static bool interp__builtin_ia32_bextr(InterpState &S, CodePtr OpPC,
+ const InterpFrame *Frame,
+ const Function *Func,
+ const CallExpr *Call) {
+ PrimType ValT = *S.Ctx.classify(Call->getArg(0));
+ PrimType IndexT = *S.Ctx.classify(Call->getArg(1));
+ APSInt Val = peekToAPSInt(S.Stk, ValT,
+ align(primSize(ValT)) + align(primSize(IndexT)));
+ APSInt Index = peekToAPSInt(S.Stk, IndexT);
+
+ unsigned BitWidth = Val.getBitWidth();
+ uint64_t Shift = Index.extractBitsAsZExtValue(8, 0);
+ uint64_t Length = Index.extractBitsAsZExtValue(8, 8);
+ Length = Length > BitWidth ? BitWidth : Length;
+
+ // Handle out of bounds cases.
+ if (Length == 0 || Shift >= BitWidth) {
+ pushInteger(S, 0, Call->getType());
+ return true;
+ }
+
+ uint64_t Result = Val.getZExtValue() >> Shift;
+ Result &= llvm::maskTrailingOnes<uint64_t>(Length);
+ pushInteger(S, Result, Call->getType());
+ return true;
+}
+
static bool interp__builtin_os_log_format_buffer_size(InterpState &S,
CodePtr OpPC,
const InterpFrame *Frame,
@@ -1737,6 +1765,14 @@ bool InterpretBuiltin(InterpState &S, CodePtr OpPC, const Function *F,
return false;
break;
+ case clang::X86::BI__builtin_ia32_bextr_u32:
+ case clang::X86::BI__builtin_ia32_bextr_u64:
+ case clang::X86::BI__builtin_ia32_bextri_u32:
+ case clang::X86::BI__builtin_ia32_bextri_u64:
+ if (!interp__builtin_ia32_bextr(S, OpPC, Frame, F, Call))
+ return false;
+ break;
+
case Builtin::BI__builtin_os_log_format_buffer_size:
if (!interp__builtin_os_log_format_buffer_size(S, OpPC, Frame, F, Call))
return false;
More information about the cfe-commits
mailing list