Giters

0xPolygonMiden / compiler

Compiler from MidenIR to Miden Assembly

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Assembler fails to parse emitted `mem::intrinsics::*` calls

greenhat opened this issue · comments

commented

After I drafted the solution for #207 the next error popped up.
Emitted mem::intrinsics::* calls fail to be parsed by the assembler with the error:

  x invalid syntax
    ,-[user_ns::abi_transform_tx_kernel_get_inputs:47:25]
 46 |     u32div.16
 47 |     exec.intrinsics::mem::load_sw
    :                         ^|
    :                          `-- found a :: here
 48 |     push.2
    `----
  help: expected primitive opcode (e.g. "add"), or "end", or control flow
        opcode (e.g. "if.true")

I think we should import them with use.intrinsics::mem first and then call with exec.mem::load_sw.