Merge pull request #163 from palmer-dabbelt/long_equal

Fix bit_word_funs::neq() for wide nodes
ucb-bar · Mar 17, 2014 · a2388fe · a2388fe
2 parents 2b97ddf + 133e79c
commit a2388fe
Showing 1 changed file with 2 additions and 7 deletions.
diff --git a/src/main/resources/emulator.h b/src/main/resources/emulator.h
@@ -497,13 +497,8 @@ struct bit_word_funs {
     d[0] = 1;
   }
   static void neq (val_t d[], val_t s0[], val_t s1[]) {
-    for (int i = 0; i < nw; i++) {
-      if (s0[i] == s1[i]) {
-        d[0] = 1;
-        return;
-      }
-    }
-    d[0] = 0;
+    eq(d, s0, s1);
+    d[0] = !d[0];
   }
   static void rsha (val_t d[], val_t s0[], int amount, int w) {
     rsha_n(d, s0, amount, nw, w);