Remaining bit operations

[alastairreid]

Note that several of these operations have result types that require calculations based on the input values/types. For example

func Replicate(x : bits(M), y : bits(N)) -> bits(M+N)

I don't know how to capture that dependency yet so I generalized the types like this

func Replicate(x : bits(M), y : bits(N)) -> bits(O)
                                            ^^^^^^^

This lets me continue without getting blocked on how we will represent dependent types

[math-fehr]

Nice!
I just added a comment about style when defining operations, but otherwise everything looks good!

For the dependent types, I think we need to decide in which dialect this will be. Either we want a separate dialect for the dependent types, or we want to include it in this.

[math-fehr]

You can actually just replace this with

Suggested change

	S: ClassVar = VarConstraint("S", BaseAttr(BitVectorType))
	T: ClassVar = VarConstraint("T", BaseAttr(BitVectorType))
	lhs = operand_def(S)
	rhs = operand_def(IntegerType())
	res = result_def(T)
	lhs = operand_def(BitVectorType)
	rhs = operand_def(IntegerType())
	res = result_def(BitVectorType)

The VarConstraint are only really used whenever you need two types to be exactly equal