feat: Fixed lshr and shl being swapped in PrettyEDSL (#709)

opencompl · Oct 16, 2024 · ce6c733 · ce6c733
1 parent bdd19d8
commit ce6c733
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/SSA/Projects/InstCombine/LLVM/PrettyEDSL.lean b/SSA/Projects/InstCombine/LLVM/PrettyEDSL.lean
@@ -15,14 +15,14 @@ syntax "llvm.and"     : MLIR.Pretty.uniform_op
 syntax "llvm.ashr"    : MLIR.Pretty.uniform_op
 syntax "llvm.or"      : MLIR.Pretty.uniform_op
 syntax "llvm.sdiv"    : MLIR.Pretty.uniform_op
-syntax "llvm.shl"     : MLIR.Pretty.uniform_op
+syntax "llvm.lshr"    : MLIR.Pretty.uniform_op
 syntax "llvm.srem"    : MLIR.Pretty.uniform_op
 syntax "llvm.udiv"    : MLIR.Pretty.uniform_op
 syntax "llvm.urem"    : MLIR.Pretty.uniform_op
 syntax "llvm.xor"     : MLIR.Pretty.uniform_op
 
 syntax "llvm.add"     : MLIR.Pretty.overflow_op
-syntax "llvm.lshr"    : MLIR.Pretty.overflow_op
+syntax "llvm.shl"     : MLIR.Pretty.overflow_op
 syntax "llvm.mul"     : MLIR.Pretty.overflow_op
 syntax "llvm.sub"     : MLIR.Pretty.overflow_op