Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
72 lines (71 sloc) 1.98 KB
{
"shift_left" :
{
"num_args" : 3,
"args" : ["field", "value1", "value2"],
"properties" : {
"field" : {
"type" : ["field"],
"access" : "write"
},
"value1" : {
"type" : ["field", "int", "table_entry_data"],
"access" : "read",
"data_width" : "field"
},
"value2" : {
"type" : ["field", "int", "table_entry_data"],
"access" : "read",
"data_width" : "field"
}
}
},
"shift_right" :
{
"num_args" : 3,
"args" : ["field", "value1", "value2"],
"properties" : {
"field" : {
"type" : ["field"],
"access" : "write"
},
"value1" : {
"type" : ["field", "int", "table_entry_data"],
"access" : "read",
"data_width" : "field"
},
"value2" : {
"type" : ["field", "int", "table_entry_data"],
"access" : "read",
"data_width" : "field"
}
}
},
"exit" :
{
"num_args" : 0,
"args" : [],
"properties" : { }
},
"modify_field_rng_uniform" :
{
"num_args" : 3,
"args" : ["dst", "begin", "end"],
"properties" : {
"dst" : {
"type" : ["field"],
"access" : "write"
},
"begin" : {
"type" : ["field", "int", "table_entry_data"],
"access" : "read",
"data_width" : "dst"
},
"end" : {
"type" : ["field", "int", "table_entry_data"],
"access" : "read",
"data_width" : "dst"
}
}
}
}
You can’t perform that action at this time.