From 58a8e75a3ba992ce15b6b536c2127149e522afed Mon Sep 17 00:00:00 2001
From: Afonso Bordado <afonsobordado@az8.co>
Date: Mon, 27 May 2024 12:17:58 +0100
Subject: [PATCH] riscv64: Update ISA Tests

---
 .../filetests/isa/riscv64/bitops.clif         | 30 +++----
 .../filetests/isa/riscv64/ishl-const.clif     | 34 ++++----
 .../filetests/filetests/isa/riscv64/ishl.clif | 34 ++++----
 .../filetests/filetests/isa/riscv64/rotl.clif | 80 +++++++++----------
 .../filetests/filetests/isa/riscv64/rotr.clif | 56 ++++++-------
 .../filetests/isa/riscv64/sshr-const.clif     | 34 ++++----
 .../filetests/filetests/isa/riscv64/sshr.clif | 34 ++++----
 .../filetests/isa/riscv64/ushr-const.clif     | 34 ++++----
 .../filetests/filetests/isa/riscv64/ushr.clif | 34 ++++----
 .../filetests/isa/riscv64/zicond.clif         | 16 ++--
 10 files changed, 193 insertions(+), 193 deletions(-)

diff --git a/cranelift/filetests/filetests/isa/riscv64/bitops.clif b/cranelift/filetests/filetests/isa/riscv64/bitops.clif
index 5081928dd7d2..b05b32084e3e 100644
--- a/cranelift/filetests/filetests/isa/riscv64/bitops.clif
+++ b/cranelift/filetests/filetests/isa/riscv64/bitops.clif
@@ -1442,7 +1442,7 @@ block0(v0: i128, v1: i8):
 ;   sub a3,a3,a5
 ;   sll a4,a0,a5
 ;   srl a0,a0,a3
-;   select a3,zero,a0##condition=(a5 eq zero)
+;   select a3,a0,zero##condition=(a5 ne zero)
 ;   sll a5,a1,a5
 ;   or a5,a3,a5
 ;   li a3,64
@@ -1457,10 +1457,10 @@ block0(v0: i128, v1: i8):
 ;   sub a3, a3, a5
 ;   sll a4, a0, a5
 ;   srl a0, a0, a3
-;   bnez a5, 0xc
-;   mv a3, zero
-;   j 8
+;   beqz a5, 0xc
 ;   mv a3, a0
+;   j 8
+;   mv a3, zero
 ;   sll a5, a1, a5
 ;   or a5, a3, a5
 ;   addi a3, zero, 0x40
@@ -1488,7 +1488,7 @@ block0(v0: i128, v1: i128):
 ;   mv a4,a5
 ;   sll a5,a4,a0
 ;   srl a3,a4,a3
-;   select a3,zero,a3##condition=(a0 eq zero)
+;   select a3,a3,zero##condition=(a0 ne zero)
 ;   sll a0,a1,a0
 ;   or a4,a3,a0
 ;   li a3,64
@@ -1531,7 +1531,7 @@ block0(v0: i128, v1: i8):
 ;   li a3,64
 ;   sub a3,a3,a4
 ;   sll a5,a1,a3
-;   select a3,zero,a5##condition=(a4 eq zero)
+;   select a3,a5,zero##condition=(a4 ne zero)
 ;   srl a5,a0,a4
 ;   or a5,a3,a5
 ;   li t0,64
@@ -1546,10 +1546,10 @@ block0(v0: i128, v1: i8):
 ;   addi a3, zero, 0x40
 ;   sub a3, a3, a4
 ;   sll a5, a1, a3
-;   bnez a4, 0xc
-;   mv a3, zero
-;   j 8
+;   beqz a4, 0xc
 ;   mv a3, a5
+;   j 8
+;   mv a3, zero
 ;   srl a5, a0, a4
 ;   or a5, a3, a5
 ;   addi t0, zero, 0x40
@@ -1581,7 +1581,7 @@ block0(v0: i128, v1: i128):
 ;   li a3,64
 ;   sub a3,a3,a5
 ;   sll a3,a1,a3
-;   select a3,zero,a3##condition=(a5 eq zero)
+;   select a3,a3,zero##condition=(a5 ne zero)
 ;   srl a4,a0,a5
 ;   or s11,a3,a4
 ;   li a3,64
@@ -1640,7 +1640,7 @@ block0(v0: i128, v1: i8):
 ;   li a3,64
 ;   sub a3,a3,a4
 ;   sll a5,a1,a3
-;   select a3,zero,a5##condition=(a4 eq zero)
+;   select a3,a5,zero##condition=(a4 ne zero)
 ;   srl a5,a0,a4
 ;   or a5,a3,a5
 ;   li a0,64
@@ -1658,10 +1658,10 @@ block0(v0: i128, v1: i8):
 ;   addi a3, zero, 0x40
 ;   sub a3, a3, a4
 ;   sll a5, a1, a3
-;   bnez a4, 0xc
-;   mv a3, zero
-;   j 8
+;   beqz a4, 0xc
 ;   mv a3, a5
+;   j 8
+;   mv a3, zero
 ;   srl a5, a0, a4
 ;   or a5, a3, a5
 ;   addi a0, zero, 0x40
@@ -1699,7 +1699,7 @@ block0(v0: i128, v1: i128):
 ;   li a3,64
 ;   sub a3,a3,a5
 ;   sll a3,a1,a3
-;   select a3,zero,a3##condition=(a5 eq zero)
+;   select a3,a3,zero##condition=(a5 ne zero)
 ;   srl a4,a0,a5
 ;   or s11,a3,a4
 ;   li a3,64
diff --git a/cranelift/filetests/filetests/isa/riscv64/ishl-const.clif b/cranelift/filetests/filetests/isa/riscv64/ishl-const.clif
index c46b536daa88..c8e24c06c6b4 100644
--- a/cranelift/filetests/filetests/isa/riscv64/ishl-const.clif
+++ b/cranelift/filetests/filetests/isa/riscv64/ishl-const.clif
@@ -362,7 +362,7 @@ block0(v0: i128):
 ;   sub a2,a2,a5
 ;   sll a4,a0,a5
 ;   srl a0,a0,a2
