doc/design_docs/bit_shift/precedence.svg - third_party/github.com/google/emboss - Git at Google

 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
 <!-- Generated by graphviz version 2.43.0 (0)
  -->
 <!-- Title: %3 Pages: 1 -->
 <svg width="229pt" height="476pt"
  viewBox="0.00 0.00 228.50 476.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
 <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 472)">
 <title>%3</title>
 <polygon fill="white" stroke="transparent" points="-4,4 -4,-472 224.5,-472 224.5,4 -4,4"/>
 <!-- paren -->
 <g id="node1" class="node">
 <title>paren</title>
 <polygon fill="none" stroke="black" points="169,-468 41,-468 41,-432 169,-432 169,-468"/>
 <text text-anchor="middle" x="105" y="-446.3" font-family="Times,serif" font-size="14.00">() $max() $present()</text>
 </g>
 <!-- unary_plus -->
 <g id="node2" class="node">
 <title>unary_plus</title>
 <polygon fill="none" stroke="black" points="139,-396 71,-396 71,-360 139,-360 139,-396"/>
 <text text-anchor="middle" x="105" y="-374.3" font-family="Times,serif" font-size="14.00">unary + &#45;</text>
 </g>
 <!-- paren&#45;&gt;unary_plus -->
 <g id="edge1" class="edge">
 <title>paren&#45;&gt;unary_plus</title>
 <path fill="none" stroke="black" d="M105,-431.7C105,-423.98 105,-414.71 105,-406.11"/>
 <polygon fill="black" stroke="black" points="108.5,-406.1 105,-396.1 101.5,-406.1 108.5,-406.1"/>
 </g>
 <!-- mult -->
 <g id="node3" class="node">
 <title>mult</title>
 <polygon fill="none" stroke="black" points="132,-324 78,-324 78,-288 132,-288 132,-324"/>
 <text text-anchor="middle" x="105" y="-302.3" font-family="Times,serif" font-size="14.00">*</text>
 </g>
 <!-- unary_plus&#45;&gt;mult -->
 <g id="edge2" class="edge">
 <title>unary_plus&#45;&gt;mult</title>
 <path fill="none" stroke="black" d="M105,-359.7C105,-351.98 105,-342.71 105,-334.11"/>
 <polygon fill="black" stroke="black" points="108.5,-334.1 105,-324.1 101.5,-334.1 108.5,-334.1"/>
 </g>
 <!-- add -->
 <g id="node4" class="node">
 <title>add</title>
 <polygon fill="none" stroke="black" points="96,-252 42,-252 42,-216 96,-216 96,-252"/>
 <text text-anchor="middle" x="69" y="-230.3" font-family="Times,serif" font-size="14.00">+ &#45;</text>
 </g>
 <!-- mult&#45;&gt;add -->
 <g id="edge3" class="edge">
 <title>mult&#45;&gt;add</title>
 <path fill="none" stroke="black" d="M96.1,-287.7C92,-279.73 87.05,-270.1 82.51,-261.26"/>
 <polygon fill="black" stroke="black" points="85.48,-259.4 77.8,-252.1 79.26,-262.6 85.48,-259.4"/>
 </g>
 <!-- shift -->
 <g id="node5" class="node">
 <title>shift</title>
 <polygon fill="none" stroke="black" points="168,-252 114,-252 114,-216 168,-216 168,-252"/>
 <text text-anchor="middle" x="141" y="-230.3" font-family="Times,serif" font-size="14.00">&gt;&gt; &lt;&lt;</text>
 </g>
 <!-- mult&#45;&gt;shift -->
 <g id="edge4" class="edge">
 <title>mult&#45;&gt;shift</title>
 <path fill="none" stroke="black" d="M113.9,-287.7C118,-279.73 122.95,-270.1 127.49,-261.26"/>
 <polygon fill="black" stroke="black" points="130.74,-262.6 132.2,-252.1 124.52,-259.4 130.74,-262.6"/>
 </g>
 <!-- ne -->
 <g id="node6" class="node">
 <title>ne</title>
 <polygon fill="none" stroke="black" points="54,-180 0,-180 0,-144 54,-144 54,-180"/>
 <text text-anchor="middle" x="27" y="-158.3" font-family="Times,serif" font-size="14.00">!=</text>
 </g>
 <!-- add&#45;&gt;ne -->
 <g id="edge5" class="edge">
 <title>add&#45;&gt;ne</title>
 <path fill="none" stroke="black" d="M58.62,-215.7C53.74,-207.56 47.81,-197.69 42.42,-188.7"/>
 <polygon fill="black" stroke="black" points="45.41,-186.88 37.26,-180.1 39.41,-190.48 45.41,-186.88"/>
 </g>
 <!-- le -->
 <g id="node7" class="node">
 <title>le</title>
 <polygon fill="none" stroke="black" points="137.5,-180 72.5,-180 72.5,-144 137.5,-144 137.5,-180"/>
 <text text-anchor="middle" x="105" y="-158.3" font-family="Times,serif" font-size="14.00">&lt; &lt;= ==</text>
 </g>
 <!-- add&#45;&gt;le -->
 <g id="edge6" class="edge">
 <title>add&#45;&gt;le</title>
 <path fill="none" stroke="black" d="M77.9,-215.7C82,-207.73 86.95,-198.1 91.49,-189.26"/>
 <polygon fill="black" stroke="black" points="94.74,-190.6 96.2,-180.1 88.52,-187.4 94.74,-190.6"/>
 </g>
 <!-- ge -->
 <g id="node8" class="node">
 <title>ge</title>
 <polygon fill="none" stroke="black" points="220.5,-180 155.5,-180 155.5,-144 220.5,-144 220.5,-180"/>
 <text text-anchor="middle" x="188" y="-158.3" font-family="Times,serif" font-size="14.00">&gt; &gt;= ==</text>
 </g>
 <!-- add&#45;&gt;ge -->
 <g id="edge7" class="edge">
 <title>add&#45;&gt;ge</title>
 <path fill="none" stroke="black" d="M96,-217.12C112,-207.7 132.53,-195.63 150.13,-185.28"/>
 <polygon fill="black" stroke="black" points="152.18,-188.13 159.02,-180.04 148.63,-182.1 152.18,-188.13"/>
 </g>
 <!-- shift&#45;&gt;ne -->
 <g id="edge8" class="edge">
 <title>shift&#45;&gt;ne</title>
 <path fill="none" stroke="black" d="M113.98,-216.41C98.76,-207.06 79.55,-195.27 63.06,-185.14"/>
 <polygon fill="black" stroke="black" points="64.57,-181.96 54.22,-179.71 60.91,-187.93 64.57,-181.96"/>
 </g>
 <!-- shift&#45;&gt;le -->
 <g id="edge9" class="edge">
 <title>shift&#45;&gt;le</title>
 <path fill="none" stroke="black" d="M132.1,-215.7C128,-207.73 123.05,-198.1 118.51,-189.26"/>
 <polygon fill="black" stroke="black" points="121.48,-187.4 113.8,-180.1 115.26,-190.6 121.48,-187.4"/>
 </g>
 <!-- shift&#45;&gt;ge -->
 <g id="edge10" class="edge">
 <title>shift&#45;&gt;ge</title>
 <path fill="none" stroke="black" d="M152.62,-215.7C158.14,-207.47 164.85,-197.48 170.93,-188.42"/>
 <polygon fill="black" stroke="black" points="173.85,-190.36 176.52,-180.1 168.04,-186.46 173.85,-190.36"/>
 </g>
 <!-- land -->
 <g id="node9" class="node">
 <title>land</title>
 <polygon fill="none" stroke="black" points="96,-108 42,-108 42,-72 96,-72 96,-108"/>
 <text text-anchor="middle" x="69" y="-86.3" font-family="Times,serif" font-size="14.00">&amp;&amp;</text>
 </g>
 <!-- ne&#45;&gt;land -->
 <g id="edge11" class="edge">
 <title>ne&#45;&gt;land</title>
 <path fill="none" stroke="black" d="M37.38,-143.7C42.26,-135.56 48.19,-125.69 53.58,-116.7"/>
 <polygon fill="black" stroke="black" points="56.59,-118.48 58.74,-108.1 50.59,-114.88 56.59,-118.48"/>
 </g>
 <!-- lor -->
 <g id="node10" class="node">
 <title>lor</title>
 <polygon fill="none" stroke="black" points="168,-108 114,-108 114,-72 168,-72 168,-108"/>
 <text text-anchor="middle" x="141" y="-86.3" font-family="Times,serif" font-size="14.00">||</text>
 </g>
 <!-- ne&#45;&gt;lor -->
 <g id="edge12" class="edge">
 <title>ne&#45;&gt;lor</title>
 <path fill="none" stroke="black" d="M54.02,-144.41C69.24,-135.06 88.45,-123.27 104.94,-113.14"/>
 <polygon fill="black" stroke="black" points="107.09,-115.93 113.78,-107.71 103.43,-109.96 107.09,-115.93"/>
 </g>
 <!-- le&#45;&gt;land -->
 <g id="edge13" class="edge">
 <title>le&#45;&gt;land</title>
 <path fill="none" stroke="black" d="M96.1,-143.7C92,-135.73 87.05,-126.1 82.51,-117.26"/>
 <polygon fill="black" stroke="black" points="85.48,-115.4 77.8,-108.1 79.26,-118.6 85.48,-115.4"/>
 </g>
 <!-- le&#45;&gt;lor -->
 <g id="edge14" class="edge">
 <title>le&#45;&gt;lor</title>
 <path fill="none" stroke="black" d="M113.9,-143.7C118,-135.73 122.95,-126.1 127.49,-117.26"/>
 <polygon fill="black" stroke="black" points="130.74,-118.6 132.2,-108.1 124.52,-115.4 130.74,-118.6"/>
 </g>
 <!-- ge&#45;&gt;land -->
 <g id="edge15" class="edge">
 <title>ge&#45;&gt;land</title>
 <path fill="none" stroke="black" d="M158.89,-143.88C142.6,-134.29 122.16,-122.27 104.88,-112.11"/>
 <polygon fill="black" stroke="black" points="106.57,-109.04 96.18,-106.99 103.02,-115.07 106.57,-109.04"/>
 </g>
 <!-- ge&#45;&gt;lor -->
 <g id="edge16" class="edge">
 <title>ge&#45;&gt;lor</title>
 <path fill="none" stroke="black" d="M176.38,-143.7C170.86,-135.47 164.15,-125.48 158.07,-116.42"/>
 <polygon fill="black" stroke="black" points="160.96,-114.46 152.48,-108.1 155.15,-118.36 160.96,-114.46"/>
 </g>
 <!-- choice -->
 <g id="node11" class="node">
 <title>choice</title>
 <polygon fill="none" stroke="black" points="132,-36 78,-36 78,0 132,0 132,-36"/>
 <text text-anchor="middle" x="105" y="-14.3" font-family="Times,serif" font-size="14.00">?:</text>
 </g>
 <!-- land&#45;&gt;choice -->
 <g id="edge17" class="edge">
 <title>land&#45;&gt;choice</title>
 <path fill="none" stroke="black" d="M77.9,-71.7C82,-63.73 86.95,-54.1 91.49,-45.26"/>
 <polygon fill="black" stroke="black" points="94.74,-46.6 96.2,-36.1 88.52,-43.4 94.74,-46.6"/>
 </g>
 <!-- lor&#45;&gt;choice -->
 <g id="edge18" class="edge">
 <title>lor&#45;&gt;choice</title>
 <path fill="none" stroke="black" d="M132.1,-71.7C128,-63.73 123.05,-54.1 118.51,-45.26"/>
 <polygon fill="black" stroke="black" points="121.48,-43.4 113.8,-36.1 115.26,-46.6 121.48,-43.4"/>
 </g>
 </g>
 </svg>
	<?xml version="1.0" encoding="UTF-8" standalone="no"?>
	<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
	"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
	<!-- Generated by graphviz version 2.43.0 (0)
	-->
	<!-- Title: %3 Pages: 1 -->
	<svg width="229pt" height="476pt"
	viewBox="0.00 0.00 228.50 476.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
	<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 472)">
	<title>%3</title>
	<polygon fill="white" stroke="transparent" points="-4,4 -4,-472 224.5,-472 224.5,4 -4,4"/>
	<!-- paren -->
	<g id="node1" class="node">
	<title>paren</title>
	<polygon fill="none" stroke="black" points="169,-468 41,-468 41,-432 169,-432 169,-468"/>
	<text text-anchor="middle" x="105" y="-446.3" font-family="Times,serif" font-size="14.00">() $max() $present()</text>
	</g>
	<!-- unary_plus -->
	<g id="node2" class="node">
	<title>unary_plus</title>
	<polygon fill="none" stroke="black" points="139,-396 71,-396 71,-360 139,-360 139,-396"/>
	<text text-anchor="middle" x="105" y="-374.3" font-family="Times,serif" font-size="14.00">unary + -</text>
	</g>
	<!-- paren->unary_plus -->
	<g id="edge1" class="edge">
	<title>paren->unary_plus</title>
	<path fill="none" stroke="black" d="M105,-431.7C105,-423.98 105,-414.71 105,-406.11"/>
	<polygon fill="black" stroke="black" points="108.5,-406.1 105,-396.1 101.5,-406.1 108.5,-406.1"/>
	</g>
	<!-- mult -->
	<g id="node3" class="node">
	<title>mult</title>
	<polygon fill="none" stroke="black" points="132,-324 78,-324 78,-288 132,-288 132,-324"/>
	<text text-anchor="middle" x="105" y="-302.3" font-family="Times,serif" font-size="14.00">*</text>
	</g>
	<!-- unary_plus->mult -->
	<g id="edge2" class="edge">
	<title>unary_plus->mult</title>
	<path fill="none" stroke="black" d="M105,-359.7C105,-351.98 105,-342.71 105,-334.11"/>
	<polygon fill="black" stroke="black" points="108.5,-334.1 105,-324.1 101.5,-334.1 108.5,-334.1"/>
	</g>
	<!-- add -->
	<g id="node4" class="node">
	<title>add</title>
	<polygon fill="none" stroke="black" points="96,-252 42,-252 42,-216 96,-216 96,-252"/>
	<text text-anchor="middle" x="69" y="-230.3" font-family="Times,serif" font-size="14.00">+ -</text>
	</g>
	<!-- mult->add -->
	<g id="edge3" class="edge">
	<title>mult->add</title>
	<path fill="none" stroke="black" d="M96.1,-287.7C92,-279.73 87.05,-270.1 82.51,-261.26"/>
	<polygon fill="black" stroke="black" points="85.48,-259.4 77.8,-252.1 79.26,-262.6 85.48,-259.4"/>
	</g>
	<!-- shift -->
	<g id="node5" class="node">
	<title>shift</title>
	<polygon fill="none" stroke="black" points="168,-252 114,-252 114,-216 168,-216 168,-252"/>
	<text text-anchor="middle" x="141" y="-230.3" font-family="Times,serif" font-size="14.00">>> <<</text>
	</g>
	<!-- mult->shift -->
	<g id="edge4" class="edge">
	<title>mult->shift</title>
	<path fill="none" stroke="black" d="M113.9,-287.7C118,-279.73 122.95,-270.1 127.49,-261.26"/>
	<polygon fill="black" stroke="black" points="130.74,-262.6 132.2,-252.1 124.52,-259.4 130.74,-262.6"/>
	</g>
	<!-- ne -->
	<g id="node6" class="node">
	<title>ne</title>
	<polygon fill="none" stroke="black" points="54,-180 0,-180 0,-144 54,-144 54,-180"/>
	<text text-anchor="middle" x="27" y="-158.3" font-family="Times,serif" font-size="14.00">!=</text>
	</g>
	<!-- add->ne -->
	<g id="edge5" class="edge">
	<title>add->ne</title>
	<path fill="none" stroke="black" d="M58.62,-215.7C53.74,-207.56 47.81,-197.69 42.42,-188.7"/>
	<polygon fill="black" stroke="black" points="45.41,-186.88 37.26,-180.1 39.41,-190.48 45.41,-186.88"/>
	</g>
	<!-- le -->
	<g id="node7" class="node">
	<title>le</title>
	<polygon fill="none" stroke="black" points="137.5,-180 72.5,-180 72.5,-144 137.5,-144 137.5,-180"/>
	<text text-anchor="middle" x="105" y="-158.3" font-family="Times,serif" font-size="14.00">< <= ==</text>
	</g>
	<!-- add->le -->
	<g id="edge6" class="edge">
	<title>add->le</title>
	<path fill="none" stroke="black" d="M77.9,-215.7C82,-207.73 86.95,-198.1 91.49,-189.26"/>
	<polygon fill="black" stroke="black" points="94.74,-190.6 96.2,-180.1 88.52,-187.4 94.74,-190.6"/>
	</g>
	<!-- ge -->
	<g id="node8" class="node">
	<title>ge</title>
	<polygon fill="none" stroke="black" points="220.5,-180 155.5,-180 155.5,-144 220.5,-144 220.5,-180"/>
	<text text-anchor="middle" x="188" y="-158.3" font-family="Times,serif" font-size="14.00">> >= ==</text>
	</g>
	<!-- add->ge -->
	<g id="edge7" class="edge">
	<title>add->ge</title>
	<path fill="none" stroke="black" d="M96,-217.12C112,-207.7 132.53,-195.63 150.13,-185.28"/>
	<polygon fill="black" stroke="black" points="152.18,-188.13 159.02,-180.04 148.63,-182.1 152.18,-188.13"/>
	</g>
	<!-- shift->ne -->
	<g id="edge8" class="edge">
	<title>shift->ne</title>
	<path fill="none" stroke="black" d="M113.98,-216.41C98.76,-207.06 79.55,-195.27 63.06,-185.14"/>
	<polygon fill="black" stroke="black" points="64.57,-181.96 54.22,-179.71 60.91,-187.93 64.57,-181.96"/>
	</g>
	<!-- shift->le -->
	<g id="edge9" class="edge">
	<title>shift->le</title>
	<path fill="none" stroke="black" d="M132.1,-215.7C128,-207.73 123.05,-198.1 118.51,-189.26"/>
	<polygon fill="black" stroke="black" points="121.48,-187.4 113.8,-180.1 115.26,-190.6 121.48,-187.4"/>
	</g>
	<!-- shift->ge -->
	<g id="edge10" class="edge">
	<title>shift->ge</title>
	<path fill="none" stroke="black" d="M152.62,-215.7C158.14,-207.47 164.85,-197.48 170.93,-188.42"/>
	<polygon fill="black" stroke="black" points="173.85,-190.36 176.52,-180.1 168.04,-186.46 173.85,-190.36"/>
	</g>
	<!-- land -->
	<g id="node9" class="node">
	<title>land</title>
	<polygon fill="none" stroke="black" points="96,-108 42,-108 42,-72 96,-72 96,-108"/>
	<text text-anchor="middle" x="69" y="-86.3" font-family="Times,serif" font-size="14.00">&&</text>
	</g>
	<!-- ne->land -->
	<g id="edge11" class="edge">
	<title>ne->land</title>
	<path fill="none" stroke="black" d="M37.38,-143.7C42.26,-135.56 48.19,-125.69 53.58,-116.7"/>
	<polygon fill="black" stroke="black" points="56.59,-118.48 58.74,-108.1 50.59,-114.88 56.59,-118.48"/>
	</g>
	<!-- lor -->
	<g id="node10" class="node">
	<title>lor</title>
	<polygon fill="none" stroke="black" points="168,-108 114,-108 114,-72 168,-72 168,-108"/>
	<text text-anchor="middle" x="141" y="-86.3" font-family="Times,serif" font-size="14.00">\|\|</text>
	</g>
	<!-- ne->lor -->
	<g id="edge12" class="edge">
	<title>ne->lor</title>
	<path fill="none" stroke="black" d="M54.02,-144.41C69.24,-135.06 88.45,-123.27 104.94,-113.14"/>
	<polygon fill="black" stroke="black" points="107.09,-115.93 113.78,-107.71 103.43,-109.96 107.09,-115.93"/>
	</g>
	<!-- le->land -->
	<g id="edge13" class="edge">
	<title>le->land</title>
	<path fill="none" stroke="black" d="M96.1,-143.7C92,-135.73 87.05,-126.1 82.51,-117.26"/>
	<polygon fill="black" stroke="black" points="85.48,-115.4 77.8,-108.1 79.26,-118.6 85.48,-115.4"/>
	</g>
	<!-- le->lor -->
	<g id="edge14" class="edge">
	<title>le->lor</title>
	<path fill="none" stroke="black" d="M113.9,-143.7C118,-135.73 122.95,-126.1 127.49,-117.26"/>
	<polygon fill="black" stroke="black" points="130.74,-118.6 132.2,-108.1 124.52,-115.4 130.74,-118.6"/>
	</g>
	<!-- ge->land -->
	<g id="edge15" class="edge">
	<title>ge->land</title>
	<path fill="none" stroke="black" d="M158.89,-143.88C142.6,-134.29 122.16,-122.27 104.88,-112.11"/>
	<polygon fill="black" stroke="black" points="106.57,-109.04 96.18,-106.99 103.02,-115.07 106.57,-109.04"/>
	</g>
	<!-- ge->lor -->
	<g id="edge16" class="edge">
	<title>ge->lor</title>
	<path fill="none" stroke="black" d="M176.38,-143.7C170.86,-135.47 164.15,-125.48 158.07,-116.42"/>
	<polygon fill="black" stroke="black" points="160.96,-114.46 152.48,-108.1 155.15,-118.36 160.96,-114.46"/>
	</g>
	<!-- choice -->
	<g id="node11" class="node">
	<title>choice</title>
	<polygon fill="none" stroke="black" points="132,-36 78,-36 78,0 132,0 132,-36"/>
	<text text-anchor="middle" x="105" y="-14.3" font-family="Times,serif" font-size="14.00">?:</text>
	</g>
	<!-- land->choice -->
	<g id="edge17" class="edge">
	<title>land->choice</title>
	<path fill="none" stroke="black" d="M77.9,-71.7C82,-63.73 86.95,-54.1 91.49,-45.26"/>
	<polygon fill="black" stroke="black" points="94.74,-46.6 96.2,-36.1 88.52,-43.4 94.74,-46.6"/>
	</g>
	<!-- lor->choice -->
	<g id="edge18" class="edge">
	<title>lor->choice</title>
	<path fill="none" stroke="black" d="M132.1,-71.7C128,-63.73 123.05,-54.1 118.51,-45.26"/>
	<polygon fill="black" stroke="black" points="121.48,-43.4 113.8,-36.1 115.26,-46.6 121.48,-43.4"/>
	</g>
	</g>
	</svg>