search for: 088103

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 in a few places, and will sometimes delete...

...Finkel via llvm-dev < llvm-dev at lists.llvm.org> wrote: > > On 10/27/2017 12:08 AM, Dan Gohman via llvm-dev wrote: > > 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 in a few places, a...

...e out before but could’ve. Feedback welcome. (The name of the function attribute and the loop metadata are still under discussion, and we’re definitely open to changing them.) Atmn and Johannes [1] https://bugs.llvm.org/show_bug.cgi?id=965 [2] https://lists.llvm.org/pipermail/llvm-dev/2015-July/088103.html [3] https://lists.llvm.org/pipermail/llvm-dev/2017-October/118558.html [4] https://reviews.llvm.org/D38336 [5] https://reviews.llvm.org/D65718 [6] https://eel.is/c++draft/intro.progress

...on't understand. What is the alternative to "assuming that its execution gets scheduled"? ~ Johannes > Cheers, > Nicolai > > >>  >> [1] https://bugs.llvm.org/show_bug.cgi?id=965 >>  >> [2] https://lists.llvm.org/pipermail/llvm-dev/2015-July/088103.html >>  >> [3] https://lists.llvm.org/pipermail/llvm-dev/2017-October/118558.html >>  >> [4] https://reviews.llvm.org/D38336 >>  >> [5] https://reviews.llvm.org/D65718 >>  >> [6] https://eel.is/c++draft/intro.progress > > >

...s just number them, this would be `attribute70` I think ;) Cheers,   Johannes > Thanks again, > > Hal > > >> >> Atmn and Johannes >> >> [1] https://bugs.llvm.org/show_bug.cgi?id=965 >> [2] https://lists.llvm.org/pipermail/llvm-dev/2015-July/088103.html >> [3] https://lists.llvm.org/pipermail/llvm-dev/2017-October/118558.html >> [4] https://reviews.llvm.org/D38336 >> [5] https://reviews.llvm.org/D65718 >> [6] https://eel.is/c++draft/intro.progress >> _______________________________________________ >>...

...> >> >> ~ Johannes >> >> >>  > Cheers, >>  > Nicolai >>  > >>  > >>  >>  >> [1] https://bugs.llvm.org/show_bug.cgi?id=965 >>  >>  >> [2] https://lists.llvm.org/pipermail/llvm-dev/2015-July/088103.html >>  >>  >> [3] >> https://lists.llvm.org/pipermail/llvm-dev/2017-October/118558.html >>  >>  >> [4] https://reviews.llvm.org/D38336 >>  >>  >> [5] https://reviews.llvm.org/D65718 >>  >>  >> [6] https://eel.is/c+...

...>> > Cheers, >> >> > Nicolai >> >> > >> >> > >> >> >> >> [1] https://bugs.llvm.org/show_bug.cgi?id=965 >> >> >> >> [2] >> https://lists.llvm.org/pipermail/llvm-dev/2015-July/088103.html >> >> >> >> [3] >> >> https://lists.llvm.org/pipermail/llvm-dev/2017-October/118558.html >> >> >> >> [4] https://reviews.llvm.org/D38336 >> >> >> >> [5] https://reviews.llvm.org/D65718 >>...

...anks again, >> > >> > Hal >> > >> > >> >> >> >> Atmn and Johannes >> >> >> >> [1] https://bugs.llvm.org/show_bug.cgi?id=965 >> >> [2] https://lists.llvm.org/pipermail/llvm-dev/2015-July/088103.html >> >> [3] https://lists.llvm.org/pipermail/llvm-dev/2017-October/118558.html >> >> [4] https://reviews.llvm.org/D38336 >> >> [5] https://reviews.llvm.org/D65718 >> >> [6] https://eel.is/c++draft/intro.progress >> >> ________...