[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:56 PM, Eli Friedman<eli.friedman at gmail.com> wrote:
> 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.

Erm, I meant in newlib.  And searching some more finds all sorts of
ugly uses... that said, I think it's a really bad idea to accept
constructs in LLVM IR where the safety of the code depends on the
whims of the code generator.

-Eli