test/Linker/opaque.ll

   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
  23 define %B* @use_g1() {
  24   ret %B* @g1
  25 }