[PATCH] D157147: [IR] Mark `llvm.trap` as `nosync, nofree, nocallback`

Johannes Doerfert via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Aug 4 15:33:32 PDT 2023


jdoerfert created this revision.
jdoerfert added reviewers: nikic, nlopes, fhahn, arsenm.
Herald added subscribers: StephenFan, bollu.
Herald added a project: All.
jdoerfert requested review of this revision.
Herald added subscribers: llvm-commits, wdng.
Herald added a project: LLVM.

NOTE: Test will be updated if people thing this is sound.


https://reviews.llvm.org/D157147

Files:
  llvm/include/llvm/IR/Intrinsics.td


Index: llvm/include/llvm/IR/Intrinsics.td
===================================================================
--- llvm/include/llvm/IR/Intrinsics.td
+++ llvm/include/llvm/IR/Intrinsics.td
@@ -1681,7 +1681,8 @@
 // TODO: We should introduce a new memory kind fo traps (and other side effects 
 //       we only model to keep things alive).
 def int_trap : Intrinsic<[], [], [IntrNoReturn, IntrCold, IntrInaccessibleMemOnly,
-               IntrWriteMem]>, ClangBuiltin<"__builtin_trap">;
+               IntrWriteMem, IntrNoFree, IntrNoSync, IntrNoCallback]>,
+               ClangBuiltin<"__builtin_trap">;
 def int_debugtrap : Intrinsic<[]>,
                     ClangBuiltin<"__builtin_debugtrap">;
 def int_ubsantrap : Intrinsic<[], [llvm_i8_ty],


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D157147.547375.patch
Type: text/x-patch
Size: 750 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230804/f5ddf9ef/attachment.bin>


More information about the llvm-commits mailing list