diff options
Diffstat (limited to 'tests/codegen/common_prim_int_ptr.rs')
| -rw-r--r-- | tests/codegen/common_prim_int_ptr.rs | 51 | 
1 files changed, 0 insertions, 51 deletions
diff --git a/tests/codegen/common_prim_int_ptr.rs b/tests/codegen/common_prim_int_ptr.rs deleted file mode 100644 index 53716adccbf..00000000000 --- a/tests/codegen/common_prim_int_ptr.rs +++ /dev/null @@ -1,51 +0,0 @@ -//@ compile-flags: -Copt-level=3 - -#![crate_type = "lib"] -#![feature(core_intrinsics)] - -// Tests that codegen works properly when enums like `Result<usize, Box<()>>` -// are represented as `{ u64, ptr }`, i.e., for `Ok(123)`, `123` is stored -// as a pointer. - -// CHECK-LABEL: @insert_int -#[no_mangle] -pub fn insert_int(x: usize) -> Result<usize, Box<()>> { - // CHECK: start: - // CHECK-NEXT: %[[WO_PROV:.+]] = getelementptr i8, ptr null, [[USIZE:i[0-9]+]] %x - // CHECK-NEXT: %[[R:.+]] = insertvalue { [[USIZE]], ptr } { [[USIZE]] 0, ptr poison }, ptr %[[WO_PROV]], 1 - // CHECK-NEXT: ret { [[USIZE]], ptr } %[[R]] - Ok(x) -} - -// CHECK-LABEL: @insert_box -#[no_mangle] -pub fn insert_box(x: Box<()>) -> Result<usize, Box<()>> { - // CHECK: start: - // CHECK-NEXT: insertvalue { i{{[0-9]+}}, ptr } - // CHECK-NEXT: ret - Err(x) -} - -// CHECK-LABEL: @extract_int -// CHECK-NOT: nonnull -// CHECK-SAME: (i{{[0-9]+}} {{[^%]+}} [[DISCRIMINANT:%[0-9]+]], ptr {{[^,]+}} [[PAYLOAD:%[0-9]+]]) -#[no_mangle] -pub unsafe fn extract_int(x: Result<usize, Box<()>>) -> usize { - // CHECK: [[TEMP:%.+]] = ptrtoint ptr [[PAYLOAD]] to [[USIZE:i[0-9]+]] - // CHECK: ret [[USIZE]] [[TEMP]] - match x { - Ok(v) => v, - Err(_) => std::intrinsics::unreachable(), - } -} - -// CHECK-LABEL: @extract_box -// CHECK-SAME: (i{{[0-9]+}} {{[^%]+}} [[DISCRIMINANT:%[0-9]+]], ptr {{[^%]+}} [[PAYLOAD:%[0-9]+]]) -#[no_mangle] -pub unsafe fn extract_box(x: Result<usize, Box<i32>>) -> Box<i32> { - // CHECK: ret ptr [[PAYLOAD]] - match x { - Ok(_) => std::intrinsics::unreachable(), - Err(e) => e, - } -}  | 
