Jelajahi Sumber

FFI: Fix recording of test for bool result of call.

Mike Pall 13 tahun lalu
induk
melakukan
6e5c872eb7
1 mengubah file dengan 10 tambahan dan 7 penghapusan
  1. 10 7
      src/lj_crecord.c

+ 10 - 7
src/lj_crecord.c

@@ -902,14 +902,16 @@ static int crec_call(jit_State *J, RecordFFData *rd, GCcdata *cd)
       func = emitir(IRT(IR_CARG, IRT_NIL), func,
       func = emitir(IRT(IR_CARG, IRT_NIL), func,
 		    lj_ir_kint(J, ctype_typeid(cts, ct)));
 		    lj_ir_kint(J, ctype_typeid(cts, ct)));
     tr = emitir(IRT(IR_CALLXS, t), crec_call_args(J, rd, cts, ct), func);
     tr = emitir(IRT(IR_CALLXS, t), crec_call_args(J, rd, cts, ct), func);
-    J->needsnap = 1;
     if (ctype_isbool(ctr->info)) {
     if (ctype_isbool(ctr->info)) {
-      if (frame_islua(J->L->base-1) && bc_b(frame_pc(J->L->base-1)[-1]) == 1)
-	return 1;  /* Don't check result if ignored. */
-      crec_snap_caller(J);
-      lj_ir_set(J, IRTGI(IR_NE), tr, lj_ir_kint(J, 0));
-      J->postproc = LJ_POST_FIXGUARDSNAP;
-      tr = TREF_TRUE;
+      if (frame_islua(J->L->base-1) && bc_b(frame_pc(J->L->base-1)[-1]) == 1) {
+	/* Don't check result if ignored. */
+	tr = TREF_NIL;
+      } else {
+	crec_snap_caller(J);
+	lj_ir_set(J, IRTGI(IR_NE), tr, lj_ir_kint(J, 0));
+	J->postproc = LJ_POST_FIXGUARDSNAP;
+	tr = TREF_TRUE;
+      }
     } else if (t == IRT_FLOAT || t == IRT_U32) {
     } else if (t == IRT_FLOAT || t == IRT_U32) {
       tr = emitconv(tr, IRT_NUM, t, 0);
       tr = emitconv(tr, IRT_NUM, t, 0);
     } else if (t == IRT_I8 || t == IRT_I16) {
     } else if (t == IRT_I8 || t == IRT_I16) {
@@ -923,6 +925,7 @@ static int crec_call(jit_State *J, RecordFFData *rd, GCcdata *cd)
       if (t == IRT_I64 || t == IRT_U64) lj_needsplit(J);
       if (t == IRT_I64 || t == IRT_U64) lj_needsplit(J);
     }
     }
     J->base[0] = tr;
     J->base[0] = tr;
+    J->needsnap = 1;
     return 1;
     return 1;
   }
   }
   return 0;
   return 0;