pre-commit: Update

result/rvb23u64/02082980074b98ef.S

@@ -12,8 +12,7 @@ func00000000000000c1:                   # @func00000000000000c1
 	srli	a1, a1, 60
 	addi	a1, a1, -8
 	snez	a1, a1
-	lui	a2, 8
-	xor	a0, a0, a2
+	binvi	a0, a0, 15
 	seqz	a0, a0
 	xor	a0, a0, a1
 	ret

result/rvb23u64/0268e6ee606a2de1.S

@@ -38,8 +38,7 @@ func00000000000000c1:                   # @func00000000000000c1
 func0000000000000016:                   # @func0000000000000016
 	sext.w	a0, a0
 	sext.w	a1, a1
-	lui	a2, 16
-	xor	a1, a1, a2
+	binvi	a1, a1, 16
 	snez	a1, a1
 	slti	a0, a0, 0
 	xori	a0, a0, 1

result/rvb23u64/034b25a5f904838d.S

@@ -1,7 +1,6 @@
 func0000000000000008:                   # @func0000000000000008
 	sext.w	a2, a2
-	lui	a3, 32768
-	xor	a2, a2, a3
+	binvi	a2, a2, 27
 	seqz	a2, a2
 	slli	a2, a2, 27
 	or	a1, a1, a2

result/rvb23u64/03c8451f52d42148.S

@@ -17,8 +17,7 @@ func0000000000000014:                   # @func0000000000000014
 	sltu	a0, a1, a0
 	ret
 func0000000000000018:                   # @func0000000000000018
-	bseti	a2, zero, 63
-	xor	a2, a2, a1
+	binvi	a2, a1, 63
 	snez	a2, a2
 	sltu	a0, a0, a1
 	and	a0, a0, a2

result/rvb23u64/04a1d7526a913f16.S

@@ -72,8 +72,7 @@ func0000000000000011:                   # @func0000000000000011
 	sext.w	a1, a1
 	min	a1, a1, a2
 	subw	a0, a0, a1
-	lui	a1, 1
-	xor	a0, a0, a1
+	binvi	a0, a0, 12
 	seqz	a0, a0
 	ret
 func0000000000000016:                   # @func0000000000000016

result/rvb23u64/054452da6c76a6dd.S

@@ -36,8 +36,7 @@ func0000000000000001:                   # @func0000000000000001
 	slli	a1, a1, 6
 	sub	a1, a1, a2
 	add	a0, a0, a1
-	bseti	a1, zero, 63
-	xor	a0, a0, a1
+	binvi	a0, a0, 63
 	seqz	a0, a0
 	ret
 .LCPI5_0:

result/rvb23u64/065de0b376c6f1c4.S

@@ -34,8 +34,7 @@ func0000000000000011:                   # @func0000000000000011
 	and	a0, a0, a2
 	lui	a2, 24576
 	and	a1, a1, a2
-	lui	a2, 16384
-	xor	a1, a1, a2
+	binvi	a1, a1, 26
 	seqz	a1, a1
 	and	a0, a0, a1
 	ret

result/rvb23u64/067619b94e083309.S

@@ -7,8 +7,7 @@ func0000000000000022:                   # @func0000000000000022
 	addi	a0, a0, 514
 	ret
 func0000000000000038:                   # @func0000000000000038
-	lui	a2, 4096
-	xor	a1, a1, a2
+	binvi	a1, a1, 24
 	seqz	a1, a1
 	snez	a0, a0
 	or	a0, a0, a1

result/rvb23u64/0684e3bae7f89229.S

@@ -11,8 +11,7 @@ func00000000000000c1:                   # @func00000000000000c1
 	sext.w	a1, a1
 	sext.w	a0, a0
 	sext.w	a2, a2
-	lui	a3, 256
-	xor	a2, a2, a3
+	binvi	a2, a2, 20
 	snez	a2, a2
 	xor	a0, a0, a1
 	seqz	a0, a0

result/rvb23u64/06dbf310ddada463.S

@@ -9,8 +9,7 @@ func00000000000000c3:                   # @func00000000000000c3
 	add	a0, a0, a1
 	ret
 func00000000000000c7:                   # @func00000000000000c7
-	bseti	a2, zero, 63
-	xor	a1, a1, a2
+	binvi	a1, a1, 63
 	snez	a1, a1
 	srli	a0, a0, 3
 	lui	a2, 699051

result/rvb23u64/07f8277627d1971b.S

