the SMT encoding for cls isn't the most efficient, as it computes the value for sign bit 0 and 1 and picks the right result at the end. We can optimize it later.
I would have moved the clz and cls encodings to a separate file but I was having some trouble getting the imports to work. I can do this in the next commit if we want a separate encodings folder.
clz
andcls
encodings to a separate file but I was having some trouble getting the imports to work. I can do this in the next commit if we want a separate encodings folder.