[all-commits] [llvm/llvm-project] c7781a: [Attributor][NFC] Clang format

[Johannes Doerfert via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c7781a097878d097bdce2b71a5c9cd18129558ea
      https://github.com/llvm/llvm-project/commit/c7781a097878d097bdce2b71a5c9cd18129558ea
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2021-07-21 (Wed, 21 Jul 2021)

  Changed paths:
    M llvm/include/llvm/Transforms/IPO/Attributor.h
    M llvm/lib/Transforms/IPO/Attributor.cpp
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp

  Log Message:
  -----------
  [Attributor][NFC] Clang format


  Commit: c4b1fe05dd62c81077a14750de0b6ae3366747e2
      https://github.com/llvm/llvm-project/commit/c4b1fe05dd62c81077a14750de0b6ae3366747e2
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2021-07-21 (Wed, 21 Jul 2021)

  Changed paths:
    M llvm/lib/Transforms/IPO/OpenMPOpt.cpp

  Log Message:
  -----------
  [OpenMP][FIX] Use name + type checks not only name checks for calls

A call that is analyzed in an optimization needs to be verified against
the name and type of the runtime function to avoid that we look at
arguments that do not exist (anymore). This can happen if the signature
was rewritten. Since we will not set RFI.Declaration if the type doesn't
match we can use it (if it's not null) to determine if the signature is
as expected.

Differential Revision: https://reviews.llvm.org/D106341


  Commit: d6d0f913c188dbb1dd9070a93c49171ac8b86ebc
      https://github.com/llvm/llvm-project/commit/d6d0f913c188dbb1dd9070a93c49171ac8b86ebc
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2021-07-21 (Wed, 21 Jul 2021)

  Changed paths:
    A llvm/test/Transforms/Attributor/value-simplify-instances.ll

  Log Message:
  -----------
  [Attributor][NFC] Precommit tests exposing a conceptual simplification problem

Value simplification works under the implicit assumption that two SSA
values (`llvm::Value`) that are pointer equal are also equal at runtime.
This is mostly true except for values that are instantiated multiple
times. These test cases expose the problems we currently have when it
comes to recursion and multiple instances of values.


Compare: https://github.com/llvm/llvm-project/compare/1dd37975b56e...d6d0f913c188