Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(136)

Issues Search
    My Issues | Starred     Open | Closed | All

Unified Diff: tests_lit/llvm2ice_tests/globalrelocs.ll

Issue 641193002: Introduce the notion of function addresses in Subzero. (Closed) Base URL: https://chromium.googlesource.com/native_client/pnacl-subzero.git@master
Patch Set: Clean up code and fix nits. Created 6 years, 2 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« src/PNaClTranslator.cpp ('K') | « src/PNaClTranslator.cpp ('k') | tests_lit/reader_tests/globalinit.pnacl.ll » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: tests_lit/llvm2ice_tests/globalrelocs.ll
diff --git a/tests_lit/llvm2ice_tests/globalrelocs.ll b/tests_lit/llvm2ice_tests/globalrelocs.ll
new file mode 100644
index 0000000000000000000000000000000000000000..644459b772bd42098775ee488cac668407f77c79
--- /dev/null
+++ b/tests_lit/llvm2ice_tests/globalrelocs.ll
@@ -0,0 +1,258 @@
+; Tests if we handle global variables with relocation initializers.
+
+; Test that we handle it in the ICE converter.
+; RUN: %lc2i -i %s --args -verbose inst | FileCheck %s
+
+; Test that we handle it using Subzero's bitcode reader.
+; RUN: %p2i -i %s --args -verbose inst | FileCheck %s
+
+@bytes = internal global [7 x i8] c"abcdefg"
+; CHECK: @bytes = internal global [7 x i8] c"abcdefg"
+; CHECK: .type bytes,@object
+; CHECK: .section .data,"aw",@progbits
+; CHECK:bytes:
+; CHECK: .byte 97
+; CHECK: .byte 98
+; CHECK: .byte 99
+; CHECK: .byte 100
+; CHECK: .byte 101
+; CHECK: .byte 102
+; CHECK: .byte 103
+; CHECK: .size bytes, 7
+
+@const_bytes = internal constant [7 x i8] c"abcdefg"
+; CHECK: @const_bytes = internal constant [7 x i8] c"abcdefg"
+; CHECK: .type const_bytes,@object
+; CHECK: .section .rodata,"a",@progbits
+; CHECK:const_bytes:
+; CHECK: .byte 97
+; CHECK: .byte 98
+; CHECK: .byte 99
+; CHECK: .byte 100
+; CHECK: .byte 101
+; CHECK: .byte 102
+; CHECK: .byte 103
+; CHECK: .size const_bytes, 7
+
+@ptr_to_ptr = internal global i32 ptrtoint (i32* @ptr to i32)
+; CHECK: @ptr_to_ptr = internal global i32 ptrtoint (i32* @ptr to i32)
+; CHECK: .type ptr_to_ptr,@object
+; CHECK: .section .data,"aw",@progbits
+; CHECK:ptr_to_ptr:
+; CHECK: .long ptr
+; CHECK: .size ptr_to_ptr, 4
+
+@const_ptr_to_ptr = internal constant i32 ptrtoint (i32* @ptr to i32)
+; CHECK: @const_ptr_to_ptr = internal constant i32 ptrtoint (i32* @ptr to i32)
+; CHECK: .type const_ptr_to_ptr,@object
+; CHECK: .section .rodata,"a",@progbits
+; CHECK:const_ptr_to_ptr:
+; CHECK: .long ptr
+; CHECK: .size const_ptr_to_ptr, 4
+
+@ptr_to_func = internal global i32 ptrtoint (void ()* @func to i32)
+; CHECK: @ptr_to_func = internal global i32 ptrtoint (void ()* @func to i32)
+; CHECK: .type ptr_to_func,@object
+; CHECK: .section .data,"aw",@progbits
+; CHECK:ptr_to_func:
+; CHECK: .long func
+; CHECK: .size ptr_to_func, 4
+
+@const_ptr_to_func = internal constant i32 ptrtoint (void ()* @func to i32)
+; CHECK: @const_ptr_to_func = internal constant i32 ptrtoint (void ()* @func to i32)
+; CHECK: .type const_ptr_to_func,@object
+; CHECK: .section .rodata,"a",@progbits
+; CHECK:const_ptr_to_func:
+; CHECK: .long func
+; CHECK: .size const_ptr_to_func, 4
+
+@compound = internal global <{ [3 x i8], i32 }> <{ [3 x i8] c"foo", i32 ptrtoint (void ()* @func to i32) }>
+; CHECK: @compound = internal global <{ [3 x i8], i32 }> <{ [3 x i8] c"foo", i32 ptrtoint (void ()* @func to i32) }>
+; CHECK: .type compound,@object
+; CHECK: .section .data,"aw",@progbits
+; CHECK:compound:
+; CHECK: .byte 102
+; CHECK: .byte 111
+; CHECK: .byte 111
+; CHECK: .long func
+; CHECK: .size compound, 7
+
+@const_compound = internal constant <{ [3 x i8], i32 }> <{ [3 x i8] c"foo", i32 ptrtoint (void ()* @func to i32) }>
+; CHECK: @const_compound = internal constant <{ [3 x i8], i32 }> <{ [3 x i8] c"foo", i32 ptrtoint (void ()* @func to i32) }>
+; CHECK: .type const_compound,@object
+; CHECK: .section .rodata,"a",@progbits
+; CHECK:const_compound:
+; CHECK: .byte 102
+; CHECK: .byte 111
+; CHECK: .byte 111
+; CHECK: .long func
+; CHECK: .size const_compound, 7
+
+@ptr = internal global i32 ptrtoint ([7 x i8]* @bytes to i32)
+; CHECK: @ptr = internal global i32 ptrtoint ([7 x i8]* @bytes to i32)
+; CHECK: .type ptr,@object
+; CHECK: .section .data,"aw",@progbits
+; CHECK:ptr:
+; CHECK: .long bytes
+; CHECK: .size ptr, 4
+
+@const_ptr = internal constant i32 ptrtoint ([7 x i8]* @bytes to i32)
+; CHECK: @const_ptr = internal constant i32 ptrtoint ([7 x i8]* @bytes to i32)
+; CHECK: .type const_ptr,@object
+; CHECK: .section .rodata,"a",@progbits
+; CHECK:const_ptr:
+; CHECK: .long bytes
+; CHECK: .size const_ptr, 4
+
+@addend_ptr = internal global i32 add (i32 ptrtoint (i32* @ptr to i32), i32 1)
+; CHECK: @addend_ptr = internal global i32 add (i32 ptrtoint (i32* @ptr to i32), i32 1)
+; CHECK: .type addend_ptr,@object
+; CHECK: .section .data,"aw",@progbits
+; CHECK:addend_ptr:
+; CHECK: .long ptr + 1
+; CHECK: .size addend_ptr, 4
+
+@const_addend_ptr = internal constant i32 add (i32 ptrtoint (i32* @ptr to i32), i32 1)
+; CHECK: @const_addend_ptr = internal constant i32 add (i32 ptrtoint (i32* @ptr to i32), i32 1)
+; CHECK: .type const_addend_ptr,@object
+; CHECK: .section .rodata,"a",@progbits
+; CHECK:const_addend_ptr:
+; CHECK: .long ptr + 1
+; CHECK: .size const_addend_ptr, 4
+
+@addend_negative = internal global i32 add (i32 ptrtoint (i32* @ptr to i32), i32 -1)
+; CHECK: @addend_negative = internal global i32 add (i32 ptrtoint (i32* @ptr to i32), i32 -1)
+; CHECK: .type addend_negative,@object
+; CHECK: .section .data,"aw",@progbits
+; CHECK:addend_negative:
+; CHECK: .long ptr + -1
Jim Stichnoth 2014/10/10 13:15:00 Maybe the emit code could make this a little prett
Karl 2014/10/10 20:17:31 Done. Note that "ptr + INT32_MIN" will not be pret
+; CHECK: .size addend_negative, 4
+
+@const_addend_negative = internal constant i32 add (i32 ptrtoint (i32* @ptr to i32), i32 -1)
+; CHECK: @const_addend_negative = internal constant i32 add (i32 ptrtoint (i32* @ptr to i32), i32 -1)
+; CHECK: .type const_addend_negative,@object
+; CHECK: .section .rodata,"a",@progbits
+; CHECK:const_addend_negative:
+; CHECK: .long ptr + -1
+; CHECK: .size const_addend_negative, 4
+
+@addend_array1 = internal global i32 add (i32 ptrtoint ([7 x i8]* @bytes to i32), i32 1)
+; CHECK: @addend_array1 = internal global i32 add (i32 ptrtoint ([7 x i8]* @bytes to i32), i32 1)
+; CHECK: .type addend_array1,@object
+; CHECK: .section .data,"aw",@progbits
+; CHECK:addend_array1:
+; CHECK: .long bytes + 1
+; CHECK: .size addend_array1, 4
+
+@const_addend_array1 = internal constant i32 add (i32 ptrtoint ([7 x i8]* @bytes to i32), i32 1)
+; CHECK: @const_addend_array1 = internal constant i32 add (i32 ptrtoint ([7 x i8]* @bytes to i32), i32 1)
+; CHECK: .type const_addend_array1,@object
+; CHECK: .section .rodata,"a",@progbits
+; CHECK:const_addend_array1:
+; CHECK: .long bytes + 1
+; CHECK: .size const_addend_array1, 4
+
+@addend_array2 = internal global i32 add (i32 ptrtoint ([7 x i8]* @bytes to i32), i32 7)
+; CHECK: @addend_array2 = internal global i32 add (i32 ptrtoint ([7 x i8]* @bytes to i32), i32 7)
+; CHECK: .type addend_array2,@object
+; CHECK: .section .data,"aw",@progbits
+; CHECK:addend_array2:
+; CHECK: .long bytes + 7
+; CHECK: .size addend_array2, 4
+
+@const_addend_array2 = internal constant i32 add (i32 ptrtoint ([7 x i8]* @bytes to i32), i32 7)
+; CHECK: @const_addend_array2 = internal constant i32 add (i32 ptrtoint ([7 x i8]* @bytes to i32), i32 7)
+; CHECK: .type const_addend_array2,@object
+; CHECK: .section .rodata,"a",@progbits
+; CHECK:const_addend_array2:
+; CHECK: .long bytes + 7
+; CHECK: .size const_addend_array2, 4
+
+@addend_array3 = internal global i32 add (i32 ptrtoint ([7 x i8]* @bytes to i32), i32 9)
+; CHECK: @addend_array3 = internal global i32 add (i32 ptrtoint ([7 x i8]* @bytes to i32), i32 9)
+; CHECK: .type addend_array3,@object
+; CHECK: .section .data,"aw",@progbits
+; CHECK:addend_array3:
+; CHECK: .long bytes + 9
+; CHECK: .size addend_array3, 4
+
+@const_addend_array3 = internal constant i32 add (i32 ptrtoint ([7 x i8]* @bytes to i32), i32 9)
+; CHECK: @const_addend_array3 = internal constant i32 add (i32 ptrtoint ([7 x i8]* @bytes to i32), i32 9)
+; CHECK: .type const_addend_array3,@object
+; CHECK: .section .rodata,"a",@progbits
+; CHECK:const_addend_array3:
+; CHECK: .long bytes + 9
+; CHECK: .size const_addend_array3, 4
+
+@addend_struct1 = internal global i32 add (i32 ptrtoint (<{ [3 x i8], i32 }>* @compound to i32), i32 1)
+; CHECK: @addend_struct1 = internal global i32 add (i32 ptrtoint (<{ [3 x i8], i32 }>* @compound to i32), i32 1)
+; CHECK: .type addend_struct1,@object
+; CHECK: .section .data,"aw",@progbits
+; CHECK:addend_struct1:
+; CHECK: .long compound + 1
+; CHECK: .size addend_struct1, 4
+
+@const_addend_struct1 = internal constant i32 add (i32 ptrtoint (<{ [3 x i8], i32 }>* @compound to i32), i32 1)
+; CHECK: @const_addend_struct1 = internal constant i32 add (i32 ptrtoint (<{ [3 x i8], i32 }>* @compound to i32), i32 1)
+; CHECK: .type const_addend_struct1,@object
+; CHECK: .section .rodata,"a",@progbits
+; CHECK:const_addend_struct1:
+; CHECK: .long compound + 1
+; CHECK: .size const_addend_struct1, 4
+
+@addend_struct2 = internal global i32 add (i32 ptrtoint (<{ [3 x i8], i32 }>* @compound to i32), i32 4)
+; CHECK: @addend_struct2 = internal global i32 add (i32 ptrtoint (<{ [3 x i8], i32 }>* @compound to i32), i32 4)
+; CHECK: .type addend_struct2,@object
+; CHECK: .section .data,"aw",@progbits
+; CHECK:addend_struct2:
+; CHECK: .long compound + 4
+; CHECK: .size addend_struct2, 4
+
+@const_addend_struct2 = internal constant i32 add (i32 ptrtoint (<{ [3 x i8], i32 }>* @compound to i32), i32 4)
+; CHECK: @const_addend_struct2 = internal constant i32 add (i32 ptrtoint (<{ [3 x i8], i32 }>* @compound to i32), i32 4)
+; CHECK: .type const_addend_struct2,@object
+; CHECK: .section .rodata,"a",@progbits
+; CHECK:const_addend_struct2:
+; CHECK: .long compound + 4
+; CHECK: .size const_addend_struct2, 4
+
+@ptr_to_func_align = internal global i32 ptrtoint (void ()* @func to i32), align 8
+; CHECK: @ptr_to_func_align = internal global i32 ptrtoint (void ()* @func to i32), align 8
+; CHECK: .type ptr_to_func_align,@object
+; CHECK: .section .data,"aw",@progbits
+; CHECK: .align 8
+; CHECK:ptr_to_func_align:
+; CHECK: .long func
+; CHECK: .size ptr_to_func_align, 4
+
+@const_ptr_to_func_align = internal constant i32 ptrtoint (void ()* @func to i32), align 8
+; CHECK: @const_ptr_to_func_align = internal constant i32 ptrtoint (void ()* @func to i32), align 8
+; CHECK: .type const_ptr_to_func_align,@object
+; CHECK: .section .rodata,"a",@progbits
+; CHECK: .align 8
+; CHECK:const_ptr_to_func_align:
+; CHECK: .long func
+; CHECK: .size const_ptr_to_func_align, 4
+
+@char = internal constant [1 x i8] c"0"
+; CHECK: @char = internal constant [1 x i8] c"0"
+; CHECK: .type char,@object
+; CHECK: .section .rodata,"a",@progbits
+; CHECK:char:
+; CHECK: .byte 48
+; CHECK: .size char, 1
+
+@short = internal constant [2 x i8] zeroinitializer
+; CHECK: @short = internal constant [2 x i8] zeroinitializer
+; CHECK: .type short,@object
+; CHECK: .section .rodata,"a",@progbits
+; CHECK:short:
+; CHECK: .zero 2
+; CHECK: .size short, 2
+
+define void @func() {
+ ret void
+}
+
+; CHECK: define void @func() {
+
« src/PNaClTranslator.cpp ('K') | « src/PNaClTranslator.cpp ('k') | tests_lit/reader_tests/globalinit.pnacl.ll » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698