Remove non-negative constraint from brev8

nadime15 · nadime15 · commit cb3b3d1cf321 · 2025-04-01T04:22:33.000-04:00
diff --git a/model/riscv_insts_vext_utils.sail b/model/riscv_insts_vext_utils.sail
@@ -458,7 +458,7 @@ function count_leadingzeros (sig, len) = {
 }
 
 /* Reverse bits in each byte */
-val brev8 : forall 'm, 'm >= 0. (bits('m)) -> bits('m)
+val brev8 : forall 'm. (bits('m)) -> bits('m)
 function brev8(input) = {
   assert('m % 8 == 0, "input length must be a multiple of 8");
   var output : bits('m) = zeros();

Original file line number	Diff line number	Diff line change
`@@ -458,7 +458,7 @@ function count_leadingzeros (sig, len) = {`
`458`	`458`	`}`
`459`	`459`
`460`	`460`	`/* Reverse bits in each byte */`
`461`		`-val brev8 : forall 'm, 'm >= 0. (bits('m)) -> bits('m)`
	`461`	`+val brev8 : forall 'm. (bits('m)) -> bits('m)`
`462`	`462`	`function brev8(input) = {`
`463`	`463`	`assert('m % 8 == 0, "input length must be a multiple of 8");`
`464`	`464`	`var output : bits('m) = zeros();`