#! /bin/sh

# Copyright (C) 2015 Red Hat, Inc.

# This file is part of elfutils.

#

# This file is free software; you can redistribute it and/or modify

# it under the terms of the GNU General Public License as published by

# the Free Software Foundation; either version 3 of the License, or

# (at your option) any later version.

#

# elfutils is distributed in the hope that it will be useful, but

# WITHOUT ANY WARRANTY; without even the implied warranty of

# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

# GNU General Public License for more details.

#

# You should have received a copy of the GNU General Public License

# along with this program.  If not, see <http://www.gnu.org/licenses/>.

. $srcdir/test-subr.sh

# - testfile-zdebug-rel.c

# #define UINT64_MAX 18446744073709551615UL

#

# int

# main (int argc, char **argv)

# {

#   unsigned long a = UINT64_MAX - 8;

#   unsigned long b = 42 + argc;

#

#   if ( a + b < b )

#     argc = a + argc;

#   else

#      b--;

#

#   return a - b;

# }

#

# gcc -Og -g -Xassembler --compress-debug-sections=none \

#     -c -o testfile-debug-rel.o testfile-zdebug-rel.c

# gcc -Og -g -Xassembler --compress-debug-sections=zlib-gnu \

#     -c -o testfile-debug-rel-g.o testfile-zdebug-rel.c

# gcc -Og -g -Xassembler --compress-debug-sections=zlib-gabi \

#     -c -o testfile-debug-rel-z.o testfile-zdebug-rel.c

testfiles testfile-debug-rel.o testfile-debug-rel-g.o testfile-debug-rel-z.o

tempfiles readelf.out

tempfiles info.out loc.out

cat > info.out << \EOF

DWARF section [ 4] '.debug_info' at offset 0x58:

 [Offset]

 Compilation unit at offset 0:

 Version: 4, Abbreviation section offset: 0, Address size: 8, Offset size: 4

 [     b]  compile_unit         abbrev: 1

           producer             (strp) "GNU C11 5.3.1 20151207 (Red Hat 5.3.1-2) -mtune=generic -march=x86-64 -g -Og"

           language             (data1) C99 (12)

           name                 (strp) "testfile-zdebug-rel.c"

           comp_dir             (strp) "/tmp"

           low_pc               (addr) 000000000000000000

           high_pc              (data8) 24 (0x0000000000000018)

           stmt_list            (sec_offset) 0

 [    2d]    subprogram           abbrev: 2

             external             (flag_present) yes

             name                 (strp) "main"

             decl_file            (data1) testfile-zdebug-rel.c (1)

             decl_line            (data1) 4

             prototyped           (flag_present) yes

             type                 (ref4) [    80]

             low_pc               (addr) 000000000000000000

             high_pc              (data8) 24 (0x0000000000000018)

             frame_base           (exprloc) 

              [ 0] call_frame_cfa

             GNU_all_call_sites   (flag_present) yes

             sibling              (ref4) [    80]

 [    4e]      formal_parameter     abbrev: 3

               name                 (strp) "argc"

               decl_file            (data1) testfile-zdebug-rel.c (1)

               decl_line            (data1) 4

               type                 (ref4) [    80]

               location             (sec_offset) location list [     0]

 [    5d]      formal_parameter     abbrev: 4

               name                 (strp) "argv"

               decl_file            (data1) testfile-zdebug-rel.c (1)

               decl_line            (data1) 4

               type                 (ref4) [    87]

               location             (exprloc) 

                [ 0] reg4

 [    6a]      variable             abbrev: 5

               name                 (string) "a"

               decl_file            (data1) testfile-zdebug-rel.c (1)

               decl_line            (data1) 6

               type                 (ref4) [    9a]

               const_value          (sdata) 18446744073709551607 (-9)

 [    74]      variable             abbrev: 6

               name                 (string) "b"

               decl_file            (data1) testfile-zdebug-rel.c (1)

               decl_line            (data1) 7

               type                 (ref4) [    9a]

               location             (exprloc) 

                [ 0] reg5

 [    80]    base_type            abbrev: 7

             byte_size            (data1) 4

             encoding             (data1) signed (5)

             name                 (string) "int"

 [    87]    pointer_type         abbrev: 8

             byte_size            (data1) 8

             type                 (ref4) [    8d]

 [    8d]    pointer_type         abbrev: 8

             byte_size            (data1) 8

             type                 (ref4) [    93]

 [    93]    base_type            abbrev: 9

             byte_size            (data1) 1

             encoding             (data1) signed_char (6)

             name                 (strp) "char"

 [    9a]    base_type            abbrev: 9

             byte_size            (data1) 8

             encoding             (data1) unsigned (7)

             name                 (strp) "long unsigned int"

EOF

cat info.out | testrun_compare ${abs_top_builddir}/src/readelf -U --debug-dump=info testfile-debug-rel.o

cat info.out | sed -e "s/'.debug_info'/'.zdebug_info'/" | testrun_compare ${abs_top_builddir}/src/readelf -U --debug-dump=info testfile-debug-rel-g.o

cat info.out | testrun_compare ${abs_top_builddir}/src/readelf -U --debug-dump=info testfile-debug-rel-z.o

cat > loc.out << \EOF

DWARF section [ 7] '.debug_loc' at offset 0x185:

 CU [     b] base: 000000000000000000

 [     0] range 0, 3

           [ 0] reg5

          range 3, 10

           [ 0] breg5 -42

           [ 2] stack_value

          range 10, 18

           [ 0] GNU_entry_value:

                [ 0] reg5

           [ 3] stack_value

