unrecognized quad 41 with iter

[rillian]

The following code from the manual fails with rustboot 700e522.

$ rustboot sum.rs && ./sum
E:Assembly error: unrecognized quad 41: [edi + -(0xc + <frame spill fixup>.msz)] =  [edi + -(0xc + <frame spill fixup>.msz)] add [esi + -(0x10 + <frame spill fixup>.msz)]

$ cat sum.rs 
iter range(int a, int b) -> int {
  check (a < b);

  let int i = a;
  while (i < b) {
    put i;
    i += 1;
  }
}

fn main() {
  let int sum = 0;
  for each (int x in range(0, 100)) {
    sum += x;
  }

  log sum;
}

[graydon]

How embarrassing. Thanks for the report, I'll look into it.

[graydon]

Fix mem op= mem bug in trans.ml (via not terribly good fix). Closed by c96634a.