-;   select a2,zero,a0##condition=(a5 eq zero)
+;   select a2,a0,zero##condition=(a5 ne zero)
 ;   sll a5,a1,a5
 ;   or a5,a2,a5
 ;   li a2,64
@@ -378,10 +378,10 @@ block0(v0: i128):
 ;   sub a2, a2, a5
 ;   sll a4, a0, a5
 ;   srl a0, a0, a2
-;   bnez a5, 0xc
-;   mv a2, zero
-;   j 8
+;   beqz a5, 0xc
 ;   mv a2, a0
+;   j 8
+;   mv a2, zero
 ;   sll a5, a1, a5
 ;   or a5, a2, a5
 ;   addi a2, zero, 0x40
@@ -409,7 +409,7 @@ block0(v0: i128):
 ;   sub a2,a2,a5
 ;   sll a4,a0,a5
 ;   srl a0,a0,a2
-;   select a2,zero,a0##condition=(a5 eq zero)
+;   select a2,a0,zero##condition=(a5 ne zero)
 ;   sll a5,a1,a5
 ;   or a5,a2,a5
 ;   li a2,64
@@ -425,10 +425,10 @@ block0(v0: i128):
 ;   sub a2, a2, a5
 ;   sll a4, a0, a5
 ;   srl a0, a0, a2
-;   bnez a5, 0xc
-;   mv a2, zero
-;   j 8
+;   beqz a5, 0xc
 ;   mv a2, a0
+;   j 8
+;   mv a2, zero
 ;   sll a5, a1, a5
 ;   or a5, a2, a5
 ;   addi a2, zero, 0x40
@@ -456,7 +456,7 @@ block0(v0: i128):
 ;   sub a2,a2,a5
 ;   sll a4,a0,a5
 ;   srl a0,a0,a2
-;   select a2,zero,a0##condition=(a5 eq zero)
+;   select a2,a0,zero##condition=(a5 ne zero)
 ;   sll a5,a1,a5
 ;   or a5,a2,a5
 ;   li a2,64
@@ -472,10 +472,10 @@ block0(v0: i128):
 ;   sub a2, a2, a5
 ;   sll a4, a0, a5
 ;   srl a0, a0, a2
-;   bnez a5, 0xc
-;   mv a2, zero
-;   j 8
+;   beqz a5, 0xc
 ;   mv a2, a0
+;   j 8
+;   mv a2, zero
 ;   sll a5, a1, a5
 ;   or a5, a2, a5
 ;   addi a2, zero, 0x40
@@ -503,7 +503,7 @@ block0(v0: i128):
 ;   sub a2,a2,a5
 ;   sll a4,a0,a5
 ;   srl a0,a0,a2
-;   select a2,zero,a0##condition=(a5 eq zero)
+;   select a2,a0,zero##condition=(a5 ne zero)
 ;   sll a5,a1,a5
 ;   or a5,a2,a5
 ;   li a2,64
@@ -519,10 +519,10 @@ block0(v0: i128):
 ;   sub a2, a2, a5
 ;   sll a4, a0, a5
 ;   srl a0, a0, a2
-;   bnez a5, 0xc
-;   mv a2, zero
-;   j 8
+;   beqz a5, 0xc
 ;   mv a2, a0
+;   j 8
+;   mv a2, zero
 ;   sll a5, a1, a5
 ;   or a5, a2, a5
 ;   addi a2, zero, 0x40
@@ -552,7 +552,7 @@ block0(v0: i128):
 ;   sub a3,a3,a2
 ;   sll a5,a0,a2
 ;   srl a3,a0,a3
-;   select a3,zero,a3##condition=(a2 eq zero)
+;   select a3,a3,zero##condition=(a2 ne zero)
 ;   sll a0,a1,a2
 ;   or a2,a3,a0
 ;   li a3,64
diff --git a/cranelift/filetests/filetests/isa/riscv64/ishl.clif b/cranelift/filetests/filetests/isa/riscv64/ishl.clif
index 3dbb73cdd11b..1e185b894dff 100644
--- a/cranelift/filetests/filetests/isa/riscv64/ishl.clif
+++ b/cranelift/filetests/filetests/isa/riscv64/ishl.clif
@@ -356,7 +356,7 @@ block0(v0: i128, v1: i8):
 ;   sub a3,a3,a5
 ;   sll a4,a0,a5
 ;   srl a0,a0,a3
-;   select a3,zero,a0##condition=(a5 eq zero)
+;   select a3,a0,zero##condition=(a5 ne zero)
 ;   sll a5,a1,a5
 ;   or a5,a3,a5
 ;   li a3,64
@@ -371,10 +371,10 @@ block0(v0: i128, v1: i8):
 ;   sub a3, a3, a5
 ;   sll a4, a0, a5
 ;   srl a0, a0, a3
-;   bnez a5, 0xc
-;   mv a3, zero
-;   j 8
+;   beqz a5, 0xc
 ;   mv a3, a0
+;   j 8
+;   mv a3, zero
 ;   sll a5, a1, a5
 ;   or a5, a3, a5
 ;   addi a3, zero, 0x40
@@ -400,7 +400,7 @@ block0(v0: i128, v1: i16):
 ;   sub a3,a3,a5
 ;   sll a4,a0,a5
 ;   srl a0,a0,a3
-;   select a3,zero,a0##condition=(a5 eq zero)
+;   select a3,a0,zero##condition=(a5 ne zero)
 ;   sll a5,a1,a5
 ;   or a5,a3,a5
 ;   li a3,64
@@ -415,10 +415,10 @@ block0(v0: i128, v1: i16):
 ;   sub a3, a3, a5
 ;   sll a4, a0, a5
 ;   srl a0, a0, a3
-;   bnez a5, 0xc
-;   mv a3, zero
-;   j 8
+;   beqz a5, 0xc
 ;   mv a3, a0