@@ -19,8 +19,7 @@ func0000000000000023:                   # @func0000000000000023
 	ori	a0, a0, 8
 	ret
 func0000000000000002:                   # @func0000000000000002
-	bseti	a2, zero, 32
-	xor	a1, a1, a2
+	binvi	a1, a1, 32
 	seqz	a1, a1
 	slli	a1, a1, 13
 	or	a0, a0, a1

result/rvb23u64/0843c9ce6909a945.S

@@ -33,8 +33,7 @@ func00000000000000c1:                   # @func00000000000000c1
 	li	a2, 2
 	czero.eqz	a1, a2, a1
 	addi	a1, a1, 1
-	lui	a3, 4
-	xor	a0, a0, a3
+	binvi	a0, a0, 14
 	czero.eqz	a1, a1, a0
 	czero.nez	a0, a2, a0
 	or	a0, a0, a1

result/rvb23u64/08f193d4929dce14.S

@@ -1,8 +1,7 @@
 func0000000000000001:                   # @func0000000000000001
 	lui	a2, 15
 	and	a2, a2, a1
-	lui	a3, 4
-	xor	a2, a2, a3
+	binvi	a2, a2, 14
 	andi	a1, a1, 511
 	czero.eqz	a1, a1, a2
 	czero.nez	a0, a0, a2

result/rvb23u64/0a41228e43a37215.S

@@ -10,8 +10,7 @@ func0000000000000002:                   # @func0000000000000002
 func0000000000000003:                   # @func0000000000000003
 	sext.w	a1, a1
 	andi	a2, a2, 511
-	lui	a3, 4
-	xor	a1, a1, a3
+	binvi	a1, a1, 14
 	czero.eqz	a2, a2, a1
 	czero.nez	a0, a0, a1
 	or	a0, a0, a2

result/rvb23u64/0a916097e948e959.S

@@ -54,8 +54,7 @@ func0000000000000038:                   # @func0000000000000038
 	sext.w	a2, a2
 	addi	a2, a2, -1536
 	seqz	a2, a2
-	lui	a3, 256
-	xor	a1, a1, a3
+	binvi	a1, a1, 20
 	snez	a1, a1
 	or	a1, a1, a2
 	or	a0, a0, a1

result/rvb23u64/0b161226c95d7220.S

@@ -11,8 +11,7 @@ func0000000000000026:                   # @func0000000000000026
 	sh2add	a0, a1, a0
 	ret
 func0000000000000021:                   # @func0000000000000021
-	bseti	a2, zero, 63
-	xor	a1, a1, a2
+	binvi	a1, a1, 63
 	li	a2, 120
 	czero.eqz	a1, a2, a1
 	add	a0, a0, a1

result/rvb23u64/0b35ef5480987477.S

@@ -65,8 +65,7 @@ func000000000000008c:                   # @func000000000000008c
 	snez	a0, a0
 	ret
 func000000000000001c:                   # @func000000000000001c
-	lui	a2, 1
-	xor	a2, a2, a1
+	binvi	a2, a1, 12
 	czero.eqz	a1, a1, a2
 	czero.nez	a0, a0, a2
 	or	a0, a0, a1

result/rvb23u64/0bf5324d0fc49ff5.S

@@ -4,8 +4,7 @@ func0000000000000011:                   # @func0000000000000011
 	sub	a0, a0, a1
 	ret
 func0000000000000031:                   # @func0000000000000031
-	bseti	a2, zero, 63
-	xor	a1, a1, a2
+	binvi	a1, a1, 63
 	snez	a1, a1
 	sub	a0, a0, a1
 	ret

result/rvb23u64/0c3b9298cfa0f0ab.S

@@ -22,8 +22,7 @@ func0000000000000330:                   # @func0000000000000330
 	ret
 func0000000000000304:                   # @func0000000000000304
 	bexti	a2, a2, 7
-	bseti	a3, zero, 50
-	xor	a1, a1, a3
+	binvi	a1, a1, 50
 	seqz	a1, a1
 	or	a0, a0, a2
 	or	a0, a0, a1

result/rvb23u64/0cde526a877fc344.S

@@ -5,8 +5,7 @@ func0000000000000030:                   # @func0000000000000030
 	ret
 func0000000000000022:                   # @func0000000000000022
 	sext.w	a1, a1
-	lui	a2, 4
-	xor	a1, a1, a2
+	binvi	a1, a1, 14
 	seqz	a1, a1
 	or	a0, a0, a1
 	ret

