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* }
25declare %t @f()
26
27define %t @f2() {
28 %x = call %t @f2()
29 ret %t %x
30}
31
32