[Attributor][FIX] Do not simplify byval arguments
authorJohannes Doerfert <johannes@jdoerfert.de>
Wed, 14 Jul 2021 21:06:57 +0000 (16:06 -0500)
committerJohannes Doerfert <johannes@jdoerfert.de>
Tue, 20 Jul 2021 03:48:51 +0000 (22:48 -0500)
commit44a9ee170c1dc6149ac54ec8898bf251c0606e10
tree9317e37af325184b1c28a9df53693832880061c0
parentc2281f15659a0b1122e140d2419c536d090224b9
[Attributor][FIX] Do not simplify byval arguments

A byval argument is a different value in the caller and callee, we
cannot propagate the information as part of AAValueSimplify. Users that
want to deal with byval arguments need to specifically perform the
argument -> call site step. We do not do this for now.
llvm/lib/Transforms/IPO/AttributorAttributes.cpp
llvm/test/Transforms/Attributor/ArgumentPromotion/attrs.ll
llvm/test/Transforms/Attributor/ArgumentPromotion/byval-2.ll
llvm/test/Transforms/Attributor/ArgumentPromotion/byval.ll
llvm/test/Transforms/Attributor/ArgumentPromotion/fp80.ll
llvm/test/Transforms/Attributor/IPConstantProp/2009-09-24-byval-ptr.ll
llvm/test/Transforms/Attributor/value-simplify.ll