Displaying 1 result from an estimated 1 matches for "rl290794".
Did you mean:
rl290792
2017 Jan 03
4
RFC: Allow readnone and readonly functions to throw exceptions
...mayThrow()"; and this shows in e.g. EarlyCSE which will refuse to
DCE the call to @f in @g
declare void @f() readnone
define void @g() {
call void @f()
ret void
}
unless @f is also marked nounwind.
I've already fixed the one other instance I was aware of in
https://reviews.llvm.org/rL290794 (but I will revert that patch if we
decide against this RFC).
We won't lose any expressive power either -- if there are situations
where we have important optimizations firing under the "readonly
implies nounwind" assumption, we can either
- Teach FunctionAttrs to infer nounwind fo...