result/rvb23u64/0d5f1c5260c55a7a.S

@@ -73,8 +73,7 @@ func00000000000000c6:                   # @func00000000000000c6
 	li	a2, 255
 	slli	a2, a2, 32
 	and	a1, a1, a2
-	bseti	a2, zero, 33
-	xor	a1, a1, a2
+	binvi	a1, a1, 33
 	snez	a1, a1
 	slti	a0, a0, 1
 	or	a0, a0, a1

result/rvb23u64/0dd198a4276a626f.S

@@ -103,8 +103,7 @@ func0000000000000081:                   # @func0000000000000081
 	zext.h	a0, a0
 	lui	a2, 28672
 	and	a1, a1, a2
-	lui	a2, 16384
-	xor	a1, a1, a2
+	binvi	a1, a1, 26
 	seqz	a1, a1
 	sltiu	a0, a0, 14
 	xori	a0, a0, 1

result/rvb23u64/0f7c8b8bebd974c3.S

@@ -60,8 +60,7 @@ func0000000000001102:                   # @func0000000000001102
 	sltiu	a1, a1, 25
 	sltiu	a2, a0, 75
 	or	a1, a1, a2
-	lui	a2, 2
-	xor	a0, a0, a2
+	binvi	a0, a0, 13
 	seqz	a0, a0
 	or	a0, a0, a1
 	ret

result/rvb23u64/110c1ee078a5664f.S

@@ -58,8 +58,7 @@ func00000000000000f1:                   # @func00000000000000f1
 	andi	a1, a1, 255
 	slli	a1, a1, 32
 	or	a0, a0, a1
-	bseti	a1, zero, 32
-	xor	a0, a0, a1
+	binvi	a0, a0, 32
 	seqz	a0, a0
 	ret
 func0000000000000068:                   # @func0000000000000068

result/rvb23u64/11aa124aa4f2a1b7.S

@@ -109,8 +109,7 @@ func00000000000000c6:                   # @func00000000000000c6
 func0000000000000018:                   # @func0000000000000018
 	lui	a2, 15
 	and	a1, a1, a2
-	lui	a2, 8
-	xor	a1, a1, a2
+	binvi	a1, a1, 15
 	seqz	a1, a1
 	srli	a0, a0, 33
 	snez	a0, a0

result/rvb23u64/11c1199abfd35681.S

@@ -8,8 +8,7 @@ func00000000000000c1:                   # @func00000000000000c1
 	sext.w	a0, a0
 	lui	a2, 7
 	and	a1, a1, a2
-	lui	a2, 2
-	xor	a1, a1, a2
+	binvi	a1, a1, 13
 	seqz	a1, a1
 	snez	a0, a0
 	and	a0, a0, a1

result/rvb23u64/123e5d4f4e74e946.S

@@ -4,8 +4,7 @@ func0000000000000006:                   # @func0000000000000006
 	and	a0, a0, a2
 	ret
 func0000000000000032:                   # @func0000000000000032
-	bseti	a3, zero, 63
-	xor	a2, a2, a3
+	binvi	a2, a2, 63
 	snez	a2, a2
 	and	a0, a0, a1
 	and	a0, a0, a2

result/rvb23u64/12455fd0acf6779c.S

@@ -22,8 +22,7 @@ func0000000000000301:                   # @func0000000000000301
 	ret
 func000000000000004c:                   # @func000000000000004c
 	sext.w	a1, a1
-	lui	a2, 16
-	xor	a1, a1, a2
+	binvi	a1, a1, 16
 	seqz	a1, a1
 	or	a0, a0, a1
 	sext.w	a0, a0

result/rvb23u64/128c554d4173e873.S

@@ -3,8 +3,7 @@ func0000000000000311:                   # @func0000000000000311
 	czero.eqz	a1, a1, a2
 	czero.nez	a0, a0, a2
 	or	a0, a0, a1
-	bseti	a1, zero, 52
-	xor	a0, a0, a1
+	binvi	a0, a0, 52
 	seqz	a0, a0
 	ret
 func0000000000000011:                   # @func0000000000000011

result/rvb23u64/14c029bb5302b8b6.S

@@ -63,8 +63,7 @@ func0000000000000008:                   # @func0000000000000008
 	ret
 func0000000000000001:                   # @func0000000000000001
 	add	a1, a1, a2
