blob: 302624a273692a34ec9fd1215563b80b03bc3925 [file] [log] [blame]
David Srbecky15c19752015-03-31 14:53:55 +00001/*
2 * Copyright (C) 2015 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17#include "dwarf_test.h"
18
David Srbecky2faab002019-02-12 16:35:48 +000019#include "dwarf/debug_frame_opcode_writer.h"
20#include "dwarf/debug_info_entry_writer.h"
21#include "dwarf/debug_line_opcode_writer.h"
22#include "dwarf/dwarf_constants.h"
23#include "dwarf/headers.h"
David Srbecky15c19752015-03-31 14:53:55 +000024#include "gtest/gtest.h"
25
26namespace art {
27namespace dwarf {
28
29// Run the tests only on host since we need objdump.
Bilyan Borisovbb661c02016-04-04 16:27:32 +010030#ifndef ART_TARGET_ANDROID
David Srbecky15c19752015-03-31 14:53:55 +000031
32TEST_F(DwarfTest, DebugFrame) {
33 const bool is64bit = false;
34
35 // Pick offset value which would catch Uleb vs Sleb errors.
36 const int offset = 40000;
37 ASSERT_EQ(UnsignedLeb128Size(offset / 4), 2u);
38 ASSERT_EQ(SignedLeb128Size(offset / 4), 3u);
David Srbecky15c19752015-03-31 14:53:55 +000039 const Reg reg(6);
40
41 // Test the opcodes in the order mentioned in the spec.
42 // There are usually several encoding variations of each opcode.
43 DebugFrameOpCodeWriter<> opcodes;
David Srbeckyb461b532020-07-13 17:45:22 +000044 DW_CHECK(".debug_frame contents:");
David Srbecky15c19752015-03-31 14:53:55 +000045 DW_CHECK("FDE");
Stephen Hines331c8e32020-09-11 17:03:58 -070046 DW_CHECK_NEXT("DWARF32");
David Srbeckyb461b532020-07-13 17:45:22 +000047 DW_CHECK_NEXT("DW_CFA_nop:"); // TODO: Why is a nop here.
David Srbecky15c19752015-03-31 14:53:55 +000048 int pc = 0;
49 for (int i : {0, 1, 0x3F, 0x40, 0xFF, 0x100, 0xFFFF, 0x10000}) {
50 pc += i;
51 opcodes.AdvancePC(pc);
52 }
David Srbeckyb461b532020-07-13 17:45:22 +000053 DW_CHECK_NEXT("DW_CFA_advance_loc: 1");
54 DW_CHECK_NEXT("DW_CFA_advance_loc: 63");
55 DW_CHECK_NEXT("DW_CFA_advance_loc1: 64");
56 DW_CHECK_NEXT("DW_CFA_advance_loc1: 255");
57 DW_CHECK_NEXT("DW_CFA_advance_loc2: 256");
58 DW_CHECK_NEXT("DW_CFA_advance_loc2: 65535");
59 DW_CHECK_NEXT("DW_CFA_advance_loc4: 65536");
David Srbecky15c19752015-03-31 14:53:55 +000060 opcodes.DefCFA(reg, offset);
David Srbeckyb461b532020-07-13 17:45:22 +000061 DW_CHECK_NEXT("DW_CFA_def_cfa: reg6 +40000");
David Srbecky15c19752015-03-31 14:53:55 +000062 opcodes.DefCFA(reg, -offset);
David Srbeckyb461b532020-07-13 17:45:22 +000063 DW_CHECK_NEXT("DW_CFA_def_cfa_sf: reg6 -40000");
David Srbecky15c19752015-03-31 14:53:55 +000064 opcodes.DefCFARegister(reg);
David Srbeckyb461b532020-07-13 17:45:22 +000065 DW_CHECK_NEXT("DW_CFA_def_cfa_register: reg6");
David Srbecky15c19752015-03-31 14:53:55 +000066 opcodes.DefCFAOffset(offset);
David Srbeckyb461b532020-07-13 17:45:22 +000067 DW_CHECK_NEXT("DW_CFA_def_cfa_offset: +40000");
David Srbecky15c19752015-03-31 14:53:55 +000068 opcodes.DefCFAOffset(-offset);
69 DW_CHECK_NEXT("DW_CFA_def_cfa_offset_sf: -40000");
David Srbeckyb461b532020-07-13 17:45:22 +000070 uint8_t expr[] = { /*nop*/ 0x96 };
David Srbecky15c19752015-03-31 14:53:55 +000071 opcodes.DefCFAExpression(expr, arraysize(expr));
David Srbeckyb461b532020-07-13 17:45:22 +000072 DW_CHECK_NEXT("DW_CFA_def_cfa_expression: DW_OP_nop");
David Srbecky15c19752015-03-31 14:53:55 +000073 opcodes.Undefined(reg);
David Srbeckyb461b532020-07-13 17:45:22 +000074 DW_CHECK_NEXT("DW_CFA_undefined: reg6");
David Srbecky15c19752015-03-31 14:53:55 +000075 opcodes.SameValue(reg);
David Srbeckyb461b532020-07-13 17:45:22 +000076 DW_CHECK_NEXT("DW_CFA_same_value: reg6");
David Srbecky15c19752015-03-31 14:53:55 +000077 opcodes.Offset(Reg(0x3F), -offset);
David Srbeckyb461b532020-07-13 17:45:22 +000078 DW_CHECK_NEXT("DW_CFA_offset: reg63 -40000");
David Srbecky15c19752015-03-31 14:53:55 +000079 opcodes.Offset(Reg(0x40), -offset);
David Srbeckyb461b532020-07-13 17:45:22 +000080 DW_CHECK_NEXT("DW_CFA_offset_extended: reg64 -40000");
David Srbecky15c19752015-03-31 14:53:55 +000081 opcodes.Offset(Reg(0x40), offset);
David Srbeckyb461b532020-07-13 17:45:22 +000082 DW_CHECK_NEXT("DW_CFA_offset_extended_sf: reg64 40000");
David Srbecky15c19752015-03-31 14:53:55 +000083 opcodes.ValOffset(reg, -offset);
David Srbeckyb461b532020-07-13 17:45:22 +000084 DW_CHECK_NEXT("DW_CFA_val_offset: reg6 -40000");
David Srbecky15c19752015-03-31 14:53:55 +000085 opcodes.ValOffset(reg, offset);
David Srbeckyb461b532020-07-13 17:45:22 +000086 DW_CHECK_NEXT("DW_CFA_val_offset_sf: reg6 40000");
David Srbecky15c19752015-03-31 14:53:55 +000087 opcodes.Register(reg, Reg(1));
David Srbeckyb461b532020-07-13 17:45:22 +000088 DW_CHECK_NEXT("DW_CFA_register: reg6 reg1");
David Srbecky15c19752015-03-31 14:53:55 +000089 opcodes.Expression(reg, expr, arraysize(expr));
David Srbeckyb461b532020-07-13 17:45:22 +000090 DW_CHECK_NEXT("DW_CFA_expression: reg6 DW_OP_nop");
David Srbecky15c19752015-03-31 14:53:55 +000091 opcodes.ValExpression(reg, expr, arraysize(expr));
David Srbeckyb461b532020-07-13 17:45:22 +000092 DW_CHECK_NEXT("DW_CFA_val_expression: reg6 DW_OP_nop");
David Srbecky15c19752015-03-31 14:53:55 +000093 opcodes.Restore(Reg(0x3F));
David Srbeckyb461b532020-07-13 17:45:22 +000094 DW_CHECK_NEXT("DW_CFA_restore: reg63");
David Srbecky15c19752015-03-31 14:53:55 +000095 opcodes.Restore(Reg(0x40));
David Srbeckyb461b532020-07-13 17:45:22 +000096 DW_CHECK_NEXT("DW_CFA_restore_extended: reg64");
David Srbecky15c19752015-03-31 14:53:55 +000097 opcodes.Restore(reg);
David Srbeckyb461b532020-07-13 17:45:22 +000098 DW_CHECK_NEXT("DW_CFA_restore: reg6");
David Srbecky15c19752015-03-31 14:53:55 +000099 opcodes.RememberState();
David Srbeckyb461b532020-07-13 17:45:22 +0000100 DW_CHECK_NEXT("DW_CFA_remember_state:");
David Srbecky15c19752015-03-31 14:53:55 +0000101 opcodes.RestoreState();
David Srbeckyb461b532020-07-13 17:45:22 +0000102 DW_CHECK_NEXT("DW_CFA_restore_state:");
David Srbecky15c19752015-03-31 14:53:55 +0000103 opcodes.Nop();
David Srbeckyb461b532020-07-13 17:45:22 +0000104 DW_CHECK_NEXT("DW_CFA_nop:");
David Srbecky15c19752015-03-31 14:53:55 +0000105
106 // Also test helpers.
107 opcodes.DefCFA(Reg(4), 100); // ESP
David Srbeckyb461b532020-07-13 17:45:22 +0000108 DW_CHECK_NEXT("DW_CFA_def_cfa: reg4 +100");
David Srbecky15c19752015-03-31 14:53:55 +0000109 opcodes.AdjustCFAOffset(8);
David Srbeckyb461b532020-07-13 17:45:22 +0000110 DW_CHECK_NEXT("DW_CFA_def_cfa_offset: +108");
David Srbecky15c19752015-03-31 14:53:55 +0000111 opcodes.RelOffset(Reg(0), 0); // push R0
David Srbeckyb461b532020-07-13 17:45:22 +0000112 DW_CHECK_NEXT("DW_CFA_offset: reg0 -108");
David Srbecky15c19752015-03-31 14:53:55 +0000113 opcodes.RelOffset(Reg(1), 4); // push R1
David Srbeckyb461b532020-07-13 17:45:22 +0000114 DW_CHECK_NEXT("DW_CFA_offset: reg1 -104");
David Srbecky15c19752015-03-31 14:53:55 +0000115 opcodes.RelOffsetForMany(Reg(2), 8, 1 | (1 << 3), 4); // push R2 and R5
David Srbeckyb461b532020-07-13 17:45:22 +0000116 DW_CHECK_NEXT("DW_CFA_offset: reg2 -100");
117 DW_CHECK_NEXT("DW_CFA_offset: reg5 -96");
David Srbecky15c19752015-03-31 14:53:55 +0000118 opcodes.RestoreMany(Reg(2), 1 | (1 << 3)); // pop R2 and R5
David Srbeckyb461b532020-07-13 17:45:22 +0000119 DW_CHECK_NEXT("DW_CFA_restore: reg2");
120 DW_CHECK_NEXT("DW_CFA_restore: reg5");
David Srbecky15c19752015-03-31 14:53:55 +0000121
David Srbecky15c19752015-03-31 14:53:55 +0000122 DebugFrameOpCodeWriter<> initial_opcodes;
David Srbecky91b29002019-02-08 15:51:31 +0000123 WriteCIE(is64bit, Reg(is64bit ? 16 : 8), initial_opcodes, &debug_frame_data_);
David Srbecky91b29002019-02-08 15:51:31 +0000124 WriteFDE(is64bit,
David Srbecky7370d922019-02-12 14:00:30 +0000125 /* cie_pointer= */ 0,
David Srbecky91b29002019-02-08 15:51:31 +0000126 0x01000000,
127 0x01000000,
128 ArrayRef<const uint8_t>(*opcodes.data()),
David Srbecky7370d922019-02-12 14:00:30 +0000129 &debug_frame_data_);
David Srbecky2f6cdb02015-04-11 00:17:53 +0100130
David Srbeckyb461b532020-07-13 17:45:22 +0000131 CheckObjdumpOutput(is64bit, "-debug-frame");
David Srbecky15c19752015-03-31 14:53:55 +0000132}
133
Nicolas Geoffrayde3e70f2019-02-22 12:07:29 +0000134TEST_F(DwarfTest, DISABLED_DebugFrame64) {
David Srbeckyb5362472015-04-08 19:37:39 +0100135 constexpr bool is64bit = true;
136 DebugFrameOpCodeWriter<> initial_opcodes;
David Srbecky91b29002019-02-08 15:51:31 +0000137 WriteCIE(is64bit, Reg(16), initial_opcodes, &debug_frame_data_);
David Srbeckyb5362472015-04-08 19:37:39 +0100138 DebugFrameOpCodeWriter<> opcodes;
David Srbeckyb461b532020-07-13 17:45:22 +0000139 DW_CHECK(".debug_frame contents:");
David Srbecky91b29002019-02-08 15:51:31 +0000140 WriteFDE(is64bit,
David Srbecky7370d922019-02-12 14:00:30 +0000141 /* cie_pointer= */ 0,
David Srbecky91b29002019-02-08 15:51:31 +0000142 0x0100000000000000,
143 0x0200000000000000,
David Srbecky6d8c8f02015-10-26 10:57:09 +0000144 ArrayRef<const uint8_t>(*opcodes.data()),
David Srbecky7370d922019-02-12 14:00:30 +0000145 &debug_frame_data_);
David Srbecky15c19752015-03-31 14:53:55 +0000146 DW_CHECK("FDE cie=00000000 pc=100000000000000..300000000000000");
David Srbecky2f6cdb02015-04-11 00:17:53 +0100147
David Srbeckyb461b532020-07-13 17:45:22 +0000148 CheckObjdumpOutput(is64bit, "-debug-frame");
David Srbecky15c19752015-03-31 14:53:55 +0000149}
150
David Srbeckyc2055cf2015-04-12 14:58:39 +0100151// Test x86_64 register mapping. It is the only non-trivial architecture.
Vladimir Marko03e87162020-02-25 16:29:21 +0000152// ARM and X86 have: dwarf_reg = art_reg + constant.
David Srbeckyc2055cf2015-04-12 14:58:39 +0100153TEST_F(DwarfTest, x86_64_RegisterMapping) {
154 constexpr bool is64bit = true;
155 DebugFrameOpCodeWriter<> opcodes;
David Srbeckyb461b532020-07-13 17:45:22 +0000156 DW_CHECK(".debug_frame contents:");
David Srbeckyc2055cf2015-04-12 14:58:39 +0100157 for (int i = 0; i < 16; i++) {
158 opcodes.RelOffset(Reg::X86_64Core(i), 0);
159 }
160 DW_CHECK("FDE");
Stephen Hines331c8e32020-09-11 17:03:58 -0700161 DW_CHECK_NEXT("DWARF32");
David Srbeckyb461b532020-07-13 17:45:22 +0000162 DW_CHECK_NEXT("DW_CFA_nop:"); // TODO: Why is a nop here.
163 DW_CHECK_NEXT("DW_CFA_offset: reg0 0");
164 DW_CHECK_NEXT("DW_CFA_offset: reg2 0");
165 DW_CHECK_NEXT("DW_CFA_offset: reg1 0");
166 DW_CHECK_NEXT("DW_CFA_offset: reg3 0");
167 DW_CHECK_NEXT("DW_CFA_offset: reg7 0");
168 DW_CHECK_NEXT("DW_CFA_offset: reg6 0");
169 DW_CHECK_NEXT("DW_CFA_offset: reg4 0");
170 DW_CHECK_NEXT("DW_CFA_offset: reg5 0");
171 DW_CHECK_NEXT("DW_CFA_offset: reg8 0");
172 DW_CHECK_NEXT("DW_CFA_offset: reg9 0");
173 DW_CHECK_NEXT("DW_CFA_offset: reg10 0");
174 DW_CHECK_NEXT("DW_CFA_offset: reg11 0");
175 DW_CHECK_NEXT("DW_CFA_offset: reg12 0");
176 DW_CHECK_NEXT("DW_CFA_offset: reg13 0");
177 DW_CHECK_NEXT("DW_CFA_offset: reg14 0");
178 DW_CHECK_NEXT("DW_CFA_offset: reg15 0");
179
David Srbeckyc2055cf2015-04-12 14:58:39 +0100180 DebugFrameOpCodeWriter<> initial_opcodes;
David Srbecky91b29002019-02-08 15:51:31 +0000181 WriteCIE(is64bit, Reg(16), initial_opcodes, &debug_frame_data_);
David Srbecky91b29002019-02-08 15:51:31 +0000182 WriteFDE(is64bit,
David Srbecky7370d922019-02-12 14:00:30 +0000183 /* cie_pointer= */ 0,
David Srbecky91b29002019-02-08 15:51:31 +0000184 0x0100000000000000,
185 0x0200000000000000,
David Srbecky6d8c8f02015-10-26 10:57:09 +0000186 ArrayRef<const uint8_t>(*opcodes.data()),
David Srbecky7370d922019-02-12 14:00:30 +0000187 &debug_frame_data_);
David Srbeckyc2055cf2015-04-12 14:58:39 +0100188
David Srbeckyb461b532020-07-13 17:45:22 +0000189 CheckObjdumpOutput(is64bit, "-debug-frame");
David Srbeckyc2055cf2015-04-12 14:58:39 +0100190}
191
David Srbeckyb461b532020-07-13 17:45:22 +0000192TEST_F(DwarfTest, DebugLine) {
David Srbecky15c19752015-03-31 14:53:55 +0000193 const bool is64bit = false;
194 const int code_factor_bits = 1;
195 DebugLineOpCodeWriter<> opcodes(is64bit, code_factor_bits);
David Srbeckyb461b532020-07-13 17:45:22 +0000196 DW_CHECK(".debug_line contents:");
David Srbecky15c19752015-03-31 14:53:55 +0000197
198 std::vector<std::string> include_directories;
199 include_directories.push_back("/path/to/source");
David Srbeckyb461b532020-07-13 17:45:22 +0000200 DW_CHECK("include_directories[ 1] = \"/path/to/source\"");
David Srbecky15c19752015-03-31 14:53:55 +0000201
David Srbeckyb5362472015-04-08 19:37:39 +0100202 std::vector<FileEntry> files {
David Srbecky15c19752015-03-31 14:53:55 +0000203 { "file0.c", 0, 1000, 2000 },
204 { "file1.c", 1, 1000, 2000 },
205 { "file2.c", 1, 1000, 2000 },
206 };
David Srbeckyb461b532020-07-13 17:45:22 +0000207 DW_CHECK_NEXT("file_names[ 1]:");
208 DW_CHECK_NEXT(" name: \"file0.c\"");
209 DW_CHECK_NEXT(" dir_index: 0");
210 DW_CHECK_NEXT(" mod_time: 0x000003e8");
211 DW_CHECK_NEXT(" length: 0x000007d0");
212 DW_CHECK_NEXT("file_names[ 2]:");
213 DW_CHECK_NEXT(" name: \"file1.c\"");
214 DW_CHECK_NEXT(" dir_index: 1");
215 DW_CHECK_NEXT(" mod_time: 0x000003e8");
216 DW_CHECK_NEXT(" length: 0x000007d0");
217 DW_CHECK_NEXT("file_names[ 3]:");
218 DW_CHECK_NEXT(" name: \"file2.c\"");
219 DW_CHECK_NEXT(" dir_index: 1");
220 DW_CHECK_NEXT(" mod_time: 0x000003e8");
221 DW_CHECK_NEXT(" length: 0x000007d0");
David Srbecky15c19752015-03-31 14:53:55 +0000222
David Srbecky15c19752015-03-31 14:53:55 +0000223 opcodes.SetAddress(0x01000000);
Alex Lightea54b822020-07-10 18:28:56 +0000224 opcodes.SetIsStmt(true);
David Srbeckyb461b532020-07-13 17:45:22 +0000225 opcodes.AddRow();
226 opcodes.AdvancePC(0x01000100);
227 opcodes.SetFile(2);
228 opcodes.AdvanceLine(3);
229 opcodes.SetColumn(4);
David Srbecky91cc06c2016-03-07 16:13:58 +0000230 opcodes.SetIsStmt(false);
David Srbecky15c19752015-03-31 14:53:55 +0000231 opcodes.SetBasicBlock();
David Srbecky15c19752015-03-31 14:53:55 +0000232 opcodes.SetPrologueEnd();
David Srbecky15c19752015-03-31 14:53:55 +0000233 opcodes.SetEpilogueBegin();
David Srbecky15c19752015-03-31 14:53:55 +0000234 opcodes.SetISA(5);
David Srbecky15c19752015-03-31 14:53:55 +0000235 opcodes.EndSequence();
David Srbecky15c19752015-03-31 14:53:55 +0000236 opcodes.DefineFile("file.c", 0, 1000, 2000);
David Srbeckyb461b532020-07-13 17:45:22 +0000237 DW_CHECK_NEXT("Address Line Column File ISA Discriminator Flags");
238 DW_CHECK_NEXT("------------------ ------ ------ ------ --- ------------- -------------");
239 DW_CHECK_NEXT("0x0000000001000000 1 0 1 0 0 is_stmt");
240 DW_CHECK_NEXT("0x0000000001000100 3 4 2 5 0 basic_block prologue_end epilogue_begin end_sequence");
David Srbecky15c19752015-03-31 14:53:55 +0000241
David Srbecky7370d922019-02-12 14:00:30 +0000242 WriteDebugLineTable(include_directories, files, opcodes, &debug_line_data_);
David Srbecky2f6cdb02015-04-11 00:17:53 +0100243
David Srbeckyb461b532020-07-13 17:45:22 +0000244 CheckObjdumpOutput(is64bit, "-debug-line");
David Srbecky15c19752015-03-31 14:53:55 +0000245}
246
247// DWARF has special one byte codes which advance PC and line at the same time.
248TEST_F(DwarfTest, DebugLineSpecialOpcodes) {
249 const bool is64bit = false;
250 const int code_factor_bits = 1;
251 uint32_t pc = 0x01000000;
252 int line = 1;
253 DebugLineOpCodeWriter<> opcodes(is64bit, code_factor_bits);
254 opcodes.SetAddress(pc);
255 size_t num_rows = 0;
David Srbeckyb461b532020-07-13 17:45:22 +0000256 DW_CHECK(".debug_line contents:");
257 DW_CHECK("file_names[ 1]:");
258 DW_CHECK(" name: \"file.c\"");
259 DW_CHECK("Address Line Column File ISA Discriminator Flags");
260 DW_CHECK("------------------ ------ ------ ------ --- ------------- -------------");
David Srbecky15c19752015-03-31 14:53:55 +0000261 for (int addr_delta = 0; addr_delta < 80; addr_delta += 2) {
262 for (int line_delta = 16; line_delta >= -16; --line_delta) {
263 pc += addr_delta;
264 line += line_delta;
265 opcodes.AddRow(pc, line);
266 num_rows++;
267 ASSERT_EQ(opcodes.CurrentAddress(), pc);
268 ASSERT_EQ(opcodes.CurrentLine(), line);
269 char expected[1024];
David Srbeckyb461b532020-07-13 17:45:22 +0000270 sprintf(expected, "0x%016x %6i 0 1 0 0", pc, line);
David Srbecky15c19752015-03-31 14:53:55 +0000271 DW_CHECK_NEXT(expected);
272 }
273 }
David Srbeckyb461b532020-07-13 17:45:22 +0000274 opcodes.EndSequence();
David Srbecky15c19752015-03-31 14:53:55 +0000275 EXPECT_LT(opcodes.data()->size(), num_rows * 3);
276
277 std::vector<std::string> directories;
Igor Murashkin5573c372017-11-16 13:34:30 -0800278 std::vector<FileEntry> files = { { "file.c", 0, 1000, 2000 } };
David Srbecky7370d922019-02-12 14:00:30 +0000279 WriteDebugLineTable(directories, files, opcodes, &debug_line_data_);
David Srbecky2f6cdb02015-04-11 00:17:53 +0100280
David Srbeckyb461b532020-07-13 17:45:22 +0000281 CheckObjdumpOutput(is64bit, "-debug-line");
David Srbecky15c19752015-03-31 14:53:55 +0000282}
283
David Srbeckyb5362472015-04-08 19:37:39 +0100284TEST_F(DwarfTest, DebugInfo) {
285 constexpr bool is64bit = false;
David Srbeckyb461b532020-07-13 17:45:22 +0000286
David Srbecky24868a12016-01-29 18:59:56 +0000287 DebugAbbrevWriter<> debug_abbrev(&debug_abbrev_data_);
David Srbeckyb461b532020-07-13 17:45:22 +0000288 DW_CHECK(".debug_abbrev contents:");
289 DW_CHECK_NEXT("Abbrev table for offset: 0x00000000");
290 DW_CHECK_NEXT("[1] DW_TAG_compile_unit DW_CHILDREN_yes");
291 DW_CHECK_NEXT(" DW_AT_producer DW_FORM_strp");
292 DW_CHECK_NEXT(" DW_AT_low_pc DW_FORM_addr");
293 DW_CHECK_NEXT(" DW_AT_high_pc DW_FORM_addr");
294 DW_CHECK_NEXT("[2] DW_TAG_subprogram DW_CHILDREN_no");
295 DW_CHECK_NEXT(" DW_AT_name DW_FORM_strp");
296 DW_CHECK_NEXT(" DW_AT_low_pc DW_FORM_addr");
297 DW_CHECK_NEXT(" DW_AT_high_pc DW_FORM_addr");
298 DW_CHECK_NEXT("[3] DW_TAG_compile_unit DW_CHILDREN_no");
299
David Srbecky24868a12016-01-29 18:59:56 +0000300 DebugInfoEntryWriter<> info(is64bit, &debug_abbrev);
David Srbeckyb461b532020-07-13 17:45:22 +0000301 DW_CHECK(".debug_info contents:");
David Srbecky04b05262015-11-09 18:05:48 +0000302 info.StartTag(dwarf::DW_TAG_compile_unit);
Stephen Hines331c8e32020-09-11 17:03:58 -0700303 DW_CHECK_NEXT("Compile Unit: length = 0x00000030, format = DWARF32, version = 0x0004, abbr_offset = 0x0000, addr_size = 0x04");
David Srbeckyb461b532020-07-13 17:45:22 +0000304 DW_CHECK_NEXT("DW_TAG_compile_unit");
David Srbeckyb5362472015-04-08 19:37:39 +0100305 info.WriteStrp(dwarf::DW_AT_producer, "Compiler name", &debug_str_data_);
David Srbeckyb461b532020-07-13 17:45:22 +0000306 DW_CHECK_NEXT(" DW_AT_producer (\"Compiler name\")");
David Srbeckyb5362472015-04-08 19:37:39 +0100307 info.WriteAddr(dwarf::DW_AT_low_pc, 0x01000000);
David Srbeckyb461b532020-07-13 17:45:22 +0000308 DW_CHECK_NEXT(" DW_AT_low_pc (0x0000000001000000)");
David Srbeckyb5362472015-04-08 19:37:39 +0100309 info.WriteAddr(dwarf::DW_AT_high_pc, 0x02000000);
David Srbeckyb461b532020-07-13 17:45:22 +0000310 DW_CHECK_NEXT(" DW_AT_high_pc (0x0000000002000000)");
David Srbecky04b05262015-11-09 18:05:48 +0000311 info.StartTag(dwarf::DW_TAG_subprogram);
David Srbeckyb461b532020-07-13 17:45:22 +0000312 DW_CHECK_NEXT(" DW_TAG_subprogram");
David Srbeckyb5362472015-04-08 19:37:39 +0100313 info.WriteStrp(dwarf::DW_AT_name, "Foo", &debug_str_data_);
David Srbeckyb461b532020-07-13 17:45:22 +0000314 DW_CHECK_NEXT(" DW_AT_name (\"Foo\")");
David Srbeckyb5362472015-04-08 19:37:39 +0100315 info.WriteAddr(dwarf::DW_AT_low_pc, 0x01010000);
David Srbeckyb461b532020-07-13 17:45:22 +0000316 DW_CHECK_NEXT(" DW_AT_low_pc (0x0000000001010000)");
David Srbeckyb5362472015-04-08 19:37:39 +0100317 info.WriteAddr(dwarf::DW_AT_high_pc, 0x01020000);
David Srbeckyb461b532020-07-13 17:45:22 +0000318 DW_CHECK_NEXT(" DW_AT_high_pc (0x0000000001020000)");
David Srbeckyb5362472015-04-08 19:37:39 +0100319 info.EndTag(); // DW_TAG_subprogram
David Srbecky04b05262015-11-09 18:05:48 +0000320 info.StartTag(dwarf::DW_TAG_subprogram);
David Srbeckyb461b532020-07-13 17:45:22 +0000321 DW_CHECK_NEXT(" DW_TAG_subprogram");
David Srbeckyb5362472015-04-08 19:37:39 +0100322 info.WriteStrp(dwarf::DW_AT_name, "Bar", &debug_str_data_);
David Srbeckyb461b532020-07-13 17:45:22 +0000323 DW_CHECK_NEXT(" DW_AT_name (\"Bar\")");
David Srbeckyb5362472015-04-08 19:37:39 +0100324 info.WriteAddr(dwarf::DW_AT_low_pc, 0x01020000);
David Srbeckyb461b532020-07-13 17:45:22 +0000325 DW_CHECK_NEXT(" DW_AT_low_pc (0x0000000001020000)");
David Srbeckyb5362472015-04-08 19:37:39 +0100326 info.WriteAddr(dwarf::DW_AT_high_pc, 0x01030000);
David Srbeckyb461b532020-07-13 17:45:22 +0000327 DW_CHECK_NEXT(" DW_AT_high_pc (0x0000000001030000)");
David Srbeckyb5362472015-04-08 19:37:39 +0100328 info.EndTag(); // DW_TAG_subprogram
329 info.EndTag(); // DW_TAG_compile_unit
David Srbeckyb461b532020-07-13 17:45:22 +0000330 DW_CHECK_NEXT(" NULL");
David Srbeckyb5362472015-04-08 19:37:39 +0100331 // Test that previous list was properly terminated and empty children.
David Srbecky04b05262015-11-09 18:05:48 +0000332 info.StartTag(dwarf::DW_TAG_compile_unit);
David Srbeckyb5362472015-04-08 19:37:39 +0100333 info.EndTag(); // DW_TAG_compile_unit
334
David Srbecky7370d922019-02-12 14:00:30 +0000335 dwarf::WriteDebugInfoCU(/* debug_abbrev_offset= */ 0, info, &debug_info_data_);
David Srbecky2f6cdb02015-04-11 00:17:53 +0100336
David Srbeckyb461b532020-07-13 17:45:22 +0000337 CheckObjdumpOutput(is64bit, "-debug-info -debug-abbrev");
David Srbeckyb5362472015-04-08 19:37:39 +0100338}
339
Bilyan Borisovbb661c02016-04-04 16:27:32 +0100340#endif // ART_TARGET_ANDROID
David Srbecky15c19752015-03-31 14:53:55 +0000341
342} // namespace dwarf
343} // namespace art