[PATCH] D68852: [Attributor] Pointer privatization attribute (argument promotion)

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added inline comments.


================
Comment at: llvm/test/Transforms/ArgumentPromotion/control-flow2.ll:27-31
+define i32 @foo(i1 %C) {
+; ALL-LABEL: define {{[^@]+}}@foo
+; ALL-SAME: (i1 [[C:%.*]])
+; ALL-NEXT:    [[X:%.*]] = call i32 @callee(i1 [[C:%.*]], i32 17)
+; ALL-NEXT:    ret i32 [[X]]
----------------
This is why i'm really pushing on using `--check-prefixes=ALL,ARGPROMOTION` from the getgo :[


================
Comment at: llvm/test/Transforms/ArgumentPromotion/control-flow2.ll:35
   store i32 17, i32* %A
-  %X = call i32 @callee( i1 false, i32* %A )              ; <i32> [#uses=1]
+  %X = call i32 @callee( i1 %C, i32* %A )              ; <i32> [#uses=1]
   ret i32 %X
----------------
I strongly believe you want to precommit test changes+regeneration first.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D68852