1. c4706aa Sparse v0.6.4 by Luc Van Oostenryck · 2 years, 10 months ago master v0.6.4
  2. 7165d0d Sparse v0.6.4-rc1 by Luc Van Oostenryck · 2 years, 10 months ago v0.6.4-rc1
  3. cf144c9 Add release notes for incoming v0.6.4 by Luc Van Oostenryck · 2 years, 10 months ago
  4. f0e6938 Merge branch 'schecker-fixes' by Luc Van Oostenryck · 2 years, 11 months ago
  5. 72d04aa scheck: fix type of operands in casts by Luc Van Oostenryck · 3 years ago
  6. 732bc04 scheck: mkvar() with target or input type by Luc Van Oostenryck · 3 years ago
  7. 918e9a4 scheck: constants are untyped by Luc Van Oostenryck · 3 years ago
  8. a8ebc72 scheck: ignore OP_NOP & friends by Luc Van Oostenryck · 3 years, 1 month ago
  9. 0b0d8b1 scheck: better diagnostic for unsupported instructions by Luc Van Oostenryck · 3 years, 1 month ago
  10. 9980026 fix missing itype in SEL(x, 0/1, 1/0) --> (x ==/!= 0) by Luc Van Oostenryck · 2 years, 11 months ago
  11. 8af2432 Merge branches misc, cmp-pow2, optim-and-cmp, cmp-and-or and optim-cast-eval into next by Luc Van Oostenryck · 3 years, 2 months ago
  12. 9475049 remove early simplification of casts during evaluation by Luc Van Oostenryck · 3 years, 6 months ago
  13. 9807570 simplify TRUNC(NOT(x)) --> NOT(TRUNC(x)) by Luc Van Oostenryck · 3 years, 6 months ago
  14. 99bf609 TRUNC(x) {==,!=} C --> AND(x,M) {==,!=} C by Luc Van Oostenryck · 3 years, 3 months ago
  15. df7767c simplify AND(x >= 0, x < C) --> (unsigned)x < C by Luc Van Oostenryck · 3 years, 4 months ago
  16. 28cd6d6 add helper is_positive() by Luc Van Oostenryck · 3 years, 4 months ago
  17. 7ae82c3 add testcases for AND(x > 0, x <= C) --> x u<= C by Luc Van Oostenryck · 3 years, 2 months ago
  18. 48eb2ca canonicalize constant signed compares toward zero by Luc Van Oostenryck · 3 years, 2 months ago
  19. 09ec74f Merge branches 'fix-phisrc' and 'insert-last-insn' into memops-prep by Luc Van Oostenryck · 3 years, 2 months ago
  20. e1f6c18 add testcases for simplification of casts. by Luc Van Oostenryck · 3 years, 6 months ago
  21. ee17130 memops: we can kill addresses unconditionally by Luc Van Oostenryck · 3 years, 3 months ago
  22. b91ba64 memops: avoid using first_pseudo() by Luc Van Oostenryck · 3 years, 3 months ago
  23. 3de14a1 memops: do not mess up with phisource's source ident by Luc Van Oostenryck · 3 years, 3 months ago
  24. e016f0b memops: remove obsolete comment by Luc Van Oostenryck · 3 years, 3 months ago
  25. 015aad8 memops: find_dominating_parents()'s generation is redundant by Luc Van Oostenryck · 4 years, 4 months ago
  26. 0dd7ffb memops: dominates()'s first arg is redundant by Luc Van Oostenryck · 4 years, 4 months ago
  27. e19144e Merge branch 'deadstore' by Luc Van Oostenryck · 3 years, 2 months ago
  28. 038c1f9 Merge branch 'linear' by Luc Van Oostenryck · 3 years, 2 months ago
  29. e70440a Merge branch 'untyped' by Luc Van Oostenryck · 3 years, 2 months ago
  30. 7874357 TODO: add some notes about pseudos being typeless by Luc Van Oostenryck · 3 years, 2 months ago
  31. bb4239a Merge branch 'schecker' by Luc Van Oostenryck · 3 years, 2 months ago
  32. 15806a1 scheck: predefine __SYMBOLIC_CHECKER__ by Luc Van Oostenryck · 3 years, 2 months ago
  33. 2e3c246 scheck: support pre-conditions via __assume() by Luc Van Oostenryck · 3 years, 3 months ago
  34. 0b0805c scheck: assert_const() by Luc Van Oostenryck · 3 years, 3 months ago
  35. 75e72f8 scheck: allow multiple assertions by Luc Van Oostenryck · 3 years, 3 months ago
  36. d1ab4c4 scheck: assert_eq() by Luc Van Oostenryck · 3 years, 3 months ago
  37. 7a9fab6 scheck: add a symbolic checker by Luc Van Oostenryck · 3 years, 3 months ago
  38. 4806f30 .gitignore is a bit too greedy by Luc Van Oostenryck · 3 years, 2 months ago
  39. f7eb2ea builtin: define a symbol_op for a generic op acting on integer by Luc Van Oostenryck · 3 years, 3 months ago
  40. 75c5952 linear: only allocate call instructions when needed by Luc Van Oostenryck · 3 years, 3 months ago
  41. 8fd2c0b export declare_builtins() by Luc Van Oostenryck · 3 years, 3 months ago
  42. 2cd6d34 fix null-pointer crash with with ident same as one of the attributes by Luc Van Oostenryck · 3 years, 3 months ago
  43. 8b89204 fix remove_merging_phisrc() by Luc Van Oostenryck · 3 years, 3 months ago
  44. 6d5d9b4 Merge branch 'testsuite-extra' (early part) by Luc Van Oostenryck · 3 years, 3 months ago
  45. 78183a1 better check validity of phi-sources by Luc Van Oostenryck · 3 years, 3 months ago
  46. dcb1996 correctly count phi arguments by Luc Van Oostenryck · 3 years, 3 months ago
  47. b204ead additional testcase for remove_merging_phisrc() by Luc Van Oostenryck · 3 years, 3 months ago
  48. 23109dd kill redundant stores (local) by Luc Van Oostenryck · 3 years, 7 months ago
  49. e0c12f3 kill parent's dead stores too by Luc Van Oostenryck · 3 years, 7 months ago
  50. fece51c volatile stores are never dead by Luc Van Oostenryck · 3 years, 7 months ago
  51. 74d910d extract try_to_kill_store() from kill_dominated_stores() by Luc Van Oostenryck · 3 years, 7 months ago
  52. 92169b2 add testcases for stores simplifications by Luc Van Oostenryck · 3 years, 6 months ago
  53. 190172a let ssa_rename_phi() use insert_last_instruction() by Luc Van Oostenryck · 3 years, 3 months ago
  54. 4c6929e let find_dominating_parents() use insert_last_instruction() by Luc Van Oostenryck · 3 years, 3 months ago
  55. d1011da let insert_phis() use insert_last_instruction() by Luc Van Oostenryck · 3 years, 3 months ago
  56. f5d1205 let insert_select() use insert_last_instruction() by Luc Van Oostenryck · 3 years, 3 months ago
  57. 438393f replace add_instruction_to_end() by insert_last_instruction() by Luc Van Oostenryck · 3 years, 3 months ago
  58. 9794908 add insert_last_instruction() by Luc Van Oostenryck · 3 years, 3 months ago
  59. 8862279 testsuite: add option '-r' to 'test-suite format' by Luc Van Oostenryck · 3 years, 3 months ago
  60. 7b5cc7b fix phisources during SWITCH-BR conversion by Luc Van Oostenryck · 3 years, 4 months ago
  61. a45f914 use convert_to_jump() when converting a CBR with same targets by Luc Van Oostenryck · 3 years, 4 months ago
  62. c59ba8c fix phisources during CBR-BR conversion by Luc Van Oostenryck · 3 years, 4 months ago
  63. 752914c add remove_phisources() by Luc Van Oostenryck · 3 years, 4 months ago
  64. 4ac342d rename insert_branch() to convert_to_jump() by Luc Van Oostenryck · 3 years, 3 months ago
  65. ffa92f5 let insert_branch() return a status by Luc Van Oostenryck · 4 years, 3 months ago
  66. 1331214 move insert_branch() to flow.c by Luc Van Oostenryck · 4 years, 3 months ago
  67. b2dc803 let insert_branch() reuse the terminating instruction by Luc Van Oostenryck · 4 years, 3 months ago
  68. 701775c fold remove_parent() into insert_branch() by Luc Van Oostenryck · 4 years, 3 months ago
  69. f18c259 simplify remove_parent() by Luc Van Oostenryck · 4 years, 3 months ago
  70. 26353a4 remove insert_branch() redundant arg by Luc Van Oostenryck · 4 years, 3 months ago
  71. 52f0211 add testcases to check if phi-sources from removed targets are removed too by Luc Van Oostenryck · 3 years, 3 months ago
  72. 1bd9ba3 Revert "simplify CBR-CBR on the same condition" by Luc Van Oostenryck · 3 years, 3 months ago
  73. 32f1c1c canonicalize ((x & M) == M) --> ((x & M) != 0) when M is a power-of-2 by Luc Van Oostenryck · 3 years, 3 months ago
  74. c089cd2 Merge branches 'fix-ssa' and 'cmp-and-or' into next by Luc Van Oostenryck · 3 years, 3 months ago
  75. 929b10d no needs to use MARK_CURRENT_DELETED() for multi-jumps by Luc Van Oostenryck · 3 years, 2 months ago
  76. eb4cdd2 simplify (x | M) cmpu C by Luc Van Oostenryck · 3 years, 5 months ago
  77. a070911 simplify (x | M) cmps C by Luc Van Oostenryck · 3 years, 5 months ago
  78. 2bfb96f simplify (x | M) {==,!=} C by Luc Van Oostenryck · 3 years, 5 months ago
  79. cbafd33 simplify (x & M) {==,!=} C by Luc Van Oostenryck · 3 years, 6 months ago
  80. e5ac481 simplify (x & M) cmps 0 by Luc Van Oostenryck · 3 years, 6 months ago
  81. 3289d1c simplify (x & M) cmpu C by Luc Van Oostenryck · 3 years, 6 months ago
  82. 6f00b4e simplify (x & M) cmps C by Luc Van Oostenryck · 3 years, 6 months ago
  83. b942905 add testcases for constant compares against AND/OR by Luc Van Oostenryck · 3 years, 5 months ago
  84. 520454e change testing of signed compares against SMIN or SMAX by Luc Van Oostenryck · 3 years, 5 months ago
  85. d549d4d ssa: remove single store optimization by Luc Van Oostenryck · 3 years, 4 months ago
  86. 9713796 ssa: fix conversion with mismatched size or offset by Luc Van Oostenryck · 3 years, 4 months ago
  87. d1239ba ssa: avoid SSA conversion of packed bitfields by Luc Van Oostenryck · 3 years, 4 months ago
  88. e528e07 ssa: the sparse set is not needed by Luc Van Oostenryck · 3 years, 4 months ago
  89. 0603c7e ssa: add some testcases for mismatched memops by Luc Van Oostenryck · 3 years, 4 months ago
  90. 5e67442 Merge branch 'uniq-phinode' by Luc Van Oostenryck · 3 years, 4 months ago
  91. 1749410 Merge branch 'ptrlist-generic' by Luc Van Oostenryck · 3 years, 4 months ago
  92. 3caeefd phi-sources can only have a single user (or none) by Luc Van Oostenryck · 7 years ago
  93. f94f4a8 ptrlist: change return value of linearize_ptr_list()/ptr_list_to_array() by Luc Van Oostenryck · 3 years, 4 months ago
  94. c50f527 ptrlist: make linearize_ptr_list() generic by Luc Van Oostenryck · 4 years, 6 months ago
  95. a69f8d7 ptrlist: use ptr_list_nth() instead of linearize_ptr_list() by Luc Van Oostenryck · 3 years, 4 months ago
  96. 6bd3103 ptrlist: add pop_ptr_list() by Luc Van Oostenryck · 4 years, 6 months ago
  97. f909765 ptrlist: change TYPEOF() into PTRLIST_TYPE() by Luc Van Oostenryck · 3 years, 4 months ago
  98. c20e29a ptrlist: remove one pointer level from TYPEOF() by Luc Van Oostenryck · 4 years, 6 months ago
  99. e0f9048 Merge branch 'slice' by Luc Van Oostenryck · 3 years, 4 months ago
  100. 4122236 Merge branch 'path-norm' by Luc Van Oostenryck · 3 years, 4 months ago