summaryrefslogtreecommitdiffstats
path: root/src/test/codegen/unchecked_shifts.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/codegen/unchecked_shifts.rs')
-rw-r--r--src/test/codegen/unchecked_shifts.rs66
1 files changed, 0 insertions, 66 deletions
diff --git a/src/test/codegen/unchecked_shifts.rs b/src/test/codegen/unchecked_shifts.rs
deleted file mode 100644
index 60d0cb09a..000000000
--- a/src/test/codegen/unchecked_shifts.rs
+++ /dev/null
@@ -1,66 +0,0 @@
-// compile-flags: -O
-// min-llvm-version: 15.0 (LLVM 13 in CI does this differently from submodule LLVM)
-// ignore-debug (because unchecked is checked in debug)
-
-#![crate_type = "lib"]
-#![feature(unchecked_math)]
-
-// CHECK-LABEL: @unchecked_shl_unsigned_same
-#[no_mangle]
-pub unsafe fn unchecked_shl_unsigned_same(a: u32, b: u32) -> u32 {
- // CHECK-NOT: and i32
- // CHECK: shl i32 %a, %b
- // CHECK-NOT: and i32
- a.unchecked_shl(b)
-}
-
-// CHECK-LABEL: @unchecked_shl_unsigned_smaller
-#[no_mangle]
-pub unsafe fn unchecked_shl_unsigned_smaller(a: u16, b: u32) -> u16 {
- // This uses -DAG to avoid failing on irrelevant reorderings,
- // like emitting the truncation earlier.
-
- // CHECK-DAG: %[[INRANGE:.+]] = icmp ult i32 %b, 65536
- // CHECK-DAG: tail call void @llvm.assume(i1 %[[INRANGE]])
- // CHECK-DAG: %[[TRUNC:.+]] = trunc i32 %b to i16
- // CHECK-DAG: shl i16 %a, %[[TRUNC]]
- a.unchecked_shl(b)
-}
-
-// CHECK-LABEL: @unchecked_shl_unsigned_bigger
-#[no_mangle]
-pub unsafe fn unchecked_shl_unsigned_bigger(a: u64, b: u32) -> u64 {
- // CHECK: %[[EXT:.+]] = zext i32 %b to i64
- // CHECK: shl i64 %a, %[[EXT]]
- a.unchecked_shl(b)
-}
-
-// CHECK-LABEL: @unchecked_shr_signed_same
-#[no_mangle]
-pub unsafe fn unchecked_shr_signed_same(a: i32, b: u32) -> i32 {
- // CHECK-NOT: and i32
- // CHECK: ashr i32 %a, %b
- // CHECK-NOT: and i32
- a.unchecked_shr(b)
-}
-
-// CHECK-LABEL: @unchecked_shr_signed_smaller
-#[no_mangle]
-pub unsafe fn unchecked_shr_signed_smaller(a: i16, b: u32) -> i16 {
- // This uses -DAG to avoid failing on irrelevant reorderings,
- // like emitting the truncation earlier.
-
- // CHECK-DAG: %[[INRANGE:.+]] = icmp ult i32 %b, 32768
- // CHECK-DAG: tail call void @llvm.assume(i1 %[[INRANGE]])
- // CHECK-DAG: %[[TRUNC:.+]] = trunc i32 %b to i16
- // CHECK-DAG: ashr i16 %a, %[[TRUNC]]
- a.unchecked_shr(b)
-}
-
-// CHECK-LABEL: @unchecked_shr_signed_bigger
-#[no_mangle]
-pub unsafe fn unchecked_shr_signed_bigger(a: i64, b: u32) -> i64 {
- // CHECK: %[[EXT:.+]] = zext i32 %b to i64
- // CHECK: ashr i64 %a, %[[EXT]]
- a.unchecked_shr(b)
-}