Google Git
Sign in
kernel / pub / scm / devel / sparse / sparse-dev / 94750498b1d3ef03fd78920b70e7330072dbb4ed
commit94750498b1d3ef03fd78920b70e7330072dbb4ed[log] [tgz]
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>Thu Dec 17 01:39:43 2020 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>Mon Apr 19 00:56:42 2021 +0200
tree3b31f4eac1903318fdc76bbd765a787167231313
parent98075702ca78ff79e568a6b8004ee5fad7b0bfbe [diff]
remove early simplification of casts during evaluation

The current code will simplify away some casts at evaluation time
but doesn't take in account some special cases:
* (bool)~<int>  is not equivalent to ~(bool)<int> (anything not all 0 or 1)
* (float)~<int> is not equivalent to ~(float)<int> which doesn't make sense.
* (int)(float)<int> is not a no-op if the (float) overflows

This kind of simplification is better done on the IR where the different
kind of casts correspond to distinct instructions.

Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
3 files changed
tree: 3b31f4eac1903318fdc76bbd765a787167231313
  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