c-variadic: add mips assembly test

Author: folkertdev

tests/assembly-llvm/c-variadic-mips.rs

@@ -0,0 +1,137 @@
+//@ add-minicore
+//@ assembly-output: emit-asm
+//
+//@ revisions: mips mips64 mips64el
+//@ [mips] compile-flags: -Copt-level=3 --target mips-unknown-linux-gnu
+//@ [mips64] compile-flags: -Copt-level=3 --target mipsisa64r6-unknown-linux-gnuabi64
+//@ [mips64el] compile-flags: -Copt-level=3 --target mips64el-unknown-linux-gnuabi64
+//@ needs-llvm-components: mips
+#![feature(c_variadic, no_core, lang_items, intrinsics, rustc_attrs, asm_experimental_arch)]
+#![no_core]
+#![crate_type = "lib"]
+
+// Check that the assembly that rustc generates matches what clang emits.
+
+extern crate minicore;
+use minicore::*;
+
+#[lang = "va_arg_safe"]
+pub unsafe trait VaArgSafe {}
+
+unsafe impl VaArgSafe for i32 {}
+unsafe impl VaArgSafe for i64 {}
+unsafe impl VaArgSafe for f64 {}
+unsafe impl<T> VaArgSafe for *const T {}
+
+#[repr(transparent)]
+struct VaListInner {
+    ptr: *const c_void,
+}
+
+#[repr(transparent)]
+#[lang = "va_list"]
+pub struct VaList<'a> {
+    inner: VaListInner,
+    _marker: PhantomData<&'a mut ()>,
+}
+
+#[rustc_intrinsic]
+#[rustc_nounwind]
+pub const unsafe fn va_arg<T: VaArgSafe>(ap: &mut VaList<'_>) -> T;
+
+#[unsafe(no_mangle)]
+unsafe extern "C" fn read_f64(ap: &mut VaList<'_>) -> f64 {
+    // CHECK-LABEL: read_f64
+    //
+    // mips: lw  $1, 0($4)
+    // mips-NEXT: addiu   $2, $zero, -8
+    // mips-NEXT: addiu   $1, $1, 7
+    // mips-NEXT: and $1, $1, $2
+    // mips-NEXT: addiu   $2, $1, 8
+    // mips-NEXT: sw  $2, 0($4)
+    // mips-NEXT: ldc1    $f0, 0($1)
+    // mips-NEXT: jr  $ra
+    // mips-NEXT: nop
+    //
+    // mips64: ld  $1, 0($4)
+    // mips64-NEXT: daddiu  $2, $1, 8
+    // mips64-NEXT: sd  $2, 0($4)
+    // mips64-NEXT: ldc1    $f0, 0($1)
+    // mips64-NEXT: jrc $ra
+    //
+    // mips64el: ld  $1, 0($4)
+    // mips64el-NEXT: daddiu  $2, $1, 8
+    // mips64el-NEXT: sd  $2, 0($4)
+    // mips64el-NEXT: ldc1    $f0, 0($1)
+    // mips64el-NEXT: jr  $ra
+    // mips64el-NEXT: nop
+    va_arg(ap)
+}
+
+#[unsafe(no_mangle)]
+unsafe extern "C" fn read_i32(ap: &mut VaList<'_>) -> i32 {
+    // CHECK-LABEL: read_i32
+    //
+    // mips: lw  $1, 0($4)
+    // mips-NEXT: addiu   $2, $1, 4
+    // mips-NEXT: sw  $2, 0($4)
+    // mips-NEXT: lw  $2, 0($1)
+    // mips-NEXT: jr  $ra
+    // mips-NEXT: nop
+    //
+    // mips64: ld  $1, 0($4)
+    // mips64-NEXT: daddiu  $2, $1, 8
+    // mips64-NEXT: sd  $2, 0($4)
+    // mips64-NEXT: lw  $2, 4($1)
+    // mips64-NEXT: jrc $ra
+    //
+    // mips64el: ld  $1, 0($4)
+    // mips64el-NEXT: daddiu  $2, $1, 8
+    // mips64el-NEXT: sd  $2, 0($4)
+    // mips64el-NEXT: lw  $1, 0($1)
+    // mips64el-NEXT: jr  $ra
+    // mips64el-NEXT: sll $2, $1, 0
+    va_arg(ap)
+}
+
+#[unsafe(no_mangle)]
+unsafe extern "C" fn read_i64(ap: &mut VaList<'_>) -> i64 {
+    // CHECK-LABEL: read_i64
+    //
+    // mips: lw  $1, 0($4)
+    // mips-NEXT: addiu   $2, $zero, 4
+    // mips-NEXT: addiu   $1, $1, 7
+    // mips-NEXT: move    $3, $1
+    // mips-NEXT: ins $3, $2, 0, 3
+    // mips-NEXT: addiu   $2, $zero, -8
+    // mips-NEXT: sw  $3, 0($4)
+    // mips-NEXT: and $1, $1, $2
+    // mips-NEXT: lw  $2, 0($1)
+    // mips-NEXT: addiu   $1, $3, 4
+    // mips-NEXT: sw  $1, 0($4)
+    // mips-NEXT: lw  $3, 0($3)
+    // mips-NEXT: jr  $ra
+    // mips-NEXT: nop
+    //
+    // mips64: ld  $1, 0($4)
+    // mips64-NEXT: daddiu  $2, $1, 8
+    // mips64-NEXT: sd  $2, 0($4)
+    // mips64-NEXT: ld  $2, 0($1)
+    // mips64-NEXT: jrc $ra
+    //
+    // mips64el: ld  $1, 0($4)
+    // mips64el-NEXT: daddiu  $2, $1, 8
+    // mips64el-NEXT: sd  $2, 0($4)
+    // mips64el-NEXT: ld  $2, 0($1)
+    // mips64el-NEXT: jr  $ra
+    // mips64el-NEXT: nop
+    va_arg(ap)
+}
+
+#[unsafe(no_mangle)]
+unsafe extern "C" fn read_ptr(ap: &mut VaList<'_>) -> *const u8 {
+    // mips: read_ptr = read_i32
+    // mips64: read_ptr = read_i64
+    // mips64el: read_ptr = read_i64
+    va_arg(ap)
+}