forked from OSchip/llvm-project
5ce3272833
Summary:
Fixes PR26774.
If you're aware of the issue, feel free to skip the "Motivation"
section and jump directly to "This patch".
Motivation:
I define "refinement" as discarding behaviors from a program that the
optimizer has license to discard. So transforming:
```
void f(unsigned x) {
unsigned t = 5 / x;
(void)t;
}
```
to
```
void f(unsigned x) { }
```
is refinement, since the behavior went from "if x == 0 then undefined
else nothing" to "nothing" (the optimizer has license to discard
undefined behavior).
Refinement is a fundamental aspect of many mid-level optimizations done
by LLVM. For instance, transforming `x == (x + 1)` to `false` also
involves refinement since the expression's value went from "if x is
`undef` then { `true` or `false` } else { `false` }" to "`false`" (by
definition, the optimizer has license to fold `undef` to any non-`undef`
value).
Unfortunately, refinement implies that the optimizer cannot assume
that the implementation of a function it can see has all of the
behavior an unoptimized or a differently optimized version of the same
function can have. This is a problem for functions with comdat
linkage, where a function can be replaced by an unoptimized or a
differently optimized version of the same source level function.
For instance, FunctionAttrs cannot assume a comdat function is
actually `readnone` even if it does not have any loads or stores in
it; since there may have been loads and stores in the "original
function" that were refined out in the currently visible variant, and
at the link step the linker may in fact choose an implementation with
a load or a store. As an example, consider a function that does two
atomic loads from the same memory location, and writes to memory only
if the two values are not equal. The optimizer is allowed to refine
this function by first CSE'ing the two loads, and the folding the
comparision to always report that the two values are equal. Such a
refined variant will look like it is `readonly`. However, the
unoptimized version of the function can still write to memory (since
the two loads //can// result in different values), and selecting the
unoptimized version at link time will retroactively invalidate
transforms we may have done under the assumption that the function
does not write to memory.
Note: this is not just a problem with atomics or with linking
differently optimized object files. See PR26774 for more realistic
examples that involved neither.
This patch:
This change introduces a new set of linkage types, predicated as
`GlobalValue::mayBeDerefined` that returns true if the linkage type
allows a function to be replaced by a differently optimized variant at
link time. It then changes a set of IPO passes to bail out if they see
such a function.
Reviewers: chandlerc, hfinkel, dexonsmith, joker.eph, rnk
Subscribers: mcrosier, llvm-commits
Differential Revision: http://reviews.llvm.org/D18634
llvm-svn: 265762
|
||
|---|---|---|
| .. | ||
| 2002-04-13-RetTypes.ll | ||
| 2002-11-05-GetelementptrPointers.ll | ||
| 2004-05-21-SwitchConstantMismatch.ll | ||
| 2006-07-11-StoreStruct.ll | ||
| 2006-10-15-AddrLabel.ll | ||
| 2006-12-12-IntrinsicDefine.ll | ||
| 2007-12-21-InvokeParamAttrs.ll | ||
| 2008-01-11-VarargAttrs.ll | ||
| 2008-03-01-AllocaSized.ll | ||
| 2008-08-22-MemCpyAlignment.ll | ||
| 2008-11-15-RetVoid.ll | ||
| 2009-05-29-InvokeResult1.ll | ||
| 2009-05-29-InvokeResult2.ll | ||
| 2009-05-29-InvokeResult3.ll | ||
| 2010-08-07-PointerIntrinsic.ll | ||
| AmbiguousPhi.ll | ||
| PhiGrouping.ll | ||
| README.txt | ||
| SelfReferential.ll | ||
| alias.ll | ||
| align-md.ll | ||
| atomics.ll | ||
| bitcast-address-space-nested-global-cycle.ll | ||
| bitcast-address-space-nested-global.ll | ||
| bitcast-address-space-through-constant-inttoptr-inside-gep-instruction.ll | ||
| bitcast-address-space-through-constant-inttoptr.ll | ||
| bitcast-address-space-through-gep-2.ll | ||
| bitcast-address-space-through-gep.ll | ||
| bitcast-address-space-through-inttoptr.ll | ||
| bitcast-address-spaces.ll | ||
| bitcast-alias-address-space.ll | ||
| bitcast-vector-pointer-as.ll | ||
| byval-1.ll | ||
| byval-4.ll | ||
| comdat-decl1.ll | ||
| comdat-decl2.ll | ||
| comdat.ll | ||
| comdat2.ll | ||
| comdat3.ll | ||
| cttz-undef-arg.ll | ||
| dbg-difile-crash.ll | ||
| dbg-invalid-compileunit.ll | ||
| dbg-invalid-retaintypes.ll | ||
| dbg-null-retained-type.ll | ||
| dbg-orphaned-compileunit.ll | ||
| dbg-typerefs.ll | ||
| dbg.ll | ||
| deoptimize-intrinsic.ll | ||
| dereferenceable-md.ll | ||
| dominates.ll | ||
| fpmath.ll | ||
| frameescape.ll | ||
| func-dbg.ll | ||
| function-metadata-bad.ll | ||
| function-metadata-good.ll | ||
| gc_relocate_addrspace.ll | ||
| gc_relocate_operand.ll | ||
| gc_relocate_return.ll | ||
| gcread-ptrptr.ll | ||
| gcroot-alloca.ll | ||
| gcroot-meta.ll | ||
| gcroot-ptrptr.ll | ||
| gcwrite-ptrptr.ll | ||
| global-ctors.ll | ||
| guard-intrinsic.ll | ||
| ident-meta1.ll | ||
| ident-meta2.ll | ||
| ident-meta3.ll | ||
| ident-meta4.ll | ||
| inalloca-vararg.ll | ||
| inalloca1.ll | ||
| inalloca2.ll | ||
| inalloca3.ll | ||
| invalid-eh.ll | ||
| invalid-statepoint.ll | ||
| invalid-statepoint2.ll | ||
| invoke.ll | ||
| jumptable.ll | ||
| llvm.compiler_used-invalid-type.ll | ||
| llvm.dbg.declare-address.ll | ||
| llvm.dbg.declare-expression.ll | ||
| llvm.dbg.declare-variable.ll | ||
| llvm.dbg.intrinsic-dbg-attachment.ll | ||
| llvm.dbg.value-expression.ll | ||
| llvm.dbg.value-value.ll | ||
| llvm.dbg.value-variable.ll | ||
| llvm.used-invalid-init.ll | ||
| llvm.used-invalid-init2.ll | ||
| llvm.used-invalid-type.ll | ||
| llvm.used-invalid-type2.ll | ||
| llvm.used-ptr-type.ll | ||
| mdcompositetype-templateparams-tuple.ll | ||
| mdcompositetype-templateparams.ll | ||
| memcpy.ll | ||
| metadata-function-dbg.ll | ||
| module-flags-1.ll | ||
| module-flags-2.ll | ||
| module-flags-3.ll | ||
| musttail-invalid.ll | ||
| musttail-valid.ll | ||
| operand-bundles.ll | ||
| range-1.ll | ||
| range-2.ll | ||
| recursive-struct-param.ll | ||
| recursive-type-1.ll | ||
| recursive-type-2.ll | ||
| recursive-type-3.ll | ||
| sret.ll | ||
| statepoint.ll | ||
| swifterror.ll | ||
| swifterror2.ll | ||
| swifterror3.ll | ||
| swiftself.ll | ||
| token1.ll | ||
| token2.ll | ||
| token3.ll | ||
| token4.ll | ||
| token5.ll | ||
| token6.ll | ||
| token7.ll | ||
| varargs-intrinsic.ll | ||
README.txt
This directory contains testcases that the verifier is supposed to detect as malformed LLVM code. Testcases for situations that the verifier incorrectly identifies as malformed should go in the test/Assembler directory.