; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals all --version 5
; RUN: opt -p globalopt -S %s | FileCheck %s

@llvm.global_ctors = appending global [3 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 65535, ptr @ctor, ptr null }, { i32, ptr, ptr } { i32 65535, ptr @ctor_nocfi, ptr null }, { i32, ptr, ptr } { i32 65535, ptr @ctor_dso_local_equivalent, ptr null }]

@foo = internal global ptr null

declare void @user(ptr)

;.
; CHECK: @llvm.global_ctors = appending global [3 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 65535, ptr @ctor, ptr null }, { i32, ptr, ptr } { i32 65535, ptr @ctor_nocfi, ptr null }, { i32, ptr, ptr } { i32 65535, ptr @ctor_dso_local_equivalent, ptr null }]
; CHECK: @foo = internal global ptr null
;.
define void @ctor() {
; CHECK-LABEL: define void @ctor() {
; CHECK-NEXT:  [[ENTRY:.*:]]
; CHECK-NEXT:    [[DST:%.*]] = alloca ptr, align 8
; CHECK-NEXT:    store ptr ptrauth (ptr @foo, i32 0), ptr [[DST]], align 8
; CHECK-NEXT:    call void @user(ptr [[DST]])
; CHECK-NEXT:    ret void
;
entry:
  %dst = alloca ptr, align 8
  store ptr ptrauth (ptr @foo, i32 0), ptr %dst, align 8
  call void @user(ptr %dst)
  ret void
}

define void @ctor_nocfi() {
; CHECK-LABEL: define void @ctor_nocfi() {
; CHECK-NEXT:  [[ENTRY:.*:]]
; CHECK-NEXT:    [[DST:%.*]] = alloca ptr, align 8
; CHECK-NEXT:    store ptr no_cfi @foo, ptr [[DST]], align 8
; CHECK-NEXT:    call void @user(ptr [[DST]])
; CHECK-NEXT:    ret void
;
entry:
  %dst = alloca ptr, align 8
  store ptr no_cfi @foo, ptr %dst, align 8
  call void @user(ptr %dst)
  ret void
}

define void @fn() {
; CHECK-LABEL: define void @fn() {
; CHECK-NEXT:    ret void
;
  ret void
}

define void @ctor_dso_local_equivalent() {
; CHECK-LABEL: define void @ctor_dso_local_equivalent() {
; CHECK-NEXT:  [[ENTRY:.*:]]
; CHECK-NEXT:    [[DST:%.*]] = alloca ptr, align 8
; CHECK-NEXT:    store ptr dso_local_equivalent @fn, ptr [[DST]], align 8
; CHECK-NEXT:    call void @user(ptr [[DST]])
; CHECK-NEXT:    ret void
;
entry:
  %dst = alloca ptr, align 8
  store ptr dso_local_equivalent @fn, ptr %dst, align 8
  call void @user(ptr %dst)
  ret void
}