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

[Kareem Ergawy via All-commits]

  Branch: refs/heads/users/ergawy/unstructured-detect-category-c
  Home:   https://github.com/llvm/llvm-project
  Commit: 2347fc7a745171b6936eae19022d852ed038cff1
      https://github.com/llvm/llvm-project/commit/2347fc7a745171b6936eae19022d852ed038cff1
  Author: ergawy <kareem.ergawy at gmail.com>
  Date:   2026-09-24 (Thu, 24 Sep 2026)

  Changed paths:
    M flang/include/flang/Lower/PFTBuilder.h
    M flang/lib/Lower/PFTBuilder.cpp
    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

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