llvm-project/llvm/test/Bitcode/dso_location.ll
Nikita Popov e45cf47923 [Bitcode] Remove auto-detection for typed pointers
Always read bitcode according to the -opaque-pointers mode. Do not
perform auto-detection to implicitly switch to typed pointers.

This is a step towards removing typed pointer support, and also
eliminates the class of problems where linking may fail if a typed
pointer module is loaded before an opaque pointer module. (The
latest place where this was encountered is D139924, but this has
previously been fixed in other places doing bitcode linking as well.)

Differential Revision: https://reviews.llvm.org/D139940
2022-12-14 13:38:20 +01:00

48 lines
1.5 KiB
LLVM

; RUN: llvm-as < %s | llvm-dis | FileCheck %s
; Tests parsing for the dso_local keyword as well as the serialization/
; deserialization of the dso_local value on GlobalValues.
@local_global = dso_local global i32 0
; CHECK: @local_global = dso_local global i32 0
@weak_local_global = weak dso_local global i32 0
; CHECK: @weak_local_global = weak dso_local global i32 0
@external_local_global = external dso_local global i32
; CHECK: @external_local_global = external dso_local global i32
@default_local_global = dso_local default global i32 0
; CHECK: @default_local_global = dso_local global i32 0
@hidden_local_global = hidden global i32 0
; CHECK: @hidden_local_global = hidden global i32 0
@protected_local_global = protected global i32 0
; CHECK: @protected_local_global = protected global i32 0
@local_alias = dso_local alias i32, i32* @local_global
; CHECK-DAG: @local_alias = dso_local alias i32, ptr @local_global
@preemptable_alias = dso_preemptable alias i32, i32* @hidden_local_global
; CHECK-DAG: @preemptable_alias = alias i32, ptr @hidden_local_global
@preemptable_ifunc = dso_preemptable ifunc void (), void ()* ()* @ifunc_resolver
; CHECK-DAG: @preemptable_ifunc = ifunc void (), ptr @ifunc_resolver
declare dso_local default void @default_local()
; CHECK: declare dso_local void @default_local()
declare hidden void @hidden_local()
; CHECK: declare hidden void @hidden_local()
define protected void @protected_local() {
; CHECK: define protected void @protected_local()
entry:
ret void
}
define void ()* @ifunc_resolver() {
entry:
ret void ()* null
}