[cfe-dev] [llvm-dev] RFC: Supported Optimizations attribute
John McCall via cfe-dev
cfe-dev at lists.llvm.org
Tue Dec 4 11:24:04 PST 2018
On 4 Dec 2018, at 13:16, Sanjoy Das wrote:
> On Mon, Dec 3, 2018 at 11:49 PM John McCall <jmccall at apple.com> wrote:
>> Piotr's proposal unfortunately doesn't give us a good name for the
>> of optimizations that require being listed in
>> In earlier discussions I called them "brittle", but I can understand
>> nobody wants to call their optimization that, so let's call them
>> "good-faith optimizations" instead since they rely on the good faith
>> all the participating code.
>> Every optimization has to know how to maintain the structural rules
>> LLVM IR; that's what makes them structural rules. We don't want the
>> set of
>> structural rules to substantially change because such-and-such
>> optimization is in effect because that would require arbitrary
>> to check the supported_optimizations list before they knew which
>> rules to
>> follow. Instead, the burden is on the optimization designer to pick
>> constructs that won't be messed up by an arbitrary transform with no
>> knowledge of the optimization. The only thing the optimization
>> can rely on is this:
>> other transforms will preserve the apparent semantics of the function
>> other transforms will maintain the standard structural rules of LLVM
> Ok. Just to make sure we're on the same page, if this was all there
> is we would not need this attribute right? All LLVM optimizations do
> need to preserve semantics and structural properties anyway?
We need this attribute because interprocedural optimizations otherwise
break good-faith optimizations, so yes, my suummary here is missing some
qualification (that I included in the next paragraph, but with a
different spin). So let me restate this.
The designer of a good-faith optimization can rely on this:
- other transforms will preserve the apparent semantics of the function,
- other transforms will maintain the standard structural rules of LLVM
- interprocedural transforms will honor supported_optimizations as
in Piotr's proposal --- and, in particular, will intersect the
supported_optimizations list whenever moving code into a function.
Note that IPO is generally permitted to partially inline or outline
and so good-faith optimizations that e.g. require two instructions to be
in tandem or not at all must use tokens to establish that unbreakable
>> So the defining property of a good-faith optimization is that:
>> - there are rules which participating functions are expected to
>> follow on
>> pain of undefined behavior but which LLVM IR doesn't require every
>> to follow, and
>> - those rules will be preserved by any transform that doesn't move
>> between functions and which preserves the apparent function semantics
>> and maintains the standard structural rules of LLVM IR.
> In other words, certain things are UB in functions tagged with
> supported_optimizations that are not UB otherwise? This breaks code
> hoisting transformations right? I.e.
> isSafeToSpeculativelyExecute(Inst) will have to return false if Inst
> is in a function with a non-empty supported_optimizations?
Good question. I would consider that to be an unacceptable intrusion:
intraprocedural transforms should never have to be aware of
supported_optimizations (unless they're implementing a good-faith
optimization, of course) and interprocedural transforms should only have
to be aware of supported_optimizations in the narrow sense outlined
by Piotr. If something about the optimization's representation in IR
is unsafe to speculate, it should be made impossible to speculate for
standard semantic/structural reasons, like having apparently arbitrary
I think the right way to formalize this is to say that, while the
good-faith optimization may impose additional UB rules on the function,
it must guarantee that transforms that are well-behaved as described
above --- i.e. that preserve standard structure and semantics and which,
if interprocedural, appropriately honor supported_optimizations --- will
never introduce new UB.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-dev