32 lines · plain
1; RUN: llvm-link -S %s %p/Inputs/type-unique-unrelated2.ll %p/Inputs/type-unique-unrelated3.ll | FileCheck %s2 3; CHECK: %t = type { ptr }4 5; CHECK: define %t @f2() {6; CHECK-NEXT: %x = call %t @f2()7; CHECK-NEXT: ret %t %x8; CHECK-NEXT: }9 10; CHECK: define %t @g2() {11; CHECK-NEXT: %x = call %t @g()12; CHECK-NEXT: ret %t %x13; CHECK-NEXT: }14 15; CHECK: define %t @g() {16; CHECK-NEXT: %x = call %t @f()17; CHECK-NEXT: ret %t %x18; CHECK-NEXT: }19 20; The idea of this test is that the %t in this file and the one in21; type-unique-unrelated2.ll look unrelated until type-unique-unrelated3.ll22; is merged in.23 24%t = type { ptr }25declare %t @f()26 27define %t @f2() {28 %x = call %t @f2()29 ret %t %x30}31 32