Commits · d76d051da8ee6ed063ec76ccfe401c02671f108c · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Apr 30, 2008
- Only propagate register DEFs until we get alias analysis; handle conditional... · d76d051d
  clc5q authored 16 years ago
  
  Only propagate register DEFs until we get alias analysis; handle conditional move and interrupt instrs; add EAX to USE list for return instrs.
  View commits for tag type_inference_fixes2 type_inference_fixes2
  
  d76d051d
Apr 19, 2008
- Attach DEFs of uninitialized names to the marker inst at top of function. · b7396576
  clc5q authored 16 years ago
  
  View commits for tag SSA_for_nonleaf_type_inference SSA_for_nonleaf_type_inference
  
  b7396576
Apr 17, 2008
- Add dummy marker instruction at function top for SSA use. · 94356127
  clc5q authored 16 years ago
  
  View commits for tag SSA_marker_instruction SSA_marker_instruction
  
  94356127
Apr 16, 2008
- Sudeep Ghosh code for identifying SAFE functions. · 283750fb
  clc5q authored 16 years ago
  
  View commits for tag sudeepg_safe_functions sudeepg_safe_functions
  
  283750fb
Apr 02, 2008
- Infer DEF type from USEs. · eac033d1
  clc5q authored 17 years ago
  
  View commits for tag infer_DEF_type infer_DEF_type
  
  eac033d1
- Propagate DEF types to USEs; emit type annotations. · b1cb6292
  clc5q authored 17 years ago
  
  View commits for tag propagate_DEF_types propagate_DEF_types
  
  b1cb6292
Mar 30, 2008
- Type inference for immediates; type-based annotation beginnings. · 7b336af2
  clc5q authored 17 years ago
  
  View commits for tag immed_type_inference immed_type_inference
  
  7b336af2
Mar 29, 2008
- Beginning of type inference system on RTLs. · 5c08045d
  clc5q authored 17 years ago
  
  View commits for tag early_type_inference_work early_type_inference_work
  
  5c08045d
Mar 27, 2008
- Convert DefOrUseList to DefOrUseSet for instructions. · 9baed02f
  clc5q authored 17 years ago
  
  View commits for tag convert_to_DefOrUseSet convert_to_DefOrUseSet
  
  9baed02f
Mar 26, 2008
- Associate a type with each RTL operator. · 9a783c4e
  clc5q authored 17 years ago
  
  9a783c4e
Mar 24, 2008
- Initial code to build RTLs and infer operand types. · 4460a0c3
  clc5q authored 17 years ago
  
  View commits for tag initial_RTL_design initial_RTL_design
  
  4460a0c3
Feb 25, 2008
- Emit more dead EFLAGS annotations from functions with global EFLAGS uses. · 343aacab
  clc5q authored 17 years ago
  
  343aacab
Feb 11, 2008
- SSA renumber local names; local def-use chains; emit local dead registers... · 73509b19
  clc5q authored 17 years ago
  
  SSA renumber local names; local def-use chains; emit local dead registers annotations using Sudeep's EFLAGS arrays.
  73509b19
Feb 02, 2008
- Massive SSA renumbering update; start of type inference system. · 9c747f01
  clc5q authored 17 years ago
  
  9c747f01
Jan 21, 2008
- Initial revision; split from SMPDataFlowAnalysis module. · 22cefa6c
  clc5q authored 17 years ago
  
  22cefa6c