| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 1 | /* |
| 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 Srbecky | 2faab00 | 2019-02-12 16:35:48 +0000 | [diff] [blame] | 19 | #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 Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 24 | #include "gtest/gtest.h" |
| 25 | |
| 26 | namespace art { |
| 27 | namespace dwarf { |
| 28 | |
| 29 | // Run the tests only on host since we need objdump. |
| Bilyan Borisov | bb661c0 | 2016-04-04 16:27:32 +0100 | [diff] [blame] | 30 | #ifndef ART_TARGET_ANDROID |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 31 | |
| 32 | TEST_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 Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 39 | 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 Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 44 | DW_CHECK(".debug_frame contents:"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 45 | DW_CHECK("FDE"); |
| Stephen Hines | 331c8e3 | 2020-09-11 17:03:58 -0700 | [diff] [blame^] | 46 | DW_CHECK_NEXT("DWARF32"); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 47 | DW_CHECK_NEXT("DW_CFA_nop:"); // TODO: Why is a nop here. |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 48 | int pc = 0; |
| 49 | for (int i : {0, 1, 0x3F, 0x40, 0xFF, 0x100, 0xFFFF, 0x10000}) { |
| 50 | pc += i; |
| 51 | opcodes.AdvancePC(pc); |
| 52 | } |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 53 | 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 Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 60 | opcodes.DefCFA(reg, offset); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 61 | DW_CHECK_NEXT("DW_CFA_def_cfa: reg6 +40000"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 62 | opcodes.DefCFA(reg, -offset); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 63 | DW_CHECK_NEXT("DW_CFA_def_cfa_sf: reg6 -40000"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 64 | opcodes.DefCFARegister(reg); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 65 | DW_CHECK_NEXT("DW_CFA_def_cfa_register: reg6"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 66 | opcodes.DefCFAOffset(offset); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 67 | DW_CHECK_NEXT("DW_CFA_def_cfa_offset: +40000"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 68 | opcodes.DefCFAOffset(-offset); |
| 69 | DW_CHECK_NEXT("DW_CFA_def_cfa_offset_sf: -40000"); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 70 | uint8_t expr[] = { /*nop*/ 0x96 }; |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 71 | opcodes.DefCFAExpression(expr, arraysize(expr)); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 72 | DW_CHECK_NEXT("DW_CFA_def_cfa_expression: DW_OP_nop"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 73 | opcodes.Undefined(reg); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 74 | DW_CHECK_NEXT("DW_CFA_undefined: reg6"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 75 | opcodes.SameValue(reg); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 76 | DW_CHECK_NEXT("DW_CFA_same_value: reg6"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 77 | opcodes.Offset(Reg(0x3F), -offset); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 78 | DW_CHECK_NEXT("DW_CFA_offset: reg63 -40000"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 79 | opcodes.Offset(Reg(0x40), -offset); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 80 | DW_CHECK_NEXT("DW_CFA_offset_extended: reg64 -40000"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 81 | opcodes.Offset(Reg(0x40), offset); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 82 | DW_CHECK_NEXT("DW_CFA_offset_extended_sf: reg64 40000"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 83 | opcodes.ValOffset(reg, -offset); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 84 | DW_CHECK_NEXT("DW_CFA_val_offset: reg6 -40000"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 85 | opcodes.ValOffset(reg, offset); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 86 | DW_CHECK_NEXT("DW_CFA_val_offset_sf: reg6 40000"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 87 | opcodes.Register(reg, Reg(1)); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 88 | DW_CHECK_NEXT("DW_CFA_register: reg6 reg1"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 89 | opcodes.Expression(reg, expr, arraysize(expr)); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 90 | DW_CHECK_NEXT("DW_CFA_expression: reg6 DW_OP_nop"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 91 | opcodes.ValExpression(reg, expr, arraysize(expr)); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 92 | DW_CHECK_NEXT("DW_CFA_val_expression: reg6 DW_OP_nop"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 93 | opcodes.Restore(Reg(0x3F)); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 94 | DW_CHECK_NEXT("DW_CFA_restore: reg63"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 95 | opcodes.Restore(Reg(0x40)); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 96 | DW_CHECK_NEXT("DW_CFA_restore_extended: reg64"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 97 | opcodes.Restore(reg); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 98 | DW_CHECK_NEXT("DW_CFA_restore: reg6"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 99 | opcodes.RememberState(); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 100 | DW_CHECK_NEXT("DW_CFA_remember_state:"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 101 | opcodes.RestoreState(); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 102 | DW_CHECK_NEXT("DW_CFA_restore_state:"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 103 | opcodes.Nop(); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 104 | DW_CHECK_NEXT("DW_CFA_nop:"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 105 | |
| 106 | // Also test helpers. |
| 107 | opcodes.DefCFA(Reg(4), 100); // ESP |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 108 | DW_CHECK_NEXT("DW_CFA_def_cfa: reg4 +100"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 109 | opcodes.AdjustCFAOffset(8); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 110 | DW_CHECK_NEXT("DW_CFA_def_cfa_offset: +108"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 111 | opcodes.RelOffset(Reg(0), 0); // push R0 |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 112 | DW_CHECK_NEXT("DW_CFA_offset: reg0 -108"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 113 | opcodes.RelOffset(Reg(1), 4); // push R1 |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 114 | DW_CHECK_NEXT("DW_CFA_offset: reg1 -104"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 115 | opcodes.RelOffsetForMany(Reg(2), 8, 1 | (1 << 3), 4); // push R2 and R5 |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 116 | DW_CHECK_NEXT("DW_CFA_offset: reg2 -100"); |
| 117 | DW_CHECK_NEXT("DW_CFA_offset: reg5 -96"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 118 | opcodes.RestoreMany(Reg(2), 1 | (1 << 3)); // pop R2 and R5 |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 119 | DW_CHECK_NEXT("DW_CFA_restore: reg2"); |
| 120 | DW_CHECK_NEXT("DW_CFA_restore: reg5"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 121 | |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 122 | DebugFrameOpCodeWriter<> initial_opcodes; |
| David Srbecky | 91b2900 | 2019-02-08 15:51:31 +0000 | [diff] [blame] | 123 | WriteCIE(is64bit, Reg(is64bit ? 16 : 8), initial_opcodes, &debug_frame_data_); |
| David Srbecky | 91b2900 | 2019-02-08 15:51:31 +0000 | [diff] [blame] | 124 | WriteFDE(is64bit, |
| David Srbecky | 7370d92 | 2019-02-12 14:00:30 +0000 | [diff] [blame] | 125 | /* cie_pointer= */ 0, |
| David Srbecky | 91b2900 | 2019-02-08 15:51:31 +0000 | [diff] [blame] | 126 | 0x01000000, |
| 127 | 0x01000000, |
| 128 | ArrayRef<const uint8_t>(*opcodes.data()), |
| David Srbecky | 7370d92 | 2019-02-12 14:00:30 +0000 | [diff] [blame] | 129 | &debug_frame_data_); |
| David Srbecky | 2f6cdb0 | 2015-04-11 00:17:53 +0100 | [diff] [blame] | 130 | |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 131 | CheckObjdumpOutput(is64bit, "-debug-frame"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 132 | } |
| 133 | |
| Nicolas Geoffray | de3e70f | 2019-02-22 12:07:29 +0000 | [diff] [blame] | 134 | TEST_F(DwarfTest, DISABLED_DebugFrame64) { |
| David Srbecky | b536247 | 2015-04-08 19:37:39 +0100 | [diff] [blame] | 135 | constexpr bool is64bit = true; |
| 136 | DebugFrameOpCodeWriter<> initial_opcodes; |
| David Srbecky | 91b2900 | 2019-02-08 15:51:31 +0000 | [diff] [blame] | 137 | WriteCIE(is64bit, Reg(16), initial_opcodes, &debug_frame_data_); |
| David Srbecky | b536247 | 2015-04-08 19:37:39 +0100 | [diff] [blame] | 138 | DebugFrameOpCodeWriter<> opcodes; |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 139 | DW_CHECK(".debug_frame contents:"); |
| David Srbecky | 91b2900 | 2019-02-08 15:51:31 +0000 | [diff] [blame] | 140 | WriteFDE(is64bit, |
| David Srbecky | 7370d92 | 2019-02-12 14:00:30 +0000 | [diff] [blame] | 141 | /* cie_pointer= */ 0, |
| David Srbecky | 91b2900 | 2019-02-08 15:51:31 +0000 | [diff] [blame] | 142 | 0x0100000000000000, |
| 143 | 0x0200000000000000, |
| David Srbecky | 6d8c8f0 | 2015-10-26 10:57:09 +0000 | [diff] [blame] | 144 | ArrayRef<const uint8_t>(*opcodes.data()), |
| David Srbecky | 7370d92 | 2019-02-12 14:00:30 +0000 | [diff] [blame] | 145 | &debug_frame_data_); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 146 | DW_CHECK("FDE cie=00000000 pc=100000000000000..300000000000000"); |
| David Srbecky | 2f6cdb0 | 2015-04-11 00:17:53 +0100 | [diff] [blame] | 147 | |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 148 | CheckObjdumpOutput(is64bit, "-debug-frame"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 149 | } |
| 150 | |
| David Srbecky | c2055cf | 2015-04-12 14:58:39 +0100 | [diff] [blame] | 151 | // Test x86_64 register mapping. It is the only non-trivial architecture. |
| Vladimir Marko | 03e8716 | 2020-02-25 16:29:21 +0000 | [diff] [blame] | 152 | // ARM and X86 have: dwarf_reg = art_reg + constant. |
| David Srbecky | c2055cf | 2015-04-12 14:58:39 +0100 | [diff] [blame] | 153 | TEST_F(DwarfTest, x86_64_RegisterMapping) { |
| 154 | constexpr bool is64bit = true; |
| 155 | DebugFrameOpCodeWriter<> opcodes; |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 156 | DW_CHECK(".debug_frame contents:"); |
| David Srbecky | c2055cf | 2015-04-12 14:58:39 +0100 | [diff] [blame] | 157 | for (int i = 0; i < 16; i++) { |
| 158 | opcodes.RelOffset(Reg::X86_64Core(i), 0); |
| 159 | } |
| 160 | DW_CHECK("FDE"); |
| Stephen Hines | 331c8e3 | 2020-09-11 17:03:58 -0700 | [diff] [blame^] | 161 | DW_CHECK_NEXT("DWARF32"); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 162 | 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 Srbecky | c2055cf | 2015-04-12 14:58:39 +0100 | [diff] [blame] | 180 | DebugFrameOpCodeWriter<> initial_opcodes; |
| David Srbecky | 91b2900 | 2019-02-08 15:51:31 +0000 | [diff] [blame] | 181 | WriteCIE(is64bit, Reg(16), initial_opcodes, &debug_frame_data_); |
| David Srbecky | 91b2900 | 2019-02-08 15:51:31 +0000 | [diff] [blame] | 182 | WriteFDE(is64bit, |
| David Srbecky | 7370d92 | 2019-02-12 14:00:30 +0000 | [diff] [blame] | 183 | /* cie_pointer= */ 0, |
| David Srbecky | 91b2900 | 2019-02-08 15:51:31 +0000 | [diff] [blame] | 184 | 0x0100000000000000, |
| 185 | 0x0200000000000000, |
| David Srbecky | 6d8c8f0 | 2015-10-26 10:57:09 +0000 | [diff] [blame] | 186 | ArrayRef<const uint8_t>(*opcodes.data()), |
| David Srbecky | 7370d92 | 2019-02-12 14:00:30 +0000 | [diff] [blame] | 187 | &debug_frame_data_); |
| David Srbecky | c2055cf | 2015-04-12 14:58:39 +0100 | [diff] [blame] | 188 | |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 189 | CheckObjdumpOutput(is64bit, "-debug-frame"); |
| David Srbecky | c2055cf | 2015-04-12 14:58:39 +0100 | [diff] [blame] | 190 | } |
| 191 | |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 192 | TEST_F(DwarfTest, DebugLine) { |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 193 | const bool is64bit = false; |
| 194 | const int code_factor_bits = 1; |
| 195 | DebugLineOpCodeWriter<> opcodes(is64bit, code_factor_bits); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 196 | DW_CHECK(".debug_line contents:"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 197 | |
| 198 | std::vector<std::string> include_directories; |
| 199 | include_directories.push_back("/path/to/source"); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 200 | DW_CHECK("include_directories[ 1] = \"/path/to/source\""); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 201 | |
| David Srbecky | b536247 | 2015-04-08 19:37:39 +0100 | [diff] [blame] | 202 | std::vector<FileEntry> files { |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 203 | { "file0.c", 0, 1000, 2000 }, |
| 204 | { "file1.c", 1, 1000, 2000 }, |
| 205 | { "file2.c", 1, 1000, 2000 }, |
| 206 | }; |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 207 | 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 Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 222 | |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 223 | opcodes.SetAddress(0x01000000); |
| Alex Light | ea54b82 | 2020-07-10 18:28:56 +0000 | [diff] [blame] | 224 | opcodes.SetIsStmt(true); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 225 | opcodes.AddRow(); |
| 226 | opcodes.AdvancePC(0x01000100); |
| 227 | opcodes.SetFile(2); |
| 228 | opcodes.AdvanceLine(3); |
| 229 | opcodes.SetColumn(4); |
| David Srbecky | 91cc06c | 2016-03-07 16:13:58 +0000 | [diff] [blame] | 230 | opcodes.SetIsStmt(false); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 231 | opcodes.SetBasicBlock(); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 232 | opcodes.SetPrologueEnd(); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 233 | opcodes.SetEpilogueBegin(); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 234 | opcodes.SetISA(5); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 235 | opcodes.EndSequence(); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 236 | opcodes.DefineFile("file.c", 0, 1000, 2000); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 237 | 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 Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 241 | |
| David Srbecky | 7370d92 | 2019-02-12 14:00:30 +0000 | [diff] [blame] | 242 | WriteDebugLineTable(include_directories, files, opcodes, &debug_line_data_); |
| David Srbecky | 2f6cdb0 | 2015-04-11 00:17:53 +0100 | [diff] [blame] | 243 | |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 244 | CheckObjdumpOutput(is64bit, "-debug-line"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 245 | } |
| 246 | |
| 247 | // DWARF has special one byte codes which advance PC and line at the same time. |
| 248 | TEST_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 Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 256 | 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 Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 261 | 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 Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 270 | sprintf(expected, "0x%016x %6i 0 1 0 0", pc, line); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 271 | DW_CHECK_NEXT(expected); |
| 272 | } |
| 273 | } |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 274 | opcodes.EndSequence(); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 275 | EXPECT_LT(opcodes.data()->size(), num_rows * 3); |
| 276 | |
| 277 | std::vector<std::string> directories; |
| Igor Murashkin | 5573c37 | 2017-11-16 13:34:30 -0800 | [diff] [blame] | 278 | std::vector<FileEntry> files = { { "file.c", 0, 1000, 2000 } }; |
| David Srbecky | 7370d92 | 2019-02-12 14:00:30 +0000 | [diff] [blame] | 279 | WriteDebugLineTable(directories, files, opcodes, &debug_line_data_); |
| David Srbecky | 2f6cdb0 | 2015-04-11 00:17:53 +0100 | [diff] [blame] | 280 | |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 281 | CheckObjdumpOutput(is64bit, "-debug-line"); |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 282 | } |
| 283 | |
| David Srbecky | b536247 | 2015-04-08 19:37:39 +0100 | [diff] [blame] | 284 | TEST_F(DwarfTest, DebugInfo) { |
| 285 | constexpr bool is64bit = false; |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 286 | |
| David Srbecky | 24868a1 | 2016-01-29 18:59:56 +0000 | [diff] [blame] | 287 | DebugAbbrevWriter<> debug_abbrev(&debug_abbrev_data_); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 288 | 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 Srbecky | 24868a1 | 2016-01-29 18:59:56 +0000 | [diff] [blame] | 300 | DebugInfoEntryWriter<> info(is64bit, &debug_abbrev); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 301 | DW_CHECK(".debug_info contents:"); |
| David Srbecky | 04b0526 | 2015-11-09 18:05:48 +0000 | [diff] [blame] | 302 | info.StartTag(dwarf::DW_TAG_compile_unit); |
| Stephen Hines | 331c8e3 | 2020-09-11 17:03:58 -0700 | [diff] [blame^] | 303 | DW_CHECK_NEXT("Compile Unit: length = 0x00000030, format = DWARF32, version = 0x0004, abbr_offset = 0x0000, addr_size = 0x04"); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 304 | DW_CHECK_NEXT("DW_TAG_compile_unit"); |
| David Srbecky | b536247 | 2015-04-08 19:37:39 +0100 | [diff] [blame] | 305 | info.WriteStrp(dwarf::DW_AT_producer, "Compiler name", &debug_str_data_); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 306 | DW_CHECK_NEXT(" DW_AT_producer (\"Compiler name\")"); |
| David Srbecky | b536247 | 2015-04-08 19:37:39 +0100 | [diff] [blame] | 307 | info.WriteAddr(dwarf::DW_AT_low_pc, 0x01000000); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 308 | DW_CHECK_NEXT(" DW_AT_low_pc (0x0000000001000000)"); |
| David Srbecky | b536247 | 2015-04-08 19:37:39 +0100 | [diff] [blame] | 309 | info.WriteAddr(dwarf::DW_AT_high_pc, 0x02000000); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 310 | DW_CHECK_NEXT(" DW_AT_high_pc (0x0000000002000000)"); |
| David Srbecky | 04b0526 | 2015-11-09 18:05:48 +0000 | [diff] [blame] | 311 | info.StartTag(dwarf::DW_TAG_subprogram); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 312 | DW_CHECK_NEXT(" DW_TAG_subprogram"); |
| David Srbecky | b536247 | 2015-04-08 19:37:39 +0100 | [diff] [blame] | 313 | info.WriteStrp(dwarf::DW_AT_name, "Foo", &debug_str_data_); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 314 | DW_CHECK_NEXT(" DW_AT_name (\"Foo\")"); |
| David Srbecky | b536247 | 2015-04-08 19:37:39 +0100 | [diff] [blame] | 315 | info.WriteAddr(dwarf::DW_AT_low_pc, 0x01010000); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 316 | DW_CHECK_NEXT(" DW_AT_low_pc (0x0000000001010000)"); |
| David Srbecky | b536247 | 2015-04-08 19:37:39 +0100 | [diff] [blame] | 317 | info.WriteAddr(dwarf::DW_AT_high_pc, 0x01020000); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 318 | DW_CHECK_NEXT(" DW_AT_high_pc (0x0000000001020000)"); |
| David Srbecky | b536247 | 2015-04-08 19:37:39 +0100 | [diff] [blame] | 319 | info.EndTag(); // DW_TAG_subprogram |
| David Srbecky | 04b0526 | 2015-11-09 18:05:48 +0000 | [diff] [blame] | 320 | info.StartTag(dwarf::DW_TAG_subprogram); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 321 | DW_CHECK_NEXT(" DW_TAG_subprogram"); |
| David Srbecky | b536247 | 2015-04-08 19:37:39 +0100 | [diff] [blame] | 322 | info.WriteStrp(dwarf::DW_AT_name, "Bar", &debug_str_data_); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 323 | DW_CHECK_NEXT(" DW_AT_name (\"Bar\")"); |
| David Srbecky | b536247 | 2015-04-08 19:37:39 +0100 | [diff] [blame] | 324 | info.WriteAddr(dwarf::DW_AT_low_pc, 0x01020000); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 325 | DW_CHECK_NEXT(" DW_AT_low_pc (0x0000000001020000)"); |
| David Srbecky | b536247 | 2015-04-08 19:37:39 +0100 | [diff] [blame] | 326 | info.WriteAddr(dwarf::DW_AT_high_pc, 0x01030000); |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 327 | DW_CHECK_NEXT(" DW_AT_high_pc (0x0000000001030000)"); |
| David Srbecky | b536247 | 2015-04-08 19:37:39 +0100 | [diff] [blame] | 328 | info.EndTag(); // DW_TAG_subprogram |
| 329 | info.EndTag(); // DW_TAG_compile_unit |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 330 | DW_CHECK_NEXT(" NULL"); |
| David Srbecky | b536247 | 2015-04-08 19:37:39 +0100 | [diff] [blame] | 331 | // Test that previous list was properly terminated and empty children. |
| David Srbecky | 04b0526 | 2015-11-09 18:05:48 +0000 | [diff] [blame] | 332 | info.StartTag(dwarf::DW_TAG_compile_unit); |
| David Srbecky | b536247 | 2015-04-08 19:37:39 +0100 | [diff] [blame] | 333 | info.EndTag(); // DW_TAG_compile_unit |
| 334 | |
| David Srbecky | 7370d92 | 2019-02-12 14:00:30 +0000 | [diff] [blame] | 335 | dwarf::WriteDebugInfoCU(/* debug_abbrev_offset= */ 0, info, &debug_info_data_); |
| David Srbecky | 2f6cdb0 | 2015-04-11 00:17:53 +0100 | [diff] [blame] | 336 | |
| David Srbecky | b461b53 | 2020-07-13 17:45:22 +0000 | [diff] [blame] | 337 | CheckObjdumpOutput(is64bit, "-debug-info -debug-abbrev"); |
| David Srbecky | b536247 | 2015-04-08 19:37:39 +0100 | [diff] [blame] | 338 | } |
| 339 | |
| Bilyan Borisov | bb661c0 | 2016-04-04 16:27:32 +0100 | [diff] [blame] | 340 | #endif // ART_TARGET_ANDROID |
| David Srbecky | 15c1975 | 2015-03-31 14:53:55 +0000 | [diff] [blame] | 341 | |
| 342 | } // namespace dwarf |
| 343 | } // namespace art |