PNaCl ABI: Promote illegal integer types

test/NaCl/PNaClABI/types.ll

 ; RUN: pnacl-abicheck < %s | FileCheck %s
 ; RUN: pnacl-abicheck -pnaclabi-allow-debug-metadata < %s | FileCheck %s --check-prefix=DEBUG
 ; Test types allowed by PNaCl ABI
 
 ; Basic global types
 
-; TODO(mseaborn): Re-enable integer size checking.
+; TODO(dschuff): expand or disable generation of types >i64
 ; See https://code.google.com/p/nativeclient/issues/detail?id=3360
-; C;HECK: Variable i4 has disallowed type: i4
-;@i4 = private global i4 0
-; C;HECK: Variable i33 has disallowed type: i33
-;@i33 = private global i33 0
-; C;HECK: Variable i128 has disallowed type: i128
-;@i128 = private global i128 0
+; CHECK: Variable i4 has disallowed type: i4
+@i4 = private global i4 0
+; CHECK: Variable i33 has disallowed type: i33
+@i33 = private global i33 0
+; CHECK: Variable i128 has disallowed type: i128
+@i128 = private global i128 0
 
 ; CHECK: Variable hlf has disallowed type: half
 @hlf = private global half 0.0
 ; CHECK: Variable fp80 has disallowed type: x86_fp80
 @fp80 = private global x86_fp80 undef
 ; CHECK: Variable f128 has disallowed type: fp128
 @f128 = private global fp128 undef
 ; CHECK: Variable ppc128 has disallowed type: ppc_fp128
 @ppc128 = private global ppc_fp128 undef
 ; CHECK: Variable mmx has disallowed type: x86_mmx
@@ skipping 26 matching lines @@
 ; CHECK: Variable s11 has disallowed type: %struct.s1 = type { half, float }
 @s11 = private global %struct.s1 undef
 ; CHECK-NOT: disallowed
 %struct.s2 = type { i32, i32}
 @s12 = private global %struct.s2 undef
 
 
 ; types in arrays, structs, etc
 ; CHECK: Variable p2 has disallowed type: half*
 @p2 = private global half* undef
-; TODO(mseaborn): Re-enable integer size checking.
-; C;HECK: Variable a2 has disallowed type: [2 x i33]
-;@a2 = private global [ 2 x i33 ] undef
+; CHECK: Variable a2 has disallowed type: [2 x i33]
+@a2 = private global [ 2 x i33 ] undef
 ; CHECK: Variable s2 has disallowed type: { half, i32 }
 @s2 = private global { half, i32 } undef
-; C;HECK: Variable s3 has disallowed type: { float, i33 }
-;@s3 = private global { float, i33 } undef
+; CHECK: Variable s3 has disallowed type: { float, i33 }
+@s3 = private global { float, i33 } undef
 ; CHECK: Variable s4 has disallowed type: { i32, { i32, half }, float }
 @s4 = private global { i32, { i32, half }, float } undef
 ; CHECK-NOT: disallowed
 @s5 = private global { i32, { i32, double }, float } undef
 
 ; Initializers with constexprs
 ; CHECK: Variable cc1 has disallowed type: half
 @cc1 = private global half 0.0
 ; CHECK: Initializer for ce1 has disallowed type: half*
 @ce1 = private global i8 * bitcast (half* @cc1 to i8*)
@@ skipping 42 matching lines @@
 ; DEBUG-NOT: Named metadata node llvm.dbg.cu is disallowed
 ; DEBUG: Named metadata node llvm.dbg.cu refers to disallowed type: half
 ; CHECK: Named metadata node llvm.dbg.cu is disallowed
 !llvm.dbg.cu = !{!0}
 !0 = metadata !{ half 0.0}
 
 ; CHECK: Named metadata node madeup is disallowed
 ; DEBUG: Named metadata node madeup is disallowed
 !madeup = !{!1}
 !1 = metadata !{ half 1.0}