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

[jdoerfert]

Summary

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

[jdoerfert]

In addition to this, even the new memory kind might actually help our GPU programs, but I'm not 100% sure we need that part yet.

[nikic]

Sounds reasonable to me.

llvm/include/llvm/IR/Intrinsics.td

def int_coro_subfn_addr : DefaultAttrsIntrinsic<
     [IntrReadMem, IntrArgMemOnly, ReadOnly<ArgIndex<0>>,
      NoCapture<ArgIndex<0>>]>;
 
 ///===-------------------------- Other Intrinsics --------------------------===//
 //
 // 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],
                               [IntrNoReturn, IntrCold, ImmArg<ArgIndex<0>>]>;
 
 // Support for dynamic deoptimization (or de-specialization)
 def int_experimental_deoptimize : Intrinsic<[llvm_any_ty], [llvm_vararg_ty],
                                             [Throws]>;