Skip to content

Commit 124f90b

Browse files
committed
Revert "Verifier: Disallow uses of intrinsic global variables"
This reverts commit b67c16f.
1 parent c0e53ac commit 124f90b

File tree

5 files changed

+0
-70
lines changed

5 files changed

+0
-70
lines changed

Diff for: llvm/lib/IR/Verifier.cpp

-6
Original file line numberDiff line numberDiff line change
@@ -730,9 +730,6 @@ void Verifier::visitGlobalVariable(const GlobalVariable &GV) {
730730
GV.getName() == "llvm.global_dtors")) {
731731
Check(!GV.hasInitializer() || GV.hasAppendingLinkage(),
732732
"invalid linkage for intrinsic global variable", &GV);
733-
Check(GV.materialized_use_empty(),
734-
"invalid uses of intrinsic global variable", &GV);
735-
736733
// Don't worry about emitting an error for it not being an array,
737734
// visitGlobalValue will complain on appending non-array.
738735
if (ArrayType *ATy = dyn_cast<ArrayType>(GV.getValueType())) {
@@ -759,9 +756,6 @@ void Verifier::visitGlobalVariable(const GlobalVariable &GV) {
759756
GV.getName() == "llvm.compiler.used")) {
760757
Check(!GV.hasInitializer() || GV.hasAppendingLinkage(),
761758
"invalid linkage for intrinsic global variable", &GV);
762-
Check(GV.materialized_use_empty(),
763-
"invalid uses of intrinsic global variable", &GV);
764-
765759
Type *GVType = GV.getValueType();
766760
if (ArrayType *ATy = dyn_cast<ArrayType>(GVType)) {
767761
PointerType *PTy = dyn_cast<PointerType>(ATy->getElementType());

Diff for: llvm/test/Linker/Inputs/funcimport_appending_global_used.ll

-6
This file was deleted.

Diff for: llvm/test/Linker/funcimport_appending_global_used.ll

-22
This file was deleted.

Diff for: llvm/test/Verifier/global-ctors-dtors-uses.ll

-16
This file was deleted.

Diff for: llvm/test/Verifier/used-uses.ll

-20
This file was deleted.

0 commit comments

Comments
 (0)