572     int val;  member
608     int val;  local
616             return p->val;
618     val = ++curval;
621         vmap[val].const_val = v0;
622         vmap[val].is_const = 1;
625     p->val = val;
632     return val;
726     int val;  local
865             val = b->val[X_ATOM];
866             if (vmap[val].is_const)
877                 b->s.k += vmap[val].const_val;
941     val = b->val[X_ATOM];
942     if (vmap[val].is_const && BPF_SRC(b->s.code) == BPF_X)
944         bpf_int32 v = vmap[val].const_val;
952     val = b->val[A_ATOM];
953     if (vmap[val].is_const && BPF_SRC(b->s.code) == BPF_K)
955         bpf_int32 v = vmap[val].const_val;
993 static void opt_stmt(s, val, alter)  in opt_stmt()  argument
995      int val[];
1008             vstore(s, &val[A_ATOM], v, alter);
1014             v = val[X_ATOM];
1024             vstore(s, &val[A_ATOM], v, alter);
1029             vstore(s, &val[A_ATOM], v, alter);
1034             vstore(s, &val[A_ATOM], v, alter);
1039             vstore(s, &val[X_ATOM], v, alter);
1044             vstore(s, &val[X_ATOM], v, alter);
1048             if (alter && vmap[val[A_ATOM]].is_const)
1051                 s->k = -vmap[val[A_ATOM]].const_val;
1052                 val[A_ATOM] = K(s->k);
1055                 val[A_ATOM] = F(s->code, val[A_ATOM], 0L);
1082                         val[A_ATOM] = K(s->k);
1086                 if (vmap[val[A_ATOM]].is_const)
1088                     fold_op(s, val[A_ATOM], K(s->k));
1089                     val[A_ATOM] = K(s->k);
1093             val[A_ATOM] = F(s->code, val[A_ATOM], K(s->k));
1105             if (alter && vmap[val[X_ATOM]].is_const)
1107                 if (vmap[val[A_ATOM]].is_const)
1109                     fold_op(s, val[A_ATOM], val[X_ATOM]);
1110                     val[A_ATOM] = K(s->k);
1115                     s->k = vmap[val[X_ATOM]].const_val;
1117                     val[A_ATOM] = F(s->code, val[A_ATOM], K(s->k));
1128             if (alter && vmap[val[A_ATOM]].is_const && vmap[val[A_ATOM]].const_val == 0)
1133                     vstore(s, &val[A_ATOM], val[X_ATOM], alter);
1140                     vstore(s, &val[A_ATOM], K(s->k), alter);
1149             val[A_ATOM] = F(s->code, val[A_ATOM], val[X_ATOM]);
1153             vstore(s, &val[A_ATOM], val[X_ATOM], alter);
1157             v = val[s->k];
1164             vstore(s, &val[A_ATOM], v, alter);
1168             vstore(s, &val[X_ATOM], val[A_ATOM], alter);
1172             v = val[s->k];
1179             vstore(s, &val[X_ATOM], v, alter);
1183             vstore(s, &val[s->k], val[A_ATOM], alter);
1187             vstore(s, &val[s->k], val[X_ATOM], alter);
1270         memset((char *) b->val, 0, sizeof(b->val));
1280         memcpy((char *) b->val, (char *) p->pred->val, sizeof(b->val));
1292                 if (b->val[i] != p->pred->val[i])
1293                     b->val[i] = 0;
1296     aval = b->val[A_ATOM];
1297     xval = b->val[X_ATOM];
1299         opt_stmt(&s->s, b->val, do_stmts);
1325         ((b->out_use == 0 && aval != 0 && b->val[A_ATOM] == aval &&
1326           xval != 0 && b->val[X_ATOM] == xval) || BPF_CLASS(b->s.code) == BPF_RET))
1345         b->oval = b->val[X_ATOM];
1366             if (b->val[atom] != succ->val[atom])
1390     aval0 = child->val[A_ATOM];
1392     aval1 = ep->pred->val[A_ATOM];
1489     int val, at_top;  local
1502     val = ep->pred->val[A_ATOM];
1504         if (val != ep->pred->val[A_ATOM])
1524         if ((*diffp)->val[A_ATOM] != val)
1542         if ((*samep)->val[A_ATOM] == val)
1553         if ((*samep)->val[i] != pred->val[i])
1585     int val, at_top;  local
1597     val = ep->pred->val[A_ATOM];
1599         if (val != ep->pred->val[A_ATOM])
1619         if ((*diffp)->val[A_ATOM] != val)
1637         if ((*samep)->val[A_ATOM] == val)
1648         if ((*samep)->val[i] != pred->val[i])