; RUN: opt -S -lowertypetests -lowertypetests-summary-action=export -o - %s | FileCheck %s

target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-scei-ps4"

; CHECK: @dipsy = external
@dipsy = external constant i8, !type !0

define void @tinkywinky() {
  store i8* @dipsy, i8** undef
  ret void
}

!0 = !{i64 16, !"teletubbies"}