+;   j 8
+;   mv a3, zero
 ;   sll a5, a1, a5
 ;   or a5, a3, a5
 ;   addi a3, zero, 0x40
@@ -444,7 +444,7 @@ block0(v0: i128, v1: i32):
 ;   sub a3,a3,a5
 ;   sll a4,a0,a5
 ;   srl a0,a0,a3
-;   select a3,zero,a0##condition=(a5 eq zero)
+;   select a3,a0,zero##condition=(a5 ne zero)
 ;   sll a5,a1,a5
 ;   or a5,a3,a5
 ;   li a3,64
@@ -459,10 +459,10 @@ block0(v0: i128, v1: i32):
 ;   sub a3, a3, a5
 ;   sll a4, a0, a5
 ;   srl a0, a0, a3
-;   bnez a5, 0xc
-;   mv a3, zero
-;   j 8
+;   beqz a5, 0xc
 ;   mv a3, a0
+;   j 8
+;   mv a3, zero
 ;   sll a5, a1, a5
 ;   or a5, a3, a5
 ;   addi a3, zero, 0x40
@@ -488,7 +488,7 @@ block0(v0: i128, v1: i64):
 ;   sub a3,a3,a5
 ;   sll a4,a0,a5
 ;   srl a0,a0,a3
-;   select a3,zero,a0##condition=(a5 eq zero)
+;   select a3,a0,zero##condition=(a5 ne zero)
 ;   sll a5,a1,a5
 ;   or a5,a3,a5
 ;   li a3,64
@@ -503,10 +503,10 @@ block0(v0: i128, v1: i64):
 ;   sub a3, a3, a5
 ;   sll a4, a0, a5
 ;   srl a0, a0, a3
-;   bnez a5, 0xc
-;   mv a3, zero
-;   j 8
+;   beqz a5, 0xc
 ;   mv a3, a0
+;   j 8
+;   mv a3, zero
 ;   sll a5, a1, a5
 ;   or a5, a3, a5
 ;   addi a3, zero, 0x40
@@ -534,7 +534,7 @@ block0(v0: i128, v1: i128):
 ;   mv a4,a5
 ;   sll a5,a4,a0
 ;   srl a3,a4,a3
-;   select a3,zero,a3##condition=(a0 eq zero)
+;   select a3,a3,zero##condition=(a0 ne zero)
 ;   sll a0,a1,a0
 ;   or a4,a3,a0
 ;   li a3,64
diff --git a/cranelift/filetests/filetests/isa/riscv64/rotl.clif b/cranelift/filetests/filetests/isa/riscv64/rotl.clif
index 152f01755b34..69bd54300d5b 100644
--- a/cranelift/filetests/filetests/isa/riscv64/rotl.clif
+++ b/cranelift/filetests/filetests/isa/riscv64/rotl.clif
@@ -22,11 +22,11 @@ block0(v0: i128, v1: i128):
 ;   sub a4,a3,a5
 ;   sll a3,a0,a5
 ;   srl s7,a1,a4
-;   select s9,zero,s7##condition=(a5 eq zero)
+;   select s9,s7,zero##condition=(a5 ne zero)
 ;   or a3,a3,s9
 ;   sll a1,a1,a5
 ;   srl a4,a0,a4
-;   select a5,zero,a4##condition=(a5 eq zero)
+;   select a5,a4,zero##condition=(a5 ne zero)
 ;   or a5,a1,a5
 ;   li a4,64
 ;   andi a2,a2,127
@@ -54,17 +54,17 @@ block0(v0: i128, v1: i128):
 ;   sub a4, a3, a5
 ;   sll a3, a0, a5
 ;   srl s7, a1, a4
-;   bnez a5, 0xc
-;   mv s9, zero
-;   j 8
+;   beqz a5, 0xc
 ;   mv s9, s7
+;   j 8
+;   mv s9, zero
 ;   or a3, a3, s9
 ;   sll a1, a1, a5
 ;   srl a4, a0, a4
-;   bnez a5, 0xc
-;   mv a5, zero
-;   j 8
+;   beqz a5, 0xc
 ;   mv a5, a4
+;   j 8
+;   mv a5, zero
 ;   or a5, a1, a5
 ;   addi a4, zero, 0x40
 ;   andi a2, a2, 0x7f
@@ -95,7 +95,7 @@ block0(v0: i64, v1: i64):
 ;   sub a1,a5,a3
 ;   sll a4,a0,a3
 ;   srl a5,a0,a1
-;   select a1,zero,a5##condition=(a3 eq zero)
+;   select a1,a5,zero##condition=(a3 ne zero)
 ;   or a0,a4,a1
 ;   ret
 ;
@@ -106,10 +106,10 @@ block0(v0: i64, v1: i64):
 ;   sub a1, a5, a3
 ;   sll a4, a0, a3
 ;   srl a5, a0, a1
-;   bnez a3, 0xc
-;   mv a1, zero
-;   j 8
+;   beqz a3, 0xc
 ;   mv a1, a5
+;   j 8
+;   mv a1, zero
 ;   or a0, a4, a1
 ;   ret
 
@@ -128,7 +128,7 @@ block0(v0: i32, v1: i32):
 ;   sub a0,a3,a1
 ;   sll a2,a5,a1
 ;   srl a3,a5,a0
-;   select a5,zero,a3##condition=(a1 eq zero)
+;   select a5,a3,zero##condition=(a1 ne zero)
 ;   or a0,a2,a5
 ;   ret
 ;
@@ -141,10 +141,10 @@ block0(v0: i32, v1: i32):
 ;   sub a0, a3, a1
 ;   sll a2, a5, a1
 ;   srl a3, a5, a0
-;   bnez a1, 0xc
-;   mv a5, zero
-;   j 8
+;   beqz a1, 0xc
 ;   mv a5, a3
+;   j 8
+;   mv a5, zero
 ;   or a0, a2, a5
 ;   ret
 
@@ -163,7 +163,7 @@ block0(v0: i16, v1: i16):
 ;   sub a0,a3,a1
 ;   sll a2,a5,a1
 ;   srl a3,a5,a0
