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.s_fum.1.2s(%fum.1.2 %b) 15; CHECK-NEXT: %a.copy = call %fum.1 @llvm.ssa.copy.s_fum.1s(%fum.1 %a) 16; CHECK-NEXT: ret void 17 18; CHECK: declare %fum.1.2 @llvm.ssa.copy.s_fum.1.2s(%fum.1.2 returned) 19 20; CHECK: declare %fum.1 @llvm.ssa.copy.s_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.s_fum.1s(%fum.1 %a) 24; CHECK-NEXT: %b.copy = call %fum.1.2 @llvm.ssa.copy.s_fum.1.2s(%fum.1.2 %b) 25; CHECK-NEXT: ret void 26 27 28