-
Notifications
You must be signed in to change notification settings - Fork 12.9k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rollup merge of #110021 - scottmcm:fix-110005, r=compiler-errors
Fix a couple ICEs in the new `CastKind::Transmute` code Check the sizes of the immediates, rather than the overall types, when deciding whether we can convert types without going through memory. Fixes #110005 Fixes #109992 Fixes #110032 cc `@matthiaskrgr`
- Loading branch information
Showing
4 changed files
with
261 additions
and
38 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,35 @@ | ||
// compile-flags: -O -C no-prepopulate-passes | ||
// only-x86_64 (it's using arch-specific types) | ||
// min-llvm-version: 15.0 # this test assumes `ptr`s | ||
|
||
#![crate_type = "lib"] | ||
|
||
use std::arch::x86_64::{__m128, __m128i, __m256i}; | ||
use std::mem::transmute; | ||
|
||
// CHECK-LABEL: @check_sse_float_to_int( | ||
#[no_mangle] | ||
pub unsafe fn check_sse_float_to_int(x: __m128) -> __m128i { | ||
// CHECK-NOT: alloca | ||
// CHECK: %1 = load <4 x float>, ptr %x, align 16 | ||
// CHECK: store <4 x float> %1, ptr %0, align 16 | ||
transmute(x) | ||
} | ||
|
||
// CHECK-LABEL: @check_sse_pair_to_avx( | ||
#[no_mangle] | ||
pub unsafe fn check_sse_pair_to_avx(x: (__m128i, __m128i)) -> __m256i { | ||
// CHECK-NOT: alloca | ||
// CHECK: %1 = load <4 x i64>, ptr %x, align 16 | ||
// CHECK: store <4 x i64> %1, ptr %0, align 32 | ||
transmute(x) | ||
} | ||
|
||
// CHECK-LABEL: @check_sse_pair_from_avx( | ||
#[no_mangle] | ||
pub unsafe fn check_sse_pair_from_avx(x: __m256i) -> (__m128i, __m128i) { | ||
// CHECK-NOT: alloca | ||
// CHECK: %1 = load <4 x i64>, ptr %x, align 32 | ||
// CHECK: store <4 x i64> %1, ptr %0, align 16 | ||
transmute(x) | ||
} |
Oops, something went wrong.