[all-commits] [llvm/llvm-project] 7fb36b: [flang] Detect loops whose branching is confined t...

[Kareem Ergawy via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7fb36ba334861cb92245f8e4535bc14d068f8776
      https://github.com/llvm/llvm-project/commit/7fb36ba334861cb92245f8e4535bc14d068f8776
  Author: Kareem Ergawy <kergawy at nvidia.com>
  Date:   2026-09-29 (Tue, 29 Sep 2026)

  Changed paths:
    M flang/include/flang/Lower/PFTBuilder.h
    M flang/lib/Lower/PFTBuilder.cpp
    A flang/test/Lower/do-loop-infinite-body-cycle.f90
    M flang/test/Lower/pre-fir-tree-assigned-goto.f90
    A flang/test/Lower/pre-fir-tree-branch-into-body.f90
    A flang/test/Lower/pre-fir-tree-unstructured-internals.f90
    M flang/test/Lower/trailing-cycle.f90

  Log Message:
  -----------
  [flang] Detect loops whose branching is confined to their body (#225757)

A DO loop is classified as either structured or unstructured, and a
single raw branch anywhere in its body forces the loop -- and every
construct enclosing it -- onto the unstructured path.

That is stronger than necessary. A loop keeps its structured control
flow as long as its branching neither leaves its body nor enters it from
outside. Classify such a loop separately from a fully unstructured one.

This only classifies: lowering is unchanged. PFT dumps mark the new
classification with '~', which is what the tests key on.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications