From ce6c73312ad99be1818bd1f18a26f6f57bca16ab Mon Sep 17 00:00:00 2001 From: lfrenot Date: Wed, 16 Oct 2024 13:11:16 +0100 Subject: [PATCH] feat: Fixed lshr and shl being swapped in PrettyEDSL (#709) --- SSA/Projects/InstCombine/LLVM/PrettyEDSL.lean | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/SSA/Projects/InstCombine/LLVM/PrettyEDSL.lean b/SSA/Projects/InstCombine/LLVM/PrettyEDSL.lean index 8c26b0b51..1ddff2ad6 100644 --- 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