[all-commits] [llvm/llvm-project] 50db7a: [flang] Fixed fir.dummy_scope generation to work f...

[Slava Zakharin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 50db7a7d269b42f0cda63eb005aadfdbe25f56cb
      https://github.com/llvm/llvm-project/commit/50db7a7d269b42f0cda63eb005aadfdbe25f56cb
  Author: Slava Zakharin <szakharin at nvidia.com>
  Date:   2025-04-18 (Fri, 18 Apr 2025)

  Changed paths:
    M flang/lib/Lower/Bridge.cpp
    M flang/test/Driver/emit-mlir.f90
    M flang/test/Lower/HLFIR/calls-f77.f90
    A flang/test/Lower/HLFIR/dummy-scope.f90
    M flang/test/Lower/OpenMP/real10.f90
    M flang/test/Lower/main_location.f90
    A flang/test/Transforms/tbaa-with-dummy-scope2.fir

  Log Message:
  -----------
  [flang] Fixed fir.dummy_scope generation to work for TBAA. (#136382)

The nesting of fir.dummy_scope operations defines the roots
of the TBAA forest. If we do not generate fir.dummy_scope
in functions that do not have any dummy arguments, then
the globals accessed in the function and the dummy arguments
accessed by the callee may end up in different sub-trees
of the same root. The added tbaa-with-dummy-scope2.fir
demonstrates the issue.



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