[CHR] Don't run ControlHeightReduction if any BB has address taken
authorXun Li <lxfind@gmail.com>
Sat, 12 Jun 2021 17:29:53 +0000 (10:29 -0700)
committerXun Li <lxfind@gmail.com>
Sat, 12 Jun 2021 17:29:53 +0000 (10:29 -0700)
commitfae7debadcea335d4aaddee82406a8d10426e730
tree6aac28222170e12dc750450438952ff4508c94d1
parentc997867dc084a1bcf631816f964b3ff49a297ba3
[CHR] Don't run ControlHeightReduction if any BB has address taken

This patch is to address https://bugs.llvm.org/show_bug.cgi?id=50610.
In computed goto pattern, there are usually a list of basic blocks that are all targets of indirectbr instruction, and each basic block also has address taken and stored in a variable.
CHR pass could potentially clone these basic blocks, which would generate a cloned version of the indirectbr and clonved version of all basic blocks in the list.
However these basic blocks will not have their addresses taken and stored anywhere. So latter SimplifyCFG pass will simply remove all tehse cloned basic blocks, resulting in incorrect code.
To fix this, when searching for scopes, we skip scopes that contains BBs with addresses taken.
Added a few test cases.

Reviewed By: aeubanks, wenlei, hoy

Differential Revision: https://reviews.llvm.org/D103867
llvm/lib/Transforms/Instrumentation/ControlHeightReduction.cpp
llvm/test/Transforms/PGOProfile/chr.ll