kit

invalid_asm_wide_reg_rv32.toy (445B)

---

 // A 64-bit value bound to a register ("r") asm constraint cannot be honored on
 // a 32-bit target: the value needs a register pair, which the inline-asm path
 // does not model, so it would silently truncate to the low 32 bits. Reject it.
 // Compiled for riscv32 (see the .ccargs sidecar); on a 64-bit host an i64 fits
 // a single GPR and this is accepted.
 fn main(): i64 {
   @asm<void>("", outputs(), inputs(in("r", 42 as i64)));
   return 0;
 }