; RUN: llvm-as %s -o %t.bc
; RUN: llvm-link -S %t.bc -o - | FileCheck %s
; RUN: llvm-link -S %s -o - | FileCheck %s

; Test that we don't try to map %C.0 and C and then try to map %C to a new type.
; This used to happen when lazy loading since we wouldn't then identify %C
; as a destination type until it was too late.

; CHECK: %C.0 = type { %B }
; CHECK-NEXT: %B = type { %A }
; CHECK-NEXT: %A = type { i8 }

; CHECK: @g1 = external global %C.0
; CHECK:  getelementptr %C.0* null, i64 0, i32 0, i32 0

%A   = type { i8 }
%B   = type { %A }
%C   = type { %B }
%C.0 = type { %B }
define void @f1() {
  getelementptr %C* null, i64 0, i32 0, i32 0
  ret void
}
@g1 = external global %C.0