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 32
