bin/sh/arith_yacc.c

   1 /*-
   2  * Copyright (c) 1993
   3  *      The Regents of the University of California.  All rights reserved.
   4  * Copyright (c) 2007
   5  *      Herbert Xu <herbert@gondor.apana.org.au>.  All rights reserved.
   6  *
   7  * This code is derived from software contributed to Berkeley by
   8  * Kenneth Almquist.
   9  *
  10  * Redistribution and use in source and binary forms, with or without
  11  * modification, are permitted provided that the following conditions
  12  * are met:
  13  * 1. Redistributions of source code must retain the above copyright
  14  *    notice, this list of conditions and the following disclaimer.
  15  * 2. Redistributions in binary form must reproduce the above copyright
  16  *    notice, this list of conditions and the following disclaimer in the
  17  *    documentation and/or other materials provided with the distribution.
  18  * 3. Neither the name of the University nor the names of its contributors
  19  *    may be used to endorse or promote products derived from this software
  20  *    without specific prior written permission.
  21  *
  22  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
  23  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  24  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  25  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
  26  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  27  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  28  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  29  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  30  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  31  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  32  * SUCH DAMAGE.
  33  *
  34  * $FreeBSD: src/bin/sh/arith_yacc.c,v 1.1 2011/02/08 23:18:06 jilles Exp $
  35  */
  36
  37 #include <sys/limits.h>
  38 #include <errno.h>
  39 #include <inttypes.h>
  40 #include <stdlib.h>
  41 #include <stdio.h>
  42 #include "arith.h"
  43 #include "arith_yacc.h"
  44 #include "expand.h"
  45 #include "shell.h"
  46 #include "error.h"
  47 #include "memalloc.h"
  48 #include "output.h"
  49 #include "options.h"
  50 #include "var.h"
  51
  52 #if ARITH_BOR + 11 != ARITH_BORASS || ARITH_ASS + 11 != ARITH_EQ
  53 #error Arithmetic tokens are out of order.
  54 #endif
  55
  56 static const char *arith_startbuf;
  57
  58 const char *arith_buf;
  59 union yystype yylval;
  60
  61 static int last_token;
  62
  63 #define ARITH_PRECEDENCE(op, prec) [op - ARITH_BINOP_MIN] = prec
  64
  65 static const char prec[ARITH_BINOP_MAX - ARITH_BINOP_MIN] = {
  66         ARITH_PRECEDENCE(ARITH_MUL, 0),
  67         ARITH_PRECEDENCE(ARITH_DIV, 0),
  68         ARITH_PRECEDENCE(ARITH_REM, 0),
  69         ARITH_PRECEDENCE(ARITH_ADD, 1),
  70         ARITH_PRECEDENCE(ARITH_SUB, 1),
  71         ARITH_PRECEDENCE(ARITH_LSHIFT, 2),
  72         ARITH_PRECEDENCE(ARITH_RSHIFT, 2),
  73         ARITH_PRECEDENCE(ARITH_LT, 3),
  74         ARITH_PRECEDENCE(ARITH_LE, 3),
  75         ARITH_PRECEDENCE(ARITH_GT, 3),
  76         ARITH_PRECEDENCE(ARITH_GE, 3),
  77         ARITH_PRECEDENCE(ARITH_EQ, 4),
  78         ARITH_PRECEDENCE(ARITH_NE, 4),
  79         ARITH_PRECEDENCE(ARITH_BAND, 5),
  80         ARITH_PRECEDENCE(ARITH_BXOR, 6),
  81         ARITH_PRECEDENCE(ARITH_BOR, 7),
  82 };
  83
  84 #define ARITH_MAX_PREC 8
  85
  86 static __dead2 void
  87 yyerror(const char *s)
  88 {
  89         error("arithmetic expression: %s: \"%s\"", s, arith_startbuf);
  90         /* NOTREACHED */
  91 }
  92
  93 static arith_t
  94 arith_lookupvarint(char *varname)
  95 {
  96         const char *str;
  97         char *p;
  98         arith_t result;
  99
 100         str = lookupvar(varname);
 101         if (str == NULL || *str == '\0')
 102                 str = "0";
 103         errno = 0;
 104         result = strtoarith_t(str, &p, 0);
 105         if (errno != 0 || *p != '\0')
 106                 yyerror("variable conversion error");
 107         return result;
 108 }
 109
 110 static inline int
 111 arith_prec(int op)
 112 {
 113         return prec[op - ARITH_BINOP_MIN];
 114 }
 115
 116 static inline int
 117 higher_prec(int op1, int op2)
 118 {
 119         return arith_prec(op1) < arith_prec(op2);
 120 }
 121
 122 static arith_t
 123 do_binop(int op, arith_t a, arith_t b)
 124 {
 125
 126         switch (op) {
 127         default:
 128         case ARITH_REM:
 129         case ARITH_DIV:
 130                 if (!b)
 131                         yyerror("division by zero");
 132                 return op == ARITH_REM ? a % b : a / b;
 133         case ARITH_MUL:
 134                 return a * b;
 135         case ARITH_ADD:
 136                 return a + b;
 137         case ARITH_SUB:
 138                 return a - b;
 139         case ARITH_LSHIFT:
 140                 return a << b;
 141         case ARITH_RSHIFT:
 142                 return a >> b;
 143         case ARITH_LT:
 144                 return a < b;
 145         case ARITH_LE:
 146                 return a <= b;
 147         case ARITH_GT:
 148                 return a > b;
 149         case ARITH_GE:
 150                 return a >= b;
 151         case ARITH_EQ:
 152                 return a == b;
 153         case ARITH_NE:
 154                 return a != b;
 155         case ARITH_BAND:
 156                 return a & b;
 157         case ARITH_BXOR:
 158                 return a ^ b;
 159         case ARITH_BOR:
 160                 return a | b;
 161         }
 162 }
 163
 164 static arith_t assignment(int var, int noeval);
 165
 166 static arith_t
 167 primary(int token, union yystype *val, int op, int noeval)
 168 {
 169         arith_t result;
 170
 171 again:
 172         switch (token) {
 173         case ARITH_LPAREN:
 174                 result = assignment(op, noeval);
 175                 if (last_token != ARITH_RPAREN)
 176                         yyerror("expecting ')'");
 177                 last_token = yylex();
 178                 return result;
 179         case ARITH_NUM:
 180                 last_token = op;
 181                 return val->val;
 182         case ARITH_VAR:
 183                 last_token = op;
 184                 return noeval ? val->val : arith_lookupvarint(val->name);
 185         case ARITH_ADD:
 186                 token = op;
 187                 *val = yylval;
 188                 op = yylex();
 189                 goto again;
 190         case ARITH_SUB:
 191                 *val = yylval;
 192                 return -primary(op, val, yylex(), noeval);
 193         case ARITH_NOT:
 194                 *val = yylval;
 195                 return !primary(op, val, yylex(), noeval);
 196         case ARITH_BNOT:
 197                 *val = yylval;
 198                 return ~primary(op, val, yylex(), noeval);
 199         default:
 200                 yyerror("expecting primary");
 201         }
 202 }
 203
 204 static arith_t
 205 binop2(arith_t a, int op, int lprec, int noeval)
 206 {
 207         for (;;) {
 208                 union yystype val;
 209                 arith_t b;
 210                 int op2;
 211                 int token;
 212
 213                 token = yylex();
 214                 val = yylval;
 215
 216                 b = primary(token, &val, yylex(), noeval);
 217
 218                 op2 = last_token;
 219                 if (op2 >= ARITH_BINOP_MIN && op2 < ARITH_BINOP_MAX &&
 220                     higher_prec(op2, op)) {
 221                         b = binop2(b, op2, arith_prec(op), noeval);
 222                         op2 = last_token;
 223                 }
 224
 225                 a = noeval ? b : do_binop(op, a, b);
 226
 227                 if (op2 < ARITH_BINOP_MIN || op2 >= ARITH_BINOP_MAX ||
 228                     arith_prec(op2) >= lprec)
 229                         return a;
 230
 231                 op = op2;
 232         }
 233 }
 234
 235 static arith_t
 236 binop(int token, union yystype *val, int op, int noeval)
 237 {
 238         arith_t a = primary(token, val, op, noeval);
 239
 240         op = last_token;
 241         if (op < ARITH_BINOP_MIN || op >= ARITH_BINOP_MAX)
 242                 return a;
 243
 244         return binop2(a, op, ARITH_MAX_PREC, noeval);
 245 }
 246
 247 static arith_t
 248 and(int token, union yystype *val, int op, int noeval)
 249 {
 250         arith_t a = binop(token, val, op, noeval);
 251         arith_t b;
 252
 253         op = last_token;
 254         if (op != ARITH_AND)
 255                 return a;
 256
 257         token = yylex();
 258         *val = yylval;
 259
 260         b = and(token, val, yylex(), noeval | !a);
 261
 262         return a && b;
 263 }
 264
 265 static arith_t
 266 or(int token, union yystype *val, int op, int noeval)
 267 {
 268         arith_t a = and(token, val, op, noeval);
 269         arith_t b;
 270
 271         op = last_token;
 272         if (op != ARITH_OR)
 273                 return a;
 274
 275         token = yylex();
 276         *val = yylval;
 277
 278         b = or(token, val, yylex(), noeval | !!a);
 279
 280         return a || b;
 281 }
 282
 283 static arith_t
 284 cond(int token, union yystype *val, int op, int noeval)
 285 {
 286         arith_t a = or(token, val, op, noeval);
 287         arith_t b;
 288         arith_t c;
 289
 290         if (last_token != ARITH_QMARK)
 291                 return a;
 292
 293         b = assignment(yylex(), noeval | !a);
 294
 295         if (last_token != ARITH_COLON)
 296                 yyerror("expecting ':'");
 297
 298         token = yylex();
 299         *val = yylval;
 300
 301         c = cond(token, val, yylex(), noeval | !!a);
 302
 303         return a ? b : c;
 304 }
 305
 306 static arith_t
 307 assignment(int var, int noeval)
 308 {
 309         union yystype val = yylval;
 310         int op = yylex();
 311         arith_t result;
 312         char sresult[DIGITS(result) + 1];
 313
 314         if (var != ARITH_VAR)
 315                 return cond(var, &val, op, noeval);
 316
 317         if (op != ARITH_ASS && (op < ARITH_ASS_MIN || op >= ARITH_ASS_MAX))
 318                 return cond(var, &val, op, noeval);
 319
 320         result = assignment(yylex(), noeval);
 321         if (noeval)
 322                 return result;
 323
 324         if (op != ARITH_ASS)
 325                 result = do_binop(op - 11, arith_lookupvarint(val.name), result);
 326         snprintf(sresult, sizeof(sresult), ARITH_FORMAT_STR, result);
 327         setvar(val.name, sresult, 0);
 328         return result;
 329 }
 330
 331 arith_t
 332 arith(const char *s)
 333 {
 334         struct stackmark smark;
 335         arith_t result;
 336
 337         setstackmark(&smark);
 338
 339         arith_buf = arith_startbuf = s;
 340
 341         result = assignment(yylex(), 0);
 342
 343         if (last_token)
 344                 yyerror("expecting EOF");
 345
 346         popstackmark(&smark);
 347
 348         return result;
 349 }
 350
 351 /*
 352  *  The exp(1) builtin.
 353  */
 354 int
 355 expcmd(int argc, char **argv)
 356 {
 357         const char *p;
 358         char *concat;
 359         char **ap;
 360         arith_t i;
 361
 362         if (argc > 1) {
 363                 p = argv[1];
 364                 if (argc > 2) {
 365                         /*
 366                          * Concatenate arguments.
 367                          */
 368                         STARTSTACKSTR(concat);
 369                         ap = argv + 2;
 370                         for (;;) {
 371                                 while (*p)
 372                                         STPUTC(*p++, concat);
 373                                 if ((p = *ap++) == NULL)
 374                                         break;
 375                                 STPUTC(' ', concat);
 376                         }
 377                         STPUTC('\0', concat);
 378                         p = grabstackstr(concat);
 379                 }
 380         } else
 381                 p = "";
 382
 383         i = arith(p);
 384
 385         out1fmt(ARITH_FORMAT_STR "\n", i);
 386         return !i;
 387 }
 388