The Attribute Class has an enumeration of attributes that indicates how it should be treated by optimizations and code generation.
Here are the attributes used in Tiger Compiler, for more information about Attributes you can go here.
This attribute guarantees that the function won’t read the calling sequence with the stack unwinder. Then it will not use the unwind stack.
This attribute says that inlining is desirable, then it will be done when possible.