Re: [PATCH v5 00/10] x86/asm: Compile-time asm code validation

Andi Kleen
2015-06-10T13:08:24Z

> 2. Each callable function must never leave its own bounds (i.e. with a
> jump to outside the function) except when returning.

That prevents a lot of optimizations with out of line code.

In fact even gcc with the right options can generate code that violates
this. Standard Linux constructions, such as exception handling,
also violate this.

If your tool needs that your tool is broken.

BTW any other frame pointer requirement should be also optional,
as it slows down a number of CPUs, such as Atoms.

-Andi