Stream: t-compiler/wg-mir-opt

Topic: rustc-guide


Yuki Okushi (May 08 2019 at 16:05, on Zulip):

I don't know where to start but I found rustc-guide has no contents for MIR optimizations. Should we work on that? (And just a friendly reminder, it's helpful to be added to GitHub team. cc @oli )

oli (May 08 2019 at 18:46, on Zulip):

yea some rustc-guide info is a good idea

oli (May 08 2019 at 18:47, on Zulip):

Unfortunately the team thing is out of my hands, I can only add organization members to the team. I'll try to figure out how to do that

Yuki Okushi (May 09 2019 at 08:46, on Zulip):

Okay, I'll work on that! What should we put there? (where should we refer to?) And about team thing, is there anything I can do for that?

oli (May 09 2019 at 10:20, on Zulip):

I'm deleting the github team, as we're not using it anyway. Any pinging will be happening on zulip.

oli (May 09 2019 at 10:22, on Zulip):

we should probably start documenting the optimization pipeline and some info about what kind of optimizations we have (guaranteed and required ones, some that don't optimize, but just check stuff, some that are only turned on in release mode, ...)

Yuki Okushi (Jun 07 2019 at 07:36, on Zulip):

Just as a reminder, I opened an issue (https://github.com/rust-lang/rustc-guide/issues/331).

Yuki Okushi (Jun 08 2019 at 01:28, on Zulip):

It may difficult to come up with suitable content. If there is any document we should refer to, please let me know.

Last update: Nov 17 2019 at 07:00UTC