1 // compile-flags: --target riscv64gc-unknown-linux-gnu -O -C no-prepopulate-passes
2 // needs-llvm-components: riscv
6 #![feature(no_core, lang_items)]
7 #![allow(improper_ctypes)]
22 // CHECK: define void @f_void()
24 pub extern "C" fn f_void() {}
26 // CHECK: define noundef zeroext i1 @f_scalar_0(i1 noundef zeroext %a)
28 pub extern "C" fn f_scalar_0(a: bool) -> bool {
32 // CHECK: define signext i8 @f_scalar_1(i8 signext %x)
34 pub extern "C" fn f_scalar_1(x: i8) -> i8 {
38 // CHECK: define zeroext i8 @f_scalar_2(i8 zeroext %x)
40 pub extern "C" fn f_scalar_2(x: u8) -> u8 {
44 // CHECK: define signext i32 @f_scalar_3(i32 signext %x)
46 pub extern "C" fn f_scalar_3(x: i32) -> u32 {
50 // CHECK: define i64 @f_scalar_4(i64 %x)
52 pub extern "C" fn f_scalar_4(x: i64) -> i64 {
56 // CHECK: define float @f_fp_scalar_1(float %0)
58 pub extern "C" fn f_fp_scalar_1(x: f32) -> f32 {
61 // CHECK: define double @f_fp_scalar_2(double %0)
63 pub extern "C" fn f_fp_scalar_2(x: f64) -> f64 {
70 // CHECK: define void @f_agg_empty_struct()
72 pub extern "C" fn f_agg_empty_struct(e: Empty) -> Empty {
84 // CHECK: define void @f_agg_tiny(i64 %0)
86 pub extern "C" fn f_agg_tiny(mut e: Tiny) {
89 // CHECK: define i64 @f_agg_tiny_ret()
91 pub extern "C" fn f_agg_tiny_ret() -> Tiny {
92 Tiny { a: 1, b: 2, c: 3, d: 4 }
101 // CHECK: define void @f_agg_small([2 x i64] %0)
103 pub extern "C" fn f_agg_small(mut x: Small) {
106 // CHECK: define [2 x i64] @f_agg_small_ret()
108 pub extern "C" fn f_agg_small_ret() -> Small {
109 Small { a: 1, b: 0 as *mut _ }
113 pub struct SmallAligned {
117 // CHECK: define void @f_agg_small_aligned(i128 %0)
119 pub extern "C" fn f_agg_small_aligned(mut x: SmallAligned) {
130 // CHECK: define void @f_agg_large({{%Large\*|ptr}} {{.*}}%x)
132 pub extern "C" fn f_agg_large(mut x: Large) {
135 // CHECK: define void @f_agg_large_ret({{%Large\*|ptr}} {{.*}}sret{{.*}}, i32 signext %i, i8 signext %j)
137 pub extern "C" fn f_agg_large_ret(i: i32, j: i8) -> Large {
138 Large { a: 1, b: 2, c: 3, d: 4 }
141 // CHECK: define void @f_scalar_stack_1(i64 %0, [2 x i64] %1, i128 %2, {{%Large\*|ptr}} {{.*}}%d, i8 zeroext %e, i8 signext %f, i8 %g, i8 %h)
143 pub extern "C" fn f_scalar_stack_1(
155 // CHECK: define void @f_scalar_stack_2({{%Large\*|ptr}} {{.*}}sret{{.*}} %0, i64 %a, i128 %1, i128 %2, i64 %d, i8 zeroext %e, i8 %f, i8 %g)
157 pub extern "C" fn f_scalar_stack_2(
166 Large { a: a as i64, b: e as i64, c: f as i64, d: g as i64 }
170 fn f_va_callee(_: i32, ...) -> i32;
174 pub unsafe extern "C" fn f_va_caller() {
175 // CHECK: call signext i32 (i32, ...) @f_va_callee(i32 signext 1, i32 signext 2, i64 3, double {{.*}}, double {{.*}}, i64 {{.*}}, [2 x i64] {{.*}}, i128 {{.*}}, {{%Large\*|ptr}} {{.*}})
182 Tiny { a: 1, b: 2, c: 3, d: 4 },
183 Small { a: 10, b: 0 as *mut _ },
184 SmallAligned { a: 11 },
185 Large { a: 12, b: 13, c: 14, d: 15 },
187 // CHECK: call signext i32 (i32, ...) @f_va_callee(i32 signext 1, i32 signext 2, i32 signext 3, i32 signext 4, i128 {{.*}}, i32 signext 6, i32 signext 7, i32 8, i32 9)
188 f_va_callee(1, 2i32, 3i32, 4i32, SmallAligned { a: 5 }, 6i32, 7i32, 8i32, 9i32);