• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

ArkScript-lang / Ark / 16942298513

13 Aug 2025 03:44PM UTC coverage: 87.433% (-0.3%) from 87.685%
16942298513

push

github

SuperFola
fix(Value): adding dictionary comparison

13 of 13 new or added lines in 2 files covered. (100.0%)

86 existing lines in 1 file now uncovered.

7646 of 8745 relevant lines covered (87.43%)

127023.47 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

43.53
/src/arkreactor/Compiler/BytecodeReader.cpp
1
#include <Ark/Compiler/BytecodeReader.hpp>
2

3
#include <Ark/Compiler/Instructions.hpp>
4
#include <Ark/Builtins/Builtins.hpp>
5

6
#include <unordered_map>
7
#include <Proxy/Picosha2.hpp>
8
#include <Ark/Compiler/Serialization/IEEE754Serializer.hpp>
9
#include <Ark/Compiler/Serialization/IntegerSerializer.hpp>
10
#include <fmt/core.h>
11
#include <fmt/color.h>
12

13
namespace Ark
14
{
15
    using namespace Ark::internal;
16

17
    void BytecodeReader::feed(const bytecode_t& bytecode)
448✔
18
    {
448✔
19
        m_bytecode = bytecode;
448✔
20
    }
448✔
21

22
    void BytecodeReader::feed(const std::string& file)
×
23
    {
×
24
        std::ifstream ifs(file, std::ios::binary | std::ios::ate);
×
25
        if (!ifs.good())
×
26
            throw std::runtime_error(fmt::format("[BytecodeReader] Couldn't open file '{}'", file));
×
27

28
        const auto pos = ifs.tellg();
×
29
        // reserve appropriate number of bytes
30
        std::vector<char> temp(static_cast<std::size_t>(pos));
×
31
        ifs.seekg(0, std::ios::beg);
×
32
        ifs.read(&temp[0], pos);
×
33
        ifs.close();
×
34

35
        m_bytecode = bytecode_t(static_cast<std::size_t>(pos));
×
36
        for (std::size_t i = 0; i < static_cast<std::size_t>(pos); ++i)
×
37
            m_bytecode[i] = static_cast<uint8_t>(temp[i]);
×
38
    }
×
39

40
    bool BytecodeReader::checkMagic() const
1,715✔
41
    {
1,715✔
42
        return m_bytecode.size() >= bytecode::Magic.size() &&
3,429✔
43
            m_bytecode[0] == bytecode::Magic[0] &&
1,714✔
44
            m_bytecode[1] == bytecode::Magic[1] &&
1,448✔
45
            m_bytecode[2] == bytecode::Magic[2] &&
2,896✔
46
            m_bytecode[3] == bytecode::Magic[3];
1,448✔
47
    }
×
48

49
    Version BytecodeReader::version() const
181✔
50
    {
181✔
51
        if (!checkMagic() || m_bytecode.size() < bytecode::Magic.size() + bytecode::Version.size())
181✔
52
            return Version { 0, 0, 0 };
×
53

54
        return Version {
724✔
55
            .major = static_cast<uint16_t>((m_bytecode[4] << 8) + m_bytecode[5]),
181✔
56
            .minor = static_cast<uint16_t>((m_bytecode[6] << 8) + m_bytecode[7]),
181✔
57
            .patch = static_cast<uint16_t>((m_bytecode[8] << 8) + m_bytecode[9])
181✔
58
        };
59
    }
181✔
60

61
    unsigned long long BytecodeReader::timestamp() const
1✔
62
    {
1✔
63
        // 4 (ark\0) + version (2 bytes / number) + timestamp = 18 bytes
64
        if (!checkMagic() || m_bytecode.size() < bytecode::HeaderSize)
1✔
65
            return 0;
×
66

67
        // reading the timestamp in big endian
68
        using timestamp_t = unsigned long long;
×
69
        return (static_cast<timestamp_t>(m_bytecode[10]) << 56) +
3✔
70
            (static_cast<timestamp_t>(m_bytecode[11]) << 48) +
2✔
71
            (static_cast<timestamp_t>(m_bytecode[12]) << 40) +
2✔
72
            (static_cast<timestamp_t>(m_bytecode[13]) << 32) +
2✔
73
            (static_cast<timestamp_t>(m_bytecode[14]) << 24) +
2✔
74
            (static_cast<timestamp_t>(m_bytecode[15]) << 16) +
2✔
75
            (static_cast<timestamp_t>(m_bytecode[16]) << 8) +
2✔
76
            static_cast<timestamp_t>(m_bytecode[17]);
1✔
77
    }
1✔
78

79
    std::vector<unsigned char> BytecodeReader::sha256() const
181✔
80
    {
181✔
81
        if (!checkMagic() || m_bytecode.size() < bytecode::HeaderSize + picosha2::k_digest_size)
181✔
82
            return {};
×
83

84
        std::vector<unsigned char> sha(picosha2::k_digest_size);
181✔
85
        for (std::size_t i = 0; i < picosha2::k_digest_size; ++i)
5,973✔
86
            sha[i] = m_bytecode[bytecode::HeaderSize + i];
5,792✔
87
        return sha;
181✔
88
    }
362✔
89

90
    Symbols BytecodeReader::symbols() const
181✔
91
    {
181✔
92
        if (!checkMagic() || m_bytecode.size() < bytecode::HeaderSize + picosha2::k_digest_size ||
362✔
93
            m_bytecode[bytecode::HeaderSize + picosha2::k_digest_size] != SYM_TABLE_START)
181✔
94
            return {};
×
95

96
        std::size_t i = bytecode::HeaderSize + picosha2::k_digest_size + 1;
181✔
97
        const uint16_t size = readNumber(i);
181✔
98
        i++;
181✔
99

100
        Symbols block;
181✔
101
        block.start = bytecode::HeaderSize + picosha2::k_digest_size;
181✔
102
        block.symbols.reserve(size);
181✔
103

104
        for (uint16_t j = 0; j < size; ++j)
4,509✔
105
        {
106
            std::string content;
4,328✔
107
            while (m_bytecode[i] != 0)
46,012✔
108
                content.push_back(static_cast<char>(m_bytecode[i++]));
41,684✔
109
            i++;
4,328✔
110

111
            block.symbols.push_back(content);
4,328✔
112
        }
4,328✔
113

114
        block.end = i;
181✔
115
        return block;
181✔
116
    }
181✔
117

118
    Values BytecodeReader::values(const Symbols& symbols) const
181✔
119
    {
181✔
120
        if (!checkMagic())
181✔
121
            return {};
×
122

123
        std::size_t i = symbols.end;
181✔
124
        if (m_bytecode[i] != VAL_TABLE_START)
181✔
125
            return {};
×
126
        i++;
181✔
127

128
        const uint16_t size = readNumber(i);
181✔
129
        i++;
181✔
130
        Values block;
181✔
131
        block.start = symbols.end;
181✔
132
        block.values.reserve(size);
181✔
133

134
        for (uint16_t j = 0; j < size; ++j)
4,837✔
135
        {
136
            const uint8_t type = m_bytecode[i];
4,656✔
137
            i++;
4,656✔
138

139
            if (type == NUMBER_TYPE)
4,656✔
140
            {
141
                auto exp = deserializeLE<decltype(ieee754::DecomposedDouble::exponent)>(
1,414✔
142
                    m_bytecode.begin() + static_cast<std::vector<uint8_t>::difference_type>(i), m_bytecode.end());
707✔
143
                i += sizeof(decltype(exp));
707✔
144
                auto mant = deserializeLE<decltype(ieee754::DecomposedDouble::mantissa)>(
1,414✔
145
                    m_bytecode.begin() + static_cast<std::vector<uint8_t>::difference_type>(i), m_bytecode.end());
707✔
146
                i += sizeof(decltype(mant));
707✔
147

148
                const ieee754::DecomposedDouble d { exp, mant };
707✔
149
                double val = ieee754::deserialize(d);
707✔
150
                block.values.emplace_back(val);
707✔
151
            }
707✔
152
            else if (type == STRING_TYPE)
3,949✔
153
            {
154
                std::string val;
1,601✔
155
                while (m_bytecode[i] != 0)
30,689✔
156
                    val.push_back(static_cast<char>(m_bytecode[i++]));
29,088✔
157
                block.values.emplace_back(val);
1,601✔
158
            }
1,601✔
159
            else if (type == FUNC_TYPE)
2,348✔
160
            {
161
                const uint16_t addr = readNumber(i);
2,348✔
162
                i++;
2,348✔
163
                block.values.emplace_back(addr);
2,348✔
164
            }
2,348✔
165
            else
166
                throw std::runtime_error(fmt::format("Unknown value type: {:x}", type));
×
167
            i++;
4,656✔
168
        }
4,656✔
169

170
        block.end = i;
181✔
171
        return block;
181✔
172
    }
181✔
173

174
    Filenames BytecodeReader::filenames(const Ark::Values& values) const
181✔
175
    {
181✔
176
        if (!checkMagic())
181✔
177
            return {};
×
178

179
        std::size_t i = values.end;
181✔
180
        if (m_bytecode[i] != FILENAMES_TABLE_START)
181✔
181
            return {};
×
182
        i++;
181✔
183

184
        const uint16_t size = readNumber(i);
181✔
185
        i++;
181✔
186

187
        Filenames block;
181✔
188
        block.start = values.end;
181✔
189
        block.filenames.reserve(size);
181✔
190

191
        for (uint16_t j = 0; j < size; ++j)
476✔
192
        {
193
            std::string val;
295✔
194
            while (m_bytecode[i] != 0)
22,734✔
195
                val.push_back(static_cast<char>(m_bytecode[i++]));
22,439✔
196
            block.filenames.emplace_back(val);
295✔
197
            i++;
295✔
198
        }
295✔
199

200
        block.end = i;
181✔
201
        return block;
181✔
202
    }
181✔
203

204
    InstLocations BytecodeReader::instLocations(const Ark::Filenames& filenames) const
181✔
205
    {
181✔
206
        if (!checkMagic())
181✔
207
            return {};
×
208

209
        std::size_t i = filenames.end;
181✔
210
        if (m_bytecode[i] != INST_LOC_TABLE_START)
181✔
211
            return {};
×
212
        i++;
181✔
213

214
        const uint16_t size = readNumber(i);
181✔
215
        i++;
181✔
216

217
        InstLocations block;
181✔
218
        block.start = filenames.end;
181✔
219
        block.locations.reserve(size);
181✔
220

221
        for (uint16_t j = 0; j < size; ++j)
13,761✔
222
        {
223
            auto pp = readNumber(i);
13,580✔
224
            i++;
13,580✔
225

226
            auto ip = readNumber(i);
13,580✔
227
            i++;
13,580✔
228

229
            auto file_id = readNumber(i);
13,580✔
230
            i++;
13,580✔
231

232
            auto line = deserializeBE<uint32_t>(
27,160✔
233
                m_bytecode.begin() + static_cast<std::vector<uint8_t>::difference_type>(i), m_bytecode.end());
13,580✔
234
            i += 4;
13,580✔
235

236
            block.locations.push_back(
13,580✔
237
                { .page_pointer = pp,
54,320✔
238
                  .inst_pointer = ip,
13,580✔
239
                  .filename_id = file_id,
13,580✔
240
                  .line = line });
13,580✔
241
        }
13,580✔
242

243
        block.end = i;
181✔
244
        return block;
181✔
245
    }
181✔
246

247
    Code BytecodeReader::code(const InstLocations& instLocations) const
181✔
248
    {
181✔
249
        if (!checkMagic())
181✔
250
            return {};
×
251

252
        std::size_t i = instLocations.end;
181✔
253

254
        Code block;
181✔
255
        block.start = i;
181✔
256

257
        while (m_bytecode[i] == CODE_SEGMENT_START)
2,529✔
258
        {
259
            i++;
2,529✔
260
            const std::size_t size = readNumber(i) * 4;
2,529✔
261
            i++;
2,529✔
262

263
            block.pages.emplace_back().reserve(size);
2,529✔
264
            for (std::size_t j = 0; j < size; ++j)
215,509✔
265
                block.pages.back().push_back(m_bytecode[i++]);
212,980✔
266

267
            if (i == m_bytecode.size())
2,529✔
268
                break;
181✔
269
        }
2,529✔
270

271
        return block;
181✔
272
    }
181✔
273

274
    void BytecodeReader::display(const BytecodeSegment segment,
×
275
                                 const std::optional<uint16_t> sStart,
276
                                 const std::optional<uint16_t> sEnd,
277
                                 const std::optional<uint16_t> cPage) const
278
    {
×
279
        if (!checkMagic())
×
280
        {
281
            fmt::println("Invalid format");
×
282
            return;
×
283
        }
284

285
        auto [major, minor, patch] = version();
×
286
        fmt::println("Version:   {}.{}.{}", major, minor, patch);
×
287
        fmt::println("Timestamp: {}", timestamp());
×
288
        fmt::print("SHA256:    ");
×
289
        for (const auto sha = sha256(); unsigned char h : sha)
×
290
            fmt::print("{:02x}", h);
×
291
        fmt::print("\n\n");
×
292

293
        // reading the different tables, one after another
294

295
        if ((sStart.has_value() && !sEnd.has_value()) || (!sStart.has_value() && sEnd.has_value()))
×
296
        {
297
            fmt::print(fmt::fg(fmt::color::red), "Both start and end parameter need to be provided together\n");
×
298
            return;
×
299
        }
300
        if (sStart.has_value() && sEnd.has_value() && sStart.value() >= sEnd.value())
×
301
        {
302
            fmt::print(fmt::fg(fmt::color::red), "Invalid slice start and end arguments\n");
×
303
            return;
×
304
        }
305

306
        const auto syms = symbols();
×
307
        const auto vals = values(syms);
×
308
        const auto files = filenames(vals);
×
309
        const auto inst_locs = instLocations(files);
×
310
        const auto code_block = code(inst_locs);
×
311

312
        // symbols table
313
        {
314
            std::size_t size = syms.symbols.size();
×
315
            std::size_t sliceSize = size;
×
316
            bool showSym = (segment == BytecodeSegment::All || segment == BytecodeSegment::Symbols);
×
317

318
            if (showSym && sStart.has_value() && sEnd.has_value() && (sStart.value() > size || sEnd.value() > size))
×
319
                fmt::print(fmt::fg(fmt::color::red), "Slice start or end can't be greater than the segment size: {}\n", size);
×
320
            else if (showSym && sStart.has_value() && sEnd.has_value())
×
321
                sliceSize = sEnd.value() - sStart.value() + 1;
×
322

323
            if (showSym || segment == BytecodeSegment::HeadersOnly)
×
324
                fmt::println("{} (length: {})", fmt::styled("Symbols table", fmt::fg(fmt::color::cyan)), sliceSize);
×
325

326
            for (std::size_t j = 0; j < size; ++j)
×
327
            {
328
                if (auto start = sStart; auto end = sEnd)
×
329
                    showSym = showSym && (j >= start.value() && j <= end.value());
×
330

331
                if (showSym)
×
332
                    fmt::println("{}) {}", j, syms.symbols[j]);
×
333
            }
×
334

335
            if (showSym)
×
336
                fmt::print("\n");
×
337
            if (segment == BytecodeSegment::Symbols)
×
338
                return;
×
339
        }
×
340

341
        // values table
342
        {
343
            std::size_t size = vals.values.size();
×
344
            std::size_t sliceSize = size;
×
345

346
            bool showVal = (segment == BytecodeSegment::All || segment == BytecodeSegment::Values);
×
347
            if (showVal && sStart.has_value() && sEnd.has_value() && (sStart.value() > size || sEnd.value() > size))
×
348
                fmt::print(fmt::fg(fmt::color::red), "Slice start or end can't be greater than the segment size: {}\n", size);
×
349
            else if (showVal && sStart.has_value() && sEnd.has_value())
×
350
                sliceSize = sEnd.value() - sStart.value() + 1;
×
351

352
            if (showVal || segment == BytecodeSegment::HeadersOnly)
×
353
                fmt::println("{} (length: {})", fmt::styled("Constants table", fmt::fg(fmt::color::cyan)), sliceSize);
×
354

355
            for (std::size_t j = 0; j < size; ++j)
×
356
            {
357
                if (auto start = sStart; auto end = sEnd)
×
358
                    showVal = showVal && (j >= start.value() && j <= end.value());
×
359

360
                if (showVal)
×
361
                {
362
                    switch (const auto val = vals.values[j]; val.valueType())
×
363
                    {
×
364
                        case ValueType::Number:
365
                            fmt::println("{}) (Number) {}", j, val.number());
×
366
                            break;
×
367
                        case ValueType::String:
368
                            fmt::println("{}) (String) {}", j, val.string());
×
369
                            break;
×
370
                        case ValueType::PageAddr:
371
                            fmt::println("{}) (PageAddr) {}", j, val.pageAddr());
×
372
                            break;
×
373
                        default:
374
                            fmt::print(fmt::fg(fmt::color::red), "Value type not handled: {}\n", std::to_string(val.valueType()));
×
375
                            break;
×
376
                    }
×
377
                }
×
378
            }
×
379

380
            if (showVal)
×
381
                fmt::print("\n");
×
382
            if (segment == BytecodeSegment::Values)
×
383
                return;
×
384
        }
×
385

386
        // inst locs + file
387
        {
388
            std::size_t size = inst_locs.locations.size();
×
389
            std::size_t sliceSize = size;
×
390

391
            bool showVal = (segment == BytecodeSegment::All || segment == BytecodeSegment::InstructionLocation);
×
392
            if (showVal && sStart.has_value() && sEnd.has_value() && (sStart.value() > size || sEnd.value() > size))
×
393
                fmt::print(fmt::fg(fmt::color::red), "Slice start or end can't be greater than the segment size: {}\n", size);
×
394
            else if (showVal && sStart.has_value() && sEnd.has_value())
×
395
                sliceSize = sEnd.value() - sStart.value() + 1;
×
396

397
            if (showVal || segment == BytecodeSegment::HeadersOnly)
×
398
                fmt::println("{} (length: {})", fmt::styled("Instruction locations table", fmt::fg(fmt::color::cyan)), sliceSize);
×
399
            if (showVal && size > 0)
×
400
                fmt::println(" PP, IP");
×
401

402
            for (std::size_t j = 0; j < size; ++j)
×
403
            {
404
                if (auto start = sStart; auto end = sEnd)
×
405
                    showVal = showVal && (j >= start.value() && j <= end.value());
×
406

407
                const auto& location = inst_locs.locations[j];
×
408
                if (showVal)
×
409
                    fmt::println("{:>3},{:>3} -> {}:{}", location.page_pointer, location.inst_pointer, files.filenames[location.filename_id], location.line);
×
410
            }
×
411

412
            if (showVal)
×
413
                fmt::print("\n");
×
414
        }
×
415

416
        const auto stringify_value = [](const Value& val) -> std::string {
×
417
            switch (val.valueType())
×
418
            {
×
419
                case ValueType::Number:
420
                    return fmt::format("{} (Number)", val.number());
×
421
                case ValueType::String:
422
                    return fmt::format("{} (String)", val.string());
×
423
                case ValueType::PageAddr:
424
                    return fmt::format("{} (PageAddr)", val.pageAddr());
×
425
                default:
426
                    return "";
×
427
            }
428
        };
×
429

430
        enum class ArgKind
431
        {
432
            Symbol,
433
            Constant,
434
            Builtin,
435
            Raw,  ///< eg: Stack index, jump address, number
436
            ConstConst,
437
            ConstSym,
438
            SymConst,
439
            SymSym,
440
            BuiltinRaw,  ///< Builtin, number
441
            ConstRaw,    ///< Constant, number
442
            SymRaw,      ///< Symbol, number
443
            RawSym,      ///< Symbol index, symbol
444
            RawConst,    ///< Symbol index, constant
445
            RawRaw       ///< Symbol index, symbol index
446
        };
447

448
        struct Arg
449
        {
450
            ArgKind kind;
451
            uint8_t padding;
452
            uint16_t arg;
453

UNCOV
454
            [[nodiscard]] uint16_t primary() const
×
UNCOV
455
            {
×
UNCOV
456
                return arg & 0x0fff;
×
457
            }
458

UNCOV
459
            [[nodiscard]] uint16_t secondary() const
×
UNCOV
460
            {
×
UNCOV
461
                return static_cast<uint16_t>((padding << 4) | (arg & 0xf000) >> 12);
×
462
            }
463
        };
464

UNCOV
465
        const std::unordered_map<Instruction, ArgKind> arg_kinds = {
×
466
            { LOAD_SYMBOL, ArgKind::Symbol },
467
            { LOAD_SYMBOL_BY_INDEX, ArgKind::Raw },
468
            { LOAD_CONST, ArgKind::Constant },
469
            { POP_JUMP_IF_TRUE, ArgKind::Raw },
470
            { STORE, ArgKind::Symbol },
471
            { SET_VAL, ArgKind::Symbol },
472
            { POP_JUMP_IF_FALSE, ArgKind::Raw },
473
            { JUMP, ArgKind::Raw },
474
            { CALL, ArgKind::Raw },
475
            { CAPTURE, ArgKind::Symbol },
476
            { RENAME_NEXT_CAPTURE, ArgKind::Symbol },
477
            { BUILTIN, ArgKind::Builtin },
478
            { DEL, ArgKind::Symbol },
479
            { MAKE_CLOSURE, ArgKind::Constant },
480
            { GET_FIELD, ArgKind::Symbol },
481
            { PLUGIN, ArgKind::Constant },
482
            { LIST, ArgKind::Raw },
483
            { APPEND, ArgKind::Raw },
484
            { CONCAT, ArgKind::Raw },
485
            { APPEND_IN_PLACE, ArgKind::Raw },
486
            { CONCAT_IN_PLACE, ArgKind::Raw },
487
            { GET_CURRENT_PAGE_ADDR, ArgKind::Symbol },
488
            { LOAD_CONST_LOAD_CONST, ArgKind::ConstConst },
489
            { LOAD_CONST_STORE, ArgKind::ConstSym },
490
            { LOAD_CONST_SET_VAL, ArgKind::ConstSym },
491
            { STORE_FROM, ArgKind::SymSym },
492
            { STORE_FROM_INDEX, ArgKind::RawSym },
493
            { SET_VAL_FROM, ArgKind::SymSym },
494
            { SET_VAL_FROM_INDEX, ArgKind::RawSym },
495
            { INCREMENT, ArgKind::SymRaw },
496
            { INCREMENT_BY_INDEX, ArgKind::RawRaw },
497
            { INCREMENT_STORE, ArgKind::RawRaw },
498
            { DECREMENT, ArgKind::SymRaw },
499
            { DECREMENT_BY_INDEX, ArgKind::RawRaw },
500
            { DECREMENT_STORE, ArgKind::SymRaw },
501
            { STORE_TAIL, ArgKind::SymSym },
502
            { STORE_TAIL_BY_INDEX, ArgKind::RawSym },
503
            { STORE_HEAD, ArgKind::SymSym },
504
            { STORE_HEAD_BY_INDEX, ArgKind::RawSym },
505
            { STORE_LIST, ArgKind::RawSym },
506
            { SET_VAL_TAIL, ArgKind::SymSym },
507
            { SET_VAL_TAIL_BY_INDEX, ArgKind::RawSym },
508
            { SET_VAL_HEAD, ArgKind::SymSym },
509
            { SET_VAL_HEAD_BY_INDEX, ArgKind::RawSym },
510
            { CALL_BUILTIN, ArgKind::BuiltinRaw },
511
            { CALL_BUILTIN_WITHOUT_RETURN_ADDRESS, ArgKind::BuiltinRaw },
512
            { LT_CONST_JUMP_IF_FALSE, ArgKind::ConstRaw },
513
            { LT_CONST_JUMP_IF_TRUE, ArgKind::ConstRaw },
514
            { LT_SYM_JUMP_IF_FALSE, ArgKind::SymRaw },
515
            { GT_CONST_JUMP_IF_TRUE, ArgKind::ConstRaw },
516
            { GT_CONST_JUMP_IF_FALSE, ArgKind::ConstRaw },
517
            { GT_SYM_JUMP_IF_FALSE, ArgKind::SymRaw },
518
            { EQ_CONST_JUMP_IF_TRUE, ArgKind::ConstRaw },
519
            { EQ_SYM_INDEX_JUMP_IF_TRUE, ArgKind::SymRaw },
520
            { NEQ_CONST_JUMP_IF_TRUE, ArgKind::ConstRaw },
521
            { NEQ_SYM_JUMP_IF_FALSE, ArgKind::SymRaw },
522
            { CALL_SYMBOL, ArgKind::SymRaw },
523
            { CALL_CURRENT_PAGE, ArgKind::SymRaw },
524
            { GET_FIELD_FROM_SYMBOL, ArgKind::SymSym },
525
            { GET_FIELD_FROM_SYMBOL_INDEX, ArgKind::RawSym },
526
            { AT_SYM_SYM, ArgKind::SymSym },
527
            { AT_SYM_INDEX_SYM_INDEX, ArgKind::RawRaw },
528
            { CHECK_TYPE_OF, ArgKind::SymConst },
529
            { CHECK_TYPE_OF_BY_INDEX, ArgKind::RawConst },
530
            { APPEND_IN_PLACE_SYM, ArgKind::SymRaw },
531
            { APPEND_IN_PLACE_SYM_INDEX, ArgKind::RawRaw }
532
        };
533

UNCOV
534
        const auto builtin_name = [](const uint16_t idx) {
×
535
            return Builtins::builtins[idx].first;
×
536
        };
537
        const auto value_str = [&stringify_value, &vals](const uint16_t idx) {
×
UNCOV
538
            return stringify_value(vals.values[idx]);
×
539
        };
UNCOV
540
        const auto symbol_name = [&syms](const uint16_t idx) {
×
541
            return syms.symbols[idx];
×
542
        };
543

UNCOV
544
        const auto color_print_inst = [=](const std::string& name, std::optional<Arg> arg = std::nullopt) {
×
545
            fmt::print("{}", fmt::styled(name, fmt::fg(fmt::color::gold)));
×
546
            if (arg.has_value())
×
547
            {
548
                constexpr auto sym_color = fmt::fg(fmt::color::green);
×
549
                constexpr auto const_color = fmt::fg(fmt::color::magenta);
×
UNCOV
550
                constexpr auto raw_color = fmt::fg(fmt::color::red);
×
551

552
                switch (auto [kind, _, idx] = arg.value(); kind)
×
UNCOV
553
                {
×
554
                    case ArgKind::Symbol:
555
                        fmt::print(sym_color, " {}\n", symbol_name(idx));
×
556
                        break;
×
557
                    case ArgKind::Constant:
UNCOV
558
                        fmt::print(const_color, " {}\n", value_str(idx));
×
UNCOV
559
                        break;
×
560
                    case ArgKind::Builtin:
UNCOV
561
                        fmt::print(" {}\n", builtin_name(idx));
×
UNCOV
562
                        break;
×
563
                    case ArgKind::Raw:
UNCOV
564
                        fmt::print(raw_color, " ({})\n", idx);
×
UNCOV
565
                        break;
×
566
                    case ArgKind::ConstConst:
UNCOV
567
                        fmt::print(" {}, {}\n", fmt::styled(value_str(arg->primary()), const_color), fmt::styled(value_str(arg->secondary()), const_color));
×
UNCOV
568
                        break;
×
569
                    case ArgKind::ConstSym:
UNCOV
570
                        fmt::print(" {}, {}\n", fmt::styled(value_str(arg->primary()), const_color), fmt::styled(symbol_name(arg->secondary()), sym_color));
×
UNCOV
571
                        break;
×
572
                    case ArgKind::SymConst:
UNCOV
573
                        fmt::print(" {}, {}\n", fmt::styled(symbol_name(arg->primary()), sym_color), fmt::styled(value_str(arg->secondary()), const_color));
×
UNCOV
574
                        break;
×
575
                    case ArgKind::SymSym:
UNCOV
576
                        fmt::print(" {}, {}\n", fmt::styled(symbol_name(arg->primary()), sym_color), fmt::styled(symbol_name(arg->secondary()), sym_color));
×
UNCOV
577
                        break;
×
578
                    case ArgKind::BuiltinRaw:
UNCOV
579
                        fmt::print(" {}, {}\n", builtin_name(arg->primary()), fmt::styled(arg->secondary(), raw_color));
×
UNCOV
580
                        break;
×
581
                    case ArgKind::ConstRaw:
UNCOV
582
                        fmt::print(" {}, {}\n", fmt::styled(value_str(arg->primary()), const_color), fmt::styled(arg->secondary(), raw_color));
×
UNCOV
583
                        break;
×
584
                    case ArgKind::SymRaw:
UNCOV
585
                        fmt::print(" {}, {}\n", fmt::styled(symbol_name(arg->primary()), sym_color), fmt::styled(arg->secondary(), raw_color));
×
UNCOV
586
                        break;
×
587
                    case ArgKind::RawSym:
UNCOV
588
                        fmt::print(" {}, {}\n", fmt::styled(arg->primary(), raw_color), fmt::styled(symbol_name(arg->secondary()), sym_color));
×
UNCOV
589
                        break;
×
590
                    case ArgKind::RawConst:
UNCOV
591
                        fmt::print(" {}, {}\n", fmt::styled(arg->primary(), raw_color), fmt::styled(value_str(arg->secondary()), const_color));
×
UNCOV
592
                        break;
×
593
                    case ArgKind::RawRaw:
UNCOV
594
                        fmt::print(" {}, {}\n", fmt::styled(arg->primary(), raw_color), fmt::styled(arg->secondary(), raw_color));
×
UNCOV
595
                        break;
×
UNCOV
596
                }
×
UNCOV
597
            }
×
598
            else
UNCOV
599
                fmt::print("\n");
×
UNCOV
600
        };
×
601

UNCOV
602
        if (segment == BytecodeSegment::All || segment == BytecodeSegment::Code || segment == BytecodeSegment::HeadersOnly)
×
603
        {
UNCOV
604
            uint16_t pp = 0;
×
605

UNCOV
606
            for (const auto& page : code_block.pages)
×
607
            {
UNCOV
608
                bool displayCode = true;
×
609

UNCOV
610
                if (auto wanted_page = cPage)
×
UNCOV
611
                    displayCode = pp == wanted_page.value();
×
612

UNCOV
613
                if (displayCode)
×
UNCOV
614
                    fmt::println(
×
UNCOV
615
                        "{} {} (length: {})",
×
UNCOV
616
                        fmt::styled("Code segment", fmt::fg(fmt::color::magenta)),
×
UNCOV
617
                        fmt::styled(pp, fmt::fg(fmt::color::magenta)),
×
UNCOV
618
                        page.size());
×
619

UNCOV
620
                if (page.empty())
×
621
                {
UNCOV
622
                    if (displayCode)
×
UNCOV
623
                        fmt::print("NOP");
×
UNCOV
624
                }
×
625
                else
626
                {
UNCOV
627
                    if (cPage.value_or(pp) != pp)
×
UNCOV
628
                        continue;
×
UNCOV
629
                    if (segment == BytecodeSegment::HeadersOnly)
×
UNCOV
630
                        continue;
×
UNCOV
631
                    if (sStart.has_value() && sEnd.has_value() && ((sStart.value() > page.size()) || (sEnd.value() > page.size())))
×
632
                    {
UNCOV
633
                        fmt::print(fmt::fg(fmt::color::red), "Slice start or end can't be greater than the segment size: {}\n", page.size());
×
UNCOV
634
                        return;
×
635
                    }
636

UNCOV
637
                    for (std::size_t j = sStart.value_or(0), end = sEnd.value_or(page.size()); j < end; j += 4)
×
638
                    {
UNCOV
639
                        const uint8_t inst = page[j];
×
640
                        // TEMP
UNCOV
641
                        const uint8_t padding = page[j + 1];
×
UNCOV
642
                        const auto arg = static_cast<uint16_t>((page[j + 2] << 8) + page[j + 3]);
×
643

644
                        // instruction number
UNCOV
645
                        fmt::print(fmt::fg(fmt::color::cyan), "{:>4}", j / 4);
×
646
                        // padding inst arg arg
UNCOV
647
                        fmt::print(" {:02x} {:02x} {:02x} {:02x} ", inst, padding, page[j + 2], page[j + 3]);
×
648

UNCOV
649
                        if (const auto idx = static_cast<std::size_t>(inst); idx < InstructionNames.size())
×
650
                        {
UNCOV
651
                            const auto inst_name = InstructionNames[idx];
×
UNCOV
652
                            if (const auto iinst = static_cast<Instruction>(inst); arg_kinds.contains(iinst))
×
UNCOV
653
                                color_print_inst(inst_name, Arg { arg_kinds.at(iinst), padding, arg });
×
654
                            else
UNCOV
655
                                color_print_inst(inst_name);
×
UNCOV
656
                        }
×
657
                        else
UNCOV
658
                            fmt::println("Unknown instruction");
×
UNCOV
659
                    }
×
660
                }
UNCOV
661
                if (displayCode && segment != BytecodeSegment::HeadersOnly)
×
UNCOV
662
                    fmt::print("\n");
×
663

UNCOV
664
                ++pp;
×
UNCOV
665
            }
×
UNCOV
666
        }
×
UNCOV
667
    }
×
668

669
    uint16_t BytecodeReader::readNumber(std::size_t& i) const
46,341✔
670
    {
46,341✔
671
        const auto x = static_cast<uint16_t>(m_bytecode[i] << 8);
46,341✔
672
        const uint16_t y = m_bytecode[++i];
46,341✔
673
        return x + y;
92,682✔
674
    }
46,341✔
675
}
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc