ethonion10/v86
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

optimise add; jc

Browse source
This commit is contained in:
Fabian 2022-11-04 20:14:58 -06:00
parent 60b555107f
commit f8cbf3b2bd
1 changed files with 15 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
src/rust/codegen.rs
View file

@ -1642,7 +1642,7 @@ pub fn gen_getzf(ctx: &mut JitContext, negate: ConditionNegate) {
ctx.builder.eqz_i32();
}
},
Instruction::Arithmetic { opsize, dest: _ } => {
Instruction::Arithmetic { opsize, .. } => {
let &opsize = opsize;
gen_profiler_stat_increment(ctx.builder, profiler::stat::CONDITION_OPTIMISED);
// Note: Necessary because test{8,16} don't mask their neither last_result nor any of their operands
@ -1699,7 +1699,6 @@ pub fn gen_getzf(ctx: &mut JitContext, negate: ConditionNegate) {
pub fn gen_getcf(ctx: &mut JitContext, negate: ConditionNegate) {
match &ctx.previous_instruction {
Instruction::Cmp { source, opsize, .. } | Instruction::Sub { source, opsize, .. } => {
// TODO: add
// Note: x < y and x < x - y can be used interchangeably (see getcf)
gen_profiler_stat_increment(ctx.builder, profiler::stat::CONDITION_OPTIMISED);
gen_get_last_op1(ctx.builder, &ctx.previous_instruction);
@ -1715,6 +1714,20 @@ pub fn gen_getcf(ctx: &mut JitContext, negate: ConditionNegate) {
ctx.builder.ltu_i32();
}
},
Instruction::Add { source, opsize, .. } => {
gen_get_last_result(ctx.builder, &ctx.previous_instruction);
match (opsize, source) {
(&OPSIZE_32, InstructionOperand::WasmLocal(l)) => ctx.builder.get_local(l),
(_, &InstructionOperand::Immediate(i)) => ctx.builder.const_i32(i),
_ => gen_get_last_op1(ctx.builder, &ctx.previous_instruction),
}
if negate == ConditionNegate::True {
ctx.builder.geu_i32();
}
else {
ctx.builder.ltu_i32();
}
},
_ => {
gen_profiler_stat_increment(ctx.builder, profiler::stat::CONDITION_UNOPTIMISED);
gen_getcf_unoptimised(ctx);