llvm/test/tools/llvm-link/remangle.test

   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