booleanize.h

Go to the documentation of this file.

/*************************************************************************
 *
 *  Copyright (c) 2019-2021 Rajit Manohar
 *
 *  This program is free software; you can redistribute it and/or
 *  modify it under the terms of the GNU General Public License
 *  as published by the Free Software Foundation; either version 2
 *  of the License, or (at your option) any later version.
 *
 *  This program is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with this program; if not, write to the Free Software
 *  Foundation, Inc., 51 Franklin Street, Fifth Floor,
 *  Boston, MA  02110-1301, USA.
 *
 **************************************************************************
 */
#ifndef __ACT_BOOLEANIZE_H__
#define __ACT_BOOLEANIZE_H__
 
#include <map>
#include <act/act.h>
#include <act/extmacro.h>
 
struct netlist_bool_port {
  act_connection *c;            
  unsigned int omit:1;          
  unsigned int input:1;         
  unsigned int bidir:1;         
  unsigned int used:1;          
  unsigned int netid;           
};
 
struct netlist_global_port {
  act_connection *c;            
  unsigned int input:1;         
  unsigned int bidir:1;         
};
 
 
typedef struct act_dynamic_var {
  act_connection *id;      
  ActId *aid;              
  unsigned int isint:1;    
  Data *isstruct;          
  Array *a;                
  int width;               
} act_dynamic_var_t;
  
 
typedef struct act_booleanized_var {
  act_connection *id;           
  unsigned int input:1;         
  unsigned int output:1;        
  unsigned int used:1;          
  unsigned int ischan:1;        
  unsigned int chanflag:2;      
  unsigned int isint:1;         
  unsigned int usedchp:1;       
  unsigned int isglobal:1;      
  unsigned int isport:1;        
  unsigned int ischpport:1;     
  unsigned int isfragmented:1;  
  unsigned int width;           
  unsigned int w2;              
  short proc_in, proc_out;      
  void *extra;                  
} act_booleanized_var_t;
 
 
typedef struct {
  ActId *inst;                  
  act_connection *pin;          
  Process *cell;                
} act_local_pin_t;
  
 
typedef struct {
  act_connection *net; 
  unsigned int skip:1; 
  unsigned int port:1; 
  A_DECL (act_local_pin_t, pins); 
} act_local_net_t;
 
 
typedef struct {
  Process *p;                   
  Scope *cur;                   
 
  unsigned int visited:1;       
  unsigned int isempty:1;       
  struct pHashtable *cH;   
  struct pHashtable *cdH;  
  A_DECL (struct netlist_bool_port, chpports); 
  A_DECL (struct netlist_bool_port, ports);    
  
  A_DECL (act_connection *, instports);        
  
  A_DECL (act_connection *, instchpports);     
  
  A_DECL (struct netlist_global_port, used_globals); 
 
  A_DECL (act_local_net_t, nets); 
  struct pHashtable *nH;          
 
  ExternMacro *macro;           
 
} act_boolean_netlist_t;
 
 
 
class ActBooleanizePass : public ActPass {
 public:
  ActBooleanizePass(Act *a); 
  ~ActBooleanizePass();  
 
  int run (Process *p = NULL);
 
  act_boolean_netlist_t *getBNL (Process *p);
 
 
  void createNets (Process *p = NULL);
 
  void Print (FILE *fp, Process *p);
 
  static act_dynamic_var_t *isDynamicRef (act_boolean_netlist_t *,
                                          act_connection *);
  
  static act_dynamic_var_t *isDynamicRef (act_boolean_netlist_t *,
                                          ActId *);
  
  /*-- internal data structures and functions --*/
 private:
  void *local_op (Process *p, int mode = 0); 
  void free_local (void *);                  
 
  int black_box_mode;  
 
  int _create_nets_run;  
 
  FILE *_fp;            
 
  /*-- internal functions: generate booleans for a process --*/
 
  act_boolean_netlist_t *_create_local_bools (Process *p);
 
  void _print (Process *p);
 
  void flatten_ports_to_bools (act_boolean_netlist_t *n,
                               ActId *prefix,
                               Scope *s,
                               UserDef *u, int nochp);
 
  void update_used_flags (act_boolean_netlist_t *n,
                          ValueIdx *vx, Process *p);
 
  void rec_update_used_flags (act_boolean_netlist_t *n,
                              act_boolean_netlist_t *subinst,
                              ActId *prefix,
                              Scope *s, UserDef *u, int *count, int *count2);
 
  void append_base_port (act_boolean_netlist_t *n, act_connection *c, Type *t,
                         int mode);
 
  /*--- create netlist helper functions ---*/
 
  void _createNets (Process *p);
 
  int addNet (act_boolean_netlist_t *n, act_connection *c);
 
  void addPin (act_boolean_netlist_t *n, int netid,
               const char *name, Array *a,
               act_connection *pin);
 
  void importPins (act_boolean_netlist_t *n, int netid, const char *name, Array *a, act_local_net_t *net);
 
};
 
 
 
 
 
#endif /* __ACT_BOOLEANIZE_H__ */