xref: /freebsd/sys/ddb/db_expr.c (revision 753960f7c45791dc61fa2388146b8d1780801ecf)
15b81b6b3SRodney W. Grimes /*
25b81b6b3SRodney W. Grimes  * Mach Operating System
35b81b6b3SRodney W. Grimes  * Copyright (c) 1991,1990 Carnegie Mellon University
45b81b6b3SRodney W. Grimes  * All Rights Reserved.
55b81b6b3SRodney W. Grimes  *
65b81b6b3SRodney W. Grimes  * Permission to use, copy, modify and distribute this software and its
75b81b6b3SRodney W. Grimes  * documentation is hereby granted, provided that both the copyright
85b81b6b3SRodney W. Grimes  * notice and this permission notice appear in all copies of the
95b81b6b3SRodney W. Grimes  * software, derivative works or modified versions, and any portions
105b81b6b3SRodney W. Grimes  * thereof, and that both notices appear in supporting documentation.
115b81b6b3SRodney W. Grimes  *
125b81b6b3SRodney W. Grimes  * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS
135b81b6b3SRodney W. Grimes  * CONDITION.  CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
145b81b6b3SRodney W. Grimes  * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
155b81b6b3SRodney W. Grimes  *
165b81b6b3SRodney W. Grimes  * Carnegie Mellon requests users of this software to return to
175b81b6b3SRodney W. Grimes  *
185b81b6b3SRodney W. Grimes  *  Software Distribution Coordinator  or  Software.Distribution@CS.CMU.EDU
195b81b6b3SRodney W. Grimes  *  School of Computer Science
205b81b6b3SRodney W. Grimes  *  Carnegie Mellon University
215b81b6b3SRodney W. Grimes  *  Pittsburgh PA 15213-3890
225b81b6b3SRodney W. Grimes  *
235b81b6b3SRodney W. Grimes  * any improvements or extensions that they make and grant Carnegie the
245b81b6b3SRodney W. Grimes  * rights to redistribute these changes.
255b81b6b3SRodney W. Grimes  */
265b81b6b3SRodney W. Grimes /*
275b81b6b3SRodney W. Grimes  *	Author: David B. Golub, Carnegie Mellon University
285b81b6b3SRodney W. Grimes  *	Date:	7/90
295b81b6b3SRodney W. Grimes  */
30753960f7SDavid E. O'Brien 
31753960f7SDavid E. O'Brien #include <sys/cdefs.h>
32753960f7SDavid E. O'Brien __FBSDID("$FreeBSD$");
33753960f7SDavid E. O'Brien 
34f540b106SGarrett Wollman #include <sys/param.h>
355ccbc3ccSBruce Evans 
36f540b106SGarrett Wollman #include <ddb/ddb.h>
375b81b6b3SRodney W. Grimes #include <ddb/db_lex.h>
385b81b6b3SRodney W. Grimes #include <ddb/db_access.h>
395b81b6b3SRodney W. Grimes #include <ddb/db_command.h>
405b81b6b3SRodney W. Grimes 
4114e10f99SAlfred Perlstein static boolean_t	db_add_expr(db_expr_t *valuep);
4214e10f99SAlfred Perlstein static boolean_t	db_mult_expr(db_expr_t *valuep);
4314e10f99SAlfred Perlstein static boolean_t	db_shift_expr(db_expr_t *valuep);
4414e10f99SAlfred Perlstein static boolean_t	db_term(db_expr_t *valuep);
4514e10f99SAlfred Perlstein static boolean_t	db_unary(db_expr_t *valuep);
46058284fcSBruce Evans 
47f73a856dSPoul-Henning Kamp static boolean_t
485b81b6b3SRodney W. Grimes db_term(valuep)
495b81b6b3SRodney W. Grimes 	db_expr_t *valuep;
505b81b6b3SRodney W. Grimes {
515b81b6b3SRodney W. Grimes 	int	t;
525b81b6b3SRodney W. Grimes 
535b81b6b3SRodney W. Grimes 	t = db_read_token();
545b81b6b3SRodney W. Grimes 	if (t == tIDENT) {
555b81b6b3SRodney W. Grimes 	    if (!db_value_of_name(db_tok_string, valuep)) {
565b81b6b3SRodney W. Grimes 		db_error("Symbol not found\n");
575b81b6b3SRodney W. Grimes 		/*NOTREACHED*/
585b81b6b3SRodney W. Grimes 	    }
595b81b6b3SRodney W. Grimes 	    return (TRUE);
605b81b6b3SRodney W. Grimes 	}
615b81b6b3SRodney W. Grimes 	if (t == tNUMBER) {
625b81b6b3SRodney W. Grimes 	    *valuep = (db_expr_t)db_tok_number;
635b81b6b3SRodney W. Grimes 	    return (TRUE);
645b81b6b3SRodney W. Grimes 	}
655b81b6b3SRodney W. Grimes 	if (t == tDOT) {
665b81b6b3SRodney W. Grimes 	    *valuep = (db_expr_t)db_dot;
675b81b6b3SRodney W. Grimes 	    return (TRUE);
685b81b6b3SRodney W. Grimes 	}
695b81b6b3SRodney W. Grimes 	if (t == tDOTDOT) {
705b81b6b3SRodney W. Grimes 	    *valuep = (db_expr_t)db_prev;
715b81b6b3SRodney W. Grimes 	    return (TRUE);
725b81b6b3SRodney W. Grimes 	}
735b81b6b3SRodney W. Grimes 	if (t == tPLUS) {
745b81b6b3SRodney W. Grimes 	    *valuep = (db_expr_t) db_next;
755b81b6b3SRodney W. Grimes 	    return (TRUE);
765b81b6b3SRodney W. Grimes 	}
775b81b6b3SRodney W. Grimes 	if (t == tDITTO) {
785b81b6b3SRodney W. Grimes 	    *valuep = (db_expr_t)db_last_addr;
795b81b6b3SRodney W. Grimes 	    return (TRUE);
805b81b6b3SRodney W. Grimes 	}
815b81b6b3SRodney W. Grimes 	if (t == tDOLLAR) {
825b81b6b3SRodney W. Grimes 	    if (!db_get_variable(valuep))
835b81b6b3SRodney W. Grimes 		return (FALSE);
845b81b6b3SRodney W. Grimes 	    return (TRUE);
855b81b6b3SRodney W. Grimes 	}
865b81b6b3SRodney W. Grimes 	if (t == tLPAREN) {
875b81b6b3SRodney W. Grimes 	    if (!db_expression(valuep)) {
885b81b6b3SRodney W. Grimes 		db_error("Syntax error\n");
895b81b6b3SRodney W. Grimes 		/*NOTREACHED*/
905b81b6b3SRodney W. Grimes 	    }
915b81b6b3SRodney W. Grimes 	    t = db_read_token();
925b81b6b3SRodney W. Grimes 	    if (t != tRPAREN) {
935b81b6b3SRodney W. Grimes 		db_error("Syntax error\n");
945b81b6b3SRodney W. Grimes 		/*NOTREACHED*/
955b81b6b3SRodney W. Grimes 	    }
965b81b6b3SRodney W. Grimes 	    return (TRUE);
975b81b6b3SRodney W. Grimes 	}
985b81b6b3SRodney W. Grimes 	db_unread_token(t);
995b81b6b3SRodney W. Grimes 	return (FALSE);
1005b81b6b3SRodney W. Grimes }
1015b81b6b3SRodney W. Grimes 
102f73a856dSPoul-Henning Kamp static boolean_t
1035b81b6b3SRodney W. Grimes db_unary(valuep)
1045b81b6b3SRodney W. Grimes 	db_expr_t *valuep;
1055b81b6b3SRodney W. Grimes {
1065b81b6b3SRodney W. Grimes 	int	t;
1075b81b6b3SRodney W. Grimes 
1085b81b6b3SRodney W. Grimes 	t = db_read_token();
1095b81b6b3SRodney W. Grimes 	if (t == tMINUS) {
1105b81b6b3SRodney W. Grimes 	    if (!db_unary(valuep)) {
1115b81b6b3SRodney W. Grimes 		db_error("Syntax error\n");
1125b81b6b3SRodney W. Grimes 		/*NOTREACHED*/
1135b81b6b3SRodney W. Grimes 	    }
1145b81b6b3SRodney W. Grimes 	    *valuep = -*valuep;
1155b81b6b3SRodney W. Grimes 	    return (TRUE);
1165b81b6b3SRodney W. Grimes 	}
1175b81b6b3SRodney W. Grimes 	if (t == tSTAR) {
1185b81b6b3SRodney W. Grimes 	    /* indirection */
1195b81b6b3SRodney W. Grimes 	    if (!db_unary(valuep)) {
1205b81b6b3SRodney W. Grimes 		db_error("Syntax error\n");
1215b81b6b3SRodney W. Grimes 		/*NOTREACHED*/
1225b81b6b3SRodney W. Grimes 	    }
123358ad31dSThomas Moestl 	    *valuep = db_get_value((db_addr_t)*valuep, sizeof(void *), FALSE);
1245b81b6b3SRodney W. Grimes 	    return (TRUE);
1255b81b6b3SRodney W. Grimes 	}
1265b81b6b3SRodney W. Grimes 	db_unread_token(t);
1275b81b6b3SRodney W. Grimes 	return (db_term(valuep));
1285b81b6b3SRodney W. Grimes }
1295b81b6b3SRodney W. Grimes 
130f73a856dSPoul-Henning Kamp static boolean_t
1315b81b6b3SRodney W. Grimes db_mult_expr(valuep)
1325b81b6b3SRodney W. Grimes 	db_expr_t *valuep;
1335b81b6b3SRodney W. Grimes {
1345b81b6b3SRodney W. Grimes 	db_expr_t	lhs, rhs;
1355b81b6b3SRodney W. Grimes 	int		t;
1365b81b6b3SRodney W. Grimes 
1375b81b6b3SRodney W. Grimes 	if (!db_unary(&lhs))
1385b81b6b3SRodney W. Grimes 	    return (FALSE);
1395b81b6b3SRodney W. Grimes 
1405b81b6b3SRodney W. Grimes 	t = db_read_token();
1415b81b6b3SRodney W. Grimes 	while (t == tSTAR || t == tSLASH || t == tPCT || t == tHASH) {
1425b81b6b3SRodney W. Grimes 	    if (!db_term(&rhs)) {
1435b81b6b3SRodney W. Grimes 		db_error("Syntax error\n");
1445b81b6b3SRodney W. Grimes 		/*NOTREACHED*/
1455b81b6b3SRodney W. Grimes 	    }
1465b81b6b3SRodney W. Grimes 	    if (t == tSTAR)
1475b81b6b3SRodney W. Grimes 		lhs *= rhs;
1485b81b6b3SRodney W. Grimes 	    else {
1495b81b6b3SRodney W. Grimes 		if (rhs == 0) {
1505b81b6b3SRodney W. Grimes 		    db_error("Divide by 0\n");
1515b81b6b3SRodney W. Grimes 		    /*NOTREACHED*/
1525b81b6b3SRodney W. Grimes 		}
1535b81b6b3SRodney W. Grimes 		if (t == tSLASH)
1545b81b6b3SRodney W. Grimes 		    lhs /= rhs;
1555b81b6b3SRodney W. Grimes 		else if (t == tPCT)
1565b81b6b3SRodney W. Grimes 		    lhs %= rhs;
1575b81b6b3SRodney W. Grimes 		else
1585b81b6b3SRodney W. Grimes 		    lhs = ((lhs+rhs-1)/rhs)*rhs;
1595b81b6b3SRodney W. Grimes 	    }
1605b81b6b3SRodney W. Grimes 	    t = db_read_token();
1615b81b6b3SRodney W. Grimes 	}
1625b81b6b3SRodney W. Grimes 	db_unread_token(t);
1635b81b6b3SRodney W. Grimes 	*valuep = lhs;
1645b81b6b3SRodney W. Grimes 	return (TRUE);
1655b81b6b3SRodney W. Grimes }
1665b81b6b3SRodney W. Grimes 
167f73a856dSPoul-Henning Kamp static boolean_t
1685b81b6b3SRodney W. Grimes db_add_expr(valuep)
1695b81b6b3SRodney W. Grimes 	db_expr_t *valuep;
1705b81b6b3SRodney W. Grimes {
1715b81b6b3SRodney W. Grimes 	db_expr_t	lhs, rhs;
1725b81b6b3SRodney W. Grimes 	int		t;
1735b81b6b3SRodney W. Grimes 
1745b81b6b3SRodney W. Grimes 	if (!db_mult_expr(&lhs))
1755b81b6b3SRodney W. Grimes 	    return (FALSE);
1765b81b6b3SRodney W. Grimes 
1775b81b6b3SRodney W. Grimes 	t = db_read_token();
1785b81b6b3SRodney W. Grimes 	while (t == tPLUS || t == tMINUS) {
1795b81b6b3SRodney W. Grimes 	    if (!db_mult_expr(&rhs)) {
1805b81b6b3SRodney W. Grimes 		db_error("Syntax error\n");
1815b81b6b3SRodney W. Grimes 		/*NOTREACHED*/
1825b81b6b3SRodney W. Grimes 	    }
1835b81b6b3SRodney W. Grimes 	    if (t == tPLUS)
1845b81b6b3SRodney W. Grimes 		lhs += rhs;
1855b81b6b3SRodney W. Grimes 	    else
1865b81b6b3SRodney W. Grimes 		lhs -= rhs;
1875b81b6b3SRodney W. Grimes 	    t = db_read_token();
1885b81b6b3SRodney W. Grimes 	}
1895b81b6b3SRodney W. Grimes 	db_unread_token(t);
1905b81b6b3SRodney W. Grimes 	*valuep = lhs;
1915b81b6b3SRodney W. Grimes 	return (TRUE);
1925b81b6b3SRodney W. Grimes }
1935b81b6b3SRodney W. Grimes 
194f73a856dSPoul-Henning Kamp static boolean_t
1955b81b6b3SRodney W. Grimes db_shift_expr(valuep)
1965b81b6b3SRodney W. Grimes 	db_expr_t *valuep;
1975b81b6b3SRodney W. Grimes {
1985b81b6b3SRodney W. Grimes 	db_expr_t	lhs, rhs;
1995b81b6b3SRodney W. Grimes 	int		t;
2005b81b6b3SRodney W. Grimes 
2015b81b6b3SRodney W. Grimes 	if (!db_add_expr(&lhs))
2025b81b6b3SRodney W. Grimes 	    return (FALSE);
2035b81b6b3SRodney W. Grimes 
2045b81b6b3SRodney W. Grimes 	t = db_read_token();
2055b81b6b3SRodney W. Grimes 	while (t == tSHIFT_L || t == tSHIFT_R) {
2065b81b6b3SRodney W. Grimes 	    if (!db_add_expr(&rhs)) {
2075b81b6b3SRodney W. Grimes 		db_error("Syntax error\n");
2085b81b6b3SRodney W. Grimes 		/*NOTREACHED*/
2095b81b6b3SRodney W. Grimes 	    }
2105b81b6b3SRodney W. Grimes 	    if (rhs < 0) {
2115b81b6b3SRodney W. Grimes 		db_error("Negative shift amount\n");
2125b81b6b3SRodney W. Grimes 		/*NOTREACHED*/
2135b81b6b3SRodney W. Grimes 	    }
2145b81b6b3SRodney W. Grimes 	    if (t == tSHIFT_L)
2155b81b6b3SRodney W. Grimes 		lhs <<= rhs;
2165b81b6b3SRodney W. Grimes 	    else {
2175b81b6b3SRodney W. Grimes 		/* Shift right is unsigned */
2185b81b6b3SRodney W. Grimes 		lhs = (unsigned) lhs >> rhs;
2195b81b6b3SRodney W. Grimes 	    }
2205b81b6b3SRodney W. Grimes 	    t = db_read_token();
2215b81b6b3SRodney W. Grimes 	}
2225b81b6b3SRodney W. Grimes 	db_unread_token(t);
2235b81b6b3SRodney W. Grimes 	*valuep = lhs;
2245b81b6b3SRodney W. Grimes 	return (TRUE);
2255b81b6b3SRodney W. Grimes }
2265b81b6b3SRodney W. Grimes 
2275b81b6b3SRodney W. Grimes int
2285b81b6b3SRodney W. Grimes db_expression(valuep)
2295b81b6b3SRodney W. Grimes 	db_expr_t *valuep;
2305b81b6b3SRodney W. Grimes {
2315b81b6b3SRodney W. Grimes 	return (db_shift_expr(valuep));
2325b81b6b3SRodney W. Grimes }
233