Blame SOURCES/gdb-rhbz1420304-s390x-19of35.patch

e1d87d
commit 3bf310110722b03d9ff9c4f34f5920a9be2878d0
e1d87d
Author: Andreas Arnez <arnez@linux.vnet.ibm.com>
e1d87d
Date:   Tue Jun 13 15:20:29 2017 +0200
e1d87d
e1d87d
    Add DWARF piece test cases for bit-field access
e1d87d
    
e1d87d
    This verifies some of the previous fixes to the logic in
e1d87d
    write_pieced_value when accessing bit-fields.
e1d87d
    
e1d87d
    gdb/testsuite/ChangeLog:
e1d87d
    
e1d87d
            * gdb.dwarf2/var-access.exp: Add tests for accessing bit-fields
e1d87d
            located in one or more DWARF pieces.
e1d87d
e1d87d
### a/gdb/testsuite/ChangeLog
e1d87d
### b/gdb/testsuite/ChangeLog
e1d87d
## -1,5 +1,10 @@
e1d87d
 2017-06-13  Andreas Arnez  <arnez@linux.vnet.ibm.com>
e1d87d
 
e1d87d
+	* gdb.dwarf2/var-access.exp: Add tests for accessing bit-fields
e1d87d
+	located in one or more DWARF pieces.
e1d87d
+
e1d87d
+2017-06-13  Andreas Arnez  <arnez@linux.vnet.ibm.com>
e1d87d
+
e1d87d
 	* lib/gdb.exp (get_endianness): New proc.
e1d87d
 	* gdb.arch/aarch64-fp.exp: Use it.
e1d87d
 	* gdb.arch/altivec-regs.exp: Likewise.
e1d87d
--- a/gdb/testsuite/gdb.dwarf2/var-access.exp
e1d87d
+++ b/gdb/testsuite/gdb.dwarf2/var-access.exp
e1d87d
@@ -62,7 +62,8 @@ Dwarf::assemble $asm_file {
e1d87d
 	} {
e1d87d
 	    declare_labels char_type_label
e1d87d
 	    declare_labels int_type_label short_type_label
e1d87d
-	    declare_labels array_a8_label struct_s_label
e1d87d
+	    declare_labels array_a8_label struct_s_label struct_t_label
e1d87d
+	    declare_labels struct_st_label
e1d87d
 
e1d87d
 	    # char
e1d87d
 	    char_type_label: base_type {
e1d87d
@@ -115,6 +116,51 @@ Dwarf::assemble $asm_file {
e1d87d
 		}
e1d87d
 	    }
e1d87d
 
e1d87d
+	    # struct t { int u, x:9, y:13, z:10; };
e1d87d
+	    struct_t_label: structure_type {
e1d87d
+		{name "t"}
e1d87d
+		{byte_size 8 DW_FORM_sdata}
e1d87d
+	    } {
e1d87d
+		member {
e1d87d
+		    {name "u"}
e1d87d
+		    {type :$int_type_label}
e1d87d
+		}
e1d87d
+		member {
e1d87d
+		    {name "x"}
e1d87d
+		    {type :$int_type_label}
e1d87d
+		    {data_member_location 4 DW_FORM_udata}
e1d87d
+		    {bit_size 9 DW_FORM_udata}
e1d87d
+		}
e1d87d
+		member {
e1d87d
+		    {name "y"}
e1d87d
+		    {type :$int_type_label}
e1d87d
+		    {data_bit_offset 41 DW_FORM_udata}
e1d87d
+		    {bit_size 13 DW_FORM_udata}
e1d87d
+		}
e1d87d
+		member {
e1d87d
+		    {name "z"}
e1d87d
+		    {type :$int_type_label}
e1d87d
+		    {data_bit_offset 54 DW_FORM_udata}
e1d87d
+		    {bit_size 10 DW_FORM_udata}
e1d87d
+		}
e1d87d
+	    }
e1d87d
+
e1d87d
+	    # struct st { struct s s; struct t t; };
e1d87d
+	    struct_st_label: structure_type {
e1d87d
+		{name "st"}
e1d87d
+		{byte_size 12 DW_FORM_udata}
e1d87d
+	    } {
e1d87d
+		member {
e1d87d
+		    {name "s"}
e1d87d
+		    {type :$struct_s_label}
e1d87d
+		}
e1d87d
+		member {
e1d87d
+		    {name "t"}
e1d87d
+		    {type :$struct_t_label}
e1d87d
+		    {data_member_location 4 DW_FORM_udata}
e1d87d
+		}
e1d87d
+	    }
e1d87d
+
e1d87d
 	    DW_TAG_subprogram {
e1d87d
 		{MACRO_AT_func { main ${srcdir}/${subdir}/${srcfile} }}
e1d87d
 		{DW_AT_external 1 flag}
e1d87d
@@ -156,6 +202,19 @@ Dwarf::assemble $asm_file {
e1d87d
 			piece 1
e1d87d
 		    } SPECIAL_expr}
e1d87d
 		}
