mirror of
https://github.com/RPCSX/llvm.git
synced 2024-12-14 07:31:47 +00:00
a5ae7c1c9f
As a follow-up to r246098, require `DISubprogram` definitions
(`isDefinition: true`) to be 'distinct'. Specifically, add an assembler
check, a verifier check, and bitcode upgrading logic to combat testcase
bitrot after the `DIBuilder` change.
While working on the testcases, I realized that
test/Linker/subprogram-linkonce-weak-odr.ll isn't relevant anymore. Its
purpose was to check for a corner case in PR22792 where two subprogram
definitions match exactly and share the same metadata node. The new
verifier check, requiring that subprogram definitions are 'distinct',
precludes that possibility.
I updated almost all the IR with the following script:
git grep -l -E -e '= !DISubprogram\(.* isDefinition: true' |
grep -v test/Bitcode |
xargs sed -i '' -e 's/= \(!DISubprogram(.*, isDefinition: true\)/= distinct \1/'
Likely some variant of would work for out-of-tree testcases.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@246327 91177308-0d34-0410-b5e6-96231b3b80d8
|
||
|---|---|---|
| .. | ||
| 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 | ||
| alias.ll | ||
| AmbiguousPhi.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 | ||
| comdat2.ll | ||
| comdat3.ll | ||
| comdat-decl1.ll | ||
| comdat-decl2.ll | ||
| comdat.ll | ||
| cttz-undef-arg.ll | ||
| dbg-null-retained-type.ll | ||
| dbg-typerefs.ll | ||
| dbg.ll | ||
| dominates.ll | ||
| fpmath.ll | ||
| frameescape.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 | ||
| ident-meta1.ll | ||
| ident-meta2.ll | ||
| ident-meta3.ll | ||
| ident-meta4.ll | ||
| inalloca1.ll | ||
| inalloca2.ll | ||
| inalloca3.ll | ||
| inalloca-vararg.ll | ||
| invalid-statepoint2.ll | ||
| invalid-statepoint.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-init2.ll | ||
| llvm.used-invalid-init.ll | ||
| llvm.used-invalid-type2.ll | ||
| llvm.used-invalid-type.ll | ||
| llvm.used-ptr-type.ll | ||
| mdcompositetype-templateparams-tuple.ll | ||
| mdcompositetype-templateparams.ll | ||
| memcpy.ll | ||
| module-flags-1.ll | ||
| module-flags-2.ll | ||
| module-flags-3.ll | ||
| musttail-invalid.ll | ||
| musttail-valid.ll | ||
| PhiGrouping.ll | ||
| range-1.ll | ||
| range-2.ll | ||
| README.txt | ||
| recursive-struct-param.ll | ||
| recursive-type-1.ll | ||
| recursive-type-2.ll | ||
| recursive-type-3.ll | ||
| SelfReferential.ll | ||
| sret.ll | ||
| statepoint.ll | ||
| token1.ll | ||
| token2.ll | ||
| token3.ll | ||
| token4.ll | ||
| token5.ll | ||
| token6.ll | ||
| token7.ll | ||
| varargs-intrinsic.ll | ||
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.