EOF

cat loc.out | testrun_compare ${abs_top_builddir}/src/readelf -U --debug-dump=loc testfile-debug-rel.o

cat loc.out | sed -e "s/'.debug_loc' at offset 0x185/'.zdebug_loc' at offset 0x138/" | testrun_compare ${abs_top_builddir}/src/readelf -U --debug-dump=loc testfile-debug-rel-g.o

cat loc.out | sed -e "s/at offset 0x185/at offset 0x150/" | testrun_compare ${abs_top_builddir}/src/readelf -U --debug-dump=loc testfile-debug-rel-z.o

# Same as above, but on ppc64

testfiles testfile-debug-rel-ppc64.o

testfiles testfile-debug-rel-ppc64-g.o testfile-debug-rel-ppc64-z.o

cat > info.out << \EOF

DWARF section [ 6] '.debug_info' at offset 0x80:

 [Offset]

 Compilation unit at offset 0:

 Version: 4, Abbreviation section offset: 0, Address size: 8, Offset size: 4

 [     b]  compile_unit         abbrev: 1

           producer             (strp) "GNU C11 7.3.1 20180712 (Red Hat 7.3.1-6) -Asystem=linux -Asystem=unix -Asystem=posix -msecure-plt -g -Og"

           language             (data1) C99 (12)

           name                 (strp) "testfile-zdebug-rel.c"

           comp_dir             (strp) "/home/mjw"

           low_pc               (addr) 000000000000000000

           high_pc              (data8) 44 (0x000000000000002c)

           stmt_list            (sec_offset) 0

 [    2d]    subprogram           abbrev: 2

             external             (flag_present) yes

             name                 (strp) "main"

             decl_file            (data1) testfile-zdebug-rel.c (1)

             decl_line            (data1) 4

             prototyped           (flag_present) yes

             type                 (ref4) [    82]

             low_pc               (addr) 000000000000000000

             high_pc              (data8) 44 (0x000000000000002c)

             frame_base           (exprloc) 

              [ 0] call_frame_cfa

             GNU_all_call_sites   (flag_present) yes

             sibling              (ref4) [    82]

 [    4e]      formal_parameter     abbrev: 3

               name                 (strp) "argc"

               decl_file            (data1) testfile-zdebug-rel.c (1)

               decl_line            (data1) 4

               type                 (ref4) [    82]

               location             (sec_offset) location list [     0]

 [    5d]      formal_parameter     abbrev: 4

               name                 (strp) "argv"

               decl_file            (data1) testfile-zdebug-rel.c (1)

               decl_line            (data1) 4

               type                 (ref4) [    89]

               location             (exprloc) 

                [ 0] reg4

 [    6a]      variable             abbrev: 5

               name                 (string) "a"

               decl_file            (data1) testfile-zdebug-rel.c (1)

               decl_line            (data1) 6

               type                 (ref4) [    9c]

               const_value          (sdata) 18446744073709551607 (-9)

 [    74]      variable             abbrev: 6

               name                 (string) "b"

               decl_file            (data1) testfile-zdebug-rel.c (1)

               decl_line            (data1) 7

               type                 (ref4) [    9c]

               location             (sec_offset) location list [    4e]

 [    82]    base_type            abbrev: 7

             byte_size            (data1) 4

             encoding             (data1) signed (5)

             name                 (string) "int"

 [    89]    pointer_type         abbrev: 8

             byte_size            (data1) 8

             type                 (ref4) [    8f]

 [    8f]    pointer_type         abbrev: 8

             byte_size            (data1) 8

             type                 (ref4) [    95]

 [    95]    base_type            abbrev: 9

             byte_size            (data1) 1

             encoding             (data1) unsigned_char (8)

             name                 (strp) "char"

 [    9c]    base_type            abbrev: 9

             byte_size            (data1) 8

             encoding             (data1) unsigned (7)

             name                 (strp) "long unsigned int"

EOF

cat info.out | testrun_compare ${abs_top_builddir}/src/readelf -U --debug-dump=info testfile-debug-rel-ppc64.o

cat info.out | sed -e "s/'.debug_info'/'.zdebug_info'/" | testrun_compare ${abs_top_builddir}/src/readelf -U --debug-dump=info testfile-debug-rel-ppc64-g.o

cat info.out | testrun_compare ${abs_top_builddir}/src/readelf -U --debug-dump=info testfile-debug-rel-ppc64-z.o

cat > loc.out << \EOF

DWARF section [ 9] '.debug_loc' at offset 0x1af:

 CU [     b] base: 000000000000000000

 [     0] range 0, 4

           [ 0] reg3

          range 4, 14

           [ 0] breg3 -42

           [ 2] stack_value

          range 14, 2c

           [ 0] GNU_entry_value:

                [ 0] reg3

           [ 3] stack_value

 [    4e] range 8, 18

           [ 0] reg3

EOF

cat loc.out | testrun_compare ${abs_top_builddir}/src/readelf -U --debug-dump=loc testfile-debug-rel-ppc64.o

cat loc.out | sed -e "s/'.debug_loc' at offset 0x1af/'.zdebug_loc' at offset 0x15f/" | testrun_compare ${abs_top_builddir}/src/readelf -U --debug-dump=loc testfile-debug-rel-ppc64-g.o

cat loc.out | sed -e "s/at offset 0x1af/at offset 0x177/" | testrun_compare ${abs_top_builddir}/src/readelf -U --debug-dump=loc testfile-debug-rel-ppc64-z.o

exit 0