1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
|
%-----------------------------------------------------------------------------%
% Copyright (C) 1996-1997 The University of Melbourne.
% This file may only be copied under the terms of the GNU General
% Public License - see the file COPYING in the Mercury distribution.
%-----------------------------------------------------------------------------%
%
% File: mode_debug.m.
% Main author: fjh.
%
% This module contains code for tracing the actions of the mode checker.
%
%-----------------------------------------------------------------------------%
%-----------------------------------------------------------------------------%
:- module mode_debug.
:- interface.
:- import_module mode_info.
% Print a debugging message which includes the port, message string,
% and the current instmap (but only if `--debug-modes' was enabled).
%
:- pred mode_checkpoint(port, string, mode_info, mode_info).
:- mode mode_checkpoint(in, in, mode_info_di, mode_info_uo) is det.
:- type port
---> enter
; exit
; wakeup.
%-----------------------------------------------------------------------------%
%-----------------------------------------------------------------------------%
:- implementation.
:- import_module globals, std_util, list, assoc_list, io, bool, map.
:- import_module term, varset.
:- import_module modes, options, mercury_to_mercury, passes_aux.
:- import_module hlds_goal, instmap, prog_data, (inst).
%-----------------------------------------------------------------------------%
% This code is used to trace the actions of the mode checker.
mode_checkpoint(Port, Msg, ModeInfo0, ModeInfo) :-
mode_info_get_io_state(ModeInfo0, IOState0),
globals__io_lookup_bool_option(debug_modes, DoCheckPoint,
IOState0, IOState1),
( DoCheckPoint = yes ->
mode_info_get_last_checkpoint_insts(ModeInfo0, OldInsts),
mode_checkpoint_2(Port, Msg, OldInsts, NewInsts, ModeInfo0,
IOState1, IOState),
mode_info_set_last_checkpoint_insts(NewInsts, ModeInfo0,
ModeInfo1)
;
ModeInfo1 = ModeInfo0,
IOState = IOState1
),
mode_info_set_io_state(ModeInfo1, IOState, ModeInfo).
:- pred mode_checkpoint_2(port, string, assoc_list(prog_var, inst),
assoc_list(prog_var, inst), mode_info, io__state, io__state).
:- mode mode_checkpoint_2(in, in, in, out, mode_info_ui, di, uo) is det.
mode_checkpoint_2(Port, Msg, OldInstList, NewInstList, ModeInfo) -->
{ mode_info_get_errors(ModeInfo, Errors) },
( { Port = enter } ->
io__write_string("Enter "),
{ Detail = yes }
; { Port = wakeup } ->
io__write_string("Wake "),
{ Detail = no }
; { Errors = [] } ->
io__write_string("Exit "),
{ Detail = yes }
;
io__write_string("Delay "),
{ Detail = no }
),
io__write_string(Msg),
( { Detail = yes } ->
io__write_string(":\n"),
globals__io_lookup_bool_option(statistics, Statistics),
maybe_report_stats(Statistics),
maybe_flush_output(Statistics),
{ mode_info_get_instmap(ModeInfo, InstMap) },
( { instmap__is_reachable(InstMap) } ->
{ instmap__to_assoc_list(InstMap, NewInstList) },
{ mode_info_get_varset(ModeInfo, VarSet) },
{ mode_info_get_instvarset(ModeInfo, InstVarSet) },
write_var_insts(NewInstList, OldInstList,
VarSet, InstVarSet)
;
{ NewInstList = [] },
io__write_string("\tUnreachable\n")
)
;
{ NewInstList = OldInstList }
),
io__write_string("\n"),
io__flush_output.
:- pred write_var_insts(assoc_list(prog_var, inst), assoc_list(prog_var, inst),
prog_varset, inst_varset, io__state, io__state).
:- mode write_var_insts(in, in, in, in, di, uo) is det.
write_var_insts([], _, _, _) --> [].
write_var_insts([Var - Inst | VarInsts], OldInstList, VarSet, InstVarSet) -->
io__write_string("\t"),
mercury_output_var(Var, VarSet, no),
io__write_string(" ::"),
(
{ assoc_list__search(OldInstList, Var, OldInst) },
{ Inst = OldInst }
->
io__write_string(" unchanged\n")
;
io__write_string("\n"),
mercury_output_structured_inst(Inst, 2, InstVarSet)
),
write_var_insts(VarInsts, OldInstList, VarSet, InstVarSet).
%-----------------------------------------------------------------------------%
%-----------------------------------------------------------------------------%
|
