~mpu/qbe

2

Crash in mem.c: coalesce: Assertion `u->type == UIns' failed.

Details
Message ID
<330f32ad8d4de9efe966b8e28dfc7d9d3a0fd3ea.camel@web.de>
DKIM signature
pass
Download raw message
Hi!

I encountered a QBE crash while using Hare, but I don't know enough
about QBE to whether the generated code is invalid or not.

Compiling this Hare code:

   fn qbe_crash() void =3D {
   	let current: *bool =3D &true;
   	for (true) current =3D &*current;
   };

...I get this error:

   qbe: mem.c:361: coalesce: Assertion `u->type =3D=3D UIns' failed.

Here is the minimal IL code resulting in the assertion:

   function $crash() {
   @start
   	%a =3Dl alloc4 1
   	%b =3Dl alloc4 1
   	%c =3Dl alloc4 1
   	storel %b, %a
   @loop
   	%d =3Dl loadl %a
   	storel %c, %a
   	jmp @loop
   @end
   	ret
   }

If this is something I should report in the Hare project instead,
please let me know.

Jummit
Details
Message ID
<fd96ff6b-6934-4f29-955d-f1850b038bc0@app.fastmail.com>
In-Reply-To
<330f32ad8d4de9efe966b8e28dfc7d9d3a0fd3ea.camel@web.de> (view parent)
DKIM signature
pass
Download raw message
On Wed, Feb 21, 2024, at 08:18, Jummit wrote:
> If this is something I should report in the Hare project instead,
> please let me know.

This is precisely the right list. Thanks for reporting, I'll
look into it.
Details
Message ID
<971f0730-55fd-49ec-a465-58d931678594@app.fastmail.com>
In-Reply-To
<fd96ff6b-6934-4f29-955d-f1850b038bc0@app.fastmail.com> (view parent)
DKIM signature
pass
Download raw message
That should now be fixed on master.
Reply to thread Export thread (mbox)