diff options
Diffstat (limited to 'tests/cc/modules/modules.testscript')
| -rw-r--r-- | tests/cc/modules/modules.testscript | 340 |
1 files changed, 340 insertions, 0 deletions
diff --git a/tests/cc/modules/modules.testscript b/tests/cc/modules/modules.testscript new file mode 100644 index 0000000..87b104d --- /dev/null +++ b/tests/cc/modules/modules.testscript @@ -0,0 +1,340 @@ +# file : tests/cc/modules/modules.testscript +# copyright : Copyright (c) 2014-2019 Code Synthesis Ltd +# license : MIT; see accompanying LICENSE file + +# Test modules proper. +# + +.include common.testscript + ++$modules || exit + +# Common source files that are symlinked in the test directories if used. +# ++cat <<EOI >=core.mxx +#ifndef LIBFOO_EXPORT +# define LIBFOO_EXPORT +#endif + +export module foo.core; +export LIBFOO_EXPORT int f (int); +EOI + ++cat <<EOI >=core.cxx +module foo.core; +int f (int i) {return i - 1;} +EOI + ++cat <<EOI >=driver.cxx +import foo.core; +int main (int argc, char*[]) {return f (argc);} +EOI + +: bmi-combined +: +: Test combined interface/implementation unit specified as bmi{}. +: +cp ../core.mxx ./ && cat >+core.mxx <<EOI; + int f (int i) {return i - 1;} + EOI +ln -s ../driver.cxx ./; +$* test clean <<EOI + exe{test}: cxx{driver} bmi{core} + bmi{core}: mxx{core} + EOI + +: mxx-combined +: +: Test combined interface/implementation unit specified as mxx{}. +: +cp ../core.mxx ./ && cat >+core.mxx <<EOI; + int f (int i) {return i - 1;} + EOI +ln -s ../driver.cxx ./; +$* test clean <<EOI + exe{test}: cxx{driver} mxx{core} + EOI + +: bmi-separate +: +: Test separate interface/implementation unit specified as bmi{}. +: +ln -s ../core.mxx ../core.cxx ../driver.cxx ./; +$* test clean <<EOI + exe{test}: cxx{driver} {bmi cxx}{core} + bmi{core}: mxx{core} + EOI + +: mxx-separate +: +: Test separate interface/implementation unit specified as mxx{}. +: +ln -s ../core.mxx ../core.cxx ../driver.cxx ./; +$* test clean <<EOI + exe{test}: cxx{driver} {mxx cxx}{core} + EOI + +: name-match +: +: Test fuzzy/explicit match between module name and file name. +: +{ + # "Bad" match which we should better. + # + +cat <<EOI >=core.mxx + export module bar.core; + EOI + + : separator + : + : Test separator equivalence. + : + ln -s ../../core.mxx foo-core.mxx; + ln -s ../core.mxx ../../core.cxx ../../driver.cxx ./; + $* test clean <'exe{test}: cxx{driver core} mxx{core foo-core}' + + : case + : + : Test case-insensitivity and case-change as a separator. + : + ln -s ../../core.mxx FooCore.mxx; + ln -s ../core.mxx ../../core.cxx ../../driver.cxx ./; + $* test clean <'exe{test}: cxx{driver core} mxx{core FooCore}' + + : dir + : + : Test subdirectory. + : + mkdir foo; + ln -s ../../core.mxx foo/core.mxx; + ln -s ../core.mxx ../../core.cxx ../../driver.cxx ./; + $* test clean <'exe{test}: cxx{driver core} mxx{core} foo/mxx{core}' + + : explicit + : + : Explicit module name. + : + ln -s ../../core.mxx baz.mxx; + ln -s ../core.mxx ../../core.cxx ../../driver.cxx ./; + $* test clean <<EOO + exe{test}: cxx{driver core} mxx{core baz} + mxx{baz}@./: cxx.module_name = foo.core + EOO +} + +: unresolved +: +ln -s ../driver.cxx ./; +$* test &*.d <'exe{test}: cxx{driver}' 2>>EOE != 0 + driver.cxx: error: unable to resolve module foo.core + EOE + +: misguessed +: +ln -s ../core.mxx ./; +cat <'import bar.core;' >=driver.cxx; +$* test &*.d &?*.ii <'exe{test}: cxx{driver} mxx{core}' 2>>EOE != 0 + driver.cxx: error: failed to correctly guess module name from mxx{core} + info: guessed: bar.core + info: actual: foo.core + info: consider adjusting module interface file names or + info: consider specifying module name with cxx.module_name + EOE + +: library +: +: Test importing a module from a library. +: +ln -s ../core.mxx ../core.cxx ../driver.cxx ./; +$* test clean <<EOI + ./: lib{foo} exe{test} # Full build. + exe{test}: cxx{driver} lib{foo} + lib{foo}: {mxx cxx}{core} + EOI + +: module-marker +: +: Test global module fragment/leading module marker (module;). +: +cat <<EOI >=g.hxx; +void g (); +EOI +cat <<EOI >=core.mxx; +#if __cpp_modules >= 201804 +module; +#endif + +#include "g.hxx" +EOI +cat <<<../core.mxx >+core.mxx; +ln -s ../core.cxx ../driver.cxx ./; +$* test clean <<EOI + exe{test}: cxx{driver} {mxx cxx}{core} + EOI + +: re-export +: +: Test module re-exporting (export import M;) +: +{ + +cat <<EOI >=base.mxx + export module foo.base; + export import foo.core; + EOI + + +cat <<EOI >=extra.mxx + #ifndef LIBFOO_EXPORT + # define LIBFOO_EXPORT + #endif + + export module foo.extra; + + export import foo.base; // Note: cannot be combined with the below. + + export + { + // VC appears to require dll-export of inline functions. + // + LIBFOO_EXPORT inline int g (int i) {return i != 0 ? i : -1;} + } + EOI + + +cat <<EOI >=foo.mxx + export module foo; + + export import foo.core; + export import foo.base; + export import foo.extra; + EOI + + : basic + : + ln -s ../base.mxx ../../core.mxx ../../core.cxx ./; + cat <<EOI >=driver.cxx; + import foo.base; + int main (int argc, char*[]) {return f (argc);} + EOI + $* test clean <'exe{test}: cxx{driver core} mxx{core base}' + + : recursive + : + ln -s ../base.mxx ../extra.mxx ../../core.mxx ../../core.cxx ./; + cat <<EOI >=driver.cxx; + import foo.extra; + int main (int argc, char*[]) {return f (g (argc));} + EOI + $* test clean <'exe{test}: cxx{driver core} mxx{core base extra}' + + : duplicate + : + ln -s ../base.mxx ../extra.mxx ../foo.mxx ../../core.mxx ../../core.cxx ./; + cat <<EOI >=driver.cxx; + import foo; + int main (int argc, char*[]) {return f (g (argc));} + EOI + $* test clean <'exe{test}: cxx{driver core} mxx{core base extra foo}' + + : library + : + ln -s ../base.mxx ../extra.mxx ../foo.mxx ../../core.mxx ../../core.cxx ./; + cat <<EOI >=driver.cxx; + import foo; + int main (int argc, char*[]) {return f (g (argc));} + EOI + $* test clean <<EOI + exe{test}: cxx{driver} mxx{foo} lib{foo} + lib{foo}: mxx{core base extra} cxx{core} + EOI +} + +: import +: +: Test module import. Currently, all the implementation require access to the +: entire, recursively-explored list of BMIs. +: +{ + +cat <<EOI >=base.mxx + export module foo.base; + import foo.core; + export int g (int i) {return f (i);} + EOI + + +cat <<EOI >=extra.mxx + export module foo.extra; + import foo.base; + export int h (int i) {return g (i);} + EOI + + : basic + : + ln -s ../base.mxx ../../core.mxx ../../core.cxx ./; + cat <<EOI >=driver.cxx; + import foo.base; + int main (int argc, char*[]) {return g (argc);} + EOI + $* test clean <'exe{test}: cxx{driver core} mxx{core base}' + + : recursive + : + ln -s ../base.mxx ../extra.mxx ../../core.mxx ../../core.cxx ./; + cat <<EOI >=driver.cxx; + import foo.extra; + int main (int argc, char*[]) {return h (argc);} + EOI + $* test clean <'exe{test}: cxx{driver core} mxx{core base extra}' +} + +: resolve-change +: +: Test detection of module name to BMI resolution change. +: +ln -s ../core.mxx ../core.cxx ../driver.cxx ./; +cat <<EOI >=foo-core.mxx; + export module foo.core; + export inline int f (int i) {return i - 2;} + EOI +$* update <<EOI; + ./: exe{test} bmie{foo-core} + exe{test}: cxx{driver} {mxx cxx}{core} + bmie{foo-core}: mxx{foo-core} + EOI +$* test --verbose 1 <<EOI 2>>EOE; + exe{test}: cxx{driver} {mxx}{foo-core} + exe{test}: test.arguments = two + EOI + c++ cxx{driver} + ld exe{test} + test exe{test} + EOE +$* test clean <<EOI + ./: exe{test} bmie{foo-core} + exe{test}: cxx{driver} {mxx cxx}{core} + bmie{foo-core}: mxx{foo-core} + EOI + +: symexport +: +: Test the __symexport feature. +: +cat <<EOI >=core.mxx; + export module foo.core; + + export __symexport int f (int); + + __symexport int g_impl (int i) {return i - 1;} + export __symexport inline int g (int i) {return g_impl (i);} + EOI +ln -s ../core.cxx core-f.cxx; +cat <<EOI >=core-g.cxx; + module foo.core; + int g_impl (int i) {return i - 1;} + EOI +cat <<EOI >=driver.cxx; + import foo.core; + int main (int argc, char*[]) {return f (argc) + g (argc);} + EOI +$* test clean <<EOI + ./: lib{foo} exe{test} # Full build. + exe{test}: cxx{driver} lib{foo} + lib{foo}: mxx{core} cxx{core-f} # @@ VC: core-g + EOI |