158 lines
3.7 KiB
C
158 lines
3.7 KiB
C
/*
|
|
* Copyright (c) 1990 The Regents of the University of California.
|
|
* All rights reserved.
|
|
*
|
|
* Redistribution and use in source and binary forms, with or without
|
|
* modification, are permitted provided that: (1) source code distributions
|
|
* retain the above copyright notice and this paragraph in its entirety, (2)
|
|
* distributions including binary code include the above copyright notice and
|
|
* this paragraph in its entirety in the documentation or other materials
|
|
* provided with the distribution, and (3) all advertising materials mentioning
|
|
* features or use of this software display the following acknowledgement:
|
|
* ``This product includes software developed by the University of California,
|
|
* Lawrence Berkeley Laboratory and its contributors.'' Neither the name of
|
|
* the University nor the names of its contributors may be used to endorse
|
|
* or promote products derived from this software without specific prior
|
|
* written permission.
|
|
* THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR IMPLIED
|
|
* WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED WARRANTIES OF
|
|
* MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
|
|
*
|
|
* @(#) Header: gencode.h,v 1.14 92/02/14 15:18:55 mccanne Exp (LBL)
|
|
* $Id: gencode.h,v 1.1 1993/11/14 21:20:10 deraadt Exp $
|
|
*/
|
|
|
|
/*
|
|
* filter.h must be included before this file.
|
|
*/
|
|
|
|
/* Address qualifers. */
|
|
|
|
#define Q_HOST 1
|
|
#define Q_NET 2
|
|
#define Q_PORT 3
|
|
#define Q_GATEWAY 4
|
|
#define Q_PROTO 5
|
|
|
|
/* Protocol qualifiers. */
|
|
|
|
#define Q_LINK 1
|
|
#define Q_IP 2
|
|
#define Q_ARP 3
|
|
#define Q_RARP 4
|
|
#define Q_TCP 5
|
|
#define Q_UDP 6
|
|
#define Q_ICMP 7
|
|
|
|
/* Directional qualifers. */
|
|
|
|
#define Q_SRC 1
|
|
#define Q_DST 2
|
|
#define Q_OR 3
|
|
#define Q_AND 4
|
|
|
|
#define Q_DEFAULT 0
|
|
#define Q_UNDEF 255
|
|
|
|
struct stmt {
|
|
int code;
|
|
long k;
|
|
};
|
|
|
|
struct slist {
|
|
struct stmt s;
|
|
struct slist *next;
|
|
};
|
|
|
|
/*
|
|
* A bit vector to represent definition sets. We assume TOT_REGISTERS
|
|
* is smaller than 8*sizeof(atomset).
|
|
*/
|
|
typedef u_long atomset;
|
|
#define ATOMMASK(n) (1 << (n))
|
|
#define ATOMELEM(d, n) (d & ATOMMASK(n))
|
|
|
|
/*
|
|
* An unbounded set.
|
|
*/
|
|
typedef u_long *uset;
|
|
|
|
/*
|
|
* Total number of atomic entities, including accumulator (A) and index (X).
|
|
* We treat all these guys similarly during flow analysis.
|
|
*/
|
|
#define N_ATOMS (BPF_MEMWORDS+2)
|
|
|
|
struct edge {
|
|
int id;
|
|
int code;
|
|
uset edom;
|
|
struct block *succ;
|
|
struct block *pred;
|
|
struct edge *next; /* link list of incoming edges for a node */
|
|
};
|
|
|
|
struct block {
|
|
int id;
|
|
struct slist *stmts; /* side effect stmts */
|
|
struct stmt s; /* branch stmt */
|
|
int mark;
|
|
int level;
|
|
int offset;
|
|
int sense;
|
|
struct edge et;
|
|
struct edge ef;
|
|
struct block *head;
|
|
struct block *link; /* link field used by optimizer */
|
|
uset dom;
|
|
uset closure;
|
|
struct edge *in_edges;
|
|
atomset def, kill;
|
|
atomset in_use;
|
|
atomset out_use;
|
|
long oval;
|
|
long val[N_ATOMS];
|
|
};
|
|
|
|
struct arth {
|
|
struct block *b; /* protocol checks */
|
|
struct slist *s; /* stmt list */
|
|
int regno; /* virtual register number of result */
|
|
};
|
|
|
|
extern struct arth *gen_loadi();
|
|
extern struct arth *gen_load();
|
|
extern struct arth *gen_loadlen();
|
|
extern struct arth *gen_neg();
|
|
extern struct arth *gen_arth();
|
|
|
|
extern void gen_and();
|
|
extern void gen_or();
|
|
extern void gen_not();
|
|
|
|
extern struct block *gen_scode();
|
|
extern struct block *gen_ecode();
|
|
extern struct block *gen_ncode();
|
|
extern struct block *gen_proto_abbrev();
|
|
extern struct block *gen_relation();
|
|
extern struct block *gen_less();
|
|
extern struct block *gen_greater();
|
|
extern struct block *gen_byteop();
|
|
extern struct block *gen_broadcast();
|
|
extern struct block *gen_multicast();
|
|
|
|
extern void optimize();
|
|
|
|
extern void finish_parse();
|
|
|
|
struct qual {
|
|
unsigned char addr;
|
|
unsigned char proto;
|
|
unsigned char dir;
|
|
unsigned char pad;
|
|
};
|
|
|
|
/* XXX */
|
|
#define JT(b) ((b)->et.succ)
|
|
#define JF(b) ((b)->ef.succ)
|