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
|
%---------------------------------------------------------------------------%
% Copyright (C) 2000 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: ll_pseudo_type_info.m
% author: fjh
%
% This module generates LLDS representations for pseudo-type-infos.
%
% Most of the work is done by pseudo_type_info.m, which generates
% a back-end-independent representation of pseudo-type-infos;
% this module just converts that representation to LLDS.
%
% The documentation of the structures of pseudo-type-infos is in
% runtime/mercury_type_info.h; that file also contains a list of all
% the files that depend on such data structures.
%
%---------------------------------------------------------------------------%
:- module ll_pseudo_type_info.
:- interface.
:- import_module prog_data, llds.
:- import_module counter.
% ll_pseudo_type_info__construct_typed_pseudo_type_info(Type,
% NumUnivQTvars, ExistQVars, Rval, LldsType, LabelNum0, LabelNum)
%
% Given a Mercury type (`Type'), this predicate returns an rval
% (`Rval') giving the pseudo type info for that type, plus the
% llds_type (`LldsType') of that rval.
%
% NumUnivQTvars is either the number of universally quantified type
% variables of the enclosing type (so that all universally quantified
% variables in the type have numbers in the range [1..NumUnivQTvars],
% or is the special value -1, meaning that all variables in the type
% are universally quantified. ExistQVars is the list of existentially
% quantified type variables of the constructor in question.
%
% The int arguments (`LabelNum0' and `LabelNum') are label numbers for
% generating `create' rvals with.
:- pred ll_pseudo_type_info__construct_typed_llds_pseudo_type_info((type)::in,
int::in, existq_tvars::in, rval::out, llds_type::out,
counter::in, counter::out) is det.
% This is the same as the previous predicate, but does not return
% the LLDS type.
:- pred ll_pseudo_type_info__construct_llds_pseudo_type_info((type)::in,
int::in, existq_tvars::in, rval::out, counter::in, counter::out)
is det.
%-----------------------------------------------------------------------------%
:- implementation.
:- import_module pseudo_type_info, rtti.
:- import_module std_util, list, bool, int.
ll_pseudo_type_info__construct_llds_pseudo_type_info(Type, NumUnivQTvars,
ExistQTvars, Pseudo, C0, C) :-
ll_pseudo_type_info__construct_typed_llds_pseudo_type_info(Type,
NumUnivQTvars, ExistQTvars, Pseudo, _LldsType, C0, C).
ll_pseudo_type_info__construct_typed_llds_pseudo_type_info(Type, NumUnivQTvars,
ExistQTvars, PseudoRval, LldsType, C0, C) :-
pseudo_type_info__construct_pseudo_type_info(Type, NumUnivQTvars,
ExistQTvars, Pseudo),
convert_pseudo(Pseudo, PseudoRval, LldsType, C0, C).
:- pred convert_pseudo(pseudo_type_info, rval, llds_type, counter, counter).
:- mode convert_pseudo(in, out, out, in, out) is det.
convert_pseudo(Pseudo, Rval, LldsType, C0, C) :-
(
Pseudo = type_var(Int),
Rval = const(int_const(Int)),
LldsType = integer,
C = C0
;
Pseudo = type_ctor_info(RttiTypeId),
DataAddr = rtti_addr(RttiTypeId, pseudo_type_info(Pseudo)),
Rval = const(data_addr_const(DataAddr)),
LldsType = data_ptr,
C = C0
;
Pseudo = type_info(RttiTypeId, Args),
convert_compound_pseudo(RttiTypeId, [], Args, Rval, LldsType,
C0, C)
;
Pseudo = higher_order_type_info(RttiTypeId, Arity, Args),
ArityArg = yes(const(int_const(Arity))),
convert_compound_pseudo(RttiTypeId, [ArityArg], Args, Rval,
LldsType, C0, C)
).
:- pred convert_compound_pseudo(rtti_type_id, list(maybe(rval)),
list(pseudo_type_info), rval, llds_type, counter, counter).
:- mode convert_compound_pseudo(in, in, in, out, out, in, out) is det.
convert_compound_pseudo(RttiTypeId, ArgRvals0, Args,
Rval, LldsType, C0, C) :-
TypeCtorInfoPseudo = pseudo_type_info(type_ctor_info(RttiTypeId)),
TypeCtorInfoDataAddr = rtti_addr(RttiTypeId, TypeCtorInfoPseudo),
TypeCtorInfoRval = yes(const(data_addr_const(TypeCtorInfoDataAddr))),
LldsType = data_ptr,
counter__allocate(CNum, C0, C1),
list__map_foldl((pred(A::in, yes(AR)::out, CS0::in, CS::out) is det :-
convert_pseudo(A, AR, _LldsType, CS0, CS)
), Args, ArgRvals1, C1, C),
list__append(ArgRvals0, ArgRvals1, ArgRvals),
Reuse = no,
Rval = create(0, [TypeCtorInfoRval | ArgRvals],
uniform(no), must_be_static, CNum, "type_info",
Reuse).
|
