Stream: t-compiler/major changes

Topic: Add StatementKind::Intrinsic to MIR compiler-team#348


triagebot (Sep 18 2020 at 18:56, on Zulip):

@T-compiler: Proposal #348 has been seconded, and will be approved in 10 days if no objections are raised.

triagebot (Sep 30 2020 at 22:30, on Zulip):

This proposal has been accepted: #348.

RalfJ (Oct 04 2020 at 11:19, on Zulip):

Extend Mir to include statements for specific intrinsic function calls that are known to not panic or unwind under any conditions.

Additionally, these intrinsics must also be known to always return (i.e., they must never cause an infinite loop).
Not sure where the docs for this are or will be, but this part is important :D

oli (Oct 04 2020 at 11:56, on Zulip):

The title is outdated the contents of the MCP now state that we add new statements or rvalues for individual intrinsics, and only for intrinsics that are known to always return

RalfJ (Oct 04 2020 at 13:34, on Zulip):

the contents of the MCP now state that we add new statements or rvalues for individual intrinsics, and only for intrinsics that are known to always return

it does not state that though? it says what I quited above.

jknodt (Oct 06 2020 at 04:28, on Zulip):

Ah I didn't explicitly state, "doesn't loop forever", wherever docs are added "definitely returns" will be added

Last update: May 07 2021 at 07:00UTC