[LLVMdev] [RFC] New function attributes for errno-setting functions

[Krzysztof Parzyszek]

On 9/12/2013 7:44 PM, Hal Finkel wrote:
>
> To fix this problem, I think that we need to stop treating errno as some arbitrary external state, and model is explicitly.

In such case it would make sense to know when "errno" is read.  This way 
we could detect whether it's actually used, whether or not the 
-fno-math-errno (or some generic -fno-xyz-errno) was specified.  Problem 
is that errno (referenced explicitly) may be a macro that expands to 
some system-specific function call.

On that note, what would be really nice is if a function could have an 
"mod/use" sets attached to it, which would specify what external symbols 
this function can reference.  I'm not sure how that could be expressed 
in the current IR though.

-K

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