Getting ready for v1

clang/include/clang/Basic/Attr.td

@@ -1264,15 +1264,6 @@ def Const : InheritableAttr {
   let SimpleHandler = 1;
 }
 
-def Realtime : InheritableAttr {
-  let Spellings = [CXX11<"clang", "realtime">, 
-                   C23<"clang", "realtime">,
-                   GCC<"realtime">];
-  let Subjects = SubjectList<[Function]>;
-  let Documentation = [Undocumented];
-  let SimpleHandler = 1;
-}
-
 def ConstInit : InheritableAttr {
   // This attribute does not have a C [[]] spelling because it requires the
   // CPlusPlus language option.

clang/include/clang/Basic/AttrDocs.td

@@ -7619,13 +7619,6 @@ its underlying representation to be a WebAssembly ``funcref``.
   }];
 }
 
-def RealtimeDocs : Documentation {
-  let Category = DocCatFunction;
-  let Heading = "Realtime Attribute";
-  let Content = [{
-  }];
-}
-
 def PreferredTypeDocumentation : Documentation {
   let Category = DocCatField;
   let Content = [{

clang/lib/CodeGen/CGCall.cpp

@@ -2384,8 +2384,6 @@ void CodeGenModule::ConstructAttributeList(StringRef Name,
       FuncAttrs.addAttribute(llvm::Attribute::NoDuplicate);
     if (TargetDecl->hasAttr<ConvergentAttr>())
       FuncAttrs.addAttribute(llvm::Attribute::Convergent);
-    if (TargetDecl->hasAttr<RealtimeAttr>())
-      FuncAttrs.addAttribute(llvm::Attribute::Realtime);
 
     if (const FunctionDecl *Fn = dyn_cast<FunctionDecl>(TargetDecl)) {
       AddAttributesFromFunctionProtoType(
@@ -2406,6 +2404,12 @@ void CodeGenModule::ConstructAttributeList(StringRef Name,
           FuncAttrs.addAttribute(llvm::Attribute::NoReturn);
         NBA = Fn->getAttr<NoBuiltinAttr>();
       }
+
+      for (const FunctionEffectWithCondition& Fe : Fn->getFunctionEffects()) {
+        if (Fe.Effect.kind() == FunctionEffect::Kind::NonBlocking) {
+          FuncAttrs.addAttribute(llvm::Attribute::NonBlocking);
+        }
+      }
     }
 
     if (isa<FunctionDecl>(TargetDecl) || isa<VarDecl>(TargetDecl)) {

clang/lib/CodeGen/CodeGenFunction.cpp

@@ -1592,7 +1592,7 @@ void CodeGenFunction::GenerateCode(GlobalDecl GD, llvm::Function *Fn,
       insertCallAtFunctionEntryPoint(Fn, "radsan_off");
     }
 
-    if (Fn->hasFnAttribute(llvm::Attribute::Realtime)) {
+    if (Fn->hasFnAttribute(llvm::Attribute::NonBlocking)) {
       insertCallAtFunctionEntryPoint(Fn, "radsan_realtime_enter");
     }
   }
@@ -1605,7 +1605,7 @@ void CodeGenFunction::GenerateCode(GlobalDecl GD, llvm::Function *Fn,
       insertCallAtAllFunctionExitPoints(Fn, "radsan_on");
     }
 
-    if (Fn->hasFnAttribute(llvm::Attribute::Realtime)) {
+    if (Fn->hasFnAttribute(llvm::Attribute::NonBlocking)) {
       insertCallAtAllFunctionExitPoints(Fn, "radsan_realtime_exit");
     }
   }

compiler-rt/lib/radsan/radsan.h

@@ -52,7 +52,7 @@ RADSAN_EXPORT void radsan_realtime_exit();
 
     Example:
 
-        [[clang::realtime]] float process (float x)
+        float process (float x) [[clang::nonblocking]] 
         {
             auto const y = 2.0f * x;
 

compiler-rt/lib/radsan/tests/radsan_test_utilities.h

@@ -14,7 +14,8 @@
 namespace radsan_testing {
 
 template <typename Function>
-[[clang::realtime]] void realtimeInvoke(Function &&func) {
+void realtimeInvoke(Function &&func) [[clang::nonblocking]]
+{
   std::forward<Function>(func)();
 }
 

compiler-rt/test/radsan/TestCases/test_bypass_nosanitize.cpp

@@ -21,7 +21,7 @@ void violationLock(pthread_mutex_t& Mutex) {
   pthread_mutex_lock(&Mutex);
 }
 
-[[clang::realtime]] void process(pthread_mutex_t& Mutex) {
+void process(pthread_mutex_t& Mutex) [[clang::nonblocking]] {
   bypassedLock(Mutex);
   bypassedUnlock(Mutex);
 

compiler-rt/test/radsan/TestCases/test_continue_mode.cpp

@@ -19,7 +19,7 @@ void freeViolation(void* Ptr) {
   free(Ptr);
 }
 
-[[clang::realtime]] void process() {
+void process() [[clang::nonblocking]] {
   void* Ptr = mallocViolation();
   freeViolation(Ptr);
 }

compiler-rt/test/radsan/TestCases/test_free_nosanitize_has_no_effect.cpp

@@ -3,7 +3,7 @@
 // UNSUPPORTED: ios
 
 // Intent: Ensure that a no_sanitize attribute has no impact 
-//         if not in a [[clang::realtime]] function
+//         if not in a [[clang::nonblocking]] function
 
 #include <stdio.h>
 #include <stdlib.h>

compiler-rt/test/radsan/TestCases/test_nosanitize_radsan_inactive.cpp

@@ -2,7 +2,7 @@
 // RUN: %run %t 2>&1 | FileCheck %s
 // UNSUPPORTED: ios
 
-// Intent: Ensure that no_sanitize and [[clang::realtime]]
+// Intent: Ensure that no_sanitize and [[clang::nonblocking]]
 //         have no impact if -fsanitize=realtime is not used
 
 #include <stdio.h>
@@ -13,7 +13,7 @@ void noSanitizeFree(void* Ptr) {
     free(Ptr);
 }
 
-[[clang::realtime]] void violation() {
+void violation() [[clang::nonblocking]]{
     void* Ptr = malloc(2);
     noSanitizeFree(Ptr);
 }

compiler-rt/test/radsan/TestCases/test_radsan.cpp

@@ -2,12 +2,12 @@
 // RUN: not %run %t 2>&1 | FileCheck %s
 // UNSUPPORTED: ios
 
-// Intent: Ensure that an intercepted call in a [[clang::realtime]] function
+// Intent: Ensure that an intercepted call in a [[clang::nonblocking]] function
 //         is flagged as an error. Basic smoke test.
 
 #include <stdlib.h>
 
-[[clang::realtime]] void violation() {
+void violation() [[clang::nonblocking]]{
     void* Ptr = malloc(2);
 }
 

compiler-rt/test/radsan/TestCases/test_radsan_inactive.cpp

@@ -2,14 +2,14 @@
 // RUN: %run %t 2>&1 | FileCheck %s
 // UNSUPPORTED: ios
 
-// Intent: Ensure [[clang::realtime]] has no impact if -fsanitize=realtime is not used
+// Intent: Ensure [[clang::nonblocking]] has no impact if -fsanitize=realtime is not used
 
 #include <stdio.h>
 #include <stdlib.h>
 
 // In this test, we don't use the -fsanitize=realtime flag, so nothing
 // should happen here
-[[clang::realtime]] void violation() {
+void violation() [[clang::nonblocking]] {
     void* Ptr = malloc(2);
 }
 

llvm/docs/LangRef.rst

@@ -2139,7 +2139,7 @@ example:
     for this function.
 ``nosanitize_realtime``
     This attribute indicates that SanitizerRealtime is disabled for this 
-    function. If called from a function marked ``clang::realtime``, no
+    function. If called from a function marked ``clang::nonblocking``, no
     errors that would normally be reported by SanitizerRealtime will be
     reported.
 ``null_pointer_is_valid``

llvm/include/llvm/Bitcode/LLVMBitCodes.h

@@ -744,7 +744,7 @@ enum AttributeKindCodes {
   ATTR_KIND_CORO_ONLY_DESTROY_WHEN_COMPLETE = 90,
   ATTR_KIND_DEAD_ON_UNWIND = 91,
   ATTR_KIND_RANGE = 92,
-  ATTR_KIND_REALTIME = 93,
+  ATTR_KIND_NONBLOCKING = 93,
   ATTR_KIND_NO_SANITIZE_REALTIME = 94,
 };
 

llvm/include/llvm/IR/Attributes.td

@@ -233,8 +233,8 @@ def ReadNone : EnumAttr<"readnone", [ParamAttr]>;
 /// Function only reads from memory.
 def ReadOnly : EnumAttr<"readonly", [ParamAttr]>;
 
-/// Function is marked to be analyzed by the realtime sanitizer.
-def Realtime : EnumAttr<"realtime", [FnAttr]>;
+/// Function is marked to be non-blocking
+def NonBlocking : EnumAttr<"nonblocking", [FnAttr]>;
 
 /// Return value is always equal to this argument.
 def Returned : EnumAttr<"returned", [ParamAttr]>;

llvm/lib/Bitcode/Reader/BitcodeReader.cpp

@@ -2076,8 +2076,8 @@ static Attribute::AttrKind getAttrFromCode(uint64_t Code) {
     return Attribute::ReadOnly;
   case bitc::ATTR_KIND_RETURNED:
     return Attribute::Returned;
-  case bitc::ATTR_KIND_REALTIME:
-    return Attribute::Realtime;
+  case bitc::ATTR_KIND_NONBLOCKING:
+    return Attribute::NonBlocking;
   case bitc::ATTR_KIND_NO_SANITIZE_REALTIME:
     return Attribute::NoSanitizeRealtime;
   case bitc::ATTR_KIND_RETURNS_TWICE:

llvm/lib/Bitcode/Writer/BitcodeWriter.cpp

@@ -783,8 +783,8 @@ static uint64_t getAttrKindEncoding(Attribute::AttrKind Kind) {
     return bitc::ATTR_KIND_OPTIMIZE_FOR_SIZE;
   case Attribute::OptimizeNone:
     return bitc::ATTR_KIND_OPTIMIZE_NONE;
-  case Attribute::Realtime:
-    return bitc::ATTR_KIND_REALTIME;
+  case Attribute::NonBlocking:
+    return bitc::ATTR_KIND_NONBLOCKING;
   case Attribute::NoSanitizeRealtime:
     return bitc::ATTR_KIND_NO_SANITIZE_REALTIME;
   case Attribute::ReadNone:

llvm/lib/Transforms/Utils/CodeExtractor.cpp

@@ -968,7 +968,7 @@ Function *CodeExtractor::constructFunction(const ValueSet &inputs,
       case Attribute::MustProgress:
       case Attribute::NoProfile:
       case Attribute::SkipProfile:
-      case Attribute::Realtime:
+      case Attribute::NonBlocking:
       case Attribute::NoSanitizeRealtime:
         break;
       // These attributes cannot be applied to functions.