Fix vmsge{u}.vx

Signed-off-by: Afonso Oliveira <[email protected]>

Author: AFOliveira

src/asm-manual.adoc

@@ -1091,8 +1091,6 @@ srli rd, rd, XLEN - 32
 |vmsgeu.vi vd, va, i, vm      | vmsgtu.vi vd, va, i-1, vm                                     | Vector >= Immediate, unsigned|
 |vmsge.vv vd, va, vb, vm      | vmsle.vv vd, vb, va, vm                                       | Vector >= Vector|
 |vmsgeu.vv vd, va, vb, vm     | vmsleu.vv vd, vb, va, vm                                      | Vector >= Vector, unsigned |
-|vmsge.vx vd, va, x, vm       | vmsle.vx vd, x, va, vm                                        | Vector >= scalar|
-|vmsgeu.vx vd, va, x, vm      | vmsleu.vx vd, x, va, vm                                       | Vector >= scalar, unsigned|
 |vmsgt.vv vd, va, vb, vm      | vmslt.vv vd, vb, va, vm                                       | Vector > Vector|
 |vmsgtu.vv vd, va, vb, vm     | vmsltu.vv vd, vb, va, vm                                      | Vector > Vector, unsigned|
 |vmslt.vi vd, va, i, vm       | vmsle.vi vd, va, i-1, vm                                      | Vector < immediate|
@@ -1107,8 +1105,37 @@ srli rd, rd, XLEN - 32
 |vl4r.v v4,x0                 | vl4re8.v v4, x0                                               | Equal to vl4re8.v |
 |vl8r.v v8,x0                 | vl8re8.v v8, x0                                               | Equal to vl8re8.v |
 
-
-
+|vmsge{u}.vx vd, va, x|
+ addi t0, x, -1 + 
+ vmsgt{u}.vx vd, va, t0, vm  
+| Vector >= scalar
+| When  x > minimum
+
+|vmsge{u}.vx vd, va, x        
+|vmslt{u}.vx vd, va, x +
+vmnand.mm vd, vd, vd
+| Vector >= scalar, unmasked
+| For any x
+
+| vmsge{u}.vx vd, va, x, v0.t
+| vmslt{u}.vx vd, va, x, v0.t +
+ vmxor.mm vd, vd, v0
+| Vector >= scalar, masked  
+| When vd≠v0
+
+| vmsge{u}.vx vd, va, x, v0.t, vt
+| vmslt{u}.vx vt, va, x +
+ vmandn.mm vd, vd, vt 
+| Vector >= scalar, masked
+| When vd=v0 
+
+|vmsge{u}.vx vd, va, x, v0.t, vt
+|vmslt{u}.vx vt, va, x +
+ vmandn.mm vt, v0, vt +
+ vmandn.mm vd, vd, v0 +
+ vmor.mm vd, vt, vd 
+| Vector >= scalar, masked  
+| For any vd 
 
 
 |call offset