; === [ Types ] ================================================================

; Void type
;%t1 = type void

; Function type
%t2 = type i32 (i32)
%t3 = type i32 (i32, i32)
%t4 = type i32 (...)

; Integer type
%t5 = type i32

; Floating-point type
%t6 = type double

; MMX type
%t7 = type x86_mmx

; Pointer type
%t8 = type i32*
%t9 = type i32 addrspace(2)*

; Vector type
%t10 = type <2 x i32>

; Label type
%t11 = type label

; Token type
%t12 = type token

; Metadata type
%t13 = type metadata

; Array type
%t14 = type [2 x i32]

; Struct type
%t15 = type {}
%t16 = type { i32, double }

; Packed struct type
%t17 = type <{}>
%t18 = type <{ i32, i8, i32 }>

%t19 = type %t5

; --- [ Void type ] ------------------------------------------------------------

declare void @f1()

; --- [ Function type ] --------------------------------------------------------

; --- [ Integer type ] ---------------------------------------------------------

declare i1 @f2()
declare i2 @f3()
declare i4 @f4()
declare i8 @f5()
declare i16 @f6()
declare i32 @f7()
declare i64 @f8()
declare i128 @f9()

; --- [ Floating-point type ] --------------------------------------------------

declare half @f10()
declare float @f11()
declare double @f12()
declare fp128 @f13()
declare x86_fp80 @f14()
declare ppc_fp128 @f15()

; --- [ Pointer type ] ---------------------------------------------------------

declare i8* @f16()

; --- [ Vector type ] ----------------------------------------------------------

declare <2 x i8> @f17()

; --- [ Metadata type ] --------------------------------------------------------

declare void @f19(metadata %x)

; --- [ Array type ] -----------------------------------------------------------

declare [2 x i32] @f20()

; --- [ Struct type ] ----------------------------------------------------------

declare {} @f21()
declare { i32 } @f22()
declare { i32, i8, [2 x i32], { i32, <2 x i8> } } @f23()
declare <{}> @f24()
declare <{ i32, i8, i32 }> @f25()

; --- [ Named type ] -----------------------------------------------------------

declare %t5 @f26()
declare %t6 @f27()
;declare %t7 @f28() ;; XXX: bug in llvm-hs?
declare %t8 @f29()
declare %t9 @f30()
declare %t10 @f31()
declare %t12 @f32()
declare void @f33(%t13 %x)
declare %t14 @f34()
declare %t15 @f35()
declare %t16 @f36()
declare %t17 @f37()
declare %t18 @f38()
declare %t19 @f39()