mirror of https://github.com/llvm/circt.git
13ea7a51d7
Some minor changes to the construction of BitVector attributes in the SMT dialect: - Fix parsing of smt.bv.constant #smt.bv<-1> : !smt.bv<1> which currently trips the width check due to odsParser.parseInteger creating an unnecessarily wide APInt. The new logic is copy-pasted from the FIRRTL ConstantOp parser. See #6794. - Change the type of the attribute builder's value argument from unsigned to uint64_t matching the signature of the APInt constructor, to allow values up to 64 bits and avoid architecture dependent behavior. - Prevent left-shifts wider than (or equal to) the shifted operand's number of bits in the width checking logic to avoid undefined behavior. |
||
|---|---|---|
| .. | ||
| array-errors.mlir | ||
| array.mlir | ||
| basic.mlir | ||
| bitvector-errors.mlir | ||
| bitvectors.mlir | ||
| core-errors.mlir | ||
| cse-test.mlir | ||
| integers.mlir | ||