[AAPointerInfo] check for Unknown offsets in callee
authorSameer Sahasrabuddhe <sameer.sahasrabuddhe@amd.com>
Mon, 31 Oct 2022 16:45:56 +0000 (22:15 +0530)
committerSameer Sahasrabuddhe <sameer.sahasrabuddhe@amd.com>
Mon, 31 Oct 2022 16:45:56 +0000 (22:15 +0530)
commit2e7636c13b833270084b0e7b42cb0770555dac4c
treeb05051961088226b5c783f81e34d74373ba8b7c5
parentcf4d40963582bc203abe85a0f4c9a41e68901bec
[AAPointerInfo] check for Unknown offsets in callee

When translating offset info from the callee at a call site, first check if the
offset is Unknown. Any offset in the caller should be added only if the callee
offset is valid.

Differential Revision: https://reviews.llvm.org/D137011
llvm/lib/Transforms/IPO/AttributorAttributes.cpp
llvm/test/Transforms/Attributor/call-simplify-pointer-info.ll [new file with mode: 0644]