bug list: remove invalid report
MODIFY
BugList.md
BugList.md
@@ -8,51 +8,50 @@ Please contact us or submit a PR if something is missing or inaccurate.
1. Incorrect fold of 'x & (-1 >> y) s>= x' (https://llvm.org/PR39861)
2. Incorrect instcombine fold for icmp sgt (https://llvm.org/PR42198)
3. Instsimplify: uadd_overflow(X, undef) is not undef (https://llvm.org/PR42209)
-4. SimplifyCFG's -switch-to-lookup is incorrect w.r.t undef (https://llvm.org/PR42617)
-5. CVP: adding nuw flags not correct in the presence of undef (https://llvm.org/PR42618)
-6. DivRemPairs is incorrect in the presence of undef (https://llvm.org/PR42619)
-7. EmitGEPOffset() incorrectly adds NUW to multiplications (https://llvm.org/PR42699)
-8. Incorrect fold of uadd.with.overflow with undef (https://llvm.org/PR43188)
-9. Incorrect transformation of bitcast->gep inbounds (https://llvm.org/PR43501)
-10. globalopt leaves store to a constant global (https://llvm.org/PR43616)
-11. Incorrect fold of ashr+xor -> lshr w/ vectors (https://llvm.org/PR43665)
-12. Incorrect 'icmp sle' -> 'icmp slt' w/ vectors (https://llvm.org/PR43730)
-13. expandmemcmp generates loads with incorrect alignment (https://llvm.org/PR43880)
-14. Shuffle undef mask on vectors with poison elements (https://llvm.org/PR43958)
-15. Can't remove shufflevector if input might be poison (https://llvm.org/PR44185)
-16. Incorrect instcombine transform: urem -> icmp+zext with vectors (https://llvm.org/PR44186)
-17. InstCombine incorrectly shrinks the size of store (https://llvm.org/PR44306)
-18. InstCombine incorrectly folds 'gep(bitcast ptr), idx' into 'gep ptr, idx' (https://llvm.org/PR44321)
-19. Instcombine: incorrect transformation 'x > (x & undef)' -> 'x > undef' (https://llvm.org/PR44383)
-20. memcpyopt adds incorrect align to memset (https://llvm.org/PR44388)
-21. Folding 'gep p, (q - p)' to q should check it is never used for loads & stores (https://llvm.org/PR44403)
-22. StraightLineStrengthReduce can introduce UB when optimizing 2-dim array gep (https://llvm.org/PR44533)
-23. SLPVectorizer should drop nsw flags from add (https://llvm.org/PR44536)
-24. InstCombine doesn't propagate correct alignment (https://llvm.org/PR44543)
-25. DSE not checking decl of libcalls (https://github.com/llvm/llvm-project/commit/87407fc03c82d880cc42330a8e230e7a48174e3c & https://github.com/llvm/llvm-project/commit/7f903873b8a937acec2e2cc232e70cba53061352)
-26. InstCombine incorrectly rewrites indices of gep inbounds (https://llvm.org/PR44861)
-27. InstCombine incorrectly transforms store i64 -> store double (https://llvm.org/PR45152)
-28. Incorrect optimization of gep without inbounds + load -> icmp eq (https://llvm.org/PR45210)
-29. gep(ptr, undef) isn't undef (https://llvm.org/PR45445)
-30. Incorrect transformation: (undef u>> a) ^ -1 -> undef >> a, when a != 0 (https://llvm.org/PR45447)
-31. Invalid undef splat in instcombine (https://llvm.org/PR45455)
-32. Incorrect transformation of minnum with nnan (https://llvm.org/PR45478)
-33. Can't remove insertelement undef (https://llvm.org/PR45481)
-34. InstSimplify: fadd (nsz op), +0 incorrectly removed (https://llvm.org/PR45778)
-35. Incorrect instcombine fold of control-flow to umul.with.overflow (https://llvm.org/PR45952)
-36. Incorrect instcombine fold of vector ult -> sgt (https://llvm.org/PR45954)
-37. Jumpthreading introduces jump on poison (https://llvm.org/PR45956)
-38. X86InterleavedAccess introduces misaligned loads (https://llvm.org/PR45957)
-39. load-store-vectorizer vectorizes non consecutive loads (https://llvm.org/PR46591)
-40. Incorrect transformation: mul foo, undef -> shl foo, undef (https://llvm.org/PR47133)
-41. Incorrect transformation: (llvm.maximum undef, %x) -> undef (https://llvm.org/PR47567)
-42. LoopReroll incorrectly reorders stores across loads when they may alias (https://llvm.org/PR47658)
-43. InstCombine: incorrect select operand simplification with undef (https://llvm.org/PR47696)
-44. MemCpyOpt: uses sext instead of zext for memcpy/memset size subtraction (https://llvm.org/PR47697)
-45. SCEVExpander introduces branch on poison (https://llvm.org/PR47769)
-46. Incorrect transformation of fabs with nnan flag (https://llvm.org/PR47960)
-47. Loop peeling introduces OOB stores (https://llvm.org/PR48125)
-48. Loop vectorizer introduces gep inbounds with negative offset (https://llvm.org/PR48126)
+4. CVP: adding nuw flags not correct in the presence of undef (https://llvm.org/PR42618)
+5. DivRemPairs is incorrect in the presence of undef (https://llvm.org/PR42619)
+6. EmitGEPOffset() incorrectly adds NUW to multiplications (https://llvm.org/PR42699)
+7. Incorrect fold of uadd.with.overflow with undef (https://llvm.org/PR43188)
+8. Incorrect transformation of bitcast->gep inbounds (https://llvm.org/PR43501)
+9. globalopt leaves store to a constant global (https://llvm.org/PR43616)
+10. Incorrect fold of ashr+xor -> lshr w/ vectors (https://llvm.org/PR43665)
+11. Incorrect 'icmp sle' -> 'icmp slt' w/ vectors (https://llvm.org/PR43730)
+12. expandmemcmp generates loads with incorrect alignment (https://llvm.org/PR43880)
+13. Shuffle undef mask on vectors with poison elements (https://llvm.org/PR43958)
+14. Can't remove shufflevector if input might be poison (https://llvm.org/PR44185)
+15. Incorrect instcombine transform: urem -> icmp+zext with vectors (https://llvm.org/PR44186)
+16. InstCombine incorrectly shrinks the size of store (https://llvm.org/PR44306)
+17. InstCombine incorrectly folds 'gep(bitcast ptr), idx' into 'gep ptr, idx' (https://llvm.org/PR44321)
+18. Instcombine: incorrect transformation 'x > (x & undef)' -> 'x > undef' (https://llvm.org/PR44383)
+19. memcpyopt adds incorrect align to memset (https://llvm.org/PR44388)
+20. Folding 'gep p, (q - p)' to q should check it is never used for loads & stores (https://llvm.org/PR44403)
+21. StraightLineStrengthReduce can introduce UB when optimizing 2-dim array gep (https://llvm.org/PR44533)
+22. SLPVectorizer should drop nsw flags from add (https://llvm.org/PR44536)
+23. InstCombine doesn't propagate correct alignment (https://llvm.org/PR44543)
+24. DSE not checking decl of libcalls (https://github.com/llvm/llvm-project/commit/87407fc03c82d880cc42330a8e230e7a48174e3c & https://github.com/llvm/llvm-project/commit/7f903873b8a937acec2e2cc232e70cba53061352)
+25. InstCombine incorrectly rewrites indices of gep inbounds (https://llvm.org/PR44861)
+26. InstCombine incorrectly transforms store i64 -> store double (https://llvm.org/PR45152)
+27. Incorrect optimization of gep without inbounds + load -> icmp eq (https://llvm.org/PR45210)
+28. gep(ptr, undef) isn't undef (https://llvm.org/PR45445)
+29. Incorrect transformation: (undef u>> a) ^ -1 -> undef >> a, when a != 0 (https://llvm.org/PR45447)
+30. Invalid undef splat in instcombine (https://llvm.org/PR45455)
+31. Incorrect transformation of minnum with nnan (https://llvm.org/PR45478)
+32. Can't remove insertelement undef (https://llvm.org/PR45481)
+33. InstSimplify: fadd (nsz op), +0 incorrectly removed (https://llvm.org/PR45778)
+34. Incorrect instcombine fold of control-flow to umul.with.overflow (https://llvm.org/PR45952)
+35. Incorrect instcombine fold of vector ult -> sgt (https://llvm.org/PR45954)
+36. Jumpthreading introduces jump on poison (https://llvm.org/PR45956)
+37. X86InterleavedAccess introduces misaligned loads (https://llvm.org/PR45957)
+38. load-store-vectorizer vectorizes non consecutive loads (https://llvm.org/PR46591)
+39. Incorrect transformation: mul foo, undef -> shl foo, undef (https://llvm.org/PR47133)
+40. Incorrect transformation: (llvm.maximum undef, %x) -> undef (https://llvm.org/PR47567)
+41. LoopReroll incorrectly reorders stores across loads when they may alias (https://llvm.org/PR47658)
+42. InstCombine: incorrect select operand simplification with undef (https://llvm.org/PR47696)
+43. MemCpyOpt: uses sext instead of zext for memcpy/memset size subtraction (https://llvm.org/PR47697)
+44. SCEVExpander introduces branch on poison (https://llvm.org/PR47769)
+45. Incorrect transformation of fabs with nnan flag (https://llvm.org/PR47960)
+46. Loop peeling introduces OOB stores (https://llvm.org/PR48125)
+47. Loop vectorizer introduces gep inbounds with negative offset (https://llvm.org/PR48126)
### Bugs found in Z3

bug list: remove invalid report