diff options
| author | sayantn <sayantn05@gmail.com> | 2025-05-28 02:08:46 +0530 |
|---|---|---|
| committer | Amanieu d'Antras <amanieu@gmail.com> | 2025-05-30 18:02:17 +0000 |
| commit | 3de76d47a23eda3fe6a79155bca1f16bfd16f928 (patch) | |
| tree | 2e4c28d81768fcce090f36bf1210c7c42fb6ca73 /library/stdarch/ci | |
| parent | 28960ece722bf84e4c84a93b0855d588f7109667 (diff) | |
Use the new definition of `rdtscp` intrinsic
- add `-Zverify-llvm-ir` in testsuite
Diffstat (limited to 'library/stdarch/ci')
| -rwxr-xr-x | library/stdarch/ci/run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/library/stdarch/ci/run.sh b/library/stdarch/ci/run.sh index fd7ec81d505..8eadb9285c9 100755 --- a/library/stdarch/ci/run.sh +++ b/library/stdarch/ci/run.sh @@ -10,7 +10,7 @@ set -ex #export RUST_TEST_NOCAPTURE=1 #export RUST_TEST_THREADS=1 -export RUSTFLAGS="${RUSTFLAGS} -D warnings -Z merge-functions=disabled " +export RUSTFLAGS="${RUSTFLAGS} -D warnings -Z merge-functions=disabled -Z verify-llvm-ir" export HOST_RUSTFLAGS="${RUSTFLAGS}" export PROFILE="${PROFILE:="--profile=release"}" |