File content as of revision 6:9a905505f955:

//reference from
//https://www.hiramine.com/physicalcomputing/mbed/irreceiver.html
//http://elm-chan.org/docs/ir_format.html
#include "mbed.h"

//compatible
//http://akizukidenshi.com/catalog/g/gM-07245/

//{customer code 16bit,data 8bit data_n 8bit,none 1bit}
#define OPT_PWR     "000010001111011100011011111001001"
#define OPT_A       "000010001111011100011111111000001"
#define OPT_B       "000010001111011100011110111000011"
#define OPT_C       "000010001111011100011010111001011"
#define OPT_CENTRE  "000010001111011100000100111110111"
#define OPT_TOP     "000010001111011100000101111110101"
#define OPT_UNDER   "000010001111011100000000111111111"
#define OPT_LEFT    "000010001111011100001000111101111"
#define OPT_RIGHT   "000010001111011100000001111111101"

DigitalIn g_dpinIrReceiver(D2);
Serial g_serial(USBTX, USBRX);
DigitalOut myled(LED1);
DigitalOut ir_out(D3);

Timer timer;

int IR_transmitte(char tx_data[])
{
    //flame
    int t_start = timer.read_us();
    ir_out = 1;
    while( timer.read_us() - t_start < 625*16 );//16T
    t_start = timer.read_us();
    ir_out = 0;
    while( timer.read_us() - t_start < 625*8 );//8T

    //data
    for(int i=0; tx_data[i] != '\0'; i++ ) {
        t_start = timer.read_us();
        while( timer.read_us() - t_start < 625 )   ir_out = 1;
        t_start = timer.read_us();
        ir_out = 0;
        if( tx_data[i] == '1') {
            while( timer.read_us() - t_start < 625 );//1T
        } else {
            while( timer.read_us() - t_start < 625*3 );//3T
        }
    }
    return 0;
}

int IR_receive(char rx_data[])
{
    int iState_prev = 1;
    int data_en,t_negedge,t_posedge,t_delta;
    int busy = 0;

    while(busy == 0) {
        int iState = g_dpinIrReceiver;

        if(iState_prev == 1 && iState == 0) {//detect negedge
            t_negedge = timer.read_us();//start(detect negedge

            if(data_en == 1) {
                t_delta = t_negedge - t_posedge;
                data_en = 0;
                if(t_delta > 1750)    strcat(rx_data, "1");//625*2.8
                else                  strcat(rx_data, "0");

                if(strlen(rx_data) == 33)   busy = 1;
            }
        } else if(iState_prev == 0 && iState == 1) {//detect posedge
            t_posedge = timer.read_us();
            t_delta = t_posedge - t_negedge;//compare and output
            if(t_delta > 9875)  rx_data[0] = '0';//625*15.8, flame
            else  data_en = 1;
        }
        iState_prev = iState;
    }
    return busy;
}

int main()
{
    char rx_data[64] = "";
    char tx_data[64] = "";
    int busy = 0;
    int tx_delay;

    g_serial.baud(115200);
    timer.start();

    while(1) {
        if(busy == 1) {
            myled = 1;
            for(int i=0; i<tx_delay; i++) {
                wait_ms(1000);
            }
            //tx IR
            if(tx_data[0] != '\0')  IR_transmitte(tx_data);
            myled = 0;
            busy = 0;
        } else {
            busy = IR_receive(rx_data);
            if(busy == 1) {
                if (strcmp(rx_data,OPT_PWR) == 0) {
                    g_serial.printf("received=PWR\r\n");
                    tx_delay = 5;
                    tx_data[0] = '\0';
                    strcmp(tx_data,OPT_PWR);
                } else {
                    tx_delay = 0;
                    tx_data[0] = '\0';
                }
            }
        }
    }
}