[llvm-branch-commits] [Clang] Implement constexpr evaluation for __builtin_infer_alloc_token() (PR #163639)

[Timm Baeder via llvm-branch-commits]

================
@@ -1306,6 +1308,44 @@ interp__builtin_ptrauth_string_discriminator(InterpState 
&S, CodePtr OpPC,
   return true;
 }
 
+static bool interp__builtin_infer_alloc_token(InterpState &S, CodePtr OpPC,
+                                              const InterpFrame *Frame,
+                                              const CallExpr *Call) {
+  const ASTContext &Ctx = S.getASTContext();
+  const uint64_t BitWidth = Ctx.getTypeSize(Ctx.getSizeType());
+  const auto Mode =
+      Ctx.getLangOpts().AllocTokenMode.value_or(llvm::DefaultAllocTokenMode);
+  const uint64_t MaxTokens =
+      Ctx.getLangOpts().AllocTokenMax.value_or(~0ULL >> (64 - BitWidth));
----------------
tbaederr wrote:

```suggestion
   uint64_t BitWidth = Ctx.getTypeSize(Ctx.getSizeType());
  auto Mode =
      Ctx.getLangOpts().AllocTokenMode.value_or(llvm::DefaultAllocTokenMode);
   uint64_t MaxTokens =
      Ctx.getLangOpts().AllocTokenMax.value_or(~0ULL >> (64 - BitWidth));
```

https://github.com/llvm/llvm-project/pull/163639
_______________________________________________
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits