diff --git a/clang/include/clang/Basic/Attr.td b/clang/include/clang/Basic/Attr.td index c95db7e8049d4..21a3b5226623c 100644 --- a/clang/include/clang/Basic/Attr.td +++ b/clang/include/clang/Basic/Attr.td @@ -3125,7 +3125,7 @@ def AnyX86Interrupt : InheritableAttr, TargetSpecificAttr { let Subjects = SubjectList<[HasFunctionProto]>; let ParseKind = "Interrupt"; let HasCustomParsing = 1; - let Documentation = [Undocumented]; + let Documentation = [AnyX86InterruptDocs]; } def AnyX86NoCallerSavedRegisters : InheritableAttr, diff --git a/clang/include/clang/Basic/AttrDocs.td b/clang/include/clang/Basic/AttrDocs.td index f11ea89d14bad..c3fe7cea29afb 100644 --- a/clang/include/clang/Basic/AttrDocs.td +++ b/clang/include/clang/Basic/AttrDocs.td @@ -4801,6 +4801,54 @@ Marking virtual functions as ``disable_tail_calls`` is legal. }]; } +def AnyX86InterruptDocs : Documentation { + let Category = DocCatFunction; + let Heading = "interrupt (X86)"; + let Content = [{ +Clang supports the GNU style ``__attribute__((interrupt))`` attribute on X86 +targets. This attribute may be attached to a function definition and instructs +the backend to generate appropriate function entry/exit code so that it can be +used directly as an interrupt service routine. + +Interrupt handlers have access to the stack frame pushed onto the stack by the processor, +and return using the ``IRET`` instruction. All registers in an interrupt handler are callee-saved. +Exception handlers also have access to the error code pushed onto the stack by the processor, +when applicable. + +An interrupt handler must take the following arguments: + + .. code-block:: c + + __attribute__ ((interrupt)) + void f (struct stack_frame *frame) { + ... + } + + Where ``struct stack_frame`` is a suitable struct matching the stack frame pushed by the + processor. + +An exception handler must take the following arguments: + + .. code-block:: c + + __attribute__ ((interrupt)) + void g (struct stack_frame *frame, unsigned long code) { + ... + } + + On 32-bit targets, the ``code`` argument should be of type ``unsigned int``. + +Exception handlers should only be used when an error code is pushed by the processor. +Using the incorrect handler type will crash the system. + +Interrupt and exception handlers cannot be called by other functions and must have return type ``void``. + +Interrupt and exception handlers should only call functions with the 'no_caller_saved_registers' +attribute, or should be compiled with the '-mgeneral-regs-only' flag to avoid saving unused +non-GPR registers. + }]; +} + def AnyX86NoCallerSavedRegistersDocs : Documentation { let Category = DocCatFunction; let Content = [{