From 6c7cf56fbf3e783c4a3339ecce407aa2491ea181 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Tue, 23 Apr 2024 13:56:28 +0100 Subject: [PATCH] add LLVM bug --- BugList.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/BugList.md b/BugList.md index 3df91c69b..9f2f4ef48 100644 --- a/BugList.md +++ b/BugList.md @@ -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