diff options
| author | Mike Pall <mike> | 2012-05-08 18:57:20 +0200 |
|---|---|---|
| committer | Mike Pall <mike> | 2012-05-08 18:59:51 +0200 |
| commit | 7d3954036ca7e58b48a3e72a4a814735b7138fdf (patch) | |
| tree | a03802cdcf39fd63b711c99dabdd3a4c129eac23 | |
| parent | 886a450a3d3b47ebffb2b21334b872ebedf1e3c8 (diff) | |
| download | luajit2-7d3954036ca7e58b48a3e72a4a814735b7138fdf.tar.gz | |
FFI: Don't record test for bool result of call, if ignored.
| -rw-r--r-- | src/lj_crecord.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/lj_crecord.c b/src/lj_crecord.c index 1b65c110..9b780212 100644 --- a/src/lj_crecord.c +++ b/src/lj_crecord.c @@ -902,7 +902,10 @@ static int crec_call(jit_State *J, RecordFFData *rd, GCcdata *cd) func = emitir(IRT(IR_CARG, IRT_NIL), func, lj_ir_kint(J, ctype_typeid(cts, ct))); tr = emitir(IRT(IR_CALLXS, t), crec_call_args(J, rd, cts, ct), func); + J->needsnap = 1; 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; @@ -920,7 +923,6 @@ static int crec_call(jit_State *J, RecordFFData *rd, GCcdata *cd) if (t == IRT_I64 || t == IRT_U64) lj_needsplit(J); } J->base[0] = tr; - J->needsnap = 1; return 1; } return 0; |