On Tue, 21 Apr 2026 07:35:56 -0700, Alexei Starovoitov <alexei.starovoitov@gmail.com> wrote:

> On Tue, Apr 21, 2026 at 7:24 AM Leon Hwang <leon.hwang@linux.dev> wrote:

[...]

>> XLATED:

>> =============

>> 0: r1 = map[id:7][0]+9

>

> what is 9 ? was it there in the incoming insn?

>



Right, the literal 9 is a mystery here.



> The whole point that xlated needs to translate it back.

> Start from scratch and think what map_direct_value_meta()

> suppose to do.



Thanks for pointing this out.



map_direct_value_addr() encodes the offset as part of the ldimm64

immediate (imm = base + off), and map_direct_value_meta() is

supposed to recover the same off from it.



So, the test should verify that the off of xlated ldimm64 insn matches

the off encoded in the ELF ldimm64 insn.



Thanks,

Leon