-;   select a5,zero,a3##condition=(a1 eq zero)
+;   select a5,a3,zero##condition=(a1 ne zero)
 ;   or a0,a2,a5
 ;   ret
 ;
@@ -176,10 +176,10 @@ block0(v0: i16, v1: i16):
 ;   sub a0, a3, a1
 ;   sll a2, a5, a1
 ;   srl a3, a5, a0
-;   bnez a1, 0xc
-;   mv a5, zero
-;   j 8
+;   beqz a1, 0xc
 ;   mv a5, a3
+;   j 8
+;   mv a5, zero
 ;   or a0, a2, a5
 ;   ret
 
@@ -197,7 +197,7 @@ block0(v0: i8, v1: i8):
 ;   sub a4,a1,a5
 ;   sll a0,a3,a5
 ;   srl a1,a3,a4
-;   select a3,zero,a1##condition=(a5 eq zero)
+;   select a3,a1,zero##condition=(a5 ne zero)
 ;   or a0,a0,a3
 ;   ret
 ;
@@ -209,10 +209,10 @@ block0(v0: i8, v1: i8):
 ;   sub a4, a1, a5
 ;   sll a0, a3, a5
 ;   srl a1, a3, a4
-;   bnez a5, 0xc
-;   mv a3, zero
-;   j 8
+;   beqz a5, 0xc
 ;   mv a3, a1
+;   j 8
+;   mv a3, zero
 ;   or a0, a0, a3
 ;   ret
 
@@ -231,7 +231,7 @@ block0(v0: i64):
 ;   sub a1,a5,a3
 ;   sll a4,a0,a3
 ;   srl a5,a0,a1
-;   select a1,zero,a5##condition=(a3 eq zero)
+;   select a1,a5,zero##condition=(a3 ne zero)
 ;   or a0,a4,a1
 ;   ret
 ;
@@ -243,10 +243,10 @@ block0(v0: i64):
 ;   sub a1, a5, a3
 ;   sll a4, a0, a3
 ;   srl a5, a0, a1
-;   bnez a3, 0xc
-;   mv a1, zero
-;   j 8
+;   beqz a3, 0xc
 ;   mv a1, a5
+;   j 8
+;   mv a1, zero
 ;   or a0, a4, a1
 ;   ret
 
@@ -267,7 +267,7 @@ block0(v0: i32):
 ;   sub a0,a3,a1
 ;   sll a2,a5,a1
 ;   srl a3,a5,a0
-;   select a5,zero,a3##condition=(a1 eq zero)
+;   select a5,a3,zero##condition=(a1 ne zero)
 ;   or a0,a2,a5
 ;   ret
 ;
@@ -281,10 +281,10 @@ block0(v0: i32):
 ;   sub a0, a3, a1
 ;   sll a2, a5, a1
 ;   srl a3, a5, a0
-;   bnez a1, 0xc
-;   mv a5, zero
-;   j 8
+;   beqz a1, 0xc
 ;   mv a5, a3
+;   j 8
+;   mv a5, zero
 ;   or a0, a2, a5
 ;   ret
 
@@ -305,7 +305,7 @@ block0(v0: i16):
 ;   sub a0,a3,a1
 ;   sll a2,a5,a1
 ;   srl a3,a5,a0
-;   select a5,zero,a3##condition=(a1 eq zero)
+;   select a5,a3,zero##condition=(a1 ne zero)
 ;   or a0,a2,a5
 ;   ret
 ;
@@ -319,10 +319,10 @@ block0(v0: i16):
 ;   sub a0, a3, a1
 ;   sll a2, a5, a1
 ;   srl a3, a5, a0
-;   bnez a1, 0xc
-;   mv a5, zero
-;   j 8
+;   beqz a1, 0xc
 ;   mv a5, a3
+;   j 8
+;   mv a5, zero
 ;   or a0, a2, a5
 ;   ret
 
@@ -342,7 +342,7 @@ block0(v0: i8):
 ;   sub a4,a1,a5
 ;   sll a0,a3,a5
 ;   srl a1,a3,a4
-;   select a3,zero,a1##condition=(a5 eq zero)
+;   select a3,a1,zero##condition=(a5 ne zero)
 ;   or a0,a0,a3
 ;   ret
 ;
@@ -355,10 +355,10 @@ block0(v0: i8):
 ;   sub a4, a1, a5
 ;   sll a0, a3, a5
 ;   srl a1, a3, a4
-;   bnez a5, 0xc
-;   mv a3, zero
-;   j 8
+;   beqz a5, 0xc
 ;   mv a3, a1
+;   j 8
+;   mv a3, zero
 ;   or a0, a0, a3
 ;   ret
 
diff --git a/cranelift/filetests/filetests/isa/riscv64/rotr.clif b/cranelift/filetests/filetests/isa/riscv64/rotr.clif
index fe1e91863021..f824ee4ac05d 100644
--- a/cranelift/filetests/filetests/isa/riscv64/rotr.clif
+++ b/cranelift/filetests/filetests/isa/riscv64/rotr.clif
@@ -22,11 +22,11 @@ block0(v0: i128, v1: i128):
 ;   sub a4,a3,a5
 ;   srl a3,a0,a5
 ;   sll s7,a1,a4
-;   select s9,zero,s7##condition=(a5 eq zero)
+;   select s9,s7,zero##condition=(a5 ne zero)
 ;   or a3,a3,s9
 ;   srl a1,a1,a5
 ;   sll a4,a0,a4
-;   select a5,zero,a4##condition=(a5 eq zero)
+;   select a5,a4,zero##condition=(a5 ne zero)
 ;   or a5,a1,a5
 ;   li a4,64
 ;   andi a2,a2,127
@@ -54,17 +54,17 @@ block0(v0: i128, v1: i128):
 ;   sub a4, a3, a5
 ;   srl a3, a0, a5
 ;   sll s7, a1, a4
-;   bnez a5, 0xc
-;   mv s9, zero
-;   j 8
+;   beqz a5, 0xc
 ;   mv s9, s7
