Failure in regalloc throws internal compilation error for subroutines

[sarranz]

The following code

fn foo(reg u64 x y) -> reg u64 {
    [x] = 0;
    return y;
}

fails with

"", line 1 (0) to line 4 (1):
internal compilation error in function foo:
  Variable allocation: x (defined at "ble.jazz", line 1 (15-16)) and RAX (defined at "", line -1 (-1)) : variable already set

But if we set it as export, it fails correctly.

[vbgl]

Thanks for the report. Here is a variant:

fn foo(reg u64 x y) -> reg u64 {
    [x] = 0;
    return y;
}

export
fn dummy(reg u64 p) -> reg u64 {
  p = p;
  _ = foo(p, p);
  return p;
}

[vbgl]

I don’t understand why you write that the failure is expected.

[sarranz]

I don’t understand why you write that the failure is expected.

I meant that I'd liked to get the behavior we have if it were an export function. If we remove local functions that are not called then yes, I would expect no error and an empty program.

[vbgl]

What if it’s a local function that does get called?

[sarranz]

I see now, you're right. This should compile. We don't need to respect the calling convention for local functions.