about summary refs log tree commit diff
path: root/tests/codegen/option-as-slice.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/codegen/option-as-slice.rs')
-rw-r--r--tests/codegen/option-as-slice.rs71
1 files changed, 0 insertions, 71 deletions
diff --git a/tests/codegen/option-as-slice.rs b/tests/codegen/option-as-slice.rs
deleted file mode 100644
index 39b34a2035b..00000000000
--- a/tests/codegen/option-as-slice.rs
+++ /dev/null
@@ -1,71 +0,0 @@
-//@ compile-flags: -Copt-level=3 -Z randomize-layout=no
-//@ only-x86_64
-#![crate_type = "lib"]
-
-extern crate core;
-
-use core::num::NonZero;
-use core::option::Option;
-
-// CHECK-LABEL: @u64_opt_as_slice
-#[no_mangle]
-pub fn u64_opt_as_slice(o: &Option<u64>) -> &[u64] {
-    // CHECK-NOT: select
-    // CHECK-NOT: br
-    // CHECK-NOT: switch
-    // CHECK-NOT: icmp
-    // CHECK: %[[LEN:.+]] = load i64
-    // CHECK-SAME: !range ![[META_U64:[0-9]+]],
-    // CHECK-SAME: !noundef
-    // CHECK-NOT: select
-    // CHECK-NOT: br
-    // CHECK-NOT: switch
-    // CHECK-NOT: icmp
-    // CHECK: %[[T0:.+]] = insertvalue { ptr, i64 } poison, ptr %{{.+}}, 0
-    // CHECK-NEXT: %[[T1:.+]] = insertvalue { ptr, i64 } %[[T0]], i64 %[[LEN]], 1
-    // CHECK-NEXT: ret { ptr, i64 } %[[T1]]
-    o.as_slice()
-}
-
-// CHECK-LABEL: @nonzero_u64_opt_as_slice
-#[no_mangle]
-pub fn nonzero_u64_opt_as_slice(o: &Option<NonZero<u64>>) -> &[NonZero<u64>] {
-    // CHECK-NOT: select
-    // CHECK-NOT: br
-    // CHECK-NOT: switch
-    // CHECK-NOT: icmp
-    // CHECK: %[[NZ:.+]] = icmp ne i64 %{{.+}}, 0
-    // CHECK-NEXT: %[[LEN:.+]] = zext i1 %[[NZ]] to i64
-    // CHECK-NOT: select
-    // CHECK-NOT: br
-    // CHECK-NOT: switch
-    // CHECK-NOT: icmp
-    // CHECK: %[[T0:.+]] = insertvalue { ptr, i64 } poison, ptr %o, 0
-    // CHECK-NEXT: %[[T1:.+]] = insertvalue { ptr, i64 } %[[T0]], i64 %[[LEN]], 1
-    // CHECK-NEXT: ret { ptr, i64 } %[[T1]]
-    o.as_slice()
-}
-
-// CHECK-LABEL: @u8_opt_as_slice
-#[no_mangle]
-pub fn u8_opt_as_slice(o: &Option<u8>) -> &[u8] {
-    // CHECK-NOT: select
-    // CHECK-NOT: br
-    // CHECK-NOT: switch
-    // CHECK-NOT: icmp
-    // CHECK: %[[TAG:.+]] = load i8
-    // CHECK-SAME: !range ![[META_U8:[0-9]+]],
-    // CHECK-SAME: !noundef
-    // CHECK: %[[LEN:.+]] = zext{{.*}} i8 %[[TAG]] to i64
-    // CHECK-NOT: select
-    // CHECK-NOT: br
-    // CHECK-NOT: switch
-    // CHECK-NOT: icmp
-    // CHECK: %[[T0:.+]] = insertvalue { ptr, i64 } poison, ptr %{{.+}}, 0
-    // CHECK-NEXT: %[[T1:.+]] = insertvalue { ptr, i64 } %[[T0]], i64 %[[LEN]], 1
-    // CHECK-NEXT: ret { ptr, i64 } %[[T1]]
-    o.as_slice()
-}
-
-// CHECK: ![[META_U64]] = !{i64 0, i64 2}
-// CHECK: ![[META_U8]] = !{i8 0, i8 2}