+;   j 8
+;   mv s9, zero
 ;   or a3, a3, s9
 ;   srl a1, a1, a5
 ;   sll a4, a0, a4
-;   bnez a5, 0xc
-;   mv a5, zero
-;   j 8
+;   beqz a5, 0xc
 ;   mv a5, a4
+;   j 8
+;   mv a5, zero
 ;   or a5, a1, a5
 ;   addi a4, zero, 0x40
 ;   andi a2, a2, 0x7f
@@ -95,7 +95,7 @@ block0(v0: i64, v1: i64):
 ;   sub a1,a5,a3
 ;   srl a4,a0,a3
 ;   sll a5,a0,a1
-;   select a1,zero,a5##condition=(a3 eq zero)
+;   select a1,a5,zero##condition=(a3 ne zero)
 ;   or a0,a4,a1
 ;   ret
 ;
@@ -106,10 +106,10 @@ block0(v0: i64, v1: i64):
 ;   sub a1, a5, a3
 ;   srl a4, a0, a3
 ;   sll a5, a0, a1
-;   bnez a3, 0xc
-;   mv a1, zero
-;   j 8
+;   beqz a3, 0xc
 ;   mv a1, a5
+;   j 8
+;   mv a1, zero
 ;   or a0, a4, a1
 ;   ret
 
@@ -128,7 +128,7 @@ block0(v0: i32, v1: i32):
 ;   sub a0,a3,a1
 ;   srl a2,a5,a1
 ;   sll a3,a5,a0
-;   select a5,zero,a3##condition=(a1 eq zero)
+;   select a5,a3,zero##condition=(a1 ne zero)
 ;   or a0,a2,a5
 ;   ret
 ;
@@ -141,10 +141,10 @@ block0(v0: i32, v1: i32):
 ;   sub a0, a3, a1
 ;   srl a2, a5, a1
 ;   sll a3, a5, a0
-;   bnez a1, 0xc
-;   mv a5, zero
-;   j 8
+;   beqz a1, 0xc
 ;   mv a5, a3
+;   j 8
+;   mv a5, zero
 ;   or a0, a2, a5
 ;   ret
 
@@ -163,7 +163,7 @@ block0(v0: i16, v1: i16):
 ;   sub a0,a3,a1
 ;   srl a2,a5,a1
 ;   sll a3,a5,a0
-;   select a5,zero,a3##condition=(a1 eq zero)
+;   select a5,a3,zero##condition=(a1 ne zero)
 ;   or a0,a2,a5
 ;   ret
 ;
@@ -176,10 +176,10 @@ block0(v0: i16, v1: i16):
 ;   sub a0, a3, a1
 ;   srl a2, a5, a1
 ;   sll a3, a5, a0
-;   bnez a1, 0xc
-;   mv a5, zero
-;   j 8
+;   beqz a1, 0xc
 ;   mv a5, a3
+;   j 8
+;   mv a5, zero
 ;   or a0, a2, a5
 ;   ret
 
@@ -197,7 +197,7 @@ block0(v0: i8, v1: i8):
 ;   sub a4,a1,a5
 ;   srl a0,a3,a5
 ;   sll a1,a3,a4
-;   select a3,zero,a1##condition=(a5 eq zero)
+;   select a3,a1,zero##condition=(a5 ne zero)
 ;   or a0,a0,a3
 ;   ret
 ;
@@ -209,10 +209,10 @@ block0(v0: i8, v1: i8):
 ;   sub a4, a1, a5
 ;   srl a0, a3, a5
 ;   sll a1, a3, a4
-;   bnez a5, 0xc
-;   mv a3, zero
-;   j 8
+;   beqz a5, 0xc
 ;   mv a3, a1
+;   j 8
+;   mv a3, zero
 ;   or a0, a0, a3
 ;   ret
 
@@ -231,7 +231,7 @@ block0(v0: i64):
 ;   sub a1,a5,a3
 ;   srl a4,a0,a3
 ;   sll a5,a0,a1
-;   select a1,zero,a5##condition=(a3 eq zero)
+;   select a1,a5,zero##condition=(a3 ne zero)
 ;   or a0,a4,a1
 ;   ret
 ;
@@ -243,10 +243,10 @@ block0(v0: i64):
 ;   sub a1, a5, a3
 ;   srl a4, a0, a3
 ;   sll a5, a0, a1
-;   bnez a3, 0xc
-;   mv a1, zero
-;   j 8
+;   beqz a3, 0xc
 ;   mv a1, a5
+;   j 8
+;   mv a1, zero
 ;   or a0, a4, a1
 ;   ret
 
diff --git a/cranelift/filetests/filetests/isa/riscv64/sshr-const.clif b/cranelift/filetests/filetests/isa/riscv64/sshr-const.clif
index 2454c2269e92..92680b1cb135 100644
--- a/cranelift/filetests/filetests/isa/riscv64/sshr-const.clif
+++ b/cranelift/filetests/filetests/isa/riscv64/sshr-const.clif
@@ -401,7 +401,7 @@ block0(v0: i128):
 ;   li a3,64
 ;   sub a3,a3,a4
 ;   sll a5,a1,a3
-;   select a3,zero,a5##condition=(a4 eq zero)
+;   select a3,a5,zero##condition=(a4 ne zero)
 ;   srl a5,a0,a4
 ;   or a5,a3,a5
 ;   li a0,64
@@ -420,10 +420,10 @@ block0(v0: i128):
 ;   addi a3, zero, 0x40
 ;   sub a3, a3, a4
 ;   sll a5, a1, a3
-;   bnez a4, 0xc
-;   mv a3, zero
-;   j 8
+;   beqz a4, 0xc
 ;   mv a3, a5
+;   j 8
+;   mv a3, zero
 ;   srl a5, a0, a4
 ;   or a5, a3, a5
 ;   addi a0, zero, 0x40
@@ -457,7 +457,7 @@ block0(v0: i128):
 ;   li a3,64
 ;   sub a3,a3,a4
 ;   sll a5,a1,a3
