Return to flow.h CVS log

Up to [Research Unix] / researchv10no / cmd / hdr

Annotation of researchv10no/cmd/hdr/flow.h, revision 1.1

1.1     ! root        1: /*
        !             2:  *     Code flow analysis.
        !             3:  */
        !             4: 
        !             5: /*
        !             6:  *     A flow set for an expression defines three sets of pure variables.
        !             7:  *
        !             8:  *     cut     - those whose lifetime must be cut within the expression
        !             9:  *               by a pure assignment
        !            10:  *     mod     - those which must be modified by the expression
        !            11:  *     ref     - those which may be referenced by the expression
        !            12:  *               the expression must be able to use the value of
        !            13:  *               the variable as it is at the beginning of the expression
        !            14:  *     hide    - possible read after last write
        !            15:  *     cmod    - might be modified
        !            16:  */
        !            17: typedef struct
        !            18: {
        !            19:     xnode      *f_cut;
        !            20:     xnode      *f_mod;
        !            21:     xnode      *f_ref;
        !            22:     xnode      *f_hide;
        !            23:     xnode      *f_cmod;
        !            24: }
        !            25:        flow_set;
        !            26: 
        !            27: #define        is_pure(d)      (((d)->id_value.i & PURE) != 0)
        !            28: 
        !            29: #define        make_set(p, id) (\
        !            30:                                (*(p)) = new_xnode(),\
        !            31:                                (*(p))->x_left = NULL,\
        !            32:                                (*(p))->x_value.d = (id)\
        !            33:                        )
        !            34: 
        !            35: #define        pure_var(p)     (\
        !            36:                                (p)->x_what == xt_dot\
        !            37:                                &&\
        !            38:                                (p)->x_left != NULL\
        !            39:                                &&\
        !            40:                                (p)->x_left->x_what == xt_name\
        !            41:                                &&\
        !            42:                                is_pure((p)->x_left->x_value.d)\
        !            43:                        )
        !            44: 
        !            45: /*
        !            46:  *     Life time defines.
        !            47:  */
        !            48: #define        L_NONE          0
        !            49: #define        L_ACTIVE        1
        !            50: #define        L_EQUIV         2
        !            51: #define        L_DEAD          -1
        !            52: #define        L_HEAD          -2
        !            53: 
        !            54: #define        L_ORD(i)        (-1 - (i))
        !            55: 
        !            56: /*
        !            57:  *     Equivalence path definition values.
        !            58:  */
        !            59: #define        E_NONE          0
        !            60: #define        E_SOME          1
        !            61: #define        E_ALL           2
        !            62: #define        E_SUSP          3
        !            63: 
        !            64: extern ident   *alloced_ids;
        !            65: extern int     eord;
        !            66: extern char    *equiv_value;
        !            67: extern int     equiv_max;
        !            68: extern int     trace_argument;
        !            69: extern cnset   expressions;
        !            70: extern cnset   mip_dead_ends;
        !            71: extern xnode   *err_set;
        !            72: extern xnode   *eq_set;
        !            73: extern xnode   *merr_set;
        !            74: 
        !            75: extern int     flow_flags();
        !            76: extern int     is_member();
        !            77: extern xnode   *copy_xlist();
        !            78: extern xnode   *flow_diff();
        !            79: extern xnode   *flow_inter();
        !            80: extern xnode   *flow_pack();
        !            81: extern xnode   *flow_union();
        !            82: extern void    add_element();
        !            83: extern void    alloc_ids();
        !            84: extern void    equiv_init();
        !            85: extern void    eval_check();
        !            86: extern void    expr_flow();
        !            87: extern void    free_xlist();
        !            88: extern void    life_list();
        !            89: extern void    make_pure();
        !            90: extern void    mod_check();
        !            91: extern void    print_errs();
        !            92: extern void    print_list();
        !            93: extern void    print_set();
        !            94: extern void    sync_back();
        !            95: extern void    trace_back();
        !            96: extern void    trace_life();
        !            97: 
        !            98: #define        E_ROUND(i)      (((i) & ~0xF) + 0x10)

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.