clang/docs/DataFlowAnalysisIntroImages/CFGJoinRule.svg

   1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
   2 <svg
   3    xmlns:dc="http://purl.org/dc/elements/1.1/"
   4    xmlns:cc="http://creativecommons.org/ns#"
   5    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
   6    xmlns:svg="http://www.w3.org/2000/svg"
   7    xmlns="http://www.w3.org/2000/svg"
   8    xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
   9    xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
  10    id="svg8"
  11    version="1.1"
  12    viewBox="0 0 180 70"
  13    height="70mm"
  14    width="180mm">
  15   <defs
  16      id="defs2">
  17     <marker
  18        inkscape:isstock="true"
  19        style="overflow:visible"
  20        id="marker1412"
  21        refX="0"
  22        refY="0"
  23        orient="auto"
  24        inkscape:stockid="Arrow2Lend">
  25       <path
  26          transform="matrix(-1.1,0,0,-1.1,-1.1,0)"
  27          d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
  28          style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
  29          id="path1410" />
  30     </marker>
  31     <marker
  32        inkscape:isstock="true"
  33        style="overflow:visible"
  34        id="Arrow1Lend"
  35        refX="0"
  36        refY="0"
  37        orient="auto"
  38        inkscape:stockid="Arrow1Lend">
  39       <path
  40          transform="matrix(-0.8,0,0,-0.8,-10,0)"
  41          style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  42          d="M 0,0 5,-5 -12.5,0 5,5 Z"
  43          id="path1083" />
  44     </marker>
  45   </defs>
  46   <g
  47      id="layer1"
  48      inkscape:groupmode="layer"
  49      inkscape:label="Layer 1">
  50     <text
  51        id="text32"
  52        y="5.2916665"
  53        x="2.6458333"
  54        style="font-size:4.93889px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"
  55        xml:space="preserve"><tspan
  56          style="font-size:4.93889px;stroke-width:0.264583"
  57          y="5.2916665"
  58          x="2.6458333"
  59          id="tspan30"
  60          sodipodi:role="line">(Given)</tspan></text>
  61     <text
  62        xml:space="preserve"
  63        style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"
  64        x="2.6458333"
  65        y="66.145836"
  66        id="text32-2"><tspan
  67          sodipodi:role="line"
  68          id="tspan30-8"
  69          x="2.6458333"
  70          y="66.145836"
  71          style="font-size:4.9389px;stroke-width:0.264583">(Conclusion)</tspan></text>
  72     <text
  73        xml:space="preserve"
  74        style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"
  75        x="29.104166"
  76        y="5.2916665"
  77        id="text32-1"><tspan
  78          sodipodi:role="line"
  79          id="tspan30-9"
  80          x="29.104166"
  81          y="5.2916665"
  82          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"><tspan
  83            id="tspan72"
  84            style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:center;text-anchor:middle">in</tspan><tspan
  85            id="tspan70"
  86            style="font-size:65%;text-align:center;baseline-shift:sub;text-anchor:middle">1</tspan></tspan></text>
  87     <text
  88        id="text32-1-5"
  89        y="5.2916665"
  90        x="43.65625"
  91        style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"
  92        xml:space="preserve"><tspan
  93          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
  94          y="5.2916665"
  95          x="43.65625"
  96          id="tspan30-9-7"
  97          sodipodi:role="line"><tspan
  98            style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:center;text-anchor:middle;stroke-width:0.264583"
  99            id="tspan72-5">in</tspan><tspan
 100            style="font-size:3.2103px;text-align:center;baseline-shift:sub;text-anchor:middle;stroke-width:0.264583"
 101            id="tspan70-9">2</tspan></tspan></text>
 102     <text
 103        xml:space="preserve"
 104        style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"
 105        x="70.114578"
 106        y="5.2916665"
 107        id="text32-1-5-3"><tspan
 108          sodipodi:role="line"
 109          id="tspan30-9-7-0"
 110          x="70.114578"
 111          y="5.2916665"
 112          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"><tspan
 113            id="tspan72-5-9"
 114            style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:center;text-anchor:middle;stroke-width:0.264583">in</tspan><tspan
 115            id="tspan70-9-5"
 116            style="font-size:3.2103px;text-align:center;baseline-shift:sub;text-anchor:middle;stroke-width:0.264583">n</tspan></tspan></text>
 117     <text
 118        id="text32-1-56"
 119        y="31.75"
 120        x="50.270832"
 121        style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"
 122        xml:space="preserve"><tspan
 123          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:center;text-anchor:middle;stroke-width:0.264583"
 124          y="31.75"
 125          x="50.270832"
 126          id="tspan30-9-5"
 127          sodipodi:role="line"><tspan
 128    id="tspan148"
 129    style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal">join</tspan>(<tspan
 130    id="tspan156"
 131    style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal">in</tspan><tspan
 132    id="tspan150"
 133    style="font-size:65%;baseline-shift:sub">1</tspan>, <tspan
 134    id="tspan158"
 135    style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal">in</tspan><tspan
 136    id="tspan152"
 137    style="font-size:65%;baseline-shift:sub">2</tspan>, …, <tspan
 138    id="tspan160"
 139    style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal">in</tspan><tspan
 140    id="tspan154"
 141    style="font-size:65%;baseline-shift:sub">n</tspan>)</tspan></text>
 142     <text
 143        xml:space="preserve"
 144        style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;stroke-width:0.264583"
 145        x="52.916668"
 146        y="66.145836"
 147        id="text32-1-56-8"><tspan
 148          sodipodi:role="line"
 149          id="tspan30-9-5-4"
 150          x="52.916668"
 151          y="66.145836"
 152          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start;stroke-width:0.264583"><tspan
 153    style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start;stroke-width:0.264583"
 154    id="tspan148-3">out<tspan
 155    id="tspan203"
 156    style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start"> = </tspan>transfer<tspan
 157    id="tspan201"
 158    style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start">(<tspan
 159    id="tspan205"
 160    style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start">basic_block</tspan>, </tspan>join</tspan>(<tspan
 161    style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start;stroke-width:0.264583"
 162    id="tspan156-6">in</tspan><tspan
 163    style="font-size:3.2103px;text-align:start;baseline-shift:sub;text-anchor:start;stroke-width:0.264583"
 164    id="tspan150-4">1</tspan>, <tspan
 165    style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start;stroke-width:0.264583"
 166    id="tspan158-3">in</tspan><tspan
 167    style="font-size:3.2103px;text-align:start;baseline-shift:sub;text-anchor:start;stroke-width:0.264583"
 168    id="tspan152-8">2</tspan>, …, <tspan
 169    style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start;stroke-width:0.264583"
 170    id="tspan160-3">in</tspan><tspan
 171    style="font-size:3.2103px;text-align:start;baseline-shift:sub;text-anchor:start;stroke-width:0.264583"
 172    id="tspan154-1">n</tspan>))</tspan></text>
 173     <rect
 174        y="23.8125"
 175        x="15.874998"
 176        height="31.75"
 177        width="68.791664"
 178        id="rect207"
 179        style="fill:none;stroke:#000000;stroke-width:0.264999" />
 180     <text
 181        id="text32-2-8"
 182        y="44.979168"
 183        x="50.270836"
 184        style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"
 185        xml:space="preserve"><tspan
 186          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
 187          y="44.979168"
 188          x="50.270836"
 189          id="tspan30-8-8"
 190          sodipodi:role="line">Basic block</tspan></text>
 191     <path
 192        sodipodi:nodetypes="cc"
 193        id="path227"
 194        d="M 27.781249,6.6145827 50.270832,23.8125"
 195        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
 196     <path
 197        sodipodi:nodetypes="cc"
 198        id="path229"
 199        d="M 42.333333,6.6145827 50.270832,23.8125"
 200        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
 201     <text
 202        xml:space="preserve"
 203        style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"
 204        x="56.885418"
 205        y="5.2916665"
 206        id="text32-1-5-35"><tspan
 207          sodipodi:role="line"
 208          id="tspan30-9-7-00"
 209          x="56.885418"
 210          y="5.2916665"
 211          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>
 212     <path
 213        sodipodi:nodetypes="cc"
 214        id="path255"
 215        d="M 68.791666,6.6145827 50.270832,23.8125"
 216        style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" />
 217     <path
 218        id="path1492"
 219        d="M 50.270832,55.562499 V 70.114582"
 220        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker1412)" />
 221   </g>
 222 </svg>