tree f219d2197253064dd88deae26a5722d50b6d36cb
parent a2eadb97cd6137a7275eb87ed04613655612e045
author Simon Camphausen <simon.camphausen@iml.fraunhofer.de> 1733844786 +0100
committer GitHub <noreply@github.com> 1733844786 -0800
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJnWF8yCRC1aQ7uu5UhlAAApvIQAE4ngIeyJh+7q5vhgU7wxK37
 2oEKJxESIOaexRWeycdi/505k1IXeBz0AvAI8cXvt9nENk2OvDk44N5128UclY2N
 piO+9qQqXIHKJYlFIMcYZPLtVc94lEOiopWXg0x+AWDgV4P/acQFEHE/ctvOUHt9
 US/fvI2AFJ0KeJWUIcY6vPOuP6qvO1yVFMFREs1EJVYMMWrsvFxjYmNqYs5UEd5y
 WGHEWZ9FGxm+TMh4J0562q5uB1dbiP7J29EfLYkhLEMF/RXLri+dQlS6dZhhpM5P
 TXxrb1nTIzKSkZGc63M/wbIE6tYALIJmzgGslZg0V8yUSK422xHaMXPthJntbuzC
 a0d+wXyJTfeRBglQmE7NbsihpNmyzJmOzvRrDcCjY7yIiNUBZ01bSLUUahSH2HE8
 4JzLrj6vlH/tVb/91I1n79crE9my3TFUT6NgbEYyn+EaCVtE3IKLlzXmZbDhbU5f
 xOjtmQ4BySlFl9vkwvg9CUUMDcnoXANaDcnD0xSDpPsVR878YmT+ANh8uLktqqyS
 uwn01G26jmnESDcam33FdMPZllqwLW6Lf8VwGpMyvy7A3Mpr9PcdNNsxlwnP1Asz
 TL1jI7azeHyhBcQlFckEJl5A5M/T1xs/eR8Cuoe1XyuSUzU0f1CLFvuy8ioxihjg
 C29kmZKToYMLL55r50mP
 =ti1/
 -----END PGP SIGNATURE-----
 

[EmitC] Use signature conversions to drop block arguments with ref type (#18508)

Block arguments are emitted as additional local variables in the EmitC
emitter and branch operands get transferred to these with assignments.
Thus block arguments with `VM::RefType` need to be specifically handled
to correctly update their ref count and therefore need to be deleted
from the blocks.

Before this change these block arguments would survive the dialect
conversion and were manually removed in a cleanup walk over the IR.

Now these arguments get directly dropped during the dialect conversion,
which saves a walk over the IR and more importantly removes state from
the type converter.

---------

Signed-off-by: Simon Camphausen <simon.camphausen@iml.fraunhofer.de>