[all-commits] [llvm/llvm-project] 129fae: [OpenMP] Identify non-aligned barriers executed in...

[Johannes Doerfert via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 129faec711693ac05b0dbf97c7e84e83dc0bbb88
      https://github.com/llvm/llvm-project/commit/129faec711693ac05b0dbf97c7e84e83dc0bbb88
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2023-01-22 (Sun, 22 Jan 2023)

  Changed paths:
    M llvm/include/llvm/Transforms/IPO/Attributor.h
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    M llvm/lib/Transforms/IPO/OpenMPOpt.cpp
    M llvm/test/Transforms/OpenMP/barrier_removal.ll

  Log Message:
  -----------
  [OpenMP] Identify non-aligned barriers executed in an aligned context

Even if a barrier does not enforce aligned execution, it will
effectively be like an aligned barrier if it is executed by all threads
in an aligned way. We lack control flow divergence analysis here so we
can only do (basic block) local reasoning for now.