-;   select a3,zero,a5##condition=(a4 eq zero)
+;   select a3,a5,zero##condition=(a4 ne zero)
 ;   srl a5,a0,a4
 ;   or a5,a3,a5
 ;   li a0,64
@@ -476,10 +476,10 @@ block0(v0: i128):
 ;   addi a3, zero, 0x40
 ;   sub a3, a3, a4
 ;   sll a5, a1, a3
-;   bnez a4, 0xc
-;   mv a3, zero
-;   j 8
+;   beqz a4, 0xc
 ;   mv a3, a5
+;   j 8
+;   mv a3, zero
 ;   srl a5, a0, a4
 ;   or a5, a3, a5
 ;   addi a0, zero, 0x40
@@ -513,7 +513,7 @@ block0(v0: i128):
 ;   li a3,64
 ;   sub a3,a3,a4
 ;   sll a5,a1,a3
-;   select a3,zero,a5##condition=(a4 eq zero)
+;   select a3,a5,zero##condition=(a4 ne zero)
 ;   srl a5,a0,a4
 ;   or a5,a3,a5
 ;   li a0,64
@@ -532,10 +532,10 @@ block0(v0: i128):
 ;   addi a3, zero, 0x40
 ;   sub a3, a3, a4
 ;   sll a5, a1, a3
-;   bnez a4, 0xc
-;   mv a3, zero
-;   j 8
+;   beqz a4, 0xc
 ;   mv a3, a5
+;   j 8
+;   mv a3, zero
 ;   srl a5, a0, a4
 ;   or a5, a3, a5
 ;   addi a0, zero, 0x40
@@ -569,7 +569,7 @@ block0(v0: i128):
 ;   li a3,64
 ;   sub a3,a3,a4
 ;   sll a5,a1,a3
-;   select a3,zero,a5##condition=(a4 eq zero)
+;   select a3,a5,zero##condition=(a4 ne zero)
 ;   srl a5,a0,a4
 ;   or a5,a3,a5
 ;   li a0,64
@@ -588,10 +588,10 @@ block0(v0: i128):
 ;   addi a3, zero, 0x40
 ;   sub a3, a3, a4
 ;   sll a5, a1, a3
-;   bnez a4, 0xc
-;   mv a3, zero
-;   j 8
+;   beqz a4, 0xc
 ;   mv a3, a5
+;   j 8
+;   mv a3, zero
 ;   srl a5, a0, a4
 ;   or a5, a3, a5
 ;   addi a0, zero, 0x40
@@ -633,7 +633,7 @@ block0(v0: i128):
 ;   li a3,64
 ;   sub a3,a3,a5
 ;   sll a3,a1,a3
-;   select a3,zero,a3##condition=(a5 eq zero)
+;   select a3,a3,zero##condition=(a5 ne zero)
 ;   srl a4,a0,a5
 ;   or s11,a3,a4
 ;   li a3,64
diff --git a/cranelift/filetests/filetests/isa/riscv64/sshr.clif b/cranelift/filetests/filetests/isa/riscv64/sshr.clif
index 3e3adc5aa132..9c6ed4f7f662 100644
--- a/cranelift/filetests/filetests/isa/riscv64/sshr.clif
+++ b/cranelift/filetests/filetests/isa/riscv64/sshr.clif
@@ -395,7 +395,7 @@ block0(v0: i128, v1: i8):
 ;   li a3,64
 ;   sub a3,a3,a4
 ;   sll a5,a1,a3
-;   select a3,zero,a5##condition=(a4 eq zero)
+;   select a3,a5,zero##condition=(a4 ne zero)
 ;   srl a5,a0,a4
 ;   or a5,a3,a5
 ;   li a0,64
@@ -413,10 +413,10 @@ block0(v0: i128, v1: i8):
 ;   addi a3, zero, 0x40
 ;   sub a3, a3, a4
 ;   sll a5, a1, a3
-;   bnez a4, 0xc
-;   mv a3, zero
-;   j 8
+;   beqz a4, 0xc
 ;   mv a3, a5
+;   j 8
+;   mv a3, zero
 ;   srl a5, a0, a4
 ;   or a5, a3, a5
 ;   addi a0, zero, 0x40
@@ -448,7 +448,7 @@ block0(v0: i128, v1: i16):
 ;   li a3,64
 ;   sub a3,a3,a4
 ;   sll a5,a1,a3
-;   select a3,zero,a5##condition=(a4 eq zero)
+;   select a3,a5,zero##condition=(a4 ne zero)
 ;   srl a5,a0,a4
 ;   or a5,a3,a5
 ;   li a0,64
@@ -466,10 +466,10 @@ block0(v0: i128, v1: i16):
 ;   addi a3, zero, 0x40
 ;   sub a3, a3, a4
 ;   sll a5, a1, a3
-;   bnez a4, 0xc
-;   mv a3, zero
-;   j 8
+;   beqz a4, 0xc
 ;   mv a3, a5
+;   j 8
+;   mv a3, zero
 ;   srl a5, a0, a4
 ;   or a5, a3, a5
 ;   addi a0, zero, 0x40
@@ -501,7 +501,7 @@ block0(v0: i128, v1: i32):
 ;   li a3,64
 ;   sub a3,a3,a4
 ;   sll a5,a1,a3
-;   select a3,zero,a5##condition=(a4 eq zero)
+;   select a3,a5,zero##condition=(a4 ne zero)
 ;   srl a5,a0,a4
 ;   or a5,a3,a5
 ;   li a0,64
@@ -519,10 +519,10 @@ block0(v0: i128, v1: i32):
 ;   addi a3, zero, 0x40
 ;   sub a3, a3, a4
 ;   sll a5, a1, a3
-;   bnez a4, 0xc
-;   mv a3, zero
-;   j 8
+;   beqz a4, 0xc
 ;   mv a3, a5
+;   j 8
+;   mv a3, zero
 ;   srl a5, a0, a4
 ;   or a5, a3, a5
 ;   addi a0, zero, 0x40