e1d87d
+		# Memory pieces for bitfield access: 8 bytes optimized
e1d87d
+		# out, 3 bytes from &buf[3], and 1 byte from &buf[1].
e1d87d
+		DW_TAG_variable {
e1d87d
+		    {name "st1"}
e1d87d
+		    {type :$struct_st_label}
e1d87d
+		    {location {
e1d87d
+			piece 8
e1d87d
+			addr "$buf_var + 3"
e1d87d
+			piece 3
e1d87d
+			addr "$buf_var + 1"
e1d87d
+			piece 1
e1d87d
+		    } SPECIAL_expr}
e1d87d
+		}
e1d87d
 	    }
e1d87d
 	}
e1d87d
     }
e1d87d
@@ -170,6 +229,9 @@ if ![runto_main] {
e1d87d
     return -1
e1d87d
 }
e1d87d
 
e1d87d
+# Determine byte order.
e1d87d
+set endian [get_endianness]
e1d87d
+
e1d87d
 # Byte-aligned memory pieces.
e1d87d
 gdb_test "print/d s1" " = \\{a = 2, b = 3, c = 0, d = 1\\}" \
e1d87d
     "s1 == re-ordered buf"
e1d87d
@@ -200,3 +262,20 @@ gdb_test_no_output "set var s2 = {191, 73, 231, 123}" \
e1d87d
     "re-initialize s2"
e1d87d
 gdb_test "print/d s2"  " = \\{a = 191, b = 73, c = 231, d = 123\\}" \
e1d87d
     "verify re-initialized s2"
e1d87d
+
e1d87d
+# Unaligned bitfield access through byte-aligned pieces.
e1d87d
+gdb_test_no_output "set var a = { 0 }"
e1d87d
+gdb_test_no_output "set var st1.t.x = -7"
e1d87d
+gdb_test_no_output "set var st1.t.z = 340"
e1d87d
+gdb_test_no_output "set var st1.t.y = 1234"
e1d87d
+gdb_test "print st1.t" " = \\{u = <optimized out>, x = -7, y = 1234, z = 340\\}" \
e1d87d
+    "verify st1.t"
e1d87d
+switch $endian {
e1d87d
+    little {set val "0x55, 0x0, 0xf9, 0xa5, 0x9"}
e1d87d
+    big {set val "0x54, 0x0, 0xfc, 0x93, 0x49"}
e1d87d
+}
e1d87d
+# | -- | z:2-9 | -- | x:0-7 | x:8 y:0-6 | y:7-12 z:0-1 | -- | -- |
e1d87d
+#      \_______________________________________________/
e1d87d
+#                             val
e1d87d
+gdb_test "print/x a" " = \\{0x0, ${val}, 0x0, 0x0\\}" \
e1d87d
+    "verify st1 through a"