1# RUN: llvm-as %S/Inputs/remangle1.ll -o %t.remangle1.bc
2# RUN: llvm-as %S/Inputs/remangle2.ll -o %t.remangle2.bc
3# RUN: llvm-link %t.remangle1.bc %t.remangle2.bc -o %t.remangle.linked.bc
4# RUN: llvm-dis %t.remangle.linked.bc -o - | FileCheck %s
5
6; CHECK-DAG: %fum.1 = type { %aab.0, i8, [7 x i8] }
7; CHECK-DAG: %aab.0 = type { %aba }
8; CHECK-DAG: %aba = type { [8 x i8] }
9; CHECK-DAG: %fum.1.2 = type { %abb, i8, [7 x i8] }
10; CHECK-DAG: %abb = type { %abc }
11; CHECK-DAG: %abc = type { [4 x i8] }
12
13; CHECK-LABEL: define void @foo1(%fum.1** %a, %fum.1.2** %b) {
14; CHECK-NEXT:   %b.copy = call %fum.1.2** @llvm.ssa.copy.p0p0s_fum.1.2s(%fum.1.2** %b)
15; CHECK-NEXT:   %a.copy = call %fum.1** @llvm.ssa.copy.p0p0s_fum.1s(%fum.1** %a)
16; CHECK-NEXT:  ret void
17
18; CHECK: declare %fum.1.2** @llvm.ssa.copy.p0p0s_fum.1.2s(%fum.1.2** returned)
19
20; CHECK: declare %fum.1** @llvm.ssa.copy.p0p0s_fum.1s(%fum.1** returned)
21
22; CHECK-LABEL: define void @foo2(%fum.1.2** %b, %fum.1** %a) {
23; CHECK-NEXT:   %a.copy = call %fum.1** @llvm.ssa.copy.p0p0s_fum.1s(%fum.1** %a)
24; CHECK-NEXT:  %b.copy = call %fum.1.2** @llvm.ssa.copy.p0p0s_fum.1.2s(%fum.1.2** %b)
25; CHECK-NEXT:  ret void
26
27
28