|  | ; RUN: opt -S -passes=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 (ptr), ptr @external_external_1 | 
|  | ; CHECK: @weak_weak_2 = weak unnamed_addr alias void (ptr), ptr @0 | 
|  | ; CHECK: @weak_weak_1 = weak unnamed_addr alias void (ptr), ptr @0 | 
|  | ; CHECK: @weak_external_1 = weak unnamed_addr alias void (ptr), ptr @weak_external_2 | 
|  | ; CHECK: @external_weak_2 = weak unnamed_addr alias void (ptr), ptr @external_weak_1 | 
|  | ; CHECK: @weak_internal_1 = weak unnamed_addr alias void (ptr), ptr @weak_internal_2 | 
|  | ; CHECK: @internal_weak_2 = weak unnamed_addr alias void (ptr), ptr @internal_weak_1 | 
|  |  | 
|  | ; A strong backing function had to be created for the weak-weak pair | 
|  |  | 
|  | ; CHECK: define private void @0(ptr %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(ptr %a) unnamed_addr | 
|  | ; CHECK-NOT: define internal void @internal_external_1(ptr %a) unnamed_addr | 
|  | ; CHECK-NOT: define internal void @internal_external_1(ptr %a) unnamed_addr | 
|  | ; CHECK-NOT: define internal void @internal_external_2(ptr %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(ptr %a) unnamed_addr { | 
|  | call void @dummy1() | 
|  | ret void | 
|  | } | 
|  | define void @external_external_2(ptr %a) unnamed_addr { | 
|  | call void @dummy1() | 
|  | ret void | 
|  | } | 
|  |  | 
|  | define void @external_internal_1(ptr %a) unnamed_addr { | 
|  | call void @dummy2() | 
|  | ret void | 
|  | } | 
|  | define internal void @external_internal_2(ptr %a) unnamed_addr { | 
|  | call void @dummy2() | 
|  | ret void | 
|  | } | 
|  |  | 
|  | define internal void @internal_external_1(ptr %a) unnamed_addr { | 
|  | call void @dummy3() | 
|  | ret void | 
|  | } | 
|  | define void @internal_external_2(ptr %a) unnamed_addr { | 
|  | call void @dummy3() | 
|  | ret void | 
|  | } | 
|  |  | 
|  | define weak void @weak_weak_1(ptr %a) unnamed_addr { | 
|  | call void @dummy4() | 
|  | ret void | 
|  | } | 
|  | define weak void @weak_weak_2(ptr %a) unnamed_addr { | 
|  | call void @dummy4() | 
|  | ret void | 
|  | } | 
|  |  | 
|  | define weak void @weak_external_1(ptr %a) unnamed_addr { | 
|  | call void @dummy5() | 
|  | ret void | 
|  | } | 
|  | define external void @weak_external_2(ptr %a) unnamed_addr { | 
|  | call void @dummy5() | 
|  | ret void | 
|  | } | 
|  |  | 
|  | define external void @external_weak_1(ptr %a) unnamed_addr { | 
|  | call void @dummy6() | 
|  | ret void | 
|  | } | 
|  | define weak void @external_weak_2(ptr %a) unnamed_addr { | 
|  | call void @dummy6() | 
|  | ret void | 
|  | } | 
|  |  | 
|  | define weak void @weak_internal_1(ptr %a) unnamed_addr { | 
|  | call void @dummy7() | 
|  | ret void | 
|  | } | 
|  | define internal void @weak_internal_2(ptr %a) unnamed_addr { | 
|  | call void @dummy7() | 
|  | ret void | 
|  | } | 
|  |  | 
|  | define internal void @internal_weak_1(ptr %a) unnamed_addr { | 
|  | call void @dummy8() | 
|  | ret void | 
|  | } | 
|  | define weak void @internal_weak_2(ptr %a) unnamed_addr { | 
|  | call void @dummy8() | 
|  | ret void | 
|  | } | 
|  |  | 
|  | define internal void @internal_internal_1(ptr %a) unnamed_addr { | 
|  | call void @dummy9() | 
|  | ret void | 
|  | } | 
|  | define internal void @internal_internal_2(ptr %a) unnamed_addr { | 
|  | call void @dummy9() | 
|  | ret void | 
|  | } |