mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 01:13:30 +00:00
59b11f84ce
Replace __ with . as the module qualifier symbol. Replace references to io.state with just io. Replace DCGs with state variables. Replace (C->T;E) syntax for if-then-elses with (if C then T else E) syntax. Replace if-then-elses with switches when possible and where this does not affect what is being tested. Replace separate pred and mode declarations with predmode declarations. Put predicate and function declarations just before the definition of the predicate or function. Delete unneeded module qualifications on predicate and function declarations and definitions. Update .exp files (and if needed, .inp files) for the line number changes that result from the above. For tests that have more than one .exp file and where one of those files is affected by the above, add a section to the source file header that says which .exp file is for what grade, with XXXs for the (as yet) unknown parts.
98 lines
3.4 KiB
Mathematica
98 lines
3.4 KiB
Mathematica
%---------------------------------------------------------------------------%
|
|
% vim: ts=4 sw=4 et ft=mercury
|
|
%---------------------------------------------------------------------------%
|
|
%
|
|
% This program tests whether the tracer works for procedures with
|
|
% lots of arguments (beyond NUM_REAL_REGS and MAX_REAL_REGS).
|
|
% At the moment, MAX_REAL_REGS is 32, so a procedure with 41 args
|
|
% is a full test.
|
|
|
|
:- module debugger_regs.
|
|
|
|
:- interface.
|
|
|
|
:- import_module io.
|
|
|
|
:- pred main(io, io).
|
|
:- mode main(di, uo) is det.
|
|
|
|
:- implementation.
|
|
|
|
:- import_module list.
|
|
:- import_module int.
|
|
|
|
main(!IO) :-
|
|
% The purpose of list is to force the tracer to call the Mercury
|
|
% code to print a list of integers, when the input script asks
|
|
% for the outputs of data to be printed. In the past this was
|
|
% sufficient to cause part of the C stack to be overwritten.
|
|
% It also tests whether the values of A0 etc that the tracer prints
|
|
% are derived from the register contents produced by data,
|
|
% or from the register contents left there by the code that
|
|
% prints _List.
|
|
data(_List,
|
|
A0, A1, A2, A3, A4, A5, A6, A7, A8, A9,
|
|
B0, B1, B2, B3, B4, B5, B6, B7, B8, B9,
|
|
C0, C1, C2, C3, C4, C5, C6, C7, C8, C9,
|
|
D0, D1, D2, D3, D4, D5, D6, D7, D8, D9),
|
|
io.write_string(A0, !IO),
|
|
io.write_string(A1, !IO),
|
|
io.write_string(A2, !IO),
|
|
io.write_string(A3, !IO),
|
|
io.write_string(A4, !IO),
|
|
io.write_string(A5, !IO),
|
|
io.write_string(A6, !IO),
|
|
io.write_string(A7, !IO),
|
|
io.write_string(A8, !IO),
|
|
io.write_string(A9, !IO),
|
|
io.write_string("\n", !IO),
|
|
io.write_string(B0, !IO),
|
|
io.write_string(B1, !IO),
|
|
io.write_string(B2, !IO),
|
|
io.write_string(B3, !IO),
|
|
io.write_string(B4, !IO),
|
|
io.write_string(B5, !IO),
|
|
io.write_string(B6, !IO),
|
|
io.write_string(B7, !IO),
|
|
io.write_string(B8, !IO),
|
|
io.write_string(B9, !IO),
|
|
io.write_string("\n", !IO),
|
|
io.write_string(C0, !IO),
|
|
io.write_string(C1, !IO),
|
|
io.write_string(C2, !IO),
|
|
io.write_string(C3, !IO),
|
|
io.write_string(C4, !IO),
|
|
io.write_string(C5, !IO),
|
|
io.write_string(C6, !IO),
|
|
io.write_string(C7, !IO),
|
|
io.write_string(C8, !IO),
|
|
io.write_string(C9, !IO),
|
|
io.write_string("\n", !IO),
|
|
io.write_string(D0, !IO),
|
|
io.write_string(D1, !IO),
|
|
io.write_string(D2, !IO),
|
|
io.write_string(D3, !IO),
|
|
io.write_string(D4, !IO),
|
|
io.write_string(D5, !IO),
|
|
io.write_string(D6, !IO),
|
|
io.write_string(D7, !IO),
|
|
io.write_string(D8, !IO),
|
|
io.write_string(D9, !IO),
|
|
io.write_string("\n", !IO).
|
|
|
|
:- pred data(list(int)::out,
|
|
string::out, string::out, string::out, string::out, string::out,
|
|
string::out, string::out, string::out, string::out, string::out,
|
|
string::out, string::out, string::out, string::out, string::out,
|
|
string::out, string::out, string::out, string::out, string::out,
|
|
string::out, string::out, string::out, string::out, string::out,
|
|
string::out, string::out, string::out, string::out, string::out,
|
|
string::out, string::out, string::out, string::out, string::out,
|
|
string::out, string::out, string::out, string::out, string::out) is det.
|
|
|
|
data([1, 2, 3, 4, 5],
|
|
"a0", "a1", "a2", "a3", "a4", "a5", "a6", "a7", "a8", "a9",
|
|
"b0", "b1", "b2", "b3", "b4", "b5", "b6", "b7", "b8", "b9",
|
|
"c0", "c1", "c2", "c3", "c4", "c5", "c6", "c7", "c8", "c9",
|
|
"d0", "d1", "d2", "d3", "d4", "d5", "d6", "d7", "d8", "d9").
|