mk
Create BitVec signed extension (signext) expression. Returns a BitVec expression with extensionSize extra sign (leftmost, highest) bits. The extra bits are prepended to the provided value.
Create BitVec signed extension (signext) expression. Returns a BitVec expression with extensionSize extra sign (leftmost, highest) bits. The extra bits are prepended to the provided value.