Skip to content

Commit

Permalink
add LLVM bug
Browse files Browse the repository at this point in the history
  • Loading branch information
nunoplopes committed Apr 23, 2024
1 parent ee48444 commit 6c7cf56
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions BugList.md
Original file line number Diff line number Diff line change
Expand Up @@ -94,6 +94,8 @@ Please contact us or submit a PR if something is missing or inaccurate.
87. InstCombine: incorrect vector fshr->shl transformation (https://llvm.org/PR89338)
88. VectorCombine: shufflevector reorder leads to srem by poison (https://llvm.org/PR89390)
89. InstCombine: incorrect srem rewrite (https://llvm.org/PR89516)
90. InstCombine: incorrect swap of select vector operands (https://llvm.org/89669)
91. SimplifyCFG: coallesced store retains the wrong alignment (https://llvm.org/PR89672)


### Bugs found in Z3
Expand Down

0 comments on commit 6c7cf56

Please sign in to comment.