int-ai.p4i

# 1 "int-ai.p4"
# 1 "<built-in>"
# 1 "<command-line>"
# 1 "/usr/include/stdc-predef.h" 1 3 4
# 1 "<command-line>" 2
# 1 "int-ai.p4"
header_type ethernet_t {
    fields{
        dstAddr:48;
        srcAddr:48;
        etherType:16;
    }
}

header ethernet_t ethernet;

header_type ipv4_t {
    fields{
        version:4;
        ihl:4;
        diffserv:8;
        totalLen:16;
        identification:16;
        flags:3;
        flagOffset:13;
        ttl:8;
        protocol:8;
        hdrChecksum:16;
        srcAddr:32;
        dstAddr:32;
    }
}

header ipv4_t ipv4;

header_type mri_t {
    fields{
        count:8;
        routeid:16;
        swid1:8;
        qtimedelta1:32;
        deqlen1:32;
        swid2:8;
        qtimedelta2:32;
        deqlen2:32;
        swid3:8;
        qtimedelta3:32;
        deqlen3:32;
        swid4:8;
        qtimedelta4:32;
        deqlen4:32;
        swid5:8;
        qtimedelta5:32;
        deqlen5:32;

    }
}

header mri_t mri;

header_type custom_metadata_t{
    fields{
        count:8;
        routeid:16;
        dstAddr:32;
        register_tmp:32;
    }
}

metadata custom_metadata_t meta;

header_type intrinsic_metadata_t{
    fields{
        ingress_global_timestamp:48;
        lf_field_list:8;
        mcast_grp:16;
        egress_rid:16;
        resubmit_flag:8;
        recirculate_flag:8;
    }
}

metadata intrinsic_metadata_t intrinsic_metadata;

header_type queueing_metadata_t{
    fields{
        enq_timestamp:48;
        enq_qdepth:16;
        deq_timedelta:32;
        deq_qdepth:16;
        qid:8;
    }
}

metadata queueing_metadata_t queueing_metadata;

field_list ipv4_checksum_list {
        ipv4.version;
        ipv4.ihl;
        ipv4.diffserv;
        ipv4.totalLen;
        ipv4.identification;
        ipv4.flags;
        ipv4.flagOffset;
        ipv4.ttl;
        ipv4.protocol;
        ipv4.srcAddr;
        ipv4.dstAddr;
}

field_list_calculation ipv4_checksum {
    input {
        ipv4_checksum_list;
    }
    algorithm : csum16;
    output_width : 16;
}

calculated_field ipv4.hdrChecksum {
    verify ipv4_checksum;
    update ipv4_checksum;
}

parser start{
    return parse_ethernet;
}



parser parse_ethernet{
    extract(ethernet);
    return select(latest.etherType){
        0x0800:no_mri;
        default:parse_mri;
    }
}

parser no_mri{
    set_metadata(meta.routeid,0);
    return parse_ipv4;
}

parser parse_mri{
    extract(mri);
    set_metadata(meta.routeid,1);
    return parse_ipv4;
}

parser parse_ipv4{
    extract(ipv4);
    return ingress;
}

action set_routeid(routeid){
    add_header(mri);
    modify_field(mri.routeid,routeid);
    modify_field(ethernet.etherType,0x0801);
}


table add_mri{
    reads{
        ipv4.dstAddr:lpm;
    }
    action_profile:set_routeid_profile;
    size:100;
}

action_profile set_routeid_profile{
    actions{
        set_routeid;
    }
    size:5;
    dynamic_action_selection:routeid_selector;
}

field_list routeid_hash_fields{
    ipv4.srcAddr;
    ipv4.dstAddr;
    ipv4.protocol;
}

field_list_calculation routeid_hash{
    input{
        routeid_hash_fields;
    }
    algorithm:crc16;
    output_width:16;
}

action_selector routeid_selector{
    selection_key:routeid_hash;
}

counter my_counter{
    type:packets;
    static:routeid_fwd;
    instance_count:1;
}

action my_drop(){
    drop();
}


