pyosys 0.55__cp38-cp38-manylinux_2_28_aarch64.whl → 0.55.23__cp38-cp38-manylinux_2_28_aarch64.whl

pyosys/share/include/kernel/satgen.h

@@ -101,7 +101,9 @@ struct SatGen
 				else
 					vec.push_back(bit == (undef_mode ? RTLIL::State::Sx : RTLIL::State::S1) ? ez->CONST_TRUE : ez->CONST_FALSE);
 			} else {
-				std::string name = pf + (bit.wire->width == 1 ? stringf("%s", log_id(bit.wire)) : stringf("%s [%d]", log_id(bit.wire->name), bit.offset));
+				std::string wire_name = RTLIL::unescape_id(bit.wire->name);
+				std::string name = pf +
+					(bit.wire->width == 1 ? wire_name : stringf("%s [%d]", wire_name.c_str(), bit.offset));
 				vec.push_back(ez->frozen_literal(name));
 				imported_signals[pf][bit] = vec.back();
 			}

pyosys/share/include/passes/techmap/libparse.h

@@ -0,0 +1,232 @@
+/*
+ *  yosys -- Yosys Open SYnthesis Suite
+ *
+ *  Copyright (C) 2012  Claire Xenia Wolf <claire@yosyshq.com>
+ *
+ *  Permission to use, copy, modify, and/or distribute this software for any
+ *  purpose with or without fee is hereby granted, provided that the above
+ *  copyright notice and this permission notice appear in all copies.
+ *
+ *  THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+ *  WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+ *  MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+ *  ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+ *  WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+ *  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+ *  OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+ *
+ */
+
+#ifndef LIBPARSE_H
+#define LIBPARSE_H
+
+#include "kernel/yosys.h"
+#include <stdio.h>
+#include <string>
+#include <vector>
+#include <set>
+
+/**
+ * This file is likely to change in the near future.
+ * Rely on it in your plugins at your own peril
+ */
+
+namespace Yosys
+{
+	struct LibertyAst
+	{
+		std::string id, value;
+		std::vector<std::string> args;
+		std::vector<LibertyAst*> children;
+		~LibertyAst();
+		const LibertyAst *find(std::string name) const;
+
+		typedef std::set<std::string> sieve;
+		void dump(FILE *f, sieve &blacklist, sieve &whitelist, std::string indent = "", std::string path = "", bool path_ok = false) const;
+	};
+
+	struct LibertyExpression
+	{
+		struct Lexer {
+			std::string s, expr;
+
+			Lexer(std::string s) : s{s}, expr{s} {}
+
+			bool empty() { return s.empty();}
+			char peek() { return s[0]; }
+			std::string full_expr() { return expr; }
+
+			char next() {
+				char c = s[0];
+				s = s.substr(1, s.size());
+				return c;
+			}
+
+			std::string pin() {
+				auto length = s.find_first_of("\t()'!^*& +|");
+				if (length == std::string::npos) {
+					// nothing found so use size of s
+					length = s.size();
+				}
+				auto pin = s.substr(0, length);
+				s = s.substr(length, s.size());
+				return pin;
+			}
+		};
+
+		enum Kind {
+			AND,
+			OR,
+			NOT,
+			XOR,
+			// the standard specifies constants, but they're probably rare in practice.
+			PIN,
+			EMPTY
+		};
+
+		Kind kind;
+		std::string name;
+		std::vector<LibertyExpression> children;
+
+		LibertyExpression() : kind(Kind::EMPTY) {}
+
+		static LibertyExpression parse(Lexer &s, int min_prio = 0);
+		void get_pin_names(pool<std::string>& names);
+		bool eval(dict<std::string, bool>& values);
+	};
+
+	class LibertyInputStream {
+		std::istream &f;
+		std::vector<unsigned char> buffer;
+		size_t buf_pos = 0;
+		size_t buf_end = 0;
+		bool eof = false;
+
+		bool extend_buffer_once();
+		bool extend_buffer_at_least(size_t size = 1);
+
+		YS_COLD int get_cold();
+		YS_COLD int peek_cold(size_t offset);
+
+	public:
+		LibertyInputStream(std::istream &f) : f(f) {}
+
+		size_t buffered_size() { return buf_end - buf_pos; }
+		const unsigned char *buffered_data() { return buffer.data() + buf_pos; }
+
+		int get() {
+			if (buf_pos == buf_end)
+				return get_cold();
+			int c = buffer[buf_pos];
+			buf_pos += 1;
+			return c;
+		}
+
+		int peek(size_t offset = 0) {
+			if (buf_pos + offset >= buf_end)
+				return peek_cold(offset);
+			return buffer[buf_pos + offset];
+		}
+
+		void consume(size_t n = 1) {
+			buf_pos += n;
+		}
+
+		void unget() {
+			buf_pos -= 1;
+		}
+	};
+
+#ifndef FILTERLIB
+	class LibertyAstCache {
+		LibertyAstCache() {};
+		~LibertyAstCache() {};
+	public:
+		dict<std::string, std::shared_ptr<const LibertyAst>> cached;
+
+		bool cache_by_default = false;
+		bool verbose = false;
+		dict<std::string, bool> cache_path;
+
+		std::shared_ptr<const LibertyAst> cached_ast(const std::string &fname);
+		void parsed_ast(const std::string &fname, const std::shared_ptr<const LibertyAst> &ast);
+		static LibertyAstCache instance;
+	};
+#endif
+
+	class LibertyMergedCells;
+	class LibertyParser
+	{
+		friend class LibertyMergedCells;
+	private:
+		LibertyInputStream f;
+		int line;
+
+		/* lexer return values:
+		   'v': identifier, string, array range [...] -> str holds the token string
+		   'n': newline
+		   anything else is a single character.
+		*/
+		int lexer(std::string &str);
+
+		void report_unexpected_token(int tok);
+		void parse_vector_range(int tok);
+		LibertyAst *parse(bool top_level);
+		void error() const;
+		void error(const std::string &str) const;
+
+	public:
+		std::shared_ptr<const LibertyAst> shared_ast;
+		const LibertyAst *ast = nullptr;
+
+		LibertyParser(std::istream &f) : f(f), line(1) {
+			shared_ast.reset(parse(true));
+			ast = shared_ast.get();
+			if (!ast) {
+#ifdef FILTERLIB
+				fprintf(stderr, "No entries found in liberty file.\n");
+				exit(1);
+#else
+				log_error("No entries found in liberty file.\n");
+#endif
+			}
+		}
+
+#ifndef FILTERLIB
+		LibertyParser(std::istream &f, const std::string &fname) : f(f), line(1) {
+			shared_ast = LibertyAstCache::instance.cached_ast(fname);
+			if (!shared_ast) {
+				shared_ast.reset(parse(true));
+				LibertyAstCache::instance.parsed_ast(fname, shared_ast);
+			}
+			ast = shared_ast.get();
+			if (!ast) {
+				log_error("No entries found in liberty file `%s'.\n", fname.c_str());
+			}
+		}
+#endif
+	};
+
+	class LibertyMergedCells
+	{
+		std::vector<std::shared_ptr<const LibertyAst>> asts;
+
+	public:
+		std::vector<const LibertyAst *> cells;
+		void merge(LibertyParser &parser)
+		{
+			if (parser.ast) {
+				const LibertyAst *ast = parser.ast;
+				asts.push_back(parser.shared_ast);
+				if (ast->id != "library")
+					parser.error("Top level entity isn't \"library\".\n");
+				for (const LibertyAst *cell : ast->children)
+					if (cell->id == "cell" && cell->args.size() == 1)
+						cells.push_back(cell);
+			}
+		}
+	};
+
+}
+
+#endif

