Branch: Tag:

2014-12-04

2014-12-04 19:27:19 by Per Hedbor <ph@opera.com>

Fixed F_ADD, also disabled the int+int optimization in it.

Most cases are already caught by the ADD_INTS opcode.
At least if people type their code.

Switched a few cmp(reg,PIKE_T_INT) to test(reg).

646:    modrm(3, reg1, reg2 );   }    + static void test_reg32_reg( enum amd64_reg reg1, enum amd64_reg reg2 ) + { +  rex(0,reg1,0,reg2); +  opcode(0x85); +  modrm(3, reg1, reg2 ); + } +    static void test_reg( enum amd64_reg reg1 )   {    test_reg_reg( reg1, reg1 );   }    -  + static void test_reg32( enum amd64_reg reg1 ) + { +  test_reg32_reg( reg1, reg1 ); + } +    static void cmp_reg_imm( enum amd64_reg reg, int imm32 )   {    rex(1, 0, 0, reg);
1927:    LABEL_B;    }    return; +  +  case F_ADD: +  { +  addr = f_add; +  update_arg1(2); +  amd64_call_c_opcode(addr, flags); +  amd64_load_sp_reg(); +  } +  return; +     case F_INC:    {    LABELS();    ins_debug_instr_prologue(b, 0, 0);    amd64_load_sp_reg();    mov_mem8_reg(sp_reg, -16, P_REG_RAX ); -  cmp_reg32_imm(P_REG_RAX, PIKE_T_INT); -  jne(&label_A); +  test_reg32(P_REG_RAX); +  jnz(&label_A);    add_imm_mem(1, sp_reg, -8);    jno(&label_B);    add_imm_mem(-1, sp_reg, -8);
1943:    LABEL_B;    }    return; - #if 0 -  case F_ADD: +  +  case F_DEC:    {    LABELS();    ins_debug_instr_prologue(b, 0, 0);    amd64_load_sp_reg(); -  mov_mem8_reg(sp_reg, -1*sizeof(struct svalue), P_REG_RAX ); -  mov_mem8_reg(sp_reg, -2*sizeof(struct svalue), P_REG_RBX ); -  add_reg_reg(P_REG_RAX,P_REG_RBX); -  test_reg(P_REG_RAX); /* int == 0 */ - #ifdef PIKE_DEBUG -  if( PIKE_T_INT ) -  Pike_fatal("Assertion failed\n"); - #endif +  mov_mem8_reg(sp_reg, -16, P_REG_RAX ); +  test_reg32(P_REG_RAX);    jnz(&label_A); -  amd64_add_sp(-1); -  mov_mem_reg(sp_reg, OFFSETOF(svalue,u.integer), -  P_REG_RAX ); -  add_reg_mem(P_REG_RAX, sp_reg, -  -1*sizeof(struct svalue)+OFFSETOF(svalue,u.integer)); +  add_imm_mem(-1, sp_reg, -8);    jno(&label_B); -  amd64_add_sp(1); -  sub_reg_mem(P_REG_RAX, sp_reg, -  -1*sizeof(struct svalue)+OFFSETOF(svalue,u.integer)); +  add_imm_mem(1, sp_reg, -8);    LABEL_A; -  addr = f_add; -  update_arg1(2); +     amd64_call_c_opcode(addr, flags);    LABEL_B;    }    return;    -  +     case F_SUBTRACT:    {    LABELS();
1983: Inside #if 0
   mov_mem8_reg(sp_reg, -1*sizeof(struct svalue), P_REG_RAX );    mov_mem8_reg(sp_reg, -2*sizeof(struct svalue), P_REG_RBX );    add_reg_reg(P_REG_RAX,P_REG_RBX); -  test_reg(P_REG_RAX); /* int == 0 */ +  test_reg32(P_REG_RAX); /* int == 0 */    jnz(&label_A);      #ifdef PIKE_DEBUG
2007: Inside #if 0
   LABEL_C;    }    return; - #endif -  case F_DEC: -  { -  LABELS(); -  ins_debug_instr_prologue(b, 0, 0); -  amd64_load_sp_reg(); -  mov_mem8_reg(sp_reg, -16, P_REG_RAX ); -  cmp_reg32_imm(P_REG_RAX, PIKE_T_INT); -  jne(&label_A); -  add_imm_mem(-1, sp_reg, -8); -  jno(&label_B); -  add_imm_mem(1, sp_reg, -8); -  LABEL_A; -  amd64_call_c_opcode(addr, flags); -  LABEL_B; -  } -  return; +     case F_UNDEFINED:    ins_debug_instr_prologue(b, 0, 0);    amd64_push_int(0, 1);
2204:    amd64_load_sp_reg();    amd64_add_sp( -1 );    mov_mem_reg( sp_reg, 8, P_REG_RAX ); -  test_reg(P_REG_RAX); +  test_reg32(P_REG_RAX);    if( op == F_QUICK_BRANCH_WHEN_ZERO )    return jz_imm_rel32(0);    return jnz_imm_rel32(0);
2244:    amd64_add_sp(-1);       LABEL_B; /* Branch or not? */ -  test_reg( P_REG_RBX ); +  test_reg32( P_REG_RBX );    if( op == F_BRANCH_WHEN_ZERO )    return jz_imm_rel32(0);    return jnz_imm_rel32(0);
2311:    LABEL_A;    mov_imm_reg( 0, P_REG_RBX );    LABEL_B; -  test_reg(P_REG_RBX); +  test_reg32(P_REG_RBX);    return jnz_imm_rel32(0);       case F_LOOP:
2608:       case F_ADD_NEG_INT:    b = -b; -  +     case F_ADD_INT:    {    LABELS();
3237:    /* done */    }    return; +     case F_PRIVATE_IF_DIRECT_GLOBAL:    {    LABELS();