From fb9dcbc306c04fb2ec275486467728366f90e196 Mon Sep 17 00:00:00 2001
From: Philippe Sauter <phsauter@student.ethz.ch>
Date: Mon, 16 Oct 2023 16:46:32 +0200
Subject: [PATCH] peepopt: Describe `shiftadd` rule in help message

---
 passes/pmgen/peepopt.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/passes/pmgen/peepopt.cc b/passes/pmgen/peepopt.cc
index b4394dfd4b5..edd3b18a815 100644
--- a/passes/pmgen/peepopt.cc
+++ b/passes/pmgen/peepopt.cc
@@ -48,6 +48,9 @@ struct PeepoptPass : public Pass {
 		log("                Analogously, replace A<<(B*C) with appropriate selection of\n");
 		log("                output bits from A<<(B<<K). (left variant)\n");
 		log("\n");
+		log("   * shiftadd - Replace A>>(B+D) with (A'>>D)>>(B) where D is constant and\n");
+		log("                A' is derived from A by padding or cutting inaccessible bits.\n");
+		log("\n");
 	}
 	void execute(std::vector<std::string> args, RTLIL::Design *design) override
 	{