docs/tint/uniformity_examples/barrier_invalid.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 14.1.5 (20260411.2331)
 -->
<!-- Title: G_workgroup Pages: 1 -->
<svg width="1164pt" height="533pt"
 viewBox="0.00 0.00 1164.00 533.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 528.5)">
<title>G_workgroup</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-528.5 1160,-528.5 1160,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_main</title>
<polygon fill="none" stroke="black" points="8,-8 8,-516.5 1148,-516.5 1148,-8 8,-8"/>
<text xml:space="preserve" text-anchor="middle" x="578" y="-15.2" font-family="Times,serif" font-size="14.00">main</text>
</g>
<!-- main.RequiredToBeUniform_Error -->
<g id="node1" class="node">
<title>main.RequiredToBeUniform_Error</title>
<ellipse fill="none" stroke="black" cx="693" cy="-130.5" rx="142.97" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="693" y="-125.45" font-family="Times,serif" font-size="14.00">main.RequiredToBeUniform_Error</text>
</g>
<!-- main.workgroupBarrier_call -->
<g id="node2" class="node">
<title>main.workgroupBarrier_call</title>
<ellipse fill="none" stroke="black" cx="815" cy="-202.5" rx="116.86" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="815" y="-197.45" font-family="Times,serif" font-size="14.00">main.workgroupBarrier_call</text>
</g>
<!-- main.RequiredToBeUniform_Error&#45;&gt;main.workgroupBarrier_call -->
<g id="edge1" class="edge">
<title>main.RequiredToBeUniform_Error&#45;&gt;main.workgroupBarrier_call</title>
<path fill="none" stroke="black" d="M722.53,-148.45C738.57,-157.65 758.6,-169.14 775.91,-179.07"/>
<polygon fill="black" stroke="black" points="774.01,-182.02 784.43,-183.96 777.49,-175.95 774.01,-182.02"/>
</g>
<!-- main.if_stmt -->
<g id="node10" class="node">
<title>main.if_stmt</title>
<ellipse fill="none" stroke="black" cx="815" cy="-274.5" rx="59.03" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="815" y="-269.45" font-family="Times,serif" font-size="14.00">main.if_stmt</text>
</g>
<!-- main.workgroupBarrier_call&#45;&gt;main.if_stmt -->
<g id="edge6" class="edge">
<title>main.workgroupBarrier_call&#45;&gt;main.if_stmt</title>
<path fill="none" stroke="black" d="M815,-220.8C815,-228.09 815,-236.77 815,-244.96"/>
<polygon fill="black" stroke="black" points="811.5,-244.88 815,-254.88 818.5,-244.88 811.5,-244.88"/>
</g>
<!-- main.RequiredToBeUniform_Warning -->
<g id="node3" class="node">
<title>main.RequiredToBeUniform_Warning</title>
<ellipse fill="none" stroke="black" cx="172" cy="-58.5" rx="155.76" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="172" y="-53.45" font-family="Times,serif" font-size="14.00">main.RequiredToBeUniform_Warning</text>
</g>
<!-- main.RequiredToBeUniform_Info -->
<g id="node4" class="node">
<title>main.RequiredToBeUniform_Info</title>
<ellipse fill="none" stroke="black" cx="485" cy="-58.5" rx="138.87" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="485" y="-53.45" font-family="Times,serif" font-size="14.00">main.RequiredToBeUniform_Info</text>
</g>
<!-- main.MayBeNonUniform -->
<g id="node5" class="node">
<title>main.MayBeNonUniform</title>
<ellipse fill="none" stroke="black" cx="909" cy="-490.5" rx="108.16" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="909" y="-485.45" font-family="Times,serif" font-size="14.00">main.MayBeNonUniform</text>
</g>
<!-- main.CF_start -->
<g id="node6" class="node">
<title>main.CF_start</title>
<ellipse fill="none" stroke="black" cx="721" cy="-418.5" rx="64.15" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="721" y="-413.45" font-family="Times,serif" font-size="14.00">main.CF_start</text>
</g>
<!-- main.param_local_id -->
<g id="node7" class="node">
<title>main.param_local_id</title>
<ellipse fill="none" stroke="black" cx="732" cy="-58.5" rx="90.25" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="732" y="-53.45" font-family="Times,serif" font-size="14.00">main.param_local_id</text>
</g>
<!-- main.local_id_ident_expr -->
<g id="node8" class="node">
<title>main.local_id_ident_expr</title>
<ellipse fill="none" stroke="black" cx="909" cy="-418.5" rx="106.11" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="909" y="-413.45" font-family="Times,serif" font-size="14.00">main.local_id_ident_expr</text>
</g>
<!-- main.local_id_ident_expr&#45;&gt;main.MayBeNonUniform -->
<g id="edge2" class="edge">
<title>main.local_id_ident_expr&#45;&gt;main.MayBeNonUniform</title>
<path fill="none" stroke="black" d="M909,-436.8C909,-444.09 909,-452.77 909,-460.96"/>
<polygon fill="black" stroke="black" points="905.5,-460.88 909,-470.88 912.5,-460.88 905.5,-460.88"/>
</g>
<!-- main.binary_expr_result -->
<g id="node9" class="node">
<title>main.binary_expr_result</title>
<ellipse fill="none" stroke="black" cx="815" cy="-346.5" rx="102.02" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="815" y="-341.45" font-family="Times,serif" font-size="14.00">main.binary_expr_result</text>
</g>
<!-- main.binary_expr_result&#45;&gt;main.CF_start -->
<g id="edge4" class="edge">
<title>main.binary_expr_result&#45;&gt;main.CF_start</title>
<path fill="none" stroke="black" d="M792.25,-364.45C780.18,-373.43 765.17,-384.6 752.05,-394.38"/>
<polygon fill="black" stroke="black" points="750.04,-391.51 744.11,-400.29 754.22,-397.12 750.04,-391.51"/>
</g>
<!-- main.binary_expr_result&#45;&gt;main.local_id_ident_expr -->
<g id="edge3" class="edge">
<title>main.binary_expr_result&#45;&gt;main.local_id_ident_expr</title>
<path fill="none" stroke="black" d="M837.75,-364.45C849.56,-373.24 864.18,-384.12 877.09,-393.74"/>
<polygon fill="black" stroke="black" points="874.8,-396.4 884.92,-399.56 878.99,-390.78 874.8,-396.4"/>
</g>
<!-- main.if_stmt&#45;&gt;main.binary_expr_result -->
<g id="edge5" class="edge">
<title>main.if_stmt&#45;&gt;main.binary_expr_result</title>
<path fill="none" stroke="black" d="M815,-292.8C815,-300.09 815,-308.77 815,-316.96"/>
<polygon fill="black" stroke="black" points="811.5,-316.88 815,-326.88 818.5,-316.88 811.5,-316.88"/>
</g>
<!-- main.workgroupBarrier_return_value -->
<g id="node11" class="node">
<title>main.workgroupBarrier_return_value</title>
<ellipse fill="none" stroke="black" cx="990" cy="-58.5" rx="150.13" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="990" y="-53.45" font-family="Times,serif" font-size="14.00">main.workgroupBarrier_return_value</text>
</g>
<!-- main.CF_after_workgroupBarrier -->
<g id="node12" class="node">
<title>main.CF_after_workgroupBarrier</title>
<ellipse fill="none" stroke="black" cx="990" cy="-130.5" rx="136.31" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="990" y="-125.45" font-family="Times,serif" font-size="14.00">main.CF_after_workgroupBarrier</text>
</g>
<!-- main.workgroupBarrier_return_value&#45;&gt;main.CF_after_workgroupBarrier -->
<g id="edge7" class="edge">
<title>main.workgroupBarrier_return_value&#45;&gt;main.CF_after_workgroupBarrier</title>
<path fill="none" stroke="black" d="M990,-76.8C990,-84.09 990,-92.77 990,-100.96"/>
<polygon fill="black" stroke="black" points="986.5,-100.88 990,-110.88 993.5,-100.88 986.5,-100.88"/>
</g>
<!-- main.CF_after_workgroupBarrier&#45;&gt;main.workgroupBarrier_call -->
<g id="edge8" class="edge">
<title>main.CF_after_workgroupBarrier&#45;&gt;main.workgroupBarrier_call</title>
<path fill="none" stroke="black" d="M948.53,-148.09C923.83,-157.97 892.3,-170.58 866.08,-181.07"/>
<polygon fill="black" stroke="black" points="864.96,-177.75 856.98,-184.71 867.56,-184.25 864.96,-177.75"/>
</g>
</g>
</svg>