@@ -554,7 +554,7 @@ block0(v0: i128, v1: i64):
 ;   li a3,64
 ;   sub a3,a3,a4
 ;   sll a5,a1,a3
-;   select a3,zero,a5##condition=(a4 eq zero)
+;   select a3,a5,zero##condition=(a4 ne zero)
 ;   srl a5,a0,a4
 ;   or a5,a3,a5
 ;   li a0,64
@@ -572,10 +572,10 @@ block0(v0: i128, v1: i64):
 ;   addi a3, zero, 0x40
 ;   sub a3, a3, a4
 ;   sll a5, a1, a3
-;   bnez a4, 0xc
-;   mv a3, zero
-;   j 8
+;   beqz a4, 0xc
 ;   mv a3, a5
+;   j 8
+;   mv a3, zero
 ;   srl a5, a0, a4
 ;   or a5, a3, a5
 ;   addi a0, zero, 0x40
@@ -613,7 +613,7 @@ block0(v0: i128, v1: i128):
 ;   li a3,64
 ;   sub a3,a3,a5
 ;   sll a3,a1,a3
-;   select a3,zero,a3##condition=(a5 eq zero)
+;   select a3,a3,zero##condition=(a5 ne zero)
 ;   srl a4,a0,a5
 ;   or s11,a3,a4
 ;   li a3,64
diff --git a/cranelift/filetests/filetests/isa/riscv64/ushr-const.clif b/cranelift/filetests/filetests/isa/riscv64/ushr-const.clif
index 2aac469d8d7b..eabd41c9f0cb 100644
--- a/cranelift/filetests/filetests/isa/riscv64/ushr-const.clif
+++ b/cranelift/filetests/filetests/isa/riscv64/ushr-const.clif
@@ -391,7 +391,7 @@ block0(v0: i128):
 ;   li a2,64
 ;   sub a2,a2,a4
 ;   sll a5,a1,a2
-;   select a2,zero,a5##condition=(a4 eq zero)
+;   select a2,a5,zero##condition=(a4 ne zero)
 ;   srl a5,a0,a4
 ;   or a5,a2,a5
 ;   li t0,64
@@ -407,10 +407,10 @@ block0(v0: i128):
 ;   addi a2, zero, 0x40
 ;   sub a2, a2, a4
 ;   sll a5, a1, a2
-;   bnez a4, 0xc
-;   mv a2, zero
-;   j 8
+;   beqz a4, 0xc
 ;   mv a2, a5
+;   j 8
+;   mv a2, zero
 ;   srl a5, a0, a4
 ;   or a5, a2, a5
 ;   addi t0, zero, 0x40
@@ -438,7 +438,7 @@ block0(v0: i128):
 ;   li a2,64
 ;   sub a2,a2,a4
 ;   sll a5,a1,a2
-;   select a2,zero,a5##condition=(a4 eq zero)
+;   select a2,a5,zero##condition=(a4 ne zero)
 ;   srl a5,a0,a4
 ;   or a5,a2,a5
 ;   li t0,64
@@ -454,10 +454,10 @@ block0(v0: i128):
 ;   addi a2, zero, 0x40
 ;   sub a2, a2, a4
 ;   sll a5, a1, a2
-;   bnez a4, 0xc
-;   mv a2, zero
-;   j 8
+;   beqz a4, 0xc
 ;   mv a2, a5
+;   j 8
+;   mv a2, zero
 ;   srl a5, a0, a4
 ;   or a5, a2, a5
 ;   addi t0, zero, 0x40
@@ -485,7 +485,7 @@ block0(v0: i128):
 ;   li a2,64
 ;   sub a2,a2,a4
 ;   sll a5,a1,a2
-;   select a2,zero,a5##condition=(a4 eq zero)
+;   select a2,a5,zero##condition=(a4 ne zero)
 ;   srl a5,a0,a4
 ;   or a5,a2,a5
 ;   li t0,64
@@ -501,10 +501,10 @@ block0(v0: i128):
 ;   addi a2, zero, 0x40
 ;   sub a2, a2, a4
 ;   sll a5, a1, a2
-;   bnez a4, 0xc
-;   mv a2, zero
-;   j 8
+;   beqz a4, 0xc
 ;   mv a2, a5
+;   j 8
+;   mv a2, zero
 ;   srl a5, a0, a4
 ;   or a5, a2, a5
 ;   addi t0, zero, 0x40
@@ -532,7 +532,7 @@ block0(v0: i128):
 ;   li a2,64
 ;   sub a2,a2,a4
 ;   sll a5,a1,a2
-;   select a2,zero,a5##condition=(a4 eq zero)
+;   select a2,a5,zero##condition=(a4 ne zero)
 ;   srl a5,a0,a4
 ;   or a5,a2,a5
 ;   li t0,64
@@ -548,10 +548,10 @@ block0(v0: i128):
 ;   addi a2, zero, 0x40
 ;   sub a2, a2, a4
 ;   sll a5, a1, a2
-;   bnez a4, 0xc
-;   mv a2, zero
-;   j 8
+;   beqz a4, 0xc
 ;   mv a2, a5
+;   j 8
+;   mv a2, zero
 ;   srl a5, a0, a4
 ;   or a5, a2, a5
 ;   addi t0, zero, 0x40
@@ -587,7 +587,7 @@ block0(v0: i128):
 ;   li a2,64
 ;   sub a3,a2,a5
 ;   sll a2,a1,a3
-;   select a2,zero,a2##condition=(a5 eq zero)
+;   select a2,a2,zero##condition=(a5 ne zero)
 ;   srl a3,a0,a5
 ;   or s11,a2,a3
 ;   li a2,64
diff --git a/cranelift/filetests/filetests/isa/riscv64/ushr.clif b/cranelift/filetests/filetests/isa/riscv64/ushr.clif
index 8e991c4625e4..81eb01a11ce7 100644
--- a/cranelift/filetests/filetests/isa/riscv64/ushr.clif
+++ b/cranelift/filetests/filetests/isa/riscv64/ushr.clif
@@ -385,7 +385,7 @@ block0(v0: i128, v1: i8):
 ;   li a3,64
 ;   sub a3,a3,a4
 ;   sll a5,a1,a3
