[LLVMdev] [cfe-dev] RFC: Codifying (but not formalizing) the optimization levels in LLVM and Clang

Krzysztof Parzyszek kparzysz at codeaurora.org
Sat Jan 19 09:21:14 PST 2013

On 1/19/2013 1:55 AM, Chandler Carruth wrote:
> -ffast-math is *totally* different from these attributes, and in fact
> -ffast-math is specifically not modeled as a function attribute because
> it changes the fundamental semantics of an operation.
> These attributes have zero semantic impact on the function, and so it is
> always functionally correct to change them, replace them, merge them,
> remove them, or inline code from one to the other.

I just thought of this example: attribute "section".  It has zero 
semantic impact on the function, and yet it is not correct to change it, 
replace it, remove it, etc.


Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, 
hosted by The Linux Foundation

More information about the llvm-dev mailing list