Commits · ebe6871e0f2e8e078f054f8c1c2ac990087a871d · Open Source Software / SMPStaticAnalyzer

"zipr_unpin_plugin/.gitignore" did not exist on "cc22bcbf8dcb1156f809c71456192d7442380076"

Apr 25, 2008
- Separate SMP_SUBTRACT type inference from ADD, AND, and OR. · ebe6871e
  clc5q authored 16 years ago
  
  ebe6871e
Apr 21, 2008
- Infer NUMERIC USEs on boolean and comparison operators. · fc617083
  clc5q authored 16 years ago
  
  View commits for tag aggressive_nonleaf_types aggressive_nonleaf_types
  
  fc617083
Apr 20, 2008
- Do not infer NUMERIC types for comparisons and extensions. · 5fc053fb
  clc5q authored 16 years ago
  
  5fc053fb
- Add DEFs of caller-saved regs to CALL instructions. · b04f453e
  clc5q authored 16 years ago
  
  View commits for tag calls_trash_regs calls_trash_regs
  
  b04f453e
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 18, 2008
- Format change for SafeReturn annotation. · 7b19e30d
  clc5q authored 16 years ago
  
  7b19e30d
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
- Speed up SetImmedTypes() by avoiding unnecessary DEF propagation. · 09f3e6c4
  clc5q authored 16 years ago
  
  09f3e6c4
- 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 15, 2008
- o_mem type has no base register ever. · b9a3b32e
  clc5q authored 16 years ago
  
  b9a3b32e
Apr 11, 2008
- EmitTypeAnnotations using TypeCategory, not OptCategory. · d77d2ec8
  clc5q authored 17 years ago
  
  d77d2ec8
Apr 09, 2008
- Simplify InferOperatorType(). · e49cef8f
  clc5q authored 17 years ago
  
  e49cef8f
- Fixx LessOp and map subword regs to containing reg for data flow analyses. · f330bda5
  clc5q authored 17 years ago
  
  View commits for tag canonical_subword_regs canonical_subword_regs
  
  f330bda5
Apr 08, 2008
- Force NUMERIC type for FP, MMX, and XMM regs. · 6c5b3d87
  clc5q authored 17 years ago
  
  View commits for tag numeric_xmm_mmx_fp_regs numeric_xmm_mmx_fp_regs
  
  6c5b3d87
- Initialize type to NUMERIC for scaled index registers. · 9def7693
  clc5q authored 17 years ago
  
  View commits for tag remove_dead_inst remove_dead_inst
  
  9def7693
Apr 07, 2008
- Type inference for leaf functions nearing completion. · e4d81aa1
  clc5q authored 17 years ago
  
  e4d81aa1
Apr 03, 2008
- Limit SSA to functions without indirect jumps; phi type propagation fixes · 8d8fc5f2
  clc5q authored 17 years ago
  
  View commits for tag fixed_apache_crash fixed_apache_crash
  
  8d8fc5f2
Apr 02, 2008
- 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
Mar 11, 2008
- Permit mmStrata instrumentation of stack allocation instructions; remove unsafe assertion. · 2d0f49f8
  clc5q authored 17 years ago
  
  View commits for tag preopt_annotate_stack_allocs preopt_annotate_stack_allocs
  
  2d0f49f8
Mar 07, 2008
- Fix flags use on cmps/scas opcodes; fix a couple of OptCategory #s. · 1afaa2ec
  clc5q authored 17 years ago
  
  1afaa2ec
Mar 05, 2008
- Handle DEFs/USEs due to REP/REPNE prefixes. · f8e2d3f8
  clc5q authored 17 years ago
  
  f8e2d3f8
- Make uniform column width annotations; simplify FindAllocPoint(). · a691a88e
  clc5q authored 17 years ago
  
  a691a88e
Mar 03, 2008
- Implemented fine-grained stack data annotations. · d9484d60
  clc5q authored 17 years ago
  
  d9484d60
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