Index: test/NaCl/PNaClABI/abi-flattened-globals.ll |
diff --git a/test/NaCl/PNaClABI/abi-flattened-globals.ll b/test/NaCl/PNaClABI/abi-flattened-globals.ll |
new file mode 100644 |
index 0000000000000000000000000000000000000000..aff301371e243f3a3783ccdf5f7f2502f37749ce |
--- /dev/null |
+++ b/test/NaCl/PNaClABI/abi-flattened-globals.ll |
@@ -0,0 +1,69 @@ |
+; RUN: not pnacl-abicheck < %s | FileCheck %s |
+ |
+ |
+; Allowed cases |
+ |
+@bytes = internal global [7 x i8] c"abcdefg" |
+ |
+@ptr_to_ptr = internal global i32 ptrtoint (i32* @ptr to i32) |
+@ptr_to_func = internal global i32 ptrtoint (void ()* @func to i32) |
+ |
+@compound = internal global <{ [3 x i8], i32 }> |
+ <{ [3 x i8] c"foo", i32 ptrtoint (void ()* @func to i32) }> |
+ |
+@ptr = internal global i32 ptrtoint ([7 x i8]* @bytes to i32) |
+ |
+@addend_ptr = internal global i32 add (i32 ptrtoint (i32* @ptr to i32), i32 1) |
+@addend_negative = internal global i32 add (i32 ptrtoint (i32* @ptr to i32), i32 -1) |
+ |
+@addend_array1 = internal global i32 add (i32 ptrtoint ([7 x i8]* @bytes to i32), i32 1) |
+@addend_array2 = internal global i32 add (i32 ptrtoint ([7 x i8]* @bytes to i32), i32 7) |
+@addend_array3 = internal global i32 add (i32 ptrtoint ([7 x i8]* @bytes to i32), i32 9) |
+ |
+@addend_struct1 = internal global i32 add (i32 ptrtoint (<{ [3 x i8], i32 }>* @compound to i32), i32 1) |
+@addend_struct2 = internal global i32 add (i32 ptrtoint (<{ [3 x i8], i32 }>* @compound to i32), i32 4) |
+ |
+; CHECK-NOT: disallowed |
+ |
+ |
+; Disallowed cases |
+ |
+@bad_external = external global [1 x i8] |
+; CHECK: Global variable bad_external has no initializer (disallowed) |
+ |
+@bad_int = internal global i32 0 |
+; CHECK: Global variable bad_int has non-flattened initializer (disallowed): i32 0 |
+ |
+@bad_size = internal global i64 ptrtoint ([7 x i8]* @bytes to i64) |
+; CHECK: Global variable bad_size has non-flattened initializer |
+ |
+; "null" is not allowed. |
+@bad_ptr = internal global i8* null |
+; CHECK: Global variable bad_ptr has non-flattened initializer |
+ |
+@bad_ptr2 = internal global i64 ptrtoint (i8* null to i64) |
+; CHECK: Global variable bad_ptr2 has non-flattened initializer |
+ |
+@bad_sub = internal global i32 sub (i32 ptrtoint (i32* @ptr to i32), i32 1) |
+; CHECK: Global variable bad_sub has non-flattened initializer |
+ |
+; i16 not allowed here. |
+@bad_compound = internal global <{ i32, i16 }> |
+ <{ i32 ptrtoint (void ()* @func to i32), i16 0 }> |
+; CHECK: Global variable bad_compound has non-flattened initializer |
+ |
+; The struct type must be packed. |
+@non_packed_struct = internal global { [3 x i8], i32 } |
+ { [3 x i8] c"foo", i32 ptrtoint (void ()* @func to i32) } |
+; CHECK: Global variable non_packed_struct has non-flattened initializer |
+ |
+; The struct type must be anonymous. |
+%struct = type <{ [3 x i8], i32 }> |
+@named_struct = internal global %struct |
+ <{ [3 x i8] c"foo", i32 ptrtoint (void ()* @func to i32) }> |
+; CHECK: Global variable named_struct has non-flattened initializer |
+ |
+ |
+define internal void @func() { |
+ ret void |
+} |