From: Philip Herron <philip.herron@embecosm.com>
This testsuite is heavily inspired from the lto testsuite which uses a
pattern that each file is compiled to an object file and finally linked
together. Since rust does not have headers/prototypes we rely on the
ordering here so that all files numbered greater than zero get compiled to
object files first leaving the _0 file free to test the 'extern crate' and
use keywords to force testing of the compiler to read metadata from the
other 'crates'.
---
gcc/testsuite/rust/link/generic_function_0.rs | 7 +
gcc/testsuite/rust/link/generic_function_1.rs | 3 +
gcc/testsuite/rust/link/link.exp | 172 ++++++++++++++++++
gcc/testsuite/rust/link/simple_function_0.rs | 8 +
gcc/testsuite/rust/link/simple_function_1.rs | 3 +
gcc/testsuite/rust/link/trait_import_0.rs | 19 ++
gcc/testsuite/rust/link/trait_import_1.rs | 6 +
7 files changed, 218 insertions(+)
create mode 100644 gcc/testsuite/rust/link/generic_function_0.rs
create mode 100644 gcc/testsuite/rust/link/generic_function_1.rs
create mode 100644 gcc/testsuite/rust/link/link.exp
create mode 100644 gcc/testsuite/rust/link/simple_function_0.rs
create mode 100644 gcc/testsuite/rust/link/simple_function_1.rs
create mode 100644 gcc/testsuite/rust/link/trait_import_0.rs
create mode 100644 gcc/testsuite/rust/link/trait_import_1.rs
new file mode 100644
@@ -0,0 +1,7 @@
+extern crate generic_function_1;
+use generic_function_1::generic_function;
+
+fn main() -> i32 {
+ let a = generic_function(123);
+ a - 123
+}
new file mode 100644
@@ -0,0 +1,3 @@
+pub fn generic_function<X>(a: X) -> X {
+ a
+}
new file mode 100644
@@ -0,0 +1,172 @@
+# Copyright (C) 2021-2022 Free Software Foundation, Inc.
+
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with GCC; see the file COPYING3. If not see
+# <http://www.gnu.org/licenses/>.
+
+# Execute tests, torture testing.
+
+# Load support procs.
+load_lib rust-dg.exp
+
+# Initialize `dg'.
+dg-init
+
+# Main loop.
+set saved-dg-do-what-default ${dg-do-what-default}
+
+set dg-do-what-default "assemble"
+
+# rs-obj -- compile to an object file
+#
+# SOURCE is the source file
+# DEST is the object file
+# OPTALL is the list of compiler options to use with all tests
+# OPTFILE is the list of compiler options to use with this file
+# OPTSTR is the options to print with test messages
+# XFAILDATA is the xfail data to be passed to the compiler
+proc rs-obj { source dest optall optfile optstr xfaildata } {
+ global tool
+ global compiler_conditional_xfail_data
+
+ # Set up the options for compiling this file.
+ set options ""
+ lappend options "additional_flags=$optall $optfile"
+
+ set compiler_conditional_xfail_data $xfaildata
+ set comp_output [${tool}_target_compile "$source" "$dest" object $options]
+}
+
+# rs-execute -- compile multi-file tests
+#
+# SRC1 is the full pathname of the main file of the testcase.
+# SID identifies a test suite in the names of temporary files.
+proc rs-execute-1 { src1 } {
+ global srcdir tmpdir
+
+ # Get extra flags for this test from the primary source file, and
+ # process other dg-* options that this suite supports. Warn about
+ # unsupported flags.
+ verbose "rs-execute: $src1" 1
+ set compile_type "run"
+ set compile_xfail(0) ""
+
+ # Set up the names of the other source files.
+ set dir [file dirname $src1]
+ set base [file rootname $src1]
+ set base [string range $base [string length $dir] end]
+ regsub "_0" $base "" base
+ regsub "/" $base "" base
+ set src_list $src1
+ set i 1
+ set done 0
+ while { !$done } {
+ set names [glob -nocomplain -types f -- "${dir}/${base}_${i}.*"]
+ if { [llength ${names}] > 1 } {
+ warning "rs-link-execute: more than one file matched ${dir}/${base}_${i}.*"
+ }
+ if { [llength ${names}] == 1 } {
+ lappend src_list [lindex ${names} 0]
+ incr i
+ } else {
+ set num_srcs ${i}
+ set done 1
+ }
+ }
+
+
+ # Define the names of the object files.
+ set obj_list ""
+ for {set i 0} {$i < $num_srcs} {incr i} {
+ lappend obj_list "${base}_${i}.o"
+ }
+
+ # Get the base name of this test, for use in messages.
+ set testcase [lindex ${src_list} 0]
+
+ # Remove the $srcdir and $tmpdir prefixes from $src1. (It would
+ # be possible to use "regsub" here, if we were careful to escape
+ # all regular expression characters in $srcdir and $tmpdir, but
+ # that would be more complicated that this approach.)
+ if {[string first "$srcdir/" "${testcase}"] == 0} {
+ set testcase [string range "${testcase}" [string length "$srcdir/"] end]
+ }
+ if {[string first "$tmpdir/" "$testcase"] == 0} {
+ set testcase [string range "$testcase" [string length "$tmpdir/"] end]
+ set testcase "tmpdir-$testcase"
+ }
+ # If we couldn't rip $srcdir out of `src1' then just do the best we can.
+ # The point is to reduce the unnecessary noise in the logs. Don't strip
+ # out too much because different testcases with the same name can confuse
+ # `test-tool'.
+ if [string match "/*" $testcase] then {
+ set testcase "[file tail [file dirname $src1]]/[file tail $src1]"
+ }
+
+ # Set up the base name of executable files so they'll be unique.
+ regsub -all "\[./\]" $testcase "-" execbase
+
+ verbose "Testing $testcase - $obj_list - $src_list"
+
+ # There's a unique name for each executable we generate.
+ set execname "${execbase}-1.exe"
+
+ # The LTO tests don't use dg-test, so testname_with_flags and
+ # output_file need to be defined explicitly for each file. scan-symbol
+ # directives rely on both of these to be defined to find the symbol to
+ # scan and for the text to print in the PASS/FAIL since they can also
+ # be called from dg-test. testname_with_flags is also used via
+ # testname-for-summary when calling into generic function below to
+ # clean temporary files.
+ set output_file $execname
+ set testname_with_flags $execname
+
+ file_on_host delete $execname
+
+ rs-obj [lindex ${src_list} 1] [lindex ${obj_list} 1] "" "" "" ""
+ rs-obj [lindex ${src_list} 0] [lindex ${obj_list} 0] "" "" "" ""
+
+ gcc-dg-runtest [lindex ${src_list} 0] "" ""
+
+ # FIXME it would be ideal if we could link then execute these tests.
+ # I was not able to figure out how to specify gc-dg-runtest to link
+ # against the first object.
+}
+
+proc rs-link-execute { src1 } {
+ rs-execute-1 $src1
+}
+
+# Main loop.
+foreach src [lsort [find $srcdir/$subdir *_0.rs]] {
+ # If we're only testing specific files and this isn't one of them, skip it.
+ if ![runtest_file_p $runtests $src] then {
+ continue
+ }
+
+ # To prevent 'runtest_file_p' being tested again (for example, via
+ # 'gcc-dg-runtest'), with undesirable consequences due to its side effects,
+ # interpose a dummy:
+ rename runtest_file_p saved_runtest_file_p
+ proc runtest_file_p { runtests testcase } {
+ return 1
+ }
+ rs-link-execute $src
+ rename runtest_file_p {}
+ rename saved_runtest_file_p runtest_file_p
+}
+
+set dg-do-what-default ${saved-dg-do-what-default}
+
+# All done.
+dg-finish
new file mode 100644
@@ -0,0 +1,8 @@
+extern crate simple_function_1;
+use simple_function_1::test_func;
+
+fn main() -> i32 {
+ let a = test_func(123);
+ // { dg-bogus "call to extern function" "" { xfail *-*-* } .-1 }
+ a - 124
+}
new file mode 100644
@@ -0,0 +1,3 @@
+pub fn test_func(a: i32) -> i32 {
+ a + 1
+}
new file mode 100644
@@ -0,0 +1,19 @@
+extern crate trait_import_1;
+use trait_import_1::Add;
+
+struct Foo(i32);
+
+impl Add for Foo {
+ type Output = Foo;
+
+ fn add(self, other: Foo) -> Foo {
+ Foo(self.0 + other.0)
+ }
+}
+
+fn main() -> i32 {
+ let a;
+ a = Foo(1) + Foo(2);
+
+ 0
+}
new file mode 100644
@@ -0,0 +1,6 @@
+#[lang = "add"]
+pub trait Add<Rhs = Self> {
+ type Output;
+
+ fn add(self, rhs: Rhs) -> Self::Output;
+}