search

jasmin-lang / jasmin

Language for high-assurance and high-speed cryptography
MIT License
250 stars 53 forks source link

Internal asmgen error for invalid intrinsic argument #877

Open sarranz opened 4 weeks ago

sarranz commented 4 weeks ago

This program

export
fn f () -> reg u64 {
  reg u64 msf;

  msf = #NOT(0);
  return msf;
}

gives

"ble.jazz", line 5 (2-16):
internal compilation error in function f:
  asmgen: (compile_arg) not compatible asm_arg
Please report at https://github.com/jasmin-lang/jasmin/issues
sarranz commented 2 weeks ago

Also

export
fn f(reg u64 x) -> reg u64 {
    x = 3 | x;
    return x;
}