<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
        {font-family:"Cambria Math";
        panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
        {font-family:Consolas;
        panose-1:2 11 6 9 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0in;
        margin-bottom:.0001pt;
        font-size:11.0pt;
        font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:#0563C1;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-priority:99;
        color:#954F72;
        text-decoration:underline;}
p.msonormal0, li.msonormal0, div.msonormal0
        {mso-style-name:msonormal;
        mso-margin-top-alt:auto;
        margin-right:0in;
        mso-margin-bottom-alt:auto;
        margin-left:0in;
        font-size:12.0pt;
        font-family:"Times New Roman",serif;}
span.EmailStyle18
        {mso-style-type:personal;
        font-family:"Calibri",sans-serif;
        color:windowtext;}
span.EmailStyle19
        {mso-style-type:personal;
        font-family:"Calibri",sans-serif;
        color:#1F497D;}
span.EmailStyle20
        {mso-style-type:personal;
        font-family:"Calibri",sans-serif;
        color:windowtext;}
span.pl-k
        {mso-style-name:pl-k;}
span.pl-en
        {mso-style-name:pl-en;}
span.pl-c1
        {mso-style-name:pl-c1;}
span.EmailStyle24
        {mso-style-type:personal-reply;
        font-family:"Calibri",sans-serif;
        color:#1F497D;}
.MsoChpDefault
        {mso-style-type:export-only;
        font-size:10.0pt;}
@page WordSection1
        {size:8.5in 11.0in;
        margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
        {page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p class="MsoNormal"><span style="color:#1F497D">apply is the core method by which a visitor is applied to a rooted IR DAG.
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:#1F497D"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="color:#1F497D">newNode = node->apply(visitor)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:#1F497D"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="color:#1F497D">runs a visitor on the IR DAG starting at ‘node’ and produces an new IR DAG whose root is ‘newNode’<o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:#1F497D"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="color:#1F497D">In this example codeGen is an Inspector, which does not modify the IR tree, but produces as a side-effect a textual representation of the program in C.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:#1F497D"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="color:#1F497D">I will submit a PR which adds support for slices for some narrow data-types.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:#1F497D"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="color:#1F497D">Mihai<o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:#1F497D"><o:p> </o:p></span></p>
<div>
<div style="border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0in 0in 0in">
<p class="MsoNormal"><b>From:</b> hemant@mnkcg.com [mailto:hemant@mnkcg.com] <br>
<b>Sent:</b> Wednesday, August 30, 2017 2:03 AM<br>
<b>To:</b> Mihai Budiu <mbudiu@vmware.com>; 'p4-dev lists.p4.org' <p4-dev@lists.p4.org><br>
<b>Subject:</b> RE: [P4-dev] P4 Slice and EBPF backend<o:p></o:p></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><span style="font-size:12.0pt">I understand C does not support the P4 Slice.  In order to debug specific backend ebpf code below, I had used toString.  Also one’s goal may not be to output C.  As I said, I was merely using the ebpf backend
 as a simple backend to test the P4 Slice.  In ebpfControl.cpp, we have</span>  “<span class="pl-k"><span style="font-size:12.0pt;font-family:"Courier New";color:#D73A49;background:white">void</span></span><span style="font-size:12.0pt;font-family:"Courier New";color:#24292E;background:white">
</span><span class="pl-en"><span style="font-size:12.0pt;font-family:"Courier New";color:#6F42C1;background:white">EBPFControl::emit</span></span><span style="font-size:12.0pt;font-family:"Courier New";color:#24292E;background:white">(CodeBuilder* builder)</span><span style="font-size:9.0pt;font-family:Consolas;color:#24292E;background:white">”. 
</span><span style="font-size:12.0pt"><o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><span style="font-size:12.0pt">In this function there is this line of code:<o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#24292E;background:white">controlBlock->container->body-></span><span class="pl-c1"><span style="font-size:12.0pt;background:white">apply</span></span><span style="font-size:12.0pt;color:#24292E;background:white">(*codeGen);<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.0pt;font-family:Consolas;color:#24292E;background:white"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.0pt;font-family:Consolas;color:#24292E;background:white"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#24292E;background:white">The apply() refers to the Node and I wanted to see what is printed when the above code is used and saw interesting output.  I think we can Close the issue because my goal is
 not to port Slice from bmv2 to ebpf.  It’s what’s going on with the Node::apply() that I was more interested in.
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#24292E;background:white"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#24292E;background:white">Thanks,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#24292E;background:white"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#24292E;background:white">Hemant<o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<div>
<div style="border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0in 0in 0in">
<p class="MsoNormal"><b>From:</b> Mihai Budiu [<a href="mailto:mbudiu@vmware.com">mailto:mbudiu@vmware.com</a>]
<br>
<b>Sent:</b> Tuesday, August 29, 2017 8:33 PM<br>
<b>To:</b> <a href="mailto:hemant@mnkcg.com">hemant@mnkcg.com</a>; 'p4-dev lists.p4.org' <<a href="mailto:p4-dev@lists.p4.org">p4-dev@lists.p4.org</a>><br>
<b>Subject:</b> RE: [P4-dev] P4 Slice and EBPF backend<o:p></o:p></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><span style="color:#1F497D">Currently the ebpf back-end has no support for the slice operator.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:#1F497D">Using toString will not solve the problem, because C does not have a slice operator; one need to convert slices into shifts and masks.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:#1F497D">Since you have filed an issue with the compiler we will treat that as a bug report requesting this feature to be implemented.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:#1F497D"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="color:#1F497D">To handle slices on the left-hand side one could probably steal the corresponding pass from the bmv2 back-end.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:#1F497D"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="color:#1F497D">Please note that none of the arithmetic operators in the ebpf back-end work on values wider than 64 bits, so probably even the slice operator will share this restriction in a first implementation.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:#1F497D"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="color:#1F497D">Mihai<o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:#1F497D"><o:p> </o:p></span></p>
<div>
<div style="border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0in 0in 0in">
<p class="MsoNormal"><b>From:</b> P4-dev [<a href="mailto:p4-dev-bounces@lists.p4.org">mailto:p4-dev-bounces@lists.p4.org</a>]
<b>On Behalf Of </b><a href="mailto:hemant@mnkcg.com">hemant@mnkcg.com</a><br>
<b>Sent:</b> Saturday, August 26, 2017 4:46 PM<br>
<b>To:</b> 'p4-dev lists.p4.org' <<a href="mailto:p4-dev@lists.p4.org">p4-dev@lists.p4.org</a>><br>
<b>Subject:</b> [P4-dev] P4 Slice and EBPF backend<o:p></o:p></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black;background:white">I am using a modified EBPF backend to shoehorn P4 Slice code into this backend.  I have modified this file:</span><span style="font-size:12.0pt;font-family:"Courier New";color:black;background:white">
 “p4c/testdata/p4_16_samples/switch_ebpf.p4” </span><span style="font-size:12.0pt;color:black;background:white">as follows:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Courier New";color:black;background:white"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black;background:white">Added new struct below.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Courier New";color:black;background:white"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Courier New";color:black;background:white">struct Token</span><span style="font-size:12.0pt;font-family:"Courier New";color:black"><br id="yiv1894789752yui_3_16_0_ym19_1_1503786780985_10223">
<span style="background:white">{</span><br id="yiv1894789752yui_3_16_0_ym19_1_1503786780985_10224">
<span style="background:white">    bit<64>    data;</span><br id="yiv1894789752yui_3_16_0_ym19_1_1503786780985_10225">
<span style="background:white">};<o:p></o:p></span></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Courier New";color:black;background:white"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black;background:white">Added the new struct as member of Headers_t<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Courier New";color:black;background:white"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Courier New";color:black;background:white">struct Headers_t</span><span style="font-size:12.0pt;font-family:"Courier New";color:black"><br id="yiv6929292642yui_3_16_0_ym19_1_1503786780985_13671">
<span style="background:white">{</span><br id="yiv6929292642yui_3_16_0_ym19_1_1503786780985_13672">
<span style="background:white">    Ethernet_h ethernet;</span><br id="yiv6929292642yui_3_16_0_ym19_1_1503786780985_13673">
<span style="background:white">    IPv4_h     ipv4;</span><br id="yiv6929292642yui_3_16_0_ym19_1_1503786780985_13674">
<span style="background:white">    Token      token;</span><br id="yiv6929292642yui_3_16_0_ym19_1_1503786780985_13675">
<span style="background:white">}<o:p></o:p></span></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Courier New";color:black;background:white"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black;background:white">Added one line to the control below for use of token.data.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Courier New";color:black;background:white"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Courier New";color:black;background:white">control pipe(inout Headers_t headers, out bool pass)</span><span style="font-size:12.0pt;font-family:"Courier New";color:black"><br id="yiv6929292642yui_3_16_0_ym19_1_1503786780985_15306">
<span style="background:white">{</span><br id="yiv6929292642yui_3_16_0_ym19_1_1503786780985_15307">
<span style="background:white">    action Reject(IPv4Address add)</span><br id="yiv6929292642yui_3_16_0_ym19_1_1503786780985_15308">
<span style="background:white">    {</span><br id="yiv6929292642yui_3_16_0_ym19_1_1503786780985_15309">
<span style="background:white">        pass = false;</span><br id="yiv6929292642yui_3_16_0_ym19_1_1503786780985_15310">
<span style="background:white">        headers.ipv4.srcAddr = add;</span><br id="yiv6929292642yui_3_16_0_ym19_1_1503786780985_15311">
<span style="background:white">        <span style="background:yellow;mso-highlight:yellow">headers.token.data[63:32] = add;</span></span><br id="yiv6929292642yui_3_16_0_ym19_1_1503786780985_15312">
<span style="background:white">    }<o:p></o:p></span></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Courier New";color:black;background:white">…<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Courier New";color:black;background:white"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black">I have modified p4c/backends/ebpf/codeGen.h and .cpp.  The .cpp has added this function and thus the modification to the .h file is obvious.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Courier New";color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Courier New";color:black">bool CodeGenInspector::preorder(const IR::Slice* expression) {<br>
    int h = expression->getH();<br>
    int l = expression->getL();<br>
  <br>
    std::cout << expression->toString() << h << " " << l  << "\n";    <br>
    builder->append(expression->toString());<br>
    return true;<br>
}<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Courier New";color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black">When I use p4c-ebpf on switch_ebpf.p4, I see the printed output from code in the preorder Slice and the preorder AssigmentStatement functions showing correct text for this line of P4 code:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Courier New";color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Courier New";color:black;background:white">headers.token.data[63:32] = add;</span><span style="font-size:12.0pt;font-family:"Courier New";color:black"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Courier New";color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black">However, the output file from p4c-ebpf adds extra text after the sliced data.  The text is shown in highlight below.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Courier New";color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Courier New";color:black">headers.token.data[63:32]<span style="background:yellow;mso-highlight:yellow">headers.token.data6332</span> = value->u.Reject.add;     <o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Courier New";color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black">I am missing something related to adding support for P4 Slice in this backend.  I know the bmv2 supports Slice but I wanted to experiment with the LHS and RHS of a Slice statement in the backend. 
 Since EBPF is a simpler backend, I have used it with my modifications.  I see EBPF backend uses an Inspector for a visitor.  I think, to work with a Slice, we would need a Modifier visitor so that one could modify the LHS or RHS of the Slice statement with
 a text of one’s choice.  I don’t want to use multiple inheritance for codeGen with Inspector and Modifier.  
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black">Thanks,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black">Hemant<o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>