docs/tint/uniformity_examples/barrier_valid.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="1200pt" height="461pt"
 viewBox="0.00 0.00 1200.00 461.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 456.5)">
<title>G_workgroup</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-456.5 1196,-456.5 1196,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_main</title>
<polygon fill="none" stroke="black" points="8,-8 8,-444.5 1184,-444.5 1184,-8 8,-8"/>
<text xml:space="preserve" text-anchor="middle" x="596" 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="729" cy="-130.5" rx="142.97" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="729" 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="877" cy="-202.5" rx="116.86" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="877" 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="M764.45,-148.27C784.59,-157.79 810.01,-169.81 831.59,-180.02"/>
<polygon fill="black" stroke="black" points="829.94,-183.11 840.47,-184.22 832.93,-176.78 829.94,-183.11"/>
</g>
<!-- main.if_stmt -->
<g id="node8" class="node">
<title>main.if_stmt</title>
<ellipse fill="none" stroke="black" cx="877" cy="-274.5" rx="59.03" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="877" 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="edge4" class="edge">
<title>main.workgroupBarrier_call&#45;&gt;main.if_stmt</title>
<path fill="none" stroke="black" d="M877,-220.8C877,-228.09 877,-236.77 877,-244.96"/>
<polygon fill="black" stroke="black" points="873.5,-244.88 877,-254.88 880.5,-244.88 873.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="750" cy="-58.5" rx="108.16" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="750" y="-53.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="877" cy="-418.5" rx="64.15" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="877" y="-413.45" font-family="Times,serif" font-size="14.00">main.CF_start</text>
</g>
<!-- main.uniform_cond_ident_expr -->
<g id="node7" class="node">
<title>main.uniform_cond_ident_expr</title>
<ellipse fill="none" stroke="black" cx="877" cy="-346.5" rx="129.15" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="877" y="-341.45" font-family="Times,serif" font-size="14.00">main.uniform_cond_ident_expr</text>
</g>
<!-- main.uniform_cond_ident_expr&#45;&gt;main.CF_start -->
<g id="edge2" class="edge">
<title>main.uniform_cond_ident_expr&#45;&gt;main.CF_start</title>
<path fill="none" stroke="black" d="M877,-364.8C877,-372.09 877,-380.77 877,-388.96"/>
<polygon fill="black" stroke="black" points="873.5,-388.88 877,-398.88 880.5,-388.88 873.5,-388.88"/>
</g>
<!-- main.if_stmt&#45;&gt;main.uniform_cond_ident_expr -->
<g id="edge3" class="edge">
<title>main.if_stmt&#45;&gt;main.uniform_cond_ident_expr</title>
<path fill="none" stroke="black" d="M877,-292.8C877,-300.09 877,-308.77 877,-316.96"/>
<polygon fill="black" stroke="black" points="873.5,-316.88 877,-326.88 880.5,-316.88 873.5,-316.88"/>
</g>
<!-- main.workgroupBarrier_return_value -->
<g id="node9" class="node">
<title>main.workgroupBarrier_return_value</title>
<ellipse fill="none" stroke="black" cx="1026" cy="-58.5" rx="150.13" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="1026" y="-53.45" font-family="Times,serif" font-size="14.00">main.workgroupBarrier_return_value</text>
</g>
<!-- main.CF_after_workgroupBarrier -->
<g id="node10" class="node">
<title>main.CF_after_workgroupBarrier</title>
<ellipse fill="none" stroke="black" cx="1026" cy="-130.5" rx="136.31" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="1026" 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="edge5" class="edge">
<title>main.workgroupBarrier_return_value&#45;&gt;main.CF_after_workgroupBarrier</title>
<path fill="none" stroke="black" d="M1026,-76.8C1026,-84.09 1026,-92.77 1026,-100.96"/>
<polygon fill="black" stroke="black" points="1022.5,-100.88 1026,-110.88 1029.5,-100.88 1022.5,-100.88"/>
</g>
<!-- main.CF_after_workgroupBarrier&#45;&gt;main.workgroupBarrier_call -->
<g id="edge6" class="edge">
<title>main.CF_after_workgroupBarrier&#45;&gt;main.workgroupBarrier_call</title>
<path fill="none" stroke="black" d="M990.31,-148.27C970.04,-157.79 944.45,-169.81 922.72,-180.02"/>
<polygon fill="black" stroke="black" points="921.33,-176.81 913.77,-184.23 924.31,-183.14 921.33,-176.81"/>
</g>
</g>
</svg>