; RUN: opt -S -mergefunc -mergefunc-use-aliases < %s | FileCheck %s

; Aliases should always be created for the weak functions, and
; for external functions if there is no local function

; CHECK: @external_external_2 = unnamed_addr alias void (float*), bitcast (void (i32*)* @external_external_1 to void (float*)*)
; CHECK: @weak_weak_2 = weak unnamed_addr alias void (float*), bitcast (void (i32*)* @0 to void (float*)*)
; CHECK: @weak_weak_1 = weak unnamed_addr alias void (i32*), void (i32*)* @0
; CHECK: @weak_external_1 = weak unnamed_addr alias void (i32*), bitcast (void (float*)* @weak_external_2 to void (i32*)*)
; CHECK: @external_weak_2 = weak unnamed_addr alias void (float*), bitcast (void (i32*)* @external_weak_1 to void (float*)*)
; CHECK: @weak_internal_1 = weak unnamed_addr alias void (i32*), bitcast (void (float*)* @weak_internal_2 to void (i32*)*)
; CHECK: @internal_weak_2 = weak unnamed_addr alias void (float*), bitcast (void (i32*)* @internal_weak_1 to void (float*)*)

; A strong backing function had to be created for the weak-weak pair

; CHECK: define private void @0(i32* %a) unnamed_addr
; CHECK_NEXT: call void @dummy4()

; These internal functions are dropped in favor of the external ones

; CHECK-NOT: define internal void @external_internal_2(float *%a) unnamed_addr
; CHECK-NOT: define internal void @internal_external_1(i32 *%a) unnamed_addr
; CHECK-NOT: define internal void @internal_external_1(i32 *%a) unnamed_addr
; CHECK-NOT: define internal void @internal_external_2(float *%a) unnamed_addr

; Only used to mark which functions should be merged.
declare void @dummy1()
declare void @dummy2()
declare void @dummy3()
declare void @dummy4()
declare void @dummy5()
declare void @dummy6()
declare void @dummy7()
declare void @dummy8()
declare void @dummy9()

define void @external_external_1(i32 *%a) unnamed_addr {
  call void @dummy1()
  ret void
}
define void @external_external_2(float *%a) unnamed_addr {
  call void @dummy1()
  ret void
}

define void @external_internal_1(i32 *%a) unnamed_addr {
  call void @dummy2()
  ret void
}
define internal void @external_internal_2(float *%a) unnamed_addr {
  call void @dummy2()
  ret void
}

define internal void @internal_external_1(i32 *%a) unnamed_addr {
  call void @dummy3()
  ret void
}
define void @internal_external_2(float *%a) unnamed_addr {
  call void @dummy3()
  ret void
}

define weak void @weak_weak_1(i32 *%a) unnamed_addr {
  call void @dummy4()
  ret void
}
define weak void @weak_weak_2(float *%a) unnamed_addr {
  call void @dummy4()
  ret void
}

define weak void @weak_external_1(i32 *%a) unnamed_addr {
  call void @dummy5()
  ret void
}
define external void @weak_external_2(float *%a) unnamed_addr {
  call void @dummy5()
  ret void
}

define external void @external_weak_1(i32 *%a) unnamed_addr {
  call void @dummy6()
  ret void
}
define weak void @external_weak_2(float *%a) unnamed_addr {
  call void @dummy6()
  ret void
}

define weak void @weak_internal_1(i32 *%a) unnamed_addr {
  call void @dummy7()
  ret void
}
define internal void @weak_internal_2(float *%a) unnamed_addr {
  call void @dummy7()
  ret void
}

define internal void @internal_weak_1(i32 *%a) unnamed_addr {
  call void @dummy8()
  ret void
}
define weak void @internal_weak_2(float *%a) unnamed_addr {
  call void @dummy8()
  ret void
}

define internal void @internal_internal_1(i32 *%a) unnamed_addr {
  call void @dummy9()
  ret void
}
define internal void @internal_internal_2(float *%a) unnamed_addr {
  call void @dummy9()
  ret void
}