db_expr.c revision 1.1 1 1.1 cgd /*
2 1.1 cgd * Mach Operating System
3 1.1 cgd * Copyright (c) 1991,1990 Carnegie Mellon University
4 1.1 cgd * All Rights Reserved.
5 1.1 cgd *
6 1.1 cgd * Permission to use, copy, modify and distribute this software and its
7 1.1 cgd * documentation is hereby granted, provided that both the copyright
8 1.1 cgd * notice and this permission notice appear in all copies of the
9 1.1 cgd * software, derivative works or modified versions, and any portions
10 1.1 cgd * thereof, and that both notices appear in supporting documentation.
11 1.1 cgd *
12 1.1 cgd * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS
13 1.1 cgd * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
14 1.1 cgd * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
15 1.1 cgd *
16 1.1 cgd * Carnegie Mellon requests users of this software to return to
17 1.1 cgd *
18 1.1 cgd * Software Distribution Coordinator or Software.Distribution (at) CS.CMU.EDU
19 1.1 cgd * School of Computer Science
20 1.1 cgd * Carnegie Mellon University
21 1.1 cgd * Pittsburgh PA 15213-3890
22 1.1 cgd *
23 1.1 cgd * any improvements or extensions that they make and grant Carnegie the
24 1.1 cgd * rights to redistribute these changes.
25 1.1 cgd */
26 1.1 cgd /*
27 1.1 cgd * HISTORY
28 1.1 cgd * $Log: db_expr.c,v $
29 1.1 cgd * Revision 1.1 1993/03/21 09:45:37 cgd
30 1.1 cgd * Initial revision
31 1.1 cgd *
32 1.1 cgd * Revision 1.1 1992/03/25 21:45:09 pace
33 1.1 cgd * Initial revision
34 1.1 cgd *
35 1.1 cgd * Revision 2.3 91/02/05 17:06:25 mrt
36 1.1 cgd * Changed to new Mach copyright
37 1.1 cgd * [91/01/31 16:17:46 mrt]
38 1.1 cgd *
39 1.1 cgd * Revision 2.2 90/08/27 21:50:57 dbg
40 1.1 cgd * Use '..' instead of '$$' for db_prev.
41 1.1 cgd * Use '+' for db_next.
42 1.1 cgd * [90/08/22 dbg]
43 1.1 cgd *
44 1.1 cgd * Allow repeated unary operators.
45 1.1 cgd * [90/08/20 dbg]
46 1.1 cgd *
47 1.1 cgd * Reflected back rename of db_symbol_value->db_value_of_name
48 1.1 cgd * [90/08/20 af]
49 1.1 cgd * Reduce lint.
50 1.1 cgd * [90/08/07 dbg]
51 1.1 cgd * Created.
52 1.1 cgd * [90/07/25 dbg]
53 1.1 cgd *
54 1.1 cgd */
55 1.1 cgd /*
56 1.1 cgd * Author: David B. Golub, Carnegie Mellon University
57 1.1 cgd * Date: 7/90
58 1.1 cgd */
59 1.1 cgd #include "param.h"
60 1.1 cgd #include "proc.h"
61 1.1 cgd #include <machine/db_machdep.h>
62 1.1 cgd #include <ddb/db_lex.h>
63 1.1 cgd #include <ddb/db_access.h>
64 1.1 cgd #include <ddb/db_command.h>
65 1.1 cgd
66 1.1 cgd boolean_t
67 1.1 cgd db_term(valuep)
68 1.1 cgd db_expr_t *valuep;
69 1.1 cgd {
70 1.1 cgd int t;
71 1.1 cgd
72 1.1 cgd t = db_read_token();
73 1.1 cgd if (t == tIDENT) {
74 1.1 cgd if (!db_value_of_name(db_tok_string, valuep)) {
75 1.1 cgd db_error("Symbol not found\n");
76 1.1 cgd /*NOTREACHED*/
77 1.1 cgd }
78 1.1 cgd return (TRUE);
79 1.1 cgd }
80 1.1 cgd if (t == tNUMBER) {
81 1.1 cgd *valuep = (db_expr_t)db_tok_number;
82 1.1 cgd return (TRUE);
83 1.1 cgd }
84 1.1 cgd if (t == tDOT) {
85 1.1 cgd *valuep = (db_expr_t)db_dot;
86 1.1 cgd return (TRUE);
87 1.1 cgd }
88 1.1 cgd if (t == tDOTDOT) {
89 1.1 cgd *valuep = (db_expr_t)db_prev;
90 1.1 cgd return (TRUE);
91 1.1 cgd }
92 1.1 cgd if (t == tPLUS) {
93 1.1 cgd *valuep = (db_expr_t) db_next;
94 1.1 cgd return (TRUE);
95 1.1 cgd }
96 1.1 cgd if (t == tDITTO) {
97 1.1 cgd *valuep = (db_expr_t)db_last_addr;
98 1.1 cgd return (TRUE);
99 1.1 cgd }
100 1.1 cgd if (t == tDOLLAR) {
101 1.1 cgd if (!db_get_variable(valuep))
102 1.1 cgd return (FALSE);
103 1.1 cgd return (TRUE);
104 1.1 cgd }
105 1.1 cgd if (t == tLPAREN) {
106 1.1 cgd if (!db_expression(valuep)) {
107 1.1 cgd db_error("Syntax error\n");
108 1.1 cgd /*NOTREACHED*/
109 1.1 cgd }
110 1.1 cgd t = db_read_token();
111 1.1 cgd if (t != tRPAREN) {
112 1.1 cgd db_error("Syntax error\n");
113 1.1 cgd /*NOTREACHED*/
114 1.1 cgd }
115 1.1 cgd return (TRUE);
116 1.1 cgd }
117 1.1 cgd db_unread_token(t);
118 1.1 cgd return (FALSE);
119 1.1 cgd }
120 1.1 cgd
121 1.1 cgd boolean_t
122 1.1 cgd db_unary(valuep)
123 1.1 cgd db_expr_t *valuep;
124 1.1 cgd {
125 1.1 cgd int t;
126 1.1 cgd
127 1.1 cgd t = db_read_token();
128 1.1 cgd if (t == tMINUS) {
129 1.1 cgd if (!db_unary(valuep)) {
130 1.1 cgd db_error("Syntax error\n");
131 1.1 cgd /*NOTREACHED*/
132 1.1 cgd }
133 1.1 cgd *valuep = -*valuep;
134 1.1 cgd return (TRUE);
135 1.1 cgd }
136 1.1 cgd if (t == tSTAR) {
137 1.1 cgd /* indirection */
138 1.1 cgd if (!db_unary(valuep)) {
139 1.1 cgd db_error("Syntax error\n");
140 1.1 cgd /*NOTREACHED*/
141 1.1 cgd }
142 1.1 cgd *valuep = db_get_value((db_addr_t)*valuep, sizeof(int), FALSE);
143 1.1 cgd return (TRUE);
144 1.1 cgd }
145 1.1 cgd db_unread_token(t);
146 1.1 cgd return (db_term(valuep));
147 1.1 cgd }
148 1.1 cgd
149 1.1 cgd boolean_t
150 1.1 cgd db_mult_expr(valuep)
151 1.1 cgd db_expr_t *valuep;
152 1.1 cgd {
153 1.1 cgd db_expr_t lhs, rhs;
154 1.1 cgd int t;
155 1.1 cgd
156 1.1 cgd if (!db_unary(&lhs))
157 1.1 cgd return (FALSE);
158 1.1 cgd
159 1.1 cgd t = db_read_token();
160 1.1 cgd while (t == tSTAR || t == tSLASH || t == tPCT || t == tHASH) {
161 1.1 cgd if (!db_term(&rhs)) {
162 1.1 cgd db_error("Syntax error\n");
163 1.1 cgd /*NOTREACHED*/
164 1.1 cgd }
165 1.1 cgd if (t == tSTAR)
166 1.1 cgd lhs *= rhs;
167 1.1 cgd else {
168 1.1 cgd if (rhs == 0) {
169 1.1 cgd db_error("Divide by 0\n");
170 1.1 cgd /*NOTREACHED*/
171 1.1 cgd }
172 1.1 cgd if (t == tSLASH)
173 1.1 cgd lhs /= rhs;
174 1.1 cgd else if (t == tPCT)
175 1.1 cgd lhs %= rhs;
176 1.1 cgd else
177 1.1 cgd lhs = ((lhs+rhs-1)/rhs)*rhs;
178 1.1 cgd }
179 1.1 cgd t = db_read_token();
180 1.1 cgd }
181 1.1 cgd db_unread_token(t);
182 1.1 cgd *valuep = lhs;
183 1.1 cgd return (TRUE);
184 1.1 cgd }
185 1.1 cgd
186 1.1 cgd boolean_t
187 1.1 cgd db_add_expr(valuep)
188 1.1 cgd db_expr_t *valuep;
189 1.1 cgd {
190 1.1 cgd db_expr_t lhs, rhs;
191 1.1 cgd int t;
192 1.1 cgd
193 1.1 cgd if (!db_mult_expr(&lhs))
194 1.1 cgd return (FALSE);
195 1.1 cgd
196 1.1 cgd t = db_read_token();
197 1.1 cgd while (t == tPLUS || t == tMINUS) {
198 1.1 cgd if (!db_mult_expr(&rhs)) {
199 1.1 cgd db_error("Syntax error\n");
200 1.1 cgd /*NOTREACHED*/
201 1.1 cgd }
202 1.1 cgd if (t == tPLUS)
203 1.1 cgd lhs += rhs;
204 1.1 cgd else
205 1.1 cgd lhs -= rhs;
206 1.1 cgd t = db_read_token();
207 1.1 cgd }
208 1.1 cgd db_unread_token(t);
209 1.1 cgd *valuep = lhs;
210 1.1 cgd return (TRUE);
211 1.1 cgd }
212 1.1 cgd
213 1.1 cgd boolean_t
214 1.1 cgd db_shift_expr(valuep)
215 1.1 cgd db_expr_t *valuep;
216 1.1 cgd {
217 1.1 cgd db_expr_t lhs, rhs;
218 1.1 cgd int t;
219 1.1 cgd
220 1.1 cgd if (!db_add_expr(&lhs))
221 1.1 cgd return (FALSE);
222 1.1 cgd
223 1.1 cgd t = db_read_token();
224 1.1 cgd while (t == tSHIFT_L || t == tSHIFT_R) {
225 1.1 cgd if (!db_add_expr(&rhs)) {
226 1.1 cgd db_error("Syntax error\n");
227 1.1 cgd /*NOTREACHED*/
228 1.1 cgd }
229 1.1 cgd if (rhs < 0) {
230 1.1 cgd db_error("Negative shift amount\n");
231 1.1 cgd /*NOTREACHED*/
232 1.1 cgd }
233 1.1 cgd if (t == tSHIFT_L)
234 1.1 cgd lhs <<= rhs;
235 1.1 cgd else {
236 1.1 cgd /* Shift right is unsigned */
237 1.1 cgd lhs = (unsigned) lhs >> rhs;
238 1.1 cgd }
239 1.1 cgd t = db_read_token();
240 1.1 cgd }
241 1.1 cgd db_unread_token(t);
242 1.1 cgd *valuep = lhs;
243 1.1 cgd return (TRUE);
244 1.1 cgd }
245 1.1 cgd
246 1.1 cgd int
247 1.1 cgd db_expression(valuep)
248 1.1 cgd db_expr_t *valuep;
249 {
250 return (db_shift_expr(valuep));
251 }
252