1; RUN: llvm-link %p/opaque.ll %p/Inputs/opaque.ll -S -o - | FileCheck %s 2 3; CHECK-DAG: %A = type {} 4; CHECK-DAG: %B = type { %C, %C, %B* } 5; CHECK-DAG: %B.1 = type { %D, %E, %B.1* } 6; CHECK-DAG: %C = type { %A } 7; CHECK-DAG: %D = type { %E } 8; CHECK-DAG: %E = type opaque 9 10; CHECK-DAG: @g1 = external global %B 11; CHECK-DAG: @g2 = external global %A 12; CHECK-DAG: @g3 = external global %B.1 13 14; CHECK-DAG: getelementptr %A, %A* null, i32 0 15 16%A = type opaque 17%B = type { %C, %C, %B* } 18 19%C = type { %A } 20 21@g1 = external global %B 22 23define %B* @use_g1() { 24 ret %B* @g1 25} 26