Lines Matching refs:expr
394 | vardcl ASGN expr { $$ = $1;
452 '[' expr ']' { $$ = nn($1, NAME, $4, ZN); }
500 | for_pre ':' expr DOTDOT expr ')' {
509 | SELECT '(' varref ':' expr DOTDOT expr ')' {
640 expr : '(' expr ')' { $$ = $2; }
641 | expr '+' expr { $$ = nn(ZN, '+', $1, $3); }
642 | expr '-' expr { $$ = nn(ZN, '-', $1, $3); }
643 | expr '*' expr { $$ = nn(ZN, '*', $1, $3); }
644 | expr '/' expr { $$ = nn(ZN, '/', $1, $3); }
645 | expr '%' expr { $$ = nn(ZN, '%', $1, $3); }
646 | expr '&' expr { $$ = nn(ZN, '&', $1, $3); }
647 | expr '^' expr { $$ = nn(ZN, '^', $1, $3); }
648 | expr '|' expr { $$ = nn(ZN, '|', $1, $3); }
649 | expr GT expr { $$ = nn(ZN, GT, $1, $3); }
650 | expr LT expr { $$ = nn(ZN, LT, $1, $3); }
651 | expr GE expr { $$ = nn(ZN, GE, $1, $3); }
652 | expr LE expr { $$ = nn(ZN, LE, $1, $3); }
653 | expr EQ expr { $$ = nn(ZN, EQ, $1, $3); }
654 | expr NE expr { $$ = nn(ZN, NE, $1, $3); }
655 | expr AND expr { $$ = nn(ZN, AND, $1, $3); }
656 | expr OR expr { $$ = nn(ZN, OR, $1, $3); }
657 | expr LSHIFT expr { $$ = nn(ZN, LSHIFT,$1, $3); }
658 | expr RSHIFT expr { $$ = nn(ZN, RSHIFT,$1, $3); }
659 | '~' expr { $$ = nn(ZN, '~', $2, ZN); }
660 | '-' expr %prec UMIN { $$ = nn(ZN, UMIN, $2, ZN); }
661 | SND expr %prec NEG { $$ = nn(ZN, '!', $2, ZN); }
663 | '(' expr SEMI expr ':' expr ')' {
680 | ENABLED '(' expr ')' { $$ = nn(ZN, ENABLED, $3, ZN);
702 | PC_VAL '(' expr ')' { $$ = nn(ZN, PC_VAL, $3, ZN);
705 | PNAME '[' expr ']' '@' NAME
707 | PNAME '[' expr ']' ':' pfld
718 full_expr: expr { $$ = $1; }
722 ltl_expr: expr UNTIL expr { $$ = nn(ZN, UNTIL, $1, $3); }
723 | expr RELEASE expr { $$ = nn(ZN, RELEASE, $1, $3); }
724 | expr WEAK_UNTIL expr { $$ = nn(ZN, ALWAYS, $1, ZN);
727 | expr IMPLIES expr {
731 | expr EQUIV expr { $$ = nn(ZN, EQUIV, $1, $3); }
732 | NEXT expr %prec NEG { $$ = nn(ZN, NEXT, $2, ZN); }
733 | ALWAYS expr %prec NEG { $$ = nn(ZN, ALWAYS,$2, ZN); }
734 | EVENTUALLY expr %prec NEG { $$ = nn(ZN, EVENTUALLY, $2, ZN); }
741 | Expr AND expr { $$ = nn(ZN, AND, $1, $3); }
742 | expr AND Expr { $$ = nn(ZN, AND, $1, $3); }
744 | Expr OR expr { $$ = nn(ZN, OR, $1, $3); }
745 | expr OR Expr { $$ = nn(ZN, OR, $1, $3); }
792 | expr '(' arg ')' { if ($1->ntyp == ',')
799 arg : expr { if ($1->ntyp == ',')
804 | expr ',' arg { if ($1->ntyp == ',')
813 | EVAL '(' expr ')' { $$ = nn(ZN,EVAL,$3,ZN);