diff options
| author | Davide Italiano <davide@freebsd.org> | 2017-02-01 01:01:22 +0000 |
|---|---|---|
| committer | Davide Italiano <davide@freebsd.org> | 2017-02-01 01:01:22 +0000 |
| commit | 7343b9f340decfe5287bc490df70d4b2cbca4628 (patch) | |
| tree | 24479b7cf1b57746f6f3d23e1f3d08bb156ae317 /llvm/lib/Transforms | |
| parent | da7a656542d79e244fb06a1fc62d2f17e895c4fd (diff) | |
| download | bcm5719-llvm-7343b9f340decfe5287bc490df70d4b2cbca4628.tar.gz bcm5719-llvm-7343b9f340decfe5287bc490df70d4b2cbca4628.zip | |
[IPSCCP] Teach how to not propagate return values of naked functions.
Differential Revision: https://reviews.llvm.org/D29360
llvm-svn: 293727
Diffstat (limited to 'llvm/lib/Transforms')
| -rw-r--r-- | llvm/lib/Transforms/Scalar/SCCP.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/llvm/lib/Transforms/Scalar/SCCP.cpp b/llvm/lib/Transforms/Scalar/SCCP.cpp index 334642fe35d..dd1123fd4fa 100644 --- a/llvm/lib/Transforms/Scalar/SCCP.cpp +++ b/llvm/lib/Transforms/Scalar/SCCP.cpp @@ -1712,7 +1712,10 @@ static bool runIPSCCP(Module &M, const DataLayout &DL, // If this is an exact definition of this function, then we can propagate // information about its result into callsites of it. - if (F.hasExactDefinition()) + // Don't touch naked functions. They may contain asm returning a + // value we don't see, so we may end up interprocedurally propagating + // the return value incorrectly. + if (F.hasExactDefinition() && !F.hasFnAttribute(Attribute::Naked)) Solver.AddTrackedFunction(&F); // If this function only has direct calls that we can see, we can track its |
