annotate liboctave/mk-ops.awk @ 5018:1c65a8e44ef9 ss-2-1-59

[project @ 2004-09-22 03:33:29 by jwe]
author jwe
date Wed, 22 Sep 2004 03:33:29 +0000
parents 269c3d6c0569
children 160365410ad4
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4544
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
1 BEGIN {
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
2 declare_types = 0;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
3 generate_ops = 0;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
4 ntypes = 0;
4547
308feb0e5646 [project @ 2003-10-25 01:59:15 by jwe]
jwe
parents: 4544
diff changeset
5 } {
308feb0e5646 [project @ 2003-10-25 01:59:15 by jwe]
jwe
parents: 4544
diff changeset
6 if (NR == 1 && make_inclusive_header)
4544
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
7 {
4547
308feb0e5646 [project @ 2003-10-25 01:59:15 by jwe]
jwe
parents: 4544
diff changeset
8 print "// DO NOT EDIT -- generated by mk-ops";
4544
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
9 tmp = make_inclusive_header;
4547
308feb0e5646 [project @ 2003-10-25 01:59:15 by jwe]
jwe
parents: 4544
diff changeset
10 gsub (/[\.-]/, "_", tmp);
4544
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
11 printf ("#if !defined (octave_%s)\n", tmp);
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
12 printf ("#define octave_%s 1\n", tmp);
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
13 }
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
14 }
4547
308feb0e5646 [project @ 2003-10-25 01:59:15 by jwe]
jwe
parents: 4544
diff changeset
15 /^#/ {
308feb0e5646 [project @ 2003-10-25 01:59:15 by jwe]
jwe
parents: 4544
diff changeset
16 if ($2 == "types")
308feb0e5646 [project @ 2003-10-25 01:59:15 by jwe]
jwe
parents: 4544
diff changeset
17 declare_types = 1;
308feb0e5646 [project @ 2003-10-25 01:59:15 by jwe]
jwe
parents: 4544
diff changeset
18 else if ($2 == "ops")
308feb0e5646 [project @ 2003-10-25 01:59:15 by jwe]
jwe
parents: 4544
diff changeset
19 {
308feb0e5646 [project @ 2003-10-25 01:59:15 by jwe]
jwe
parents: 4544
diff changeset
20 generate_ops = 1;
308feb0e5646 [project @ 2003-10-25 01:59:15 by jwe]
jwe
parents: 4544
diff changeset
21 declare_types = 0;
308feb0e5646 [project @ 2003-10-25 01:59:15 by jwe]
jwe
parents: 4544
diff changeset
22 }
308feb0e5646 [project @ 2003-10-25 01:59:15 by jwe]
jwe
parents: 4544
diff changeset
23 next;
308feb0e5646 [project @ 2003-10-25 01:59:15 by jwe]
jwe
parents: 4544
diff changeset
24 } {
4544
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
25 if (declare_types)
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
26 {
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
27 ntypes++;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
28
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
29 if (NF == 5)
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
30 {
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
31 fwd_decl_ok[ntypes] = $5 == "YES";
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
32 header[ntypes] = $4 == "NONE" ? "" : $4;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
33 class[ntypes] = $3;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
34 type[ntypes] = $2;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
35 tag[ntypes] = $1;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
36 rev_tag[$1] = ntypes;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
37 }
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
38 else
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
39 printf ("skipping line %d: %s\n", NR, $0);
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
40 }
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
41 else if (generate_ops)
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
42 {
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
43 if (NF >= 4)
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
44 {
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
45 result_tag = $1;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
46 lhs_tag = $2;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
47 rhs_tag = $3;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
48 op_type = $4;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
49
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
50 bin_ops = index (op_type, "B") != 0;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
51 cmp_ops = index (op_type, "C") != 0;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
52 bool_ops = index (op_type, "L") != 0;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
53
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
54 n = 4;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
55
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
56 lhs_conv = cmp_ops ? $(++n) : "";
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
57 rhs_conv = cmp_ops ? $(++n) : "";
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
58
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
59 if (lhs_conv == "NONE")
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
60 lhs_conv = "";
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
61
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
62 if (rhs_conv == "NONE")
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
63 rhs_conv = "";
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
64
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
65 zero_val = (NF > n) ? $(++n) : "";
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
66
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
67 k = 0
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
68 while (NF > n)
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
69 bool_headers[k++] = $(++n);
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
70
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
71 cc_file = sprintf ("%s-%s-%s.cc", prefix, lhs_tag, rhs_tag);
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
72 h_file = sprintf ("%s-%s-%s.h", prefix, lhs_tag, rhs_tag);
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
73
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
74 if (list_cc_files)
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
75 {
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
76 print cc_file;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
77 next;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
78 }
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
79
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
80 if (list_h_files)
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
81 {
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
82 print h_file;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
83 next;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
84 }
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
85
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
86 if (make_inclusive_header)
4547
308feb0e5646 [project @ 2003-10-25 01:59:15 by jwe]
jwe
parents: 4544
diff changeset
87 {
308feb0e5646 [project @ 2003-10-25 01:59:15 by jwe]
jwe
parents: 4544
diff changeset
88 printf ("#include \"%s\"\n", h_file);
308feb0e5646 [project @ 2003-10-25 01:59:15 by jwe]
jwe
parents: 4544
diff changeset
89 next;
308feb0e5646 [project @ 2003-10-25 01:59:15 by jwe]
jwe
parents: 4544
diff changeset
90 }
4544
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
91
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
92 h_guard = sprintf ("octave_%s_%s_%s_h", prefix, lhs_tag, rhs_tag);
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
93
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
94 result_num = rev_tag[result_tag];
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
95 lhs_num = rev_tag[lhs_tag];
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
96 rhs_num = rev_tag[rhs_tag];
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
97
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
98 result_type = type[result_num];
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
99 lhs_type = type[lhs_num];
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
100 rhs_type = type[rhs_num];
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
101
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
102 result_header = header[result_num];
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
103 lhs_header = header[lhs_num];
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
104 rhs_header = header[rhs_num];
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
105
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
106 lhs_class = class[lhs_num];
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
107 rhs_class = class[rhs_num];
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
108
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
109 print "// DO NOT EDIT -- generated by mk-ops" > h_file;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
110
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
111 printf ("#if !defined (%s)\n", h_guard) >> h_file;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
112 printf ("#define %s 1\n", h_guard) >> h_file;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
113
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
114 if (result_header)
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
115 {
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
116 if (result_fwd_decl_ok)
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
117 printf ("class %s\n", result_type) >> h_file;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
118 else
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
119 printf ("#include \"%s\"\n", result_header) >> h_file;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
120 }
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
121
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
122 if (lhs_header && ! (lhs_header == result_header))
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
123 {
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
124 if (result_fwd_decl_ok)
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
125 printf ("class %s\n", lhs_type) >> h_file;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
126 else
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
127 printf ("#include \"%s\"\n", lhs_header) >> h_file;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
128 }
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
129
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
130 if (rhs_header && ! (rhs_header == lhs_header || rhs_header == result_header))
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
131 {
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
132 if (result_fwd_decl_ok)
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
133 printf ("class %s\n", rhs_type) >> h_file;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
134 else
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
135 printf ("#include \"%s\"\n", rhs_header) >> h_file;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
136 }
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
137
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
138 printf ("#include \"mx-op-defs.h\"\n") >> h_file;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
139
4964
269c3d6c0569 [project @ 2004-09-04 01:16:28 by jwe]
jwe
parents: 4669
diff changeset
140 if (bin_ops)
269c3d6c0569 [project @ 2004-09-04 01:16:28 by jwe]
jwe
parents: 4669
diff changeset
141 printf ("%s%s_BIN_OP_DECLS (%s, %s, %s)\n", lhs_class,
269c3d6c0569 [project @ 2004-09-04 01:16:28 by jwe]
jwe
parents: 4669
diff changeset
142 rhs_class, result_type, lhs_type, rhs_type) >> h_file
269c3d6c0569 [project @ 2004-09-04 01:16:28 by jwe]
jwe
parents: 4669
diff changeset
143
269c3d6c0569 [project @ 2004-09-04 01:16:28 by jwe]
jwe
parents: 4669
diff changeset
144 if (cmp_ops)
269c3d6c0569 [project @ 2004-09-04 01:16:28 by jwe]
jwe
parents: 4669
diff changeset
145 printf ("%s%s_CMP_OP_DECLS (%s, %s)\n", lhs_class,
269c3d6c0569 [project @ 2004-09-04 01:16:28 by jwe]
jwe
parents: 4669
diff changeset
146 rhs_class, lhs_type, rhs_type) >> h_file
269c3d6c0569 [project @ 2004-09-04 01:16:28 by jwe]
jwe
parents: 4669
diff changeset
147
269c3d6c0569 [project @ 2004-09-04 01:16:28 by jwe]
jwe
parents: 4669
diff changeset
148 if (bool_ops)
269c3d6c0569 [project @ 2004-09-04 01:16:28 by jwe]
jwe
parents: 4669
diff changeset
149 printf ("%s%s_BOOL_OP_DECLS (%s, %s)\n", lhs_class,
269c3d6c0569 [project @ 2004-09-04 01:16:28 by jwe]
jwe
parents: 4669
diff changeset
150 rhs_class, lhs_type, rhs_type) >> h_file
269c3d6c0569 [project @ 2004-09-04 01:16:28 by jwe]
jwe
parents: 4669
diff changeset
151
4544
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
152
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
153 print "#endif" >> h_file;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
154
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
155 close (h_file);
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
156
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
157
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
158 print "// DO NOT EDIT -- generated by mk-ops" > cc_file;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
159
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
160 print "#ifdef HAVE_CONFIG_H" >> cc_file;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
161 print "#include <config.h>" >> cc_file;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
162 print "#endif" >> cc_file;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
163
4669
334a27c8f453 [project @ 2003-11-26 07:02:42 by jwe]
jwe
parents: 4585
diff changeset
164 print "#include \"Array-util.h\"" >> cc_file;
334a27c8f453 [project @ 2003-11-26 07:02:42 by jwe]
jwe
parents: 4585
diff changeset
165
4544
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
166 printf ("#include \"%s\"\n", h_file) >> cc_file;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
167
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
168 for (i in bool_headers)
4585
a1ac9ab474a1 [project @ 2003-11-08 06:07:33 by jwe]
jwe
parents: 4547
diff changeset
169 {
a1ac9ab474a1 [project @ 2003-11-08 06:07:33 by jwe]
jwe
parents: 4547
diff changeset
170 printf ("#include \"%s\"\n", bool_headers[i]) >> cc_file;
a1ac9ab474a1 [project @ 2003-11-08 06:07:33 by jwe]
jwe
parents: 4547
diff changeset
171 delete bool_headers[i];
a1ac9ab474a1 [project @ 2003-11-08 06:07:33 by jwe]
jwe
parents: 4547
diff changeset
172 }
4544
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
173
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
174 if (result_header)
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
175 printf ("#include \"%s\"\n", result_header) >> cc_file;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
176
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
177 if (lhs_header && ! (lhs_header == result_header))
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
178 printf ("#include \"%s\"\n", lhs_header) >> cc_file;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
179
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
180 if (rhs_header && ! (rhs_header == lhs_header || rhs_header == result_header))
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
181 printf ("#include \"%s\"\n", rhs_header) >> cc_file;
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
182
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
183 if (bin_ops)
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
184 {
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
185 if ((lhs_class == "DM" && rhs_class == "M") || (lhs_class == "M" && rhs_class == "DM"))
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
186 printf ("%s%s_BIN_OPS (%s, %s, %s, %s)\n",
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
187 lhs_class, rhs_class, result_type,
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
188 lhs_type, rhs_type, zero_val) >> cc_file
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
189 else
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
190 printf ("%s%s_BIN_OPS (%s, %s, %s)\n",
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
191 lhs_class, rhs_class, result_type,
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
192 lhs_type, rhs_type) >> cc_file
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
193 }
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
194
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
195 if (cmp_ops)
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
196 printf ("%s%s_CMP_OPS (%s, %s, %s, %s)\n", lhs_class, rhs_class,
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
197 lhs_type, lhs_conv, rhs_type, rhs_conv) >> cc_file
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
198
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
199 if (bool_ops)
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
200 printf ("%s%s_BOOL_OPS (%s, %s, %s)\n", lhs_class, rhs_class,
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
201 lhs_type, rhs_type, zero_val) >> cc_file
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
202
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
203
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
204 close (cc_file);
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
205 }
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
206 else
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
207 printf ("skipping line %d: %s\n", NR, $0);
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
208 }
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
209 }
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
210 END {
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
211 if (make_inclusive_header)
74c92e375b54 [project @ 2003-10-23 23:48:29 by jwe]
jwe
parents:
diff changeset
212 print "#endif";
4547
308feb0e5646 [project @ 2003-10-25 01:59:15 by jwe]
jwe
parents: 4544
diff changeset
213 }