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* 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