Displaying 2 results from an estimated 2 matches for "okay'd".
2017 Oct 27
2
Infinite loops with no side effects
...hieved with empty inline asms, however they tend
> to pessimize optimizations. The patch above allows all of the major
> optimizations to work in the presence of @llvm.sideeffect.
>
>
> I think that we should move forward with this approach (as may be obvious
> given that I've okay'd the patch). It's a lightweight solution, at least on
> LLVM's side of things, and does not prevent other solutions later.
>
>
> One of the concerns raised is that front-ends would have to emit a lot of
> these intrinsics, potentially one in every loop, one in every func...
2017 Oct 27
3
Infinite loops with no side effects
Hello,
This email picks up the thread that to my knowledge was last discussed here:
http://lists.llvm.org/pipermail/llvm-dev/2015-July/088103.html
In brief, infinite loops containing no side effects produce undefined
behavior in C++ (and C in some cases), however in other languages, they
have fully defined behavior. LLVM's optimizer currently assumes that
infinite loops eventually terminate