-	bseti	a2, zero, 63
-	xor	a1, a1, a2
+	binvi	a1, a1, 63
 	seqz	a1, a1
 	and	a0, a0, a1
 	ret

result/rvb23u64/14cf60bfe715319d.S

@@ -8,8 +8,7 @@ func0000000000000058:                   # @func0000000000000058
 func0000000000000302:                   # @func0000000000000302
 	lui	a3, 48
 	and	a2, a2, a3
-	lui	a3, 32
-	xor	a2, a2, a3
+	binvi	a2, a2, 17
 	snez	a2, a2
 	seqz	a0, a0
 	or	a0, a0, a1

result/rvb23u64/151925622e86e11e.S

@@ -1,7 +1,6 @@
 func0000000000000023:                   # @func0000000000000023
 	sext.w	a0, a0
-	lui	a1, 4
-	xor	a1, a1, a0
+	binvi	a1, a0, 14
 	lui	a2, 10
 	xor	a0, a0, a2
 	bseti	a2, zero, 31

result/rvb23u64/1577a8de45478129.S

@@ -5,8 +5,7 @@ func0000000000000018:                   # @func0000000000000018
 	sltu	a1, a1, a0
 	slli	a0, a0, 12
 	srli	a0, a0, 12
-	bseti	a2, zero, 51
-	xor	a0, a0, a2
+	binvi	a0, a0, 51
 	seqz	a0, a0
 	and	a0, a0, a1
 	ret

result/rvb23u64/159cbc8986c2e2cc.S

@@ -29,8 +29,7 @@ func0000000000000304:                   # @func0000000000000304
 	li	a3, 3
 	slli	a3, a3, 50
 	and	a2, a2, a3
-	bseti	a3, zero, 50
-	xor	a2, a2, a3
+	binvi	a2, a2, 50
 	seqz	a2, a2
 	snez	a1, a1
 	or	a0, a0, a1

result/rvb23u64/15bfb1c293e5418b.S

@@ -66,8 +66,7 @@ func0000000000000031:                   # @func0000000000000031
 	lui	a2, 1023
 	and	a1, a1, a2
 	sub	a0, a0, a1
-	lui	a1, 1
-	xor	a0, a0, a1
+	binvi	a0, a0, 12
 	seqz	a0, a0
 	ret
 func0000000000000006:                   # @func0000000000000006

result/rvb23u64/15d8dcb1b4ea9291.S

@@ -8,8 +8,7 @@ func0000000000000011:                   # @func0000000000000011
 	ret
 func00000000000000c1:                   # @func00000000000000c1
 	sext.w	a1, a1
-	bseti	a3, zero, 34
-	xor	a2, a2, a3
+	binvi	a2, a2, 34
 	snez	a2, a2
 	addi	a1, a1, -7
 	czero.eqz	a2, a2, a1

result/rvb23u64/16b2650a59c9b003.S

@@ -1,7 +1,6 @@
 func0000000000000011:                   # @func0000000000000011
 	addiw	a2, a2, -1
-	bseti	a3, zero, 52
-	xor	a1, a1, a3
+	binvi	a1, a1, 52
 	czero.eqz	a2, a2, a1
 	czero.nez	a0, a0, a1
 	or	a0, a0, a2

result/rvb23u64/16db535f235fe8e0.S

@@ -1,8 +1,7 @@
 func0000000000000001:                   # @func0000000000000001
 	lui	a2, 240
 	and	a1, a1, a2
-	lui	a2, 64
-	xor	a1, a1, a2
+	binvi	a1, a1, 18
 	seqz	a1, a1
 	and	a0, a0, a1
 	ret

result/rvb23u64/1924413839b1aa67.S

@@ -6,8 +6,7 @@ func0000000000000010:                   # @func0000000000000010
 	ret
 func0000000000000002:                   # @func0000000000000002
 	sext.w	a1, a0
-	lui	a2, 16
-	xor	a1, a1, a2
+	binvi	a1, a1, 16
 	srliw	a0, a0, 8
 	czero.eqz	a0, a0, a1
 	ret

result/rvb23u64/19595d9aa4106d0d.S

@@ -67,8 +67,7 @@ func0000000000000020:                   # @func0000000000000020
 func000000000000002d:                   # @func000000000000002d
 	lui	a3, 28
 	and	a2, a2, a3
-	lui	a3, 16
-	xor	a2, a2, a3
+	binvi	a2, a2, 16
 	seqz	a2, a2
 	add	a0, a0, a1
 	addw	a0, a0, a2