|
| 1 | +//@ compile-flags: -Copt-level=0 -Cno-prepopulate-passes |
| 2 | +//@ min-llvm-version: 19 |
| 3 | +//@ only-64bit |
| 4 | +//@ only-riscv64 |
| 5 | + |
| 6 | +#![crate_type = "lib"] |
| 7 | + |
| 8 | +use std::cmp::Ordering; |
| 9 | +use std::num::NonZero; |
| 10 | +use std::ptr::NonNull; |
| 11 | + |
| 12 | +#[no_mangle] |
| 13 | +fn make_some_bool(x: bool) -> Option<bool> { |
| 14 | + // CHECK-LABEL: i8 @make_some_bool(i1 zeroext %x) |
| 15 | + // CHECK-NEXT: start: |
| 16 | + // CHECK-NEXT: %[[WIDER:.+]] = zext i1 %x to i8 |
| 17 | + // CHECK-NEXT: ret i8 %[[WIDER]] |
| 18 | + Some(x) |
| 19 | +} |
| 20 | + |
| 21 | +#[no_mangle] |
| 22 | +fn make_none_bool() -> Option<bool> { |
| 23 | + // CHECK-LABEL: i8 @make_none_bool() |
| 24 | + // CHECK-NEXT: start: |
| 25 | + // CHECK-NEXT: ret i8 2 |
| 26 | + None |
| 27 | +} |
| 28 | + |
| 29 | +#[no_mangle] |
| 30 | +fn make_some_ordering(x: Ordering) -> Option<Ordering> { |
| 31 | + // CHECK-LABEL: i8 @make_some_ordering(i8 signext %x) |
| 32 | + // CHECK-NEXT: start: |
| 33 | + // CHECK-NEXT: ret i8 %x |
| 34 | + Some(x) |
| 35 | +} |
| 36 | + |
| 37 | +#[no_mangle] |
| 38 | +fn make_some_u16(x: u16) -> Option<u16> { |
| 39 | + // CHECK-LABEL: { i16, i16 } @make_some_u16(i16 zeroext %x) |
| 40 | + // CHECK-NEXT: start: |
| 41 | + // CHECK-NEXT: %0 = insertvalue { i16, i16 } { i16 1, i16 poison }, i16 %x, 1 |
| 42 | + // CHECK-NEXT: ret { i16, i16 } %0 |
| 43 | + Some(x) |
| 44 | +} |
| 45 | + |
| 46 | +#[no_mangle] |
| 47 | +fn make_none_u16() -> Option<u16> { |
| 48 | + // CHECK-LABEL: { i16, i16 } @make_none_u16() |
| 49 | + // CHECK-NEXT: start: |
| 50 | + // CHECK-NEXT: ret { i16, i16 } { i16 0, i16 undef } |
| 51 | + None |
| 52 | +} |
| 53 | + |
| 54 | +#[no_mangle] |
| 55 | +fn make_some_nzu32(x: NonZero<u32>) -> Option<NonZero<u32>> { |
| 56 | + // CHECK-LABEL: i32 @make_some_nzu32(i32 signext %x) |
| 57 | + // CHECK-NEXT: start: |
| 58 | + // CHECK-NEXT: ret i32 %x |
| 59 | + Some(x) |
| 60 | +} |
| 61 | + |
| 62 | +#[no_mangle] |
| 63 | +fn make_ok_ptr(x: NonNull<u16>) -> Result<NonNull<u16>, usize> { |
| 64 | + // CHECK-LABEL: { i64, ptr } @make_ok_ptr(ptr %x) |
| 65 | + // CHECK-NEXT: start: |
| 66 | + // CHECK-NEXT: %0 = insertvalue { i64, ptr } { i64 0, ptr poison }, ptr %x, 1 |
| 67 | + // CHECK-NEXT: ret { i64, ptr } %0 |
| 68 | + Ok(x) |
| 69 | +} |
| 70 | + |
| 71 | +#[no_mangle] |
| 72 | +fn make_ok_int(x: usize) -> Result<usize, NonNull<u16>> { |
| 73 | + // CHECK-LABEL: { i64, ptr } @make_ok_int(i64 %x) |
| 74 | + // CHECK-NEXT: start: |
| 75 | + // CHECK-NEXT: %[[NOPROV:.+]] = getelementptr i8, ptr null, i64 %x |
| 76 | + // CHECK-NEXT: %[[R:.+]] = insertvalue { i64, ptr } { i64 0, ptr poison }, ptr %[[NOPROV]], 1 |
| 77 | + // CHECK-NEXT: ret { i64, ptr } %[[R]] |
| 78 | + Ok(x) |
| 79 | +} |
| 80 | + |
| 81 | +#[no_mangle] |
| 82 | +fn make_some_ref(x: &u16) -> Option<&u16> { |
| 83 | + // CHECK-LABEL: ptr @make_some_ref(ptr align 2 %x) |
| 84 | + // CHECK-NEXT: start: |
| 85 | + // CHECK-NEXT: ret ptr %x |
| 86 | + Some(x) |
| 87 | +} |
| 88 | + |
| 89 | +#[no_mangle] |
| 90 | +fn make_none_ref<'a>() -> Option<&'a u16> { |
| 91 | + // CHECK-LABEL: ptr @make_none_ref() |
| 92 | + // CHECK-NEXT: start: |
| 93 | + // CHECK-NEXT: ret ptr null |
| 94 | + None |
| 95 | +} |
| 96 | + |
| 97 | +#[inline(never)] |
| 98 | +fn make_err_generic<E>(e: E) -> Result<u32, E> { |
| 99 | + // CHECK-LABEL: define{{.+}}make_err_generic |
| 100 | + // CHECK-NEXT: start: |
| 101 | + // CHECK-NEXT: call void @llvm.trap() |
| 102 | + // CHECK-NEXT: ret i32 poison |
| 103 | + Err(e) |
| 104 | +} |
| 105 | + |
| 106 | +#[no_mangle] |
| 107 | +fn make_uninhabited_err_indirectly(n: Never) -> Result<u32, Never> { |
| 108 | + // CHECK-LABEL: i32 @make_uninhabited_err_indirectly() |
| 109 | + // CHECK-NEXT: start: |
| 110 | + // CHECK-NEXT: call{{.+}}make_err_generic |
| 111 | + make_err_generic(n) |
| 112 | +} |
| 113 | + |
| 114 | +#[no_mangle] |
| 115 | +fn make_fully_uninhabited_result(v: u32, n: Never) -> Result<(u32, Never), (Never, u32)> { |
| 116 | + // Actually reaching this would be UB, so we don't actually build a result. |
| 117 | + |
| 118 | + // CHECK-LABEL: { i32, i32 } @make_fully_uninhabited_result(i32 signext %v) |
| 119 | + // CHECK-NEXT: start: |
| 120 | + // CHECK-NEXT: call void @llvm.trap() |
| 121 | + // CHECK-NEXT: call void @llvm.trap() |
| 122 | + // CHECK-NEXT: call void @llvm.trap() |
| 123 | + // CHECK-NEXT: unreachable |
| 124 | + Ok((v, n)) |
| 125 | +} |
| 126 | + |
| 127 | +enum Never {} |
0 commit comments