{pyosys-0.55.dist-info → pyosys-0.55.23.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: pyosys
-Version: 0.55
+Version: 0.55.23
 Summary: Python access to libyosys
 Classifier: License :: OSI Approved :: MIT License
 Classifier: Programming Language :: Python :: 3

{pyosys-0.55.dist-info → pyosys-0.55.23.dist-info}/RECORD

@@ -1,7 +1,12 @@
 pyosys.libs/libcrypt-258f54d5.so.1.1.0,sha256=mA1Hga6a2NGy9gvlLPu_F20yzGLs-IiSDzR-mVdjbuI,198433
-pyosys/yosys-abc,sha256=HNT3_tE-9K6LxMR0XLDQlTYS9GDBMGVab1ELB2bQcko,21814928
+pyosys-0.55.23.dist-info/RECORD,,
+pyosys-0.55.23.dist-info/COPYING,sha256=kWqnpIV2zL_kFC_d1-S_PF1uzksfJPPS7HAZjJnaOpI,777
+pyosys-0.55.23.dist-info/WHEEL,sha256=8TiLLyYGHVCmWg-lrmZc6gDHfeqzdQXt9aoJoMvqinU,112
+pyosys-0.55.23.dist-info/top_level.txt,sha256=3EZwjfudmKdDRzFQF8euvJfeGeSfXuoVNoaHzvlEva4,16
+pyosys-0.55.23.dist-info/METADATA,sha256=aX1dbkDOzKHFuUs_-M8Rm9iuDxl3FIpgjGpOK1If5HA,9222
+pyosys/yosys-abc,sha256=VlF3Nm7qXFgAxrf6L1S7EetqAConFAdfmuQ-FAww_q8,21814928
 pyosys/py_wrap_generator.py,sha256=A_cJYHt3BrRuFfh1-IAJrIXYyLAzqAyCiCp1gX6rpCk,81656
-pyosys/libyosys.so,sha256=xBMkhusy6KnCtCJK55jyakMKjrDOzPbDyvq298pSosM,36845697
+pyosys/libyosys.so,sha256=Ul59nOo75yjg8OemZskvuFlQ0X0Gu2oyDeb58f2ztTc,36845777
 pyosys/__init__.py,sha256=chS2qX2oRlor9bCqzi9u9XfZVDjeLb5YmieRVG-AvaM,522
 pyosys/share/techmap.v,sha256=YCvM3QLs6BuUo8fOdQzHyI4OUm9_teQZbvmkDp3vrFQ,16974
 pyosys/share/gate2lut.v,sha256=j5EJAuBnWNw15j0sjK-Seq2BTgleebDF3aAN0pc-8L0,1447
@@ -287,6 +292,7 @@ pyosys/share/include/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi.h,sha256=Ll
 pyosys/share/include/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi_vcd.cc,sha256=5A6IK46tg8BWgs_vzS183p9HMZfWP7FZfJzCjnB3vW8,2815
 pyosys/share/include/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi_vcd.h,sha256=P6KBEs-76IK4LwKBhXbju9nwkH3rmmqUm4uSuiaS88M,4286
 pyosys/share/include/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi.cc,sha256=4WH8B0B7Y7GY43BXZX0-6PGFPYcbOcavJseI0wM_VJQ,4559
+pyosys/share/include/passes/techmap/libparse.h,sha256=_2J7RBOUiJxdtxeoxX4p_81npsUUopsctC3SAaYXkRE,5672
 pyosys/share/include/passes/fsm/fsmdata.h,sha256=hQPbdxU2f0uflXJceSCXNuEv60XR24maHanlVj_B7ZU,6772
 pyosys/share/include/kernel/sexpr.h,sha256=CUDKFehVoGmakYBYLpEKUtlM0Dd3oI6TNW_cKz-qe0g,4720
 pyosys/share/include/kernel/macc.h,sha256=LHm507daCT57lGCNNwia1LJVk3pkBB5ZteCZihxD5Qw,8926
@@ -300,7 +306,7 @@ pyosys/share/include/kernel/json.h,sha256=tE3AgUslbZd5TRFEipj0HptYjWgNfMjzV44l3A
 pyosys/share/include/kernel/scopeinfo.h,sha256=EAU3vSTIwH1RrbSC7HVoTWh4SLfHMSIoidQPvT1Mo7g,11797
 pyosys/share/include/kernel/ffmerge.h,sha256=I3mXyytzRyP92T9XhSQTlv7EN2G31nJhspBxlLYiMEY,6305
 pyosys/share/include/kernel/mem.h,sha256=xKz0HxXap_PTdzpK-NUcbxybF3YisRc2JoCv17TXOc4,15505
-pyosys/share/include/kernel/satgen.h,sha256=zx8LptIgds0Z9sxXx6HGxNNYuk05dHqQZy1aXFWEXC0,10483
+pyosys/share/include/kernel/satgen.h,sha256=O7h0qkcsaX5g4XsUiLumlj8RAg63fxkFCLgZds5xgL8,10525
 pyosys/share/include/kernel/utils.h,sha256=5bJFi7SNf18SL7icrEQEDDYnqT9TrjBMlPZGHbinFK8,7315
 pyosys/share/include/kernel/consteval.h,sha256=oEPSKbbgqvNmlLqYFSozZX2cjFQA5IM-d69HmyuZiGo,10864
 pyosys/share/include/kernel/rtlil.h,sha256=4kP9hgPjbPFLy9kH9JdmOEbp6E1OI5Nn5P-eK0rc8pw,99416
@@ -322,8 +328,3 @@ pyosys/share/include/kernel/yw.h,sha256=Gr5zqBNUSKXOKhdw7tl9-KcCiZg3xFcK9Msj7LMa
 pyosys/share/include/kernel/sigtools.h,sha256=Tb1hUOLJD-AV4ojLVcjx0Dc00QSy6nGJyTwNMa4eqw0,8074
 pyosys/share/include/kernel/constids.inc,sha256=9a-cTYvGkDQr4W1WJpK9PfzvaoiMKhz_MV2mkbBQnbY,3730
 pyosys/share/include/kernel/fmt.h,sha256=0UT-aDVX7_KnzlaNyK3iMsSzoICa4Q0HhqsFIrwHBMw,2790
-pyosys-0.55.dist-info/RECORD,,
-pyosys-0.55.dist-info/COPYING,sha256=kWqnpIV2zL_kFC_d1-S_PF1uzksfJPPS7HAZjJnaOpI,777
-pyosys-0.55.dist-info/WHEEL,sha256=8TiLLyYGHVCmWg-lrmZc6gDHfeqzdQXt9aoJoMvqinU,112
-pyosys-0.55.dist-info/top_level.txt,sha256=3EZwjfudmKdDRzFQF8euvJfeGeSfXuoVNoaHzvlEva4,16
-pyosys-0.55.dist-info/METADATA,sha256=GPG7qeuzyUamHAg6qL2yJ99uMLc72zyNwH8f2zdaKTI,9219