Generate lockfile in intrinsic-test

[bjorn3]

This allows building the resulting workspace with --locked.

Fixes #2193

[rustbot]

r? @folkertdev

rustbot has assigned @folkertdev.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

• Owners of files modified in this PR: @Amanieu, @adamgemmell, @davidtwco, @folkertdev, @sayantn
• @Amanieu, @adamgemmell, @davidtwco, @folkertdev, @sayantn expanded to Amanieu, adamgemmell, davidtwco, folkertdev, sayantn
• Random selection from Amanieu, adamgemmell, davidtwco, folkertdev, sayantn

[folkertdev]

Needs a rebase

View changes since this review

[folkertdev]

should we really hardcode this (as a string)?

[bjorn3]

This is the exact text that Cargo would produce. I could move it to a separate text file, but it isn't going to be automatically updateable either way. Without the Cargo.toml files generated by intrinsic-test, cargo generate-lockfile would just error. So I think updating it would be generate a workspace using intrinsic-test, run cargo update in this workspace and then copy the start of Cargo.lock here.

[bjorn3]

How did this cause a miscompilation in CI???

---- core_arch::x86::avx512fp16::tests::test_mm256_add_ph stdout ----

thread 'core_arch::x86::avx512fp16::tests::test_mm256_add_ph' (5956) panicked at crates\core_arch\src\x86\avx512fp16.rs:17729:9:
assertion `left == right` failed
  left: Simd(0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40)
 right: Simd(0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40, 0x4c40)

[rustbot]

This PR was rebased onto a different main commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

[bjorn3]

Rebased and CI passes just fine now.