Commits · 94e15d4014fff63cf2472750e6405bc59ccc28e8 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Apr 15, 2008
- Remove unused #define. · 94e15d40
  clc5q authored 16 years ago
  
  94e15d40
- o_mem type has no base register ever. · b9a3b32e
  clc5q authored 16 years ago
  
  b9a3b32e
- Integrate Kevin Binswanger's global dead register analysis. · 256f6b47
  clc5q authored 16 years ago
  
  View commits for tag kevinb_global_deadregs kevinb_global_deadregs
  
  256f6b47
Apr 11, 2008
- Move conditional moves from type category 12 to 0; most of category 15 to 14... · c9d9744d
  clc5q authored 16 years ago
  
  Move conditional moves from type category 12 to 0; most of category 15 to 14 (FP with MemSrc possible but not MemDest).
  View commits for tag type_category_emit_annotations type_category_emit_annotations
  
  c9d9744d
- Move bswap opcode from opt category 1 to 2 (NUMERIC). · e7771868
  clc5q authored 16 years ago
  
  e7771868
- Set debug dump to weightadj function (179.art). · 21a36d15
  clc5q authored 16 years ago
  
  21a36d15
- EmitTypeAnnotations using TypeCategory, not OptCategory. · d77d2ec8
  clc5q authored 16 years ago
  
  d77d2ec8
Apr 09, 2008
- Simplify InferOperatorType(). · e49cef8f
  clc5q authored 16 years ago
  
  e49cef8f
- Fixx LessOp and map subword regs to containing reg for data flow analyses. · f330bda5
  clc5q authored 16 years ago
  
  View commits for tag canonical_subword_regs canonical_subword_regs
  
  f330bda5
- Diagnostic tracking of typed and untyped DEFs. · 5dce197f
  clc5q authored 16 years ago
  
  5dce197f
Apr 08, 2008
- Force NUMERIC type for FP, MMX, and XMM regs. · 6c5b3d87
  clc5q authored 16 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 16 years ago
  
  View commits for tag remove_dead_inst remove_dead_inst
  
  9def7693
- Remove instructions when removing unreachable blocks. · 92942735
  clc5q authored 16 years ago
  
  92942735
- Initialize Processed flag in constructor. · 7f9870da
  clc5q authored 16 years ago
  
  7f9870da
Apr 07, 2008
- Type inference for leaf functions nearing completion. · e4d81aa1
  clc5q authored 16 years ago
  
  e4d81aa1
Apr 03, 2008
- Limit SSA to functions without indirect jumps; phi type propagation fixes · 8d8fc5f2
  clc5q authored 16 years ago
  
  View commits for tag fixed_apache_crash fixed_apache_crash
  
  8d8fc5f2
Apr 02, 2008
- Infer DEF type from USEs. · eac033d1
  clc5q authored 16 years ago
  
  View commits for tag infer_DEF_type infer_DEF_type
  
  eac033d1
- Add MOVS opcode to SMPUsesFlags[] · 79ff8b5e
  clc5q authored 16 years ago
  
  79ff8b5e
- Propagate DEF types to USEs; emit type annotations. · b1cb6292
  clc5q authored 16 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 16 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
- Add memory region type refinements for POINTER type. · ff942489
  clc5q authored 17 years ago
  
  ff942489
- 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
- Begin distinguishing indirect and direct accesses in fine-grained global ID (commented out). · 67da20f8
  clc5q authored 17 years ago
  
  67da20f8
Mar 07, 2008
- Do not let fine grained stack data referents extend into saved regs region. · c843db5e
  clc5q authored 17 years ago
  
  View commits for tag fine_grained_global_stack fine_grained_global_stack
  
  c843db5e
- 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 04, 2008
- Changed format of data annotations (PARENT, CHILDOF, DATAREF, etc.) · 34d95ecf
  clc5q authored 17 years ago
  
  34d95ecf
Mar 03, 2008
- Implemented fine-grained stack data annotations. · d9484d60
  clc5q authored 17 years ago
  
  d9484d60
Feb 27, 2008
- Implement semi-naive global data fine granularity. · f7298079
  clc5q authored 17 years ago
  
  f7298079
- Fix EFLAGS processing on last instruction in block in constructor. · 1cd2c0a1
  clc5q authored 17 years ago
  
  1cd2c0a1
Feb 25, 2008
- Emit more dead EFLAGS annotations from functions with global EFLAGS uses. · 343aacab
  clc5q authored 17 years ago
  
  343aacab
Feb 22, 2008
- Restructured code into SMPProgram module; fixed shl/shr instructions in SMPUsesFlags. · feff40a5
  clc5q authored 17 years ago
  
  feff40a5
- Added SMPProgram module. · c8768881
  clc5q authored 17 years ago
  
  c8768881
- Initial module version. · e7e4d4a1
  clc5q authored 17 years ago
  
  e7e4d4a1
Feb 21, 2008
- Fix for EFLAGS DEADREGS annotations; begin stack var granularity code. · 329b72e0
  clc5q authored 17 years ago
  
  329b72e0