Stream: t-libs/stdarch

Topic: miri support


Luca Barbato (Sep 16 2019 at 09:24, on Zulip):

The people working on miri asked if they could get the support in the nightly, I didn't check if it is in already, is it?

gnzlbg (Sep 16 2019 at 09:31, on Zulip):

I don't think so.

gnzlbg (Sep 16 2019 at 09:33, on Zulip):

We merged a PR recently, stdarch#803

gnzlbg (Sep 16 2019 at 09:33, on Zulip):

but we should add a test that checks that this does not break

gnzlbg (Sep 16 2019 at 09:34, on Zulip):

Probably a build job for x86+miri that only runs the std::detect tests and checks that is_x86_feature_detected! returns the same value as cfg!(target_feature)

Luca Barbato (Sep 16 2019 at 09:41, on Zulip):

sounds a good idea, I wanted the miri dev to write it since it requires some additional work to make sure it does not break because of miri itself.

gnzlbg (Sep 16 2019 at 15:43, on Zulip):

@Luca Barbato i've updated the PR, and I think it closes stdarch#667 now

gnzlbg (Sep 16 2019 at 15:44, on Zulip):

Will probably need to do a crater run

Last update: Nov 15 2019 at 09:45UTC