Like tests, pass the benchmarks if XLEN disagrees

diff --git a/benchmarks/common/crt.S b/benchmarks/common/crt.S
index 38b963dedb7dda0b787f433baf3e4fce3ae1616f..be03ebbdb3e6b9a54ea835225d8e89963b3bb1d7 100644 (file)
--- a/benchmarks/common/crt.S
+++ b/benchmarks/common/crt.S
@@ -55,14 +55,15 @@ _start:
   csrs mstatus, t0
 
   # make sure XLEN agrees with compilation choice
-  csrr t0, misa
+  li t0, 1
+  slli t0, t0, 31
 #if __riscv_xlen == 64
-  bltz t0, 1f
-#else
   bgez t0, 1f
+#else
+  bltz t0, 1f
 #endif
-  li a0, 1234
-  j tohost_exit
+  li a0, 1
+  sw a0, tohost, t0
 1:
 
 #ifdef __riscv_flen

diff --git a/env b/env
index 14cdc2888b1ad430c6f5c21b27ab8bd4ed13faab..3dc64058de56fbac3b793e20707739f0b985303c 160000 (submodule)
--- a/env
+++ b/env
@@ -1 +1 @@
-Subproject commit 14cdc2888b1ad430c6f5c21b27ab8bd4ed13faab
+Subproject commit 3dc64058de56fbac3b793e20707739f0b985303c