vbpf / ebpf-verifier / 12951530094
87%

DEFAULT BRANCH: main
Ran
Jobs 2
Files 66
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 88.133% (-0.04%) from 88.169%
12951530094

push

github

web-flow 
add support for 64bit immediate with type 2 (#820)

Add support for 64bit immediate with type 2

From the ISA RFC:
5.4.  64-bit immediate instructions

   Instructions with the IMM 'mode' modifier use the wide instruction
   encoding defined in Instruction encoding (Section 3), and use the
   'src_reg' field of the basic instruction to hold an opcode subtype.

   The following table defines a set of {IMM, DW, LD} instructions with
   opcode subtypes in the 'src_reg' field, using new terms such as "map"
   defined further below:

    +=========+================================+==========+==========+
    | src_reg | pseudocode                     | imm type | dst type |
    +=========+================================+==========+==========+
    | 0x0     | dst = (next_imm << 32) | imm   | integer  | integer  |
    +---------+--------------------------------+----------+----------+
    | 0x1     | dst = map_by_fd(imm)           | map fd   | map      |
    +---------+--------------------------------+----------+----------+
    | 0x2     | dst = map_val(map_by_fd(imm))  | map fd   | data     |
    |         | + next_imm                     |          | address  |
    +---------+--------------------------------+----------+----------+
    | 0x3     | dst = var_addr(imm)            | variable | data     |
    |         |                                | id       | address  |
    +---------+--------------------------------+----------+----------+
    | 0x4     | dst = code_addr(imm)           | integer  | code     |
    |         |                                |          | address  |
    +---------+--------------------------------+----------+----------+
    | 0x5     | dst = map_by_idx(imm)          | map      | map      |
    |         |                                | index    |          |
    +---------+--------------------------------+----------+----------+
    | 0x6     | dst = map_val(map_by_idx(imm)) | map      | data     |
    |         | + next_imm    ... (continued)

81 of 92 new or added lines in 12 files covered. (88.04%)

7 existing lines in 1 file now uncovered.

8533 of 9682 relevant lines covered (88.13%)

7382636.56 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
64.66
 -0.24% src/asm_cfg.cpp
1
85.51
 1.94% src/asm_marshal.cpp
1
53.58
 -0.92% src/asm_ostream.cpp
1
96.2
 -0.04% src/crab/ebpf_transformer.cpp
7
88.46
 -2.39% src/asm_files.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
7
88.46
 -2.39% src/asm_files.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 12951530094.1 66
86.0
 GitHub Action Run
2 run-Release - 12951530094.2 65
87.33
 GitHub Action Run
Source Files on build 12951530094