-;   select a3,zero,a5##condition=(a4 eq zero)
+;   select a3,a5,zero##condition=(a4 ne zero)
 ;   srl a5,a0,a4
 ;   or a5,a3,a5
 ;   li t0,64
@@ -400,10 +400,10 @@ block0(v0: i128, v1: i8):
 ;   addi a3, zero, 0x40
 ;   sub a3, a3, a4
 ;   sll a5, a1, a3
-;   bnez a4, 0xc
-;   mv a3, zero
-;   j 8
+;   beqz a4, 0xc
 ;   mv a3, a5
+;   j 8
+;   mv a3, zero
 ;   srl a5, a0, a4
 ;   or a5, a3, a5
 ;   addi t0, zero, 0x40
@@ -429,7 +429,7 @@ block0(v0: i128, v1: i16):
 ;   li a3,64
 ;   sub a3,a3,a4
 ;   sll a5,a1,a3
-;   select a3,zero,a5##condition=(a4 eq zero)
+;   select a3,a5,zero##condition=(a4 ne zero)
 ;   srl a5,a0,a4
 ;   or a5,a3,a5
 ;   li t0,64
@@ -444,10 +444,10 @@ block0(v0: i128, v1: i16):
 ;   addi a3, zero, 0x40
 ;   sub a3, a3, a4
 ;   sll a5, a1, a3
-;   bnez a4, 0xc
-;   mv a3, zero
-;   j 8
+;   beqz a4, 0xc
 ;   mv a3, a5
+;   j 8
+;   mv a3, zero
 ;   srl a5, a0, a4
 ;   or a5, a3, a5
 ;   addi t0, zero, 0x40
@@ -473,7 +473,7 @@ block0(v0: i128, v1: i32):
 ;   li a3,64
 ;   sub a3,a3,a4
 ;   sll a5,a1,a3
-;   select a3,zero,a5##condition=(a4 eq zero)
+;   select a3,a5,zero##condition=(a4 ne zero)
 ;   srl a5,a0,a4
 ;   or a5,a3,a5
 ;   li t0,64
@@ -488,10 +488,10 @@ block0(v0: i128, v1: i32):
 ;   addi a3, zero, 0x40
 ;   sub a3, a3, a4
 ;   sll a5, a1, a3
-;   bnez a4, 0xc
-;   mv a3, zero
-;   j 8
+;   beqz a4, 0xc
 ;   mv a3, a5
+;   j 8
+;   mv a3, zero
 ;   srl a5, a0, a4
 ;   or a5, a3, a5
 ;   addi t0, zero, 0x40
@@ -517,7 +517,7 @@ block0(v0: i128, v1: i64):
 ;   li a3,64
 ;   sub a3,a3,a4
 ;   sll a5,a1,a3
-;   select a3,zero,a5##condition=(a4 eq zero)
+;   select a3,a5,zero##condition=(a4 ne zero)
 ;   srl a5,a0,a4
 ;   or a5,a3,a5
 ;   li t0,64
@@ -532,10 +532,10 @@ block0(v0: i128, v1: i64):
 ;   addi a3, zero, 0x40
 ;   sub a3, a3, a4
 ;   sll a5, a1, a3
-;   bnez a4, 0xc
-;   mv a3, zero
-;   j 8
+;   beqz a4, 0xc
 ;   mv a3, a5
+;   j 8
+;   mv a3, zero
 ;   srl a5, a0, a4
 ;   or a5, a3, a5
 ;   addi t0, zero, 0x40
@@ -567,7 +567,7 @@ block0(v0: i128, v1: i128):
 ;   li a3,64
 ;   sub a3,a3,a5
 ;   sll a3,a1,a3
-;   select a3,zero,a3##condition=(a5 eq zero)
+;   select a3,a3,zero##condition=(a5 ne zero)
 ;   srl a4,a0,a5
 ;   or s11,a3,a4
 ;   li a3,64
diff --git a/cranelift/filetests/filetests/isa/riscv64/zicond.clif b/cranelift/filetests/filetests/isa/riscv64/zicond.clif
index 204986666092..3f58b70dd68b 100644
--- a/cranelift/filetests/filetests/isa/riscv64/zicond.clif
+++ b/cranelift/filetests/filetests/isa/riscv64/zicond.clif
@@ -104,15 +104,15 @@ block0(v0: i64, v1: i64, v2: i64):
 
 ; VCode:
 ; block0:
-;   czero.eqz a4,a1,a0
-;   czero.nez a0,a2,a0
+;   czero.nez a4,a1,a0
+;   czero.eqz a0,a2,a0
 ;   or a0,a4,a0
 ;   ret
 ;
 ; Disassembled:
 ; block0: ; offset 0x0
-;   .byte 0x33, 0xd7, 0xa5, 0x0e
-;   .byte 0x33, 0x75, 0xa6, 0x0e
+;   .byte 0x33, 0xf7, 0xa5, 0x0e
+;   .byte 0x33, 0x55, 0xa6, 0x0e
 ;   or a0, a4, a0
 ;   ret
 
@@ -126,15 +126,15 @@ block0(v0: i64, v1: i64, v2: i64):
 
 ; VCode:
 ; block0:
-;   czero.nez a4,a1,a0
-;   czero.eqz a0,a2,a0
+;   czero.eqz a4,a1,a0
+;   czero.nez a0,a2,a0
 ;   or a0,a4,a0
 ;   ret
 ;
 ; Disassembled:
 ; block0: ; offset 0x0
-;   .byte 0x33, 0xf7, 0xa5, 0x0e
-;   .byte 0x33, 0x55, 0xa6, 0x0e
+;   .byte 0x33, 0xd7, 0xa5, 0x0e
+;   .byte 0x33, 0x75, 0xa6, 0x0e
 ;   or a0, a4, a0
 ;   ret