softdevteam / ykrustc

Yorick Meta-tracer
Other
6 stars 4 forks source link

Store number of vars per function in SirFuncCx #103

Closed ptersilie closed 4 years ago

ptersilie commented 4 years ago

Requires a rebase after #102 is merged.

ltratt commented 4 years ago

A minor terminology thing: it's fairly common in compilers (and I note that's the case here with mir_body.local_decls) to call these "locals". So maybe num_locals might be a slightly more idiomatic name? [I don't feel strongly about this, but thought it might be worth mentioning.]

ptersilie commented 4 years ago

Good point. Will fix.

ltratt commented 4 years ago

@ptersilie Is this ready for rereview?

ptersilie commented 4 years ago

Whoops, forgot to assign @vext01 to this. But we are currently blocked on the bors issue anyways.

ltratt commented 4 years ago

Well, I'm happy with your change in https://github.com/softdevteam/ykrustc/pull/103/commits/5a24c7f3aca97a088190f349fbc72a67956d5477.

ltratt commented 4 years ago

@ptersilie I think this now needs rebasing against master (and, unfortunately, there are a couple of conflicts), and squashing. Once that's done, I think we can now merge!

vext01 commented 4 years ago

I'm late to the party, but the changes LGTM.

ptersilie commented 4 years ago

Had to add one more fix which we'll need to squash later. Though we can do that after we merged https://github.com/softdevteam/yk/pull/65.

ptersilie commented 4 years ago

Should I start the merge process?

vext01 commented 4 years ago

Please go ahead.

ptersilie commented 4 years ago

Undid the cycle breaker. Ok to squash?

vext01 commented 4 years ago

Please squash.

ptersilie commented 4 years ago

Squashed.

vext01 commented 4 years ago

bors r+

bors[bot] commented 4 years ago

Build failed:

vext01 commented 4 years ago
  failed to authenticate when downloading repository
attempted to find username/password via git's `credential.helper` support, but failed

Is this a lock file issue?

ptersilie commented 4 years ago

Whoops, forgot to push that. Let's try.

bors try

bors[bot] commented 4 years ago

try

Build succeeded:

vext01 commented 4 years ago

Please squash.

vext01 commented 4 years ago

bors r+

ptersilie commented 4 years ago

Squashed.

bors[bot] commented 4 years ago

Build succeeded: