new smatch

*** 3,52 ****
  
  #include "lib.h"
  
  extern unsigned long bb_generation;
  
! #define REPEAT_CSE              1
! #define REPEAT_SYMBOL_CLEANUP   2
! #define REPEAT_CFG_CLEANUP      3
  
  struct entrypoint;
  struct instruction;
  
  extern int simplify_flow(struct entrypoint *ep);
  
  extern void simplify_symbol_usage(struct entrypoint *ep);
  extern void simplify_memops(struct entrypoint *ep);
  extern void pack_basic_blocks(struct entrypoint *ep);
  
  extern void convert_instruction_target(struct instruction *insn, pseudo_t src);
! extern void cleanup_and_cse(struct entrypoint *ep);
  extern int simplify_instruction(struct instruction *);
  
  extern void kill_bb(struct basic_block *);
  extern void kill_use(pseudo_t *);
  extern void kill_unreachable_bbs(struct entrypoint *ep);
  
! extern void kill_insn(struct instruction *, int force);
! static inline void kill_instruction(struct instruction *insn)
  {
!         kill_insn(insn, 0);
  }
! static inline void kill_instruction_force(struct instruction *insn)
  {
!         kill_insn(insn, 1);
  }
  
  void check_access(struct instruction *insn);
  void convert_load_instruction(struct instruction *, pseudo_t);
  void rewrite_load_instruction(struct instruction *, struct pseudo_list *);
  int dominates(pseudo_t pseudo, struct instruction *insn, struct instruction *dom, int local);
  
- extern void clear_liveness(struct entrypoint *ep);
- extern void track_pseudo_liveness(struct entrypoint *ep);
- extern void track_pseudo_death(struct entrypoint *ep);
- extern void track_phi_uses(struct instruction *insn);
- 
  extern void vrfy_flow(struct entrypoint *ep);
  extern int pseudo_in_list(struct pseudo_list *list, pseudo_t pseudo);
  
  #endif
--- 3,49 ----
  
  #include "lib.h"
  
  extern unsigned long bb_generation;
  
! #define REPEAT_CSE              (1 << 0)
! #define REPEAT_SYMBOL_CLEANUP   (1 << 1)
! #define REPEAT_CFG_CLEANUP      (1 << 2)
  
  struct entrypoint;
  struct instruction;
  
  extern int simplify_flow(struct entrypoint *ep);
  
+ extern void kill_dead_stores(struct entrypoint *ep, pseudo_t addr, int local);
  extern void simplify_symbol_usage(struct entrypoint *ep);
  extern void simplify_memops(struct entrypoint *ep);
  extern void pack_basic_blocks(struct entrypoint *ep);
  
  extern void convert_instruction_target(struct instruction *insn, pseudo_t src);
! extern void remove_dead_insns(struct entrypoint *);
  extern int simplify_instruction(struct instruction *);
  
  extern void kill_bb(struct basic_block *);
  extern void kill_use(pseudo_t *);
+ extern void remove_use(pseudo_t *);
  extern void kill_unreachable_bbs(struct entrypoint *ep);
  
! extern int kill_insn(struct instruction *, int force);
! static inline int kill_instruction(struct instruction *insn)
  {
!         return kill_insn(insn, 0);
  }
! static inline int kill_instruction_force(struct instruction *insn)
  {
!         return kill_insn(insn, 1);
  }
  
  void check_access(struct instruction *insn);
  void convert_load_instruction(struct instruction *, pseudo_t);
  void rewrite_load_instruction(struct instruction *, struct pseudo_list *);
  int dominates(pseudo_t pseudo, struct instruction *insn, struct instruction *dom, int local);
  
  extern void vrfy_flow(struct entrypoint *ep);
  extern int pseudo_in_list(struct pseudo_list *list, pseudo_t pseudo);
  
  #endif