[PATCH] D76404: [WIP][Attributor] Deduce attributes for non-exact functions

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added inline comments.


================
Comment at: llvm/test/Transforms/Attributor/wrapper.ll:1
+; RUN: opt -attributor -attributor-disable=false -attributor-annotate-decl-cs -attributor-allow-shallow-wrappers -S < %s | FileCheck %s --check-prefix=CHECK
+
----------------
run it with the new pass manager as well `-passes=attributor` and verify we set the `norecurse` attribute on the wrapped functions.


================
Comment at: llvm/test/Transforms/Attributor/wrapper.ll:16
+; CHECK: %b = load i32, i32* %a
+; CHECK: ret i32 %b
+define linkonce i32 @inner1() {
----------------
add the name of the function, even if it is @0 or something. Here and above at the call site.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D76404/new/

https://reviews.llvm.org/D76404