[llvm-commits] [llvm] r76198 - in /llvm/trunk: docs/LangRef.html include/llvm-c/Core.h include/llvm/Attributes.h lib/AsmParser/LLLexer.cpp lib/AsmParser/LLParser.cpp lib/AsmParser/LLToken.h lib/CodeGen/PrologEpilogInserter.cpp lib/VMCore/Attribut

[Eli Friedman]

On Fri, Jul 17, 2009 at 12:42 PM, Anton
Korobeynikov<anton at korobeynikov.info> wrote:
> Hello, Eli
>
>> The verifier should verify that functions marked naked only contain a
>> single asm statement with no inputs or outputs.
> This is not true in many cases (see e.g. newlib sources).

Looking with Google Code Search, I can find only one use of naked, and
that's a series of inline asm statements with no inputs or outputs; I
suppose we could allow it, or make the front-end merge them.  Anything
else should still be rejected.

-Eli