test/Linker/type-unique-unrelated.ll

   1 ; RUN: llvm-link -S %s %p/Inputs/type-unique-unrelated2.ll %p/Inputs/type-unique-unrelated3.ll | FileCheck %s
   2
   3 ; CHECK: %t = type { i8* }
   4
   5 ; CHECK: define %t @f2() {
   6 ; CHECK-NEXT:   %x = call %t @f2()
   7 ; CHECK-NEXT:   ret %t %x
   8 ; CHECK-NEXT: }
   9
  10 ; CHECK: define %t @g2() {
  11 ; CHECK-NEXT:   %x = call %t @g()
  12 ; CHECK-NEXT:   ret %t %x
  13 ; CHECK-NEXT: }
  14
  15 ; CHECK: define %t @g() {
  16 ; CHECK-NEXT:  %x = call %t @f()
  17 ; CHECK-NEXT:  ret %t %x
  18 ; CHECK-NEXT: }
  19
  20 ; The idea of this test is that the %t in this file and the one in
  21 ; type-unique-unrelated2.ll look unrelated until type-unique-unrelated3.ll
  22 ; is merged in.
  23
  24 %t = type { i8* }
  25 declare %t @f()
  26
  27 define %t @f2() {
  28  %x = call %t @f2()
  29  ret %t %x
  30 }
  31