table routeid_fwd{
    reads{
        mri.routeid:exact;
    }
    actions{
        ipv4_fwd;
        fwd2host;
        my_drop;
    }
}

action ipv4_fwd(port){
    modify_field(standard_metadata.egress_spec,port);
    modify_field(ipv4.ttl,ipv4.ttl-1);
    count(my_counter,0);
}

action fwd2host(dstAddr,port){
    modify_field(standard_metadata.egress_spec,port);
    modify_field(ethernet.dstAddr,dstAddr);
    modify_field(ethernet.etherType,0x0800);
    modify_field(ipv4.ttl,ipv4.ttl-1);
    count(my_counter,0);
}

field_list clone_filed{
    meta.dstAddr;
}

register my_register{
    width:32;
    static:check_register;
    instance_count:1;
}

table check_register{
    actions{
        checkregister;
    }
}

action checkregister(){
    register_read(meta.register_tmp,my_register,0);
    modify_field(meta.register_tmp,intrinsic_metadata.ingress_global_timestamp-meta.register_tmp);
}

table clone_to_controller{
    actions{
        c2c;
    }
}

action c2c(){
    modify_field(meta.dstAddr,ethernet.dstAddr);
    clone_i2e(1,clone_filed);
    register_write(my_register,0,intrinsic_metadata.ingress_global_timestamp);

}

control ingress{
    if(meta.routeid==0){
      apply(add_mri);
    }
    apply(routeid_fwd);
    if((mri.count==4)||(ethernet.etherType==0x800)){
      apply(check_register);
      if(meta.register_tmp>=1000000){
        apply(clone_to_controller);
      }
    }
}

control egress{
    if(mri.count>=4){
      apply(add_mri5);
}
    if(mri.count==3){
      apply(add_mri4);
}
    if(mri.count==2){
      apply(add_mri3);
}
    if(mri.count==1){
      apply(add_mri2);
}
    if(mri.count==0){
      apply(add_mri1);
}
    if((standard_metadata.instance_type==0) && (ethernet.etherType==0x800)){
      apply(remove_int_t);
}
    if(standard_metadata.instance_type==2){
      apply(mirror);
}
}

table mirror{
    actions{
        update_mri;
    }
}

action update_mri(){
    modify_field(ethernet.dstAddr,meta.dstAddr);
}

table remove_int_t{
    actions{
        remove_int;
    }
}

action remove_int(){
    remove_header(mri);
}

table add_mri1{
    actions{
        addmri1;
    }
}

action addmri1(swid){
    modify_field(mri.swid1,swid);
    modify_field(mri.qtimedelta1,queueing_metadata.deq_timedelta);
    modify_field(mri.deqlen1,queueing_metadata.deq_qdepth);
    add_to_field(mri.count,+1);
}

table add_mri2{
    actions{
        addmri2;
    }
}

action addmri2(swid){
    modify_field(mri.swid2,swid);
    modify_field(mri.qtimedelta2,queueing_metadata.deq_timedelta);
    modify_field(mri.deqlen2,queueing_metadata.deq_qdepth);
    add_to_field(mri.count,+1);
}

table add_mri3{
    actions{
        addmri3;
    }
}

action addmri3(swid){
    modify_field(mri.swid3,swid);
    modify_field(mri.qtimedelta3,queueing_metadata.deq_timedelta);
    modify_field(mri.deqlen3,queueing_metadata.deq_qdepth);
    add_to_field(mri.count,+1);
}

table add_mri4{
    actions{
        addmri4;
    }
}

action addmri4(swid){
    modify_field(mri.swid4,swid);
    modify_field(mri.qtimedelta4,queueing_metadata.deq_timedelta);
    modify_field(mri.deqlen4,queueing_metadata.deq_qdepth);
    add_to_field(mri.count,+1);
}

table add_mri5{
    actions{
        addmri5;
    }
}

action addmri5(swid){
    modify_field(mri.swid5,swid);
    modify_field(mri.qtimedelta5,queueing_metadata.deq_timedelta);
    modify_field(mri.deqlen5,queueing_metadata.deq_qdepth);
    add_to_field(mri.count,+1);
}