mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-16 09:53:36 +00:00
1c8eece402
tests/hard_coded/backend_external.m:
tests/hard_coded/backend_external_pred.m:
tests/hard_coded/c_write_string.m:
tests/hard_coded/ee_dummy.m:
tests/hard_coded/pragma_c_code.m:
tests/hard_coded/pragma_foreign_export.m:
tests/hard_coded/target_mlobjs.m:
tests/hard_coded/type_tables.m:
tests/submodules/sm_exp_bug.m:
Use don't-care variables to handle the I/O state in foreign procs.
Assigning the I/O state at the end of the foreign_proc body results
in spurious warnings about uninitialized variables from MSVC.
126 lines
3.2 KiB
Mathematica
126 lines
3.2 KiB
Mathematica
%---------------------------------------------------------------------------%
|
|
% vim: ts=4 sw=4 et ft=mercury
|
|
%---------------------------------------------------------------------------%
|
|
%
|
|
% The .exp file is for the low-level C backend.
|
|
% The .exp2 file is for the high-level C backend.
|
|
%
|
|
%---------------------------------------------------------------------------%
|
|
|
|
:- module backend_external.
|
|
|
|
:- interface.
|
|
|
|
:- import_module io.
|
|
|
|
:- pred main(io::di, io::uo) is det.
|
|
|
|
:- implementation.
|
|
|
|
main(!IO) :-
|
|
p(1, !IO),
|
|
q(2, !IO).
|
|
|
|
%---------------------------------------------------------------------------%
|
|
|
|
% in llds grades: external
|
|
% in mlds grades: foreign_proc
|
|
:- pred p(int::in, io::di, io::uo) is det.
|
|
:- pragma external_pred(p/3, [low_level_backend]).
|
|
|
|
% in llds grades: foreign_proc
|
|
% in mlds grades: external
|
|
:- pred q(int::in, io::di, io::uo) is det.
|
|
:- pragma external_pred(q/3, [high_level_backend]).
|
|
|
|
%---------------------------------------------------------------------------%
|
|
|
|
:- pragma foreign_proc("C",
|
|
p(N::in, _IO0::di, _IO::uo),
|
|
[will_not_call_mercury, promise_pure, high_level_backend],
|
|
"
|
|
#ifdef MR_HIGHLEVEL_CODE
|
|
printf(""p(%"" MR_INTEGER_LENGTH_MODIFIER ""d): "", N);
|
|
printf(""expected highlevel, found highlevel, OK\\n"");
|
|
#else
|
|
printf(""p(%"" MR_INTEGER_LENGTH_MODIFIER ""d): "", N);
|
|
printf(""expected highlevel, found lowlevel, BUG\\n"");
|
|
#endif
|
|
").
|
|
|
|
:- pragma foreign_proc("C",
|
|
q(N::in, _IO0::di, _IO::uo),
|
|
[will_not_call_mercury, promise_pure, low_level_backend],
|
|
"
|
|
#ifdef MR_HIGHLEVEL_CODE
|
|
printf(""q(%"" MR_INTEGER_LENGTH_MODIFIER ""d): "", N);
|
|
printf(""expected lowlevel, found highlevel, BUG\\n"");
|
|
#else
|
|
printf(""q(%"" MR_INTEGER_LENGTH_MODIFIER ""d): "", N);
|
|
printf(""expected lowlevel, found lowlevel, OK\\n"");
|
|
#endif
|
|
").
|
|
|
|
%---------------------------------------------------------------------------%
|
|
|
|
:- pragma foreign_code("C",
|
|
"
|
|
#ifdef MR_HIGHLEVEL_CODE
|
|
|
|
void MR_CALL
|
|
backend_external__q_3_p_0(MR_Integer n)
|
|
{
|
|
printf(""q(%"" MR_INTEGER_LENGTH_MODIFIER ""d): "", n);
|
|
printf(""expected highlevel, found highlevel, OK\\n"");
|
|
}
|
|
|
|
#else
|
|
|
|
MR_define_extern_entry(mercury__backend_external__p_3_0);
|
|
|
|
MR_BEGIN_MODULE(backend_external_module)
|
|
MR_init_entry(mercury__backend_external__p_3_0);
|
|
MR_BEGIN_CODE
|
|
MR_define_entry(mercury__backend_external__p_3_0);
|
|
printf(""p(%"" MR_INTEGER_LENGTH_MODIFIER ""d): "", MR_r1);
|
|
printf(""expected lowlevel, found lowlevel, OK\\n"");
|
|
MR_proceed();
|
|
MR_END_MODULE
|
|
#endif
|
|
|
|
/* Ensure that the initialization code for the above module gets run. */
|
|
/*
|
|
INIT mercury_sys_init_backend_external_module
|
|
*/
|
|
|
|
extern void
|
|
mercury_sys_init_backend_external_module_init(void);
|
|
|
|
extern void
|
|
mercury_sys_init_backend_external_module_init_type_tables(void);
|
|
|
|
extern void
|
|
mercury_sys_init_backend_external_module_write_out_proc_statics(FILE *fp);
|
|
|
|
void
|
|
mercury_sys_init_backend_external_module_init(void)
|
|
{
|
|
#ifndef MR_HIGHLEVEL_CODE
|
|
backend_external_module();
|
|
#endif
|
|
}
|
|
|
|
void
|
|
mercury_sys_init_backend_external_module_write_out_proc_statics(FILE *fp)
|
|
{
|
|
}
|
|
|
|
void
|
|
mercury_sys_init_backend_external_module_init_type_tables(void)
|
|
{
|
|
/* no types to register */
|
|
}
|
|
").
|
|
|
|
%---------------------------------------------------------------------------%
|