search for: d85393

...loops that we don’t preserve now. The current implementations are in: - Changes to the LoopDeletion Pass: https://reviews.llvm.org/D86844 - Changes to the Clang Frontend: https://reviews.llvm.org/D86841 - Changes to LangRef: https://reviews.llvm.org/D86233 - Changed to IR: https://reviews.llvm.org/D85393 The changes preserve what was previously accepted as the “default behavior” [5]. That is, you get forward progress assumption in case a function is not marked with the `maynotprogress` attribute. Here the default behavior is that LLVM IR functions are required to make forward-progress and are assu...

...urrent implementations are in: >> - Changes to the LoopDeletion Pass: https://reviews.llvm.org/D86844 >> - Changes to the Clang Frontend: https://reviews.llvm.org/D86841 >> - Changes to LangRef: https://reviews.llvm.org/D86233 >> - Changed to IR: https://reviews.llvm.org/D85393 >> >> The changes preserve what was previously accepted as the “default >> behavior” [5]. That is, you get forward progress assumption in case a >> function is not marked with the `maynotprogress` attribute. Here the >> default behavior is that LLVM IR functions a...

Hi James, On Fri, Sep 11, 2020 at 2:05 PM James Y Knight <jyknight at google.com> wrote: > > On Fri, Sep 11, 2020 at 12:42 PM Atmn Patel <atmndp at gmail.com> wrote: >> >> Hi Hal, >> >> On Thu, Sep 10, 2020 at 8:54 PM Hal Finkel <hfinkel at anl.gov> wrote: >> > >> > Hi, Atmn, >> > >> > Has anyone else expressed an

...>> - Changes to the LoopDeletion Pass: https://reviews.llvm.org/D86844 >> >> - Changes to the Clang Frontend: https://reviews.llvm.org/D86841 >> >> - Changes to LangRef: https://reviews.llvm.org/D86233 >> >> - Changed to IR: https://reviews.llvm.org/D85393 >> >> >> >> The changes preserve what was previously accepted as the “default >> >> behavior” [5]. That is, you get forward progress assumption in case a >> >> function is not marked with the `maynotprogress` attribute. Here the >> &gt...