Google Git
Sign in
kernel / pub / scm / linux / kernel / git / palmer / sparse / 7ae82c3a41c71c977e409dd20679bc4aec19961c
commit7ae82c3a41c71c977e409dd20679bc4aec19961c[log] [tgz]
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>Sat Apr 17 22:01:05 2021 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>Sun Apr 18 17:21:37 2021 +0200
tree47c7368fe10dda65b58b42caa27c4160a7857f2b
parent48eb2ca449b7f8e8e0684a2d92c8a1d0224861da [diff]
add testcases for AND(x > 0, x <= C) --> x u<= C

Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2 files changed
tree: 47c7368fe10dda65b58b42caa27c4160a7857f2b
  1. compat/
  2. Documentation/
  3. gvpr/
  4. validation/
  5. .gitignore
  6. allocate.c
  7. allocate.h
  8. ast-inspect.c
  9. ast-inspect.h
  10. ast-model.c
  11. ast-model.h
  12. ast-view.c
  13. ast-view.h
  14. bitmap.h
  15. bits.h
  16. builtin.c
  17. builtin.h
  18. c2xml.c
  19. cgcc
  20. cgcc.1
  21. char.c
  22. char.h
  23. compat-bsd.c
  24. compat-cygwin.c
  25. compat-linux.c
  26. compat-mingw.c
  27. compat-solaris.c
  28. compat.h
  29. compile-i386.c
  30. compile.c
  31. compile.h
  32. cse.c
  33. cse.h
  34. ctags.c
  35. dissect.c
  36. dissect.h
  37. dominate.c
  38. dominate.h
  39. evaluate.c
  40. evaluate.h
  41. example.c
  42. expand.c
  43. expand.h
  44. expression.c
  45. expression.h
  46. FAQ
  47. flow.c
  48. flow.h
  49. flowgraph.c
  50. flowgraph.h
  51. gcc-attr-list.h
  52. gdbhelpers
  53. graph.c
  54. ident-list.h
  55. inline.c
  56. ir.c
  57. ir.h
  58. lib.c
  59. lib.h
  60. LICENSE
  61. linearize.c
  62. linearize.h
  63. liveness.c
  64. liveness.h
  65. machine.h
  66. Makefile
  67. memops.c
  68. obfuscate.c
  69. opcode.c
  70. opcode.def
  71. opcode.h
  72. optimize.c
  73. optimize.h
  74. options.c
  75. options.h
  76. parse.c
  77. parse.dtd
  78. parse.h
  79. pre-process.c
  80. predefine.c
  81. ptrlist.c
  82. ptrlist.h
  83. ptrmap.c
  84. ptrmap.h
  85. README
  86. scope.c
  87. scope.h
  88. semind.1
  89. semind.c
  90. show-parse.c
  91. simplify.c
  92. simplify.h
  93. sort.c
  94. sparse-llvm-dis
  95. sparse-llvm.c
  96. sparse.1
  97. sparse.c
  98. sparsec
  99. sparsei
  100. ssa.c
  101. ssa.h
  102. sset.c
  103. sset.h
  104. stats.c
  105. storage.c
  106. storage.h
  107. symbol.c
  108. symbol.h
  109. target-alpha.c
  110. target-arm.c
  111. target-arm64.c
  112. target-bfin.c
  113. target-default.c
  114. target-h8300.c
  115. target-m68k.c
  116. target-microblaze.c
  117. target-mips.c
  118. target-nds32.c
  119. target-nios2.c
  120. target-openrisc.c
  121. target-ppc.c
  122. target-riscv.c
  123. target-s390.c
  124. target-sh.c
  125. target-sparc.c
  126. target-x86.c
  127. target-xtensa.c
  128. target.c
  129. target.h
  130. test-dissect.c
  131. test-inspect.c
  132. test-lexing.c
  133. test-linearize.c
  134. test-parsing.c
  135. test-show-type.c
  136. test-sort.c
  137. test-unssa.c
  138. token.h
  139. tokenize.c
  140. unssa.c
  141. utils.c
  142. utils.h
  143. version.c