Skip to content

Instantly share code, notes, and snippets.

@mgaudet

mgaudet/pernosco-record Secret

Last active August 15, 2022 12:44
Show Gist options
  • Save mgaudet/af2cba5e55fc93ff582cfcb352b54ab4 to your computer and use it in GitHub Desktop.
Save mgaudet/af2cba5e55fc93ff582cfcb352b54ab4 to your computer and use it in GitHub Desktop.
Download ZIP
Tool for disabling pernosco-incompatible instructions.
Raw
pernosco-record
#!/bin/bash
rr record --disable-avx-512 "$@"
@mgaudet
Copy link
Author

mgaudet commented May 31, 2022

Updated May 31, 2022 as per https://groups.google.com/a/mozilla.org/g/dev-platform/c/-pS3laZBDyg/m/6PAWFcvFAQAJ

@dshin-moz
Copy link

Hm, perhaps the flag changed? --disable-avx512 is missing a dash between avx and 512 (So --disable-avx-512)

@mgaudet
Copy link
Author

mgaudet commented Aug 15, 2022

Yep; fixed! (was an error in the original email that I propagated)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment