example_pipeline_stmt_output.html

<head><style type='text/css'>
 body { font-family: Consolas, 'Liberation Mono', Menlo, Courier, monospace; font-size: 12px; background: #f8f8f8; margin-left:15px; } 
 a, a:hover, a:visited, a:active { color: inherit; text-decoration: none; } 
 b { font-weight: normal; }
 p.WrapLine { margin: 0px; margin-left: 30px; text-indent:-30px; } 
 div.WrapLine { margin-left: 30px; text-indent:-30px; } 
 div.Indent { padding-left: 15px; }
 div.ShowHide { position:absolute; left:-12px; width:12px; height:12px; } 
 span.Comment { color: #998; font-style: italic; }
 span.Keyword { color: #333; font-weight: bold; }
 span.Assign { color: #d14; font-weight: bold; }
 span.Symbol { color: #990073; }
 span.Type { color: #445588; font-weight: bold; }
 span.StringImm { color: #d14; }
 span.IntImm { color: #099; }
 span.FloatImm { color: #099; }
 b.Highlight { font-weight: bold; background-color: #DDD; }
 span.Highlight { font-weight: bold; background-color: #FF0; }
 </style>
<script language='javascript' type='text/javascript'>
 function toggle(id) { 
     e = document.getElementById(id); 
     show = document.getElementById(id + '-show'); 
     hide = document.getElementById(id + '-hide'); 
     if (e.style.display != 'none') { 
         e.style.display = 'none'; 
         show.style.display = 'block'; 
         hide.style.display = 'none'; 
     } else { 
         e.style.display = 'block'; 
         show.style.display = 'none'; 
         hide.style.display = 'block'; 
     } 
     return false; 
 }</script>
<link rel='stylesheet' type='text/css' href='my.css'>
<script language='javascript' type='text/javascript' src='my.js'></script>
<link href='http://maxcdn.bootstrapcdn.com/font-awesome/4.1.0/css/font-awesome.min.css' rel='stylesheet'>
<script src='http://code.jquery.com/jquery-1.10.2.js'></script>
</head>
 <body>
<div class='LetStmt' id='0-2'>
<p class=WrapLine><span class='Matched' id='3-4'><span class='Keyword' id='5-6'>let</span> <b class='Variable Matched' id='1-8'>f1.extent.0.required.s</b></span> <span class='Operator Assign Matched' id='3-9'>=</span> <span class='BinaryOp' id='3-11'><span class='Matched' id='12-13'>(</span><span class='Min' id='12-15'><span class='Matched' id='16-19'><span class='Symbol' id='16-17'>min</span>(</span><span class='BinaryOp' id='16-21'><span class='Matched' id='22-23'>(</span><span class='BinaryOp' id='22-25'><span class='Matched' id='26-27'>(</span><span class='BinaryOp' id='26-29'><span class='Matched' id='30-31'>(</span><span class='BinaryOp' id='30-33'><span class='Matched' id='34-35'>(</span><span class='BinaryOp' id='34-37'><span class='Matched' id='38-39'>(</span><b class='Variable Matched' id='41-42'>f1.extent.0</b> <span class='Operator Matched' id='38-43'>+</span> <span class='IntImm Imm' id='38-45'>-1</span><span class='Matched' id='38-47'>)</span></span> <span class='Operator Matched' id='34-49'>/</span> <span class='IntImm Imm' id='34-51'>32</span><span class='Matched' id='34-53'>)</span></span> <span class='Operator Matched' id='30-55'>*</span> <span class='IntImm Imm' id='30-57'>32</span><span class='Matched' id='30-59'>)</span></span> <span class='Operator Matched' id='26-61'>+</span> <b class='Variable Matched' id='63-64'>f1.min.0</b><span class='Matched' id='26-65'>)</span></span> <span class='Operator Matched' id='22-67'>+</span> <span class='IntImm Imm' id='22-69'>31</span><span class='Matched' id='22-71'>)</span></span><span class='Matched' id='16-73'>,</span> <span class='BinaryOp' id='16-75'><span class='Matched' id='76-77'>(</span><span class='BinaryOp' id='76-79'><span class='Matched' id='80-81'>(</span><b class='Variable Matched' id='63-83'>f1.min.0</b> <span class='Operator Matched' id='80-84'>+</span> <b class='Variable Matched' id='41-86'>f1.extent.0</b><span class='Matched' id='80-87'>)</span></span> <span class='Operator Matched' id='76-89'>+</span> <span class='IntImm Imm' id='76-91'>-1</span><span class='Matched' id='76-93'>)</span></span><span class='Matched' id='16-95'>)</span></span> <span class='Operator Matched' id='12-97'>-</span> <span class='Min' id='12-99'><span class='Matched' id='100-103'><span class='Symbol' id='100-101'>min</span>(</span><b class='Variable Matched' id='63-105'>f1.min.0</b><span class='Matched' id='100-106'>,</span> <span class='BinaryOp' id='100-108'><span class='Matched' id='109-110'>(</span><span class='BinaryOp' id='109-112'><span class='Matched' id='113-114'>(</span><b class='Variable Matched' id='63-116'>f1.min.0</b> <span class='Operator Matched' id='113-117'>+</span> <b class='Variable Matched' id='41-119'>f1.extent.0</b><span class='Matched' id='113-120'>)</span></span> <span class='Operator Matched' id='109-122'>+</span> <span class='IntImm Imm' id='109-124'>-32</span><span class='Matched' id='109-126'>)</span></span><span class='Matched' id='100-128'>)</span></span><span class='Matched' id='12-130'>)</span></span></p><div class='LetStmt' id='3-133'>
<p class=WrapLine><span class='Matched' id='134-135'><span class='Keyword' id='136-137'>let</span> <b class='Variable Matched' id='132-139'>f1.min.0.required</b></span> <span class='Operator Assign Matched' id='134-140'>=</span> <span class='Min' id='134-142'><span class='Matched' id='143-146'><span class='Symbol' id='143-144'>min</span>(</span><b class='Variable Matched' id='63-148'>f1.min.0</b><span class='Matched' id='143-149'>,</span> <span class='BinaryOp' id='143-151'><span class='Matched' id='152-153'>(</span><span class='BinaryOp' id='152-155'><span class='Matched' id='156-157'>(</span><b class='Variable Matched' id='63-159'>f1.min.0</b> <span class='Operator Matched' id='156-160'>+</span> <b class='Variable Matched' id='41-162'>f1.extent.0</b><span class='Matched' id='156-163'>)</span></span> <span class='Operator Matched' id='152-165'>+</span> <span class='IntImm Imm' id='152-167'>-32</span><span class='Matched' id='152-169'>)</span></span><span class='Matched' id='143-171'>)</span></span></p><div class='LetStmt' id='134-174'>
<p class=WrapLine><span class='Matched' id='175-176'><span class='Keyword' id='177-178'>let</span> <b class='Variable Matched' id='173-180'>f1.extent.1.required.s</b></span> <span class='Operator Assign Matched' id='175-181'>=</span> <span class='BinaryOp' id='175-183'><span class='Matched' id='184-185'>(</span><span class='Min' id='184-187'><span class='Matched' id='188-191'><span class='Symbol' id='188-189'>min</span>(</span><span class='BinaryOp' id='188-193'><span class='Matched' id='194-195'>(</span><span class='BinaryOp' id='194-197'><span class='Matched' id='198-199'>(</span><span class='BinaryOp' id='198-201'><span class='Matched' id='202-203'>(</span><span class='BinaryOp' id='202-205'><span class='Matched' id='206-207'>(</span><span class='BinaryOp' id='206-209'><span class='Matched' id='210-211'>(</span><b class='Variable Matched' id='213-214'>f1.extent.1</b> <span class='Operator Matched' id='210-215'>+</span> <span class='IntImm Imm' id='210-217'>-1</span><span class='Matched' id='210-219'>)</span></span> <span class='Operator Matched' id='206-221'>/</span> <span class='IntImm Imm' id='206-223'>16</span><span class='Matched' id='206-225'>)</span></span> <span class='Operator Matched' id='202-227'>*</span> <span class='IntImm Imm' id='202-229'>16</span><span class='Matched' id='202-231'>)</span></span> <span class='Operator Matched' id='198-233'>+</span> <b class='Variable Matched' id='235-236'>f1.min.1</b><span class='Matched' id='198-237'>)</span></span> <span class='Operator Matched' id='194-239'>+</span> <span class='IntImm Imm' id='194-241'>15</span><span class='Matched' id='194-243'>)</span></span><span class='Matched' id='188-245'>,</span> <span class='BinaryOp' id='188-247'><span class='Matched' id='248-249'>(</span><span class='BinaryOp' id='248-251'><span class='Matched' id='252-253'>(</span><b class='Variable Matched' id='235-255'>f1.min.1</b> <span class='Operator Matched' id='252-256'>+</span> <b class='Variable Matched' id='213-258'>f1.extent.1</b><span class='Matched' id='252-259'>)</span></span> <span class='Operator Matched' id='248-261'>+</span> <span class='IntImm Imm' id='248-263'>-1</span><span class='Matched' id='248-265'>)</span></span><span class='Matched' id='188-267'>)</span></span> <span class='Operator Matched' id='184-269'>-</span> <span class='Min' id='184-271'><span class='Matched' id='272-275'><span class='Symbol' id='272-273'>min</span>(</span><b class='Variable Matched' id='235-277'>f1.min.1</b><span class='Matched' id='272-278'>,</span> <span class='BinaryOp' id='272-280'><span class='Matched' id='281-282'>(</span><span class='BinaryOp' id='281-284'><span class='Matched' id='285-286'>(</span><b class='Variable Matched' id='235-288'>f1.min.1</b> <span class='Operator Matched' id='285-289'>+</span> <b class='Variable Matched' id='213-291'>f1.extent.1</b><span class='Matched' id='285-292'>)</span></span> <span class='Operator Matched' id='281-294'>+</span> <span class='IntImm Imm' id='281-296'>-16</span><span class='Matched' id='281-298'>)</span></span><span class='Matched' id='272-300'>)</span></span><span class='Matched' id='184-302'>)</span></span></p><div class='LetStmt' id='175-305'>
<p class=WrapLine><span class='Matched' id='306-307'><span class='Keyword' id='308-309'>let</span> <b class='Variable Matched' id='304-311'>f1.min.1.required</b></span> <span class='Operator Assign Matched' id='306-312'>=</span> <span class='Min' id='306-314'><span class='Matched' id='315-318'><span class='Symbol' id='315-316'>min</span>(</span><b class='Variable Matched' id='235-320'>f1.min.1</b><span class='Matched' id='315-321'>,</span> <span class='BinaryOp' id='315-323'><span class='Matched' id='324-325'>(</span><span class='BinaryOp' id='324-327'><span class='Matched' id='328-329'>(</span><b class='Variable Matched' id='235-331'>f1.min.1</b> <span class='Operator Matched' id='328-332'>+</span> <b class='Variable Matched' id='213-334'>f1.extent.1</b><span class='Matched' id='328-335'>)</span></span> <span class='Operator Matched' id='324-337'>+</span> <span class='IntImm Imm' id='324-339'>-16</span><span class='Matched' id='324-341'>)</span></span><span class='Matched' id='315-343'>)</span></span></p><div class='Block' id='306-345'>
<div class='IfThenElse' id='346-347'>
<a class=ExpandButton onclick='return toggle(349);' href=_blank><div style='position:relative; width:0; height:0;'><div class=ShowHide style='display:none;' id=349-show><i class='fa fa-plus-square-o'></i></div><div class=ShowHide id=349-hide><i class='fa fa-minus-square-o'></i></div></div><span class='Matched' id='348-350'><span class='Keyword' id='351-352'>if</span> (</span><b class='Variable Matched' id='354-355'>f1.host_and_dev_are_null</b><span class='Matched' id='348-356'>)</span></a> <span class='Matched' id='348-358'>{</span><div class='ThenBody Indent' id='349'>
<div class='Evaluate' id='360-361'>
<span class='Call' id='362-363'><span class='Matched' id='364-367'><span class='Symbol' id='364-365'>rewrite_buffer</span>(</span><b class='Variable Matched' id='369-370'>f1.buffer</b><span class='Matched' id='364-371'>,</span> <span class='IntImm Imm' id='364-373'>4</span><span class='Matched' id='364-375'>,</span> <b class='Variable Matched' id='132-377'>f1.min.0.required</b><span class='Matched' id='364-378'>,</span> <span class='BinaryOp' id='364-380'><span class='Matched' id='381-382'>(</span><b class='Variable Matched' id='1-384'>f1.extent.0.required.s</b> <span class='Operator Matched' id='381-385'>+</span> <span class='IntImm Imm' id='381-387'>1</span><span class='Matched' id='381-389'>)</span></span><span class='Matched' id='364-391'>,</span> <span class='IntImm Imm' id='364-393'>1</span><span class='Matched' id='364-395'>,</span> <b class='Variable Matched' id='304-397'>f1.min.1.required</b><span class='Matched' id='364-398'>,</span> <span class='BinaryOp' id='364-400'><span class='Matched' id='401-402'>(</span><b class='Variable Matched' id='173-404'>f1.extent.1.required.s</b> <span class='Operator Matched' id='401-405'>+</span> <span class='IntImm Imm' id='401-407'>1</span><span class='Matched' id='401-409'>)</span></span><span class='Matched' id='364-411'>,</span> <span class='BinaryOp' id='364-413'><span class='Matched' id='414-415'>(</span><b class='Variable Matched' id='1-417'>f1.extent.0.required.s</b> <span class='Operator Matched' id='414-418'>+</span> <span class='IntImm Imm' id='414-420'>1</span><span class='Matched' id='414-422'>)</span></span><span class='Matched' id='364-424'>)</span></span></div>
</div>
<span class='Matched' id='348-426'>}</span></div>
<div class='IfThenElse' id='346-428'>
<a class=ExpandButton onclick='return toggle(430);' href=_blank><div style='position:relative; width:0; height:0;'><div class=ShowHide style='display:none;' id=430-show><i class='fa fa-plus-square-o'></i></div><div class=ShowHide id=430-hide><i class='fa fa-minus-square-o'></i></div></div><span class='Matched' id='429-431'><span class='Keyword' id='432-433'>if</span> (</span><span class='Not' id='429-435'>!<b class='Variable Matched' id='354-437'>f1.host_and_dev_are_null</b></span><span class='Matched' id='429-438'>)</span></a> <span class='Matched' id='429-440'>{</span><div class='ThenBody Indent' id='430'>
<div class='Block' id='442-443'>
<div class='AssertStmt WrapLine' id='444-445'>
<span class='Matched' id='446-449'><span class='Symbol' id='446-447'>assert</span>(</span><span class='BinaryOp' id='446-451'><span class='Matched' id='452-453'>(</span><b class='Variable Matched' id='455-456'>f1.elem_size</b> <span class='Operator Matched' id='452-457'>==</span> <span class='IntImm Imm' id='452-459'>4</span><span class='Matched' id='452-461'>)</span></span><span class='Matched' id='446-463'>,</span> <span class='StringImm' id='446-465'>"Output buffer f1 has type int32, but elem_size of the buffer_t passed in is %d instead of 4"</span><span class='Matched' id='446-467'>,</span> <b class='Variable Matched' id='455-469'>f1.elem_size</b><span class='Matched' id='446-470'>)</span></div>
<div class='Block' id='444-472'>
<div class='AssertStmt WrapLine' id='473-474'>
<span class='Matched' id='475-478'><span class='Symbol' id='475-476'>assert</span>(</span><span class='BinaryOp' id='475-480'><span class='Matched' id='481-482'>(</span><b class='Variable Matched' id='63-484'>f1.min.0</b> <span class='Operator Matched' id='481-485'>&lt=</span> <b class='Variable Matched' id='132-487'>f1.min.0.required</b><span class='Matched' id='481-488'>)</span></span><span class='Matched' id='475-490'>,</span> <span class='StringImm' id='475-492'>"Output buffer f1 is accessed at %d, which is before the min (%d) in dimension 0"</span><span class='Matched' id='475-494'>,</span> <b class='Variable Matched' id='132-496'>f1.min.0.required</b><span class='Matched' id='475-497'>,</span> <b class='Variable Matched' id='63-499'>f1.min.0</b><span class='Matched' id='475-500'>)</span></div>
<div class='Block' id='473-502'>
<div class='AssertStmt WrapLine' id='503-504'>
<span class='Matched' id='505-508'><span class='Symbol' id='505-506'>assert</span>(</span><span class='BinaryOp' id='505-510'><span class='Matched' id='511-512'>(</span><span class='BinaryOp' id='511-514'><span class='Matched' id='515-516'>(</span><span class='BinaryOp' id='515-518'><span class='Matched' id='519-520'>(</span><span class='BinaryOp' id='519-522'><span class='Matched' id='523-524'>(</span><b class='Variable Matched' id='132-526'>f1.min.0.required</b> <span class='Operator Matched' id='523-527'>+</span> <b class='Variable Matched' id='1-529'>f1.extent.0.required.s</b><span class='Matched' id='523-530'>)</span></span> <span class='Operator Matched' id='519-532'>-</span> <b class='Variable Matched' id='41-534'>f1.extent.0</b><span class='Matched' id='519-535'>)</span></span> <span class='Operator Matched' id='515-537'>+</span> <span class='IntImm Imm' id='515-539'>1</span><span class='Matched' id='515-541'>)</span></span> <span class='Operator Matched' id='511-543'>&lt=</span> <b class='Variable Matched' id='63-545'>f1.min.0</b><span class='Matched' id='511-546'>)</span></span><span class='Matched' id='505-548'>,</span> <span class='StringImm' id='505-550'>"Output buffer f1 is accessed at %d, which is beyond the max (%d) in dimension 0"</span><span class='Matched' id='505-552'>,</span> <span class='BinaryOp' id='505-554'><span class='Matched' id='555-556'>(</span><b class='Variable Matched' id='132-558'>f1.min.0.required</b> <span class='Operator Matched' id='555-559'>+</span> <b class='Variable Matched' id='1-561'>f1.extent.0.required.s</b><span class='Matched' id='555-562'>)</span></span><span class='Matched' id='505-564'>,</span> <span class='BinaryOp' id='505-566'><span class='Matched' id='567-568'>(</span><span class='BinaryOp' id='567-570'><span class='Matched' id='571-572'>(</span><b class='Variable Matched' id='63-574'>f1.min.0</b> <span class='Operator Matched' id='571-575'>+</span> <b class='Variable Matched' id='41-577'>f1.extent.0</b><span class='Matched' id='571-578'>)</span></span> <span class='Operator Matched' id='567-580'>+</span> <span class='IntImm Imm' id='567-582'>-1</span><span class='Matched' id='567-584'>)</span></span><span class='Matched' id='505-586'>)</span></div>
<div class='Block' id='503-588'>
<div class='AssertStmt WrapLine' id='589-590'>
<span class='Matched' id='591-594'><span class='Symbol' id='591-592'>assert</span>(</span><span class='BinaryOp' id='591-596'><span class='Matched' id='597-598'>(</span><b class='Variable Matched' id='235-600'>f1.min.1</b> <span class='Operator Matched' id='597-601'>&lt=</span> <b class='Variable Matched' id='304-603'>f1.min.1.required</b><span class='Matched' id='597-604'>)</span></span><span class='Matched' id='591-606'>,</span> <span class='StringImm' id='591-608'>"Output buffer f1 is accessed at %d, which is before the min (%d) in dimension 1"</span><span class='Matched' id='591-610'>,</span> <b class='Variable Matched' id='304-612'>f1.min.1.required</b><span class='Matched' id='591-613'>,</span> <b class='Variable Matched' id='235-615'>f1.min.1</b><span class='Matched' id='591-616'>)</span></div>
<div class='Block' id='589-618'>
<div class='AssertStmt WrapLine' id='619-620'>
<span class='Matched' id='621-624'><span class='Symbol' id='621-622'>assert</span>(</span><span class='BinaryOp' id='621-626'><span class='Matched' id='627-628'>(</span><span class='BinaryOp' id='627-630'><span class='Matched' id='631-632'>(</span><span class='BinaryOp' id='631-634'><span class='Matched' id='635-636'>(</span><span class='BinaryOp' id='635-638'><span class='Matched' id='639-640'>(</span><b class='Variable Matched' id='304-642'>f1.min.1.required</b> <span class='Operator Matched' id='639-643'>+</span> <b class='Variable Matched' id='173-645'>f1.extent.1.required.s</b><span class='Matched' id='639-646'>)</span></span> <span class='Operator Matched' id='635-648'>-</span> <b class='Variable Matched' id='213-650'>f1.extent.1</b><span class='Matched' id='635-651'>)</span></span> <span class='Operator Matched' id='631-653'>+</span> <span class='IntImm Imm' id='631-655'>1</span><span class='Matched' id='631-657'>)</span></span> <span class='Operator Matched' id='627-659'>&lt=</span> <b class='Variable Matched' id='235-661'>f1.min.1</b><span class='Matched' id='627-662'>)</span></span><span class='Matched' id='621-664'>,</span> <span class='StringImm' id='621-666'>"Output buffer f1 is accessed at %d, which is beyond the max (%d) in dimension 1"</span><span class='Matched' id='621-668'>,</span> <span class='BinaryOp' id='621-670'><span class='Matched' id='671-672'>(</span><b class='Variable Matched' id='304-674'>f1.min.1.required</b> <span class='Operator Matched' id='671-675'>+</span> <b class='Variable Matched' id='173-677'>f1.extent.1.required.s</b><span class='Matched' id='671-678'>)</span></span><span class='Matched' id='621-680'>,</span> <span class='BinaryOp' id='621-682'><span class='Matched' id='683-684'>(</span><span class='BinaryOp' id='683-686'><span class='Matched' id='687-688'>(</span><b class='Variable Matched' id='235-690'>f1.min.1</b> <span class='Operator Matched' id='687-691'>+</span> <b class='Variable Matched' id='213-693'>f1.extent.1</b><span class='Matched' id='687-694'>)</span></span> <span class='Operator Matched' id='683-696'>+</span> <span class='IntImm Imm' id='683-698'>-1</span><span class='Matched' id='683-700'>)</span></span><span class='Matched' id='621-702'>)</span></div>
<div class='Block' id='619-704'>
<div class='AssertStmt WrapLine' id='705-706'>
<span class='Matched' id='707-710'><span class='Symbol' id='707-708'>assert</span>(</span><span class='BinaryOp' id='707-712'><span class='Matched' id='713-714'>(</span><b class='Variable Matched' id='716-717'>f1.stride.0</b> <span class='Operator Matched' id='713-718'>==</span> <span class='IntImm Imm' id='713-720'>1</span><span class='Matched' id='713-722'>)</span></span><span class='Matched' id='707-724'>,</span> <span class='StringImm' id='707-726'>"Static constraint violated: f1.stride.0 == 1"</span><span class='Matched' id='707-728'>)</span></div>
<div class='LetStmt' id='705-731'>
<p class=WrapLine><span class='Matched' id='732-733'><span class='Keyword' id='734-735'>let</span> <b class='Variable Matched' id='730-737'>f1.total_extent.1</b></span> <span class='Operator Assign Matched' id='732-738'>=</span> <span class='BinaryOp' id='732-740'><span class='Matched' id='741-742'>(</span><span class='Cast' id='741-744'><span class='Matched' id='745-746'><span class='Type' id='747-748'>int64</span>(</span><b class='Variable Matched' id='213-750'>f1.extent.1</b><span class='Matched' id='745-751'>)</span></span> <span class='Operator Matched' id='741-753'>*</span> <span class='Cast' id='741-755'><span class='Matched' id='756-757'><span class='Type' id='758-759'>int64</span>(</span><b class='Variable Matched' id='41-761'>f1.extent.0</b><span class='Matched' id='756-762'>)</span></span><span class='Matched' id='741-764'>)</span></span></p><div class='Block' id='732-766'>
<div class='AssertStmt WrapLine' id='767-768'>
<span class='Matched' id='769-772'><span class='Symbol' id='769-770'>assert</span>(</span><span class='BinaryOp' id='769-774'><span class='Matched' id='775-776'>(</span><span class='Cast' id='775-778'><span class='Matched' id='779-780'><span class='Type' id='781-782'>int64</span>(</span><b class='Variable Matched' id='41-784'>f1.extent.0</b><span class='Matched' id='779-785'>)</span></span> <span class='Operator Matched' id='775-787'>&lt=</span> <span class='Cast' id='775-789'><span class='Matched' id='790-791'><span class='Type' id='792-793'>int64</span>(</span><span class='IntImm Imm' id='790-795'>2147483647</span><span class='Matched' id='790-797'>)</span></span><span class='Matched' id='775-799'>)</span></span><span class='Matched' id='769-801'>,</span> <span class='StringImm' id='769-803'>"Total allocation for buffer f1 exceeds 2^31 - 1"</span><span class='Matched' id='769-805'>)</span></div>
<div class='Block' id='767-807'>
<div class='AssertStmt WrapLine' id='808-809'>
<span class='Matched' id='810-813'><span class='Symbol' id='810-811'>assert</span>(</span><span class='BinaryOp' id='810-815'><span class='Matched' id='816-817'>(</span><span class='BinaryOp' id='816-819'><span class='Matched' id='820-821'>(</span><span class='Cast' id='820-823'><span class='Matched' id='824-825'><span class='Type' id='826-827'>int64</span>(</span><b class='Variable Matched' id='213-829'>f1.extent.1</b><span class='Matched' id='824-830'>)</span></span> <span class='Operator Matched' id='820-832'>*</span> <span class='Cast' id='820-834'><span class='Matched' id='835-836'><span class='Type' id='837-838'>int64</span>(</span><b class='Variable Matched' id='840-841'>f1.stride.1</b><span class='Matched' id='835-842'>)</span></span><span class='Matched' id='820-844'>)</span></span> <span class='Operator Matched' id='816-846'>&lt=</span> <span class='Cast' id='816-848'><span class='Matched' id='849-850'><span class='Type' id='851-852'>int64</span>(</span><span class='IntImm Imm' id='849-854'>2147483647</span><span class='Matched' id='849-856'>)</span></span><span class='Matched' id='816-858'>)</span></span><span class='Matched' id='810-860'>,</span> <span class='StringImm' id='810-862'>"Total allocation for buffer f1 exceeds 2^31 - 1"</span><span class='Matched' id='810-864'>)</span></div>
<div class='Block' id='808-866'>
<div class='AssertStmt WrapLine' id='867-868'>
<span class='Matched' id='869-872'><span class='Symbol' id='869-870'>assert</span>(</span><span class='BinaryOp' id='869-874'><span class='Matched' id='875-876'>(</span><b class='Variable Matched' id='730-878'>f1.total_extent.1</b> <span class='Operator Matched' id='875-879'>&lt=</span> <span class='Cast' id='875-881'><span class='Matched' id='882-883'><span class='Type' id='884-885'>int64</span>(</span><span class='IntImm Imm' id='882-887'>2147483647</span><span class='Matched' id='882-889'>)</span></span><span class='Matched' id='875-891'>)</span></span><span class='Matched' id='869-893'>,</span> <span class='StringImm' id='869-895'>"Product of extents for buffer f1 exceeds 2^31 - 1"</span><span class='Matched' id='869-897'>)</span></div>
<div class='Produce' id='867-900'>
<span class='Matched' id='901-903'><a class=ExpandButton onclick='return toggle(902);' href=_blank><div style='position:relative; width:0; height:0;'><div class=ShowHide style='display:none;' id=902-show><i class='fa fa-plus-square-o'></i></div><div class=ShowHide id=902-hide><i class='fa fa-minus-square-o'></i></div></div><span class='Keyword' id='904-905'>produce</span> <b class='Variable Matched' id='899-907'>f1</b></a> {</span><div class='ProduceBody Indent' id='902'>
<div class='For' id='908-910'>
<a class=ExpandButton onclick='return toggle(912);' href=_blank><div style='position:relative; width:0; height:0;'><div class=ShowHide style='display:none;' id=912-show><i class='fa fa-plus-square-o'></i></div><div class=ShowHide id=912-hide><i class='fa fa-minus-square-o'></i></div></div><span class='Matched' id='911-913'><span class='Keyword' id='914-915'>for</span> (</span><b class='Variable Matched' id='909-917'>f1.s0.v1.v1</b><span class='Matched' id='911-918'>,</span> <span class='IntImm Imm' id='911-920'>0</span><span class='Matched' id='911-922'>,</span> <span class='BinaryOp' id='911-924'><span class='Matched' id='925-926'>(</span><span class='BinaryOp' id='925-928'><span class='Matched' id='929-930'>(</span><b class='Variable Matched' id='213-932'>f1.extent.1</b> <span class='Operator Matched' id='929-933'>+</span> <span class='IntImm Imm' id='929-935'>15</span><span class='Matched' id='929-937'>)</span></span> <span class='Operator Matched' id='925-939'>/</span> <span class='IntImm Imm' id='925-941'>16</span><span class='Matched' id='925-943'>)</span></span><span class='Matched' id='911-945'>)</span></a> <span class='Matched' id='911-947'>{</span><div class='ForBody Indent' id='912'>
<div class='LetStmt' id='949-951'>
<p class=WrapLine><span class='Matched' id='952-953'><span class='Keyword' id='954-955'>let</span> <b class='Variable Matched' id='950-957'>f1.s0.v1.v7.base</b></span> <span class='Operator Assign Matched' id='952-958'>=</span> <span class='Min' id='952-960'><span class='Matched' id='961-964'><span class='Symbol' id='961-962'>min</span>(</span><span class='BinaryOp' id='961-966'><span class='Matched' id='967-968'>(</span><span class='BinaryOp' id='967-970'><span class='Matched' id='971-972'>(</span><b class='Variable Matched' id='909-974'>f1.s0.v1.v1</b> <span class='Operator Matched' id='971-975'>*</span> <span class='IntImm Imm' id='971-977'>16</span><span class='Matched' id='971-979'>)</span></span> <span class='Operator Matched' id='967-981'>+</span> <b class='Variable Matched' id='235-983'>f1.min.1</b><span class='Matched' id='967-984'>)</span></span><span class='Matched' id='961-986'>,</span> <span class='BinaryOp' id='961-988'><span class='Matched' id='989-990'>(</span><span class='BinaryOp' id='989-992'><span class='Matched' id='993-994'>(</span><b class='Variable Matched' id='235-996'>f1.min.1</b> <span class='Operator Matched' id='993-997'>+</span> <b class='Variable Matched' id='213-999'>f1.extent.1</b><span class='Matched' id='993-1000'>)</span></span> <span class='Operator Matched' id='989-1002'>+</span> <span class='IntImm Imm' id='989-1004'>-16</span><span class='Matched' id='989-1006'>)</span></span><span class='Matched' id='961-1008'>)</span></span></p><div class='LetStmt' id='952-1011'>
<p class=WrapLine><span class='Matched' id='1012-1013'><span class='Keyword' id='1014-1015'>let</span> <b class='Variable Matched' id='1010-1017'>f0.s0.v1.max_1</b></span> <span class='Operator Assign Matched' id='1012-1018'>=</span> <span class='Select' id='1012-1020'><span class='Matched' id='1021-1024'><span class='Symbol' id='1021-1022'>select</span>(</span><span class='BinaryOp' id='1021-1026'><span class='Matched' id='1027-1028'>(</span><b class='Variable Matched' id='1030-1031'>p0</b> <span class='Operator Matched' id='1027-1032'>&lt;</span> <span class='IntImm Imm' id='1027-1034'>0</span><span class='Matched' id='1027-1036'>)</span></span><span class='Matched' id='1021-1038'>,</span> <span class='BinaryOp' id='1021-1040'><span class='Matched' id='1041-1042'>(</span><b class='Variable Matched' id='1030-1044'>p0</b> <span class='Operator Matched' id='1041-1045'>*</span> <b class='Variable Matched' id='950-1047'>f1.s0.v1.v7.base</b><span class='Matched' id='1041-1048'>)</span></span><span class='Matched' id='1021-1050'>,</span> <span class='BinaryOp' id='1021-1052'><span class='Matched' id='1053-1054'>(</span><b class='Variable Matched' id='1030-1056'>p0</b> <span class='Operator Matched' id='1053-1057'>*</span> <span class='BinaryOp' id='1053-1059'><span class='Matched' id='1060-1061'>(</span><b class='Variable Matched' id='950-1063'>f1.s0.v1.v7.base</b> <span class='Operator Matched' id='1060-1064'>+</span> <span class='IntImm Imm' id='1060-1066'>15</span><span class='Matched' id='1060-1068'>)</span></span><span class='Matched' id='1053-1070'>)</span></span><span class='Matched' id='1021-1072'>)</span></span></p><div class='LetStmt' id='1012-1075'>
<p class=WrapLine><span class='Matched' id='1076-1077'><span class='Keyword' id='1078-1079'>let</span> <b class='Variable Matched' id='1074-1081'>f0.s0.v1.min_1</b></span> <span class='Operator Assign Matched' id='1076-1082'>=</span> <span class='Select' id='1076-1084'><span class='Matched' id='1085-1088'><span class='Symbol' id='1085-1086'>select</span>(</span><span class='BinaryOp' id='1085-1090'><span class='Matched' id='1091-1092'>(</span><b class='Variable Matched' id='1030-1094'>p0</b> <span class='Operator Matched' id='1091-1095'>&lt;</span> <span class='IntImm Imm' id='1091-1097'>0</span><span class='Matched' id='1091-1099'>)</span></span><span class='Matched' id='1085-1101'>,</span> <span class='BinaryOp' id='1085-1103'><span class='Matched' id='1104-1105'>(</span><b class='Variable Matched' id='1030-1107'>p0</b> <span class='Operator Matched' id='1104-1108'>*</span> <span class='BinaryOp' id='1104-1110'><span class='Matched' id='1111-1112'>(</span><b class='Variable Matched' id='950-1114'>f1.s0.v1.v7.base</b> <span class='Operator Matched' id='1111-1115'>+</span> <span class='IntImm Imm' id='1111-1117'>15</span><span class='Matched' id='1111-1119'>)</span></span><span class='Matched' id='1104-1121'>)</span></span><span class='Matched' id='1085-1123'>,</span> <span class='BinaryOp' id='1085-1125'><span class='Matched' id='1126-1127'>(</span><b class='Variable Matched' id='1030-1129'>p0</b> <span class='Operator Matched' id='1126-1130'>*</span> <b class='Variable Matched' id='950-1132'>f1.s0.v1.v7.base</b><span class='Matched' id='1126-1133'>)</span></span><span class='Matched' id='1085-1135'>)</span></span></p><div class='LetStmt' id='1076-1138'>
<p class=WrapLine><span class='Matched' id='1139-1140'><span class='Keyword' id='1141-1142'>let</span> <b class='Variable Matched' id='1137-1144'>f0.s0.v0.max_1</b></span> <span class='Operator Assign Matched' id='1139-1145'>=</span> <span class='Select' id='1139-1147'><span class='Matched' id='1148-1151'><span class='Symbol' id='1148-1149'>select</span>(</span><span class='BinaryOp' id='1148-1153'><span class='Matched' id='1154-1155'>(</span><b class='Variable Matched' id='1030-1157'>p0</b> <span class='Operator Matched' id='1154-1158'>&lt;</span> <span class='IntImm Imm' id='1154-1160'>0</span><span class='Matched' id='1154-1162'>)</span></span><span class='Matched' id='1148-1164'>,</span> <span class='BinaryOp' id='1148-1166'><span class='Matched' id='1167-1168'>(</span><b class='Variable Matched' id='1030-1170'>p0</b> <span class='Operator Matched' id='1167-1171'>*</span> <b class='Variable Matched' id='132-1173'>f1.min.0.required</b><span class='Matched' id='1167-1174'>)</span></span><span class='Matched' id='1148-1176'>,</span> <span class='BinaryOp' id='1148-1178'><span class='Matched' id='1179-1180'>(</span><b class='Variable Matched' id='1030-1182'>p0</b> <span class='Operator Matched' id='1179-1183'>*</span> <span class='BinaryOp' id='1179-1185'><span class='Matched' id='1186-1187'>(</span><span class='BinaryOp' id='1186-1189'><span class='Matched' id='1190-1191'>(</span><b class='Variable Matched' id='41-1193'>f1.extent.0</b> <span class='Operator Matched' id='1190-1194'>+</span> <b class='Variable Matched' id='63-1196'>f1.min.0</b><span class='Matched' id='1190-1197'>)</span></span> <span class='Operator Matched' id='1186-1199'>+</span> <span class='IntImm Imm' id='1186-1201'>-1</span><span class='Matched' id='1186-1203'>)</span></span><span class='Matched' id='1179-1205'>)</span></span><span class='Matched' id='1148-1207'>)</span></span></p><div class='LetStmt' id='1139-1210'>
<p class=WrapLine><span class='Matched' id='1211-1212'><span class='Keyword' id='1213-1214'>let</span> <b class='Variable Matched' id='1209-1216'>f0.s0.v0.min_1</b></span> <span class='Operator Assign Matched' id='1211-1217'>=</span> <span class='Select' id='1211-1219'><span class='Matched' id='1220-1223'><span class='Symbol' id='1220-1221'>select</span>(</span><span class='BinaryOp' id='1220-1225'><span class='Matched' id='1226-1227'>(</span><b class='Variable Matched' id='1030-1229'>p0</b> <span class='Operator Matched' id='1226-1230'>&lt;</span> <span class='IntImm Imm' id='1226-1232'>0</span><span class='Matched' id='1226-1234'>)</span></span><span class='Matched' id='1220-1236'>,</span> <span class='BinaryOp' id='1220-1238'><span class='Matched' id='1239-1240'>(</span><b class='Variable Matched' id='1030-1242'>p0</b> <span class='Operator Matched' id='1239-1243'>*</span> <span class='BinaryOp' id='1239-1245'><span class='Matched' id='1246-1247'>(</span><span class='BinaryOp' id='1246-1249'><span class='Matched' id='1250-1251'>(</span><b class='Variable Matched' id='41-1253'>f1.extent.0</b> <span class='Operator Matched' id='1250-1254'>+</span> <b class='Variable Matched' id='63-1256'>f1.min.0</b><span class='Matched' id='1250-1257'>)</span></span> <span class='Operator Matched' id='1246-1259'>+</span> <span class='IntImm Imm' id='1246-1261'>-1</span><span class='Matched' id='1246-1263'>)</span></span><span class='Matched' id='1239-1265'>)</span></span><span class='Matched' id='1220-1267'>,</span> <span class='BinaryOp' id='1220-1269'><span class='Matched' id='1270-1271'>(</span><b class='Variable Matched' id='1030-1273'>p0</b> <span class='Operator Matched' id='1270-1274'>*</span> <b class='Variable Matched' id='132-1276'>f1.min.0.required</b><span class='Matched' id='1270-1277'>)</span></span><span class='Matched' id='1220-1279'>)</span></span></p><div class='LetStmt' id='1211-1282'>
<p class=WrapLine><span class='Matched' id='1283-1284'><span class='Keyword' id='1285-1286'>let</span> <b class='Variable Matched' id='1281-1288'>f0.v0.min_realized</b></span> <span class='Operator Assign Matched' id='1283-1289'>=</span> <span class='Min' id='1283-1291'><span class='Matched' id='1292-1295'><span class='Symbol' id='1292-1293'>min</span>(</span><span class='Min' id='1292-1297'><span class='Matched' id='1298-1301'><span class='Symbol' id='1298-1299'>min</span>(</span><b class='Variable Matched' id='1209-1303'>f0.s0.v0.min_1</b><span class='Matched' id='1298-1304'>,</span> <span class='BinaryOp' id='1298-1306'><span class='Matched' id='1307-1308'>(</span><b class='Variable Matched' id='1137-1310'>f0.s0.v0.max_1</b> <span class='Operator Matched' id='1307-1311'>+</span> <span class='IntImm Imm' id='1307-1313'>-7</span><span class='Matched' id='1307-1315'>)</span></span><span class='Matched' id='1298-1317'>)</span></span><span class='Matched' id='1292-1319'>,</span> <span class='Select' id='1292-1321'><span class='Matched' id='1322-1325'><span class='Symbol' id='1322-1323'>select</span>(</span><span class='BinaryOp' id='1322-1327'><span class='Matched' id='1328-1329'>(</span><b class='Variable Matched' id='1030-1331'>p0</b> <span class='Operator Matched' id='1328-1332'>&lt;</span> <span class='IntImm Imm' id='1328-1334'>0</span><span class='Matched' id='1328-1336'>)</span></span><span class='Matched' id='1322-1338'>,</span> <span class='BinaryOp' id='1322-1340'><span class='Matched' id='1341-1342'>(</span><b class='Variable Matched' id='1030-1344'>p0</b> <span class='Operator Matched' id='1341-1345'>*</span> <span class='BinaryOp' id='1341-1347'><span class='Matched' id='1348-1349'>(</span><span class='BinaryOp' id='1348-1351'><span class='Matched' id='1352-1353'>(</span><b class='Variable Matched' id='41-1355'>f1.extent.0</b> <span class='Operator Matched' id='1352-1356'>+</span> <b class='Variable Matched' id='63-1358'>f1.min.0</b><span class='Matched' id='1352-1359'>)</span></span> <span class='Operator Matched' id='1348-1361'>+</span> <span class='IntImm Imm' id='1348-1363'>-1</span><span class='Matched' id='1348-1365'>)</span></span><span class='Matched' id='1341-1367'>)</span></span><span class='Matched' id='1322-1369'>,</span> <span class='BinaryOp' id='1322-1371'><span class='Matched' id='1372-1373'>(</span><b class='Variable Matched' id='1030-1375'>p0</b> <span class='Operator Matched' id='1372-1376'>*</span> <b class='Variable Matched' id='132-1378'>f1.min.0.required</b><span class='Matched' id='1372-1379'>)</span></span><span class='Matched' id='1322-1381'>)</span></span><span class='Matched' id='1292-1383'>)</span></span></p><div class='LetStmt' id='1283-1386'>
<p class=WrapLine><span class='Matched' id='1387-1388'><span class='Keyword' id='1389-1390'>let</span> <b class='Variable Matched' id='1385-1392'>f0.v0.extent_realized.s</b></span> <span class='Operator Assign Matched' id='1387-1393'>=</span> <span class='BinaryOp' id='1387-1395'><span class='Matched' id='1396-1397'>(</span><span class='Max' id='1396-1399'><span class='Matched' id='1400-1403'><span class='Symbol' id='1400-1401'>max</span>(</span><span class='Min' id='1400-1405'><span class='Matched' id='1406-1409'><span class='Symbol' id='1406-1407'>min</span>(</span><span class='BinaryOp' id='1406-1411'><span class='Matched' id='1412-1413'>(</span><span class='BinaryOp' id='1412-1415'><span class='Matched' id='1416-1417'>(</span><span class='BinaryOp' id='1416-1419'><span class='Matched' id='1420-1421'>(</span><span class='BinaryOp' id='1420-1423'><span class='Matched' id='1424-1425'>(</span><span class='BinaryOp' id='1424-1427'><span class='Matched' id='1428-1429'>(</span><b class='Variable Matched' id='1137-1431'>f0.s0.v0.max_1</b> <span class='Operator Matched' id='1428-1432'>-</span> <b class='Variable Matched' id='1209-1434'>f0.s0.v0.min_1</b><span class='Matched' id='1428-1435'>)</span></span> <span class='Operator Matched' id='1424-1437'>/</span> <span class='IntImm Imm' id='1424-1439'>8</span><span class='Matched' id='1424-1441'>)</span></span> <span class='Operator Matched' id='1420-1443'>*</span> <span class='IntImm Imm' id='1420-1445'>8</span><span class='Matched' id='1420-1447'>)</span></span> <span class='Operator Matched' id='1416-1449'>+</span> <b class='Variable Matched' id='1209-1451'>f0.s0.v0.min_1</b><span class='Matched' id='1416-1452'>)</span></span> <span class='Operator Matched' id='1412-1454'>+</span> <span class='IntImm Imm' id='1412-1456'>7</span><span class='Matched' id='1412-1458'>)</span></span><span class='Matched' id='1406-1460'>,</span> <b class='Variable Matched' id='1137-1462'>f0.s0.v0.max_1</b><span class='Matched' id='1406-1463'>)</span></span><span class='Matched' id='1400-1465'>,</span> <span class='Select' id='1400-1467'><span class='Matched' id='1468-1471'><span class='Symbol' id='1468-1469'>select</span>(</span><span class='BinaryOp' id='1468-1473'><span class='Matched' id='1474-1475'>(</span><b class='Variable Matched' id='1030-1477'>p0</b> <span class='Operator Matched' id='1474-1478'>&lt;</span> <span class='IntImm Imm' id='1474-1480'>0</span><span class='Matched' id='1474-1482'>)</span></span><span class='Matched' id='1468-1484'>,</span> <span class='BinaryOp' id='1468-1486'><span class='Matched' id='1487-1488'>(</span><b class='Variable Matched' id='1030-1490'>p0</b> <span class='Operator Matched' id='1487-1491'>*</span> <b class='Variable Matched' id='132-1493'>f1.min.0.required</b><span class='Matched' id='1487-1494'>)</span></span><span class='Matched' id='1468-1496'>,</span> <span class='BinaryOp' id='1468-1498'><span class='Matched' id='1499-1500'>(</span><b class='Variable Matched' id='1030-1502'>p0</b> <span class='Operator Matched' id='1499-1503'>*</span> <span class='BinaryOp' id='1499-1505'><span class='Matched' id='1506-1507'>(</span><span class='BinaryOp' id='1506-1509'><span class='Matched' id='1510-1511'>(</span><b class='Variable Matched' id='41-1513'>f1.extent.0</b> <span class='Operator Matched' id='1510-1514'>+</span> <b class='Variable Matched' id='63-1516'>f1.min.0</b><span class='Matched' id='1510-1517'>)</span></span> <span class='Operator Matched' id='1506-1519'>+</span> <span class='IntImm Imm' id='1506-1521'>-1</span><span class='Matched' id='1506-1523'>)</span></span><span class='Matched' id='1499-1525'>)</span></span><span class='Matched' id='1468-1527'>)</span></span><span class='Matched' id='1400-1529'>)</span></span> <span class='Operator Matched' id='1396-1531'>-</span> <span class='Min' id='1396-1533'><span class='Matched' id='1534-1537'><span class='Symbol' id='1534-1535'>min</span>(</span><span class='Min' id='1534-1539'><span class='Matched' id='1540-1543'><span class='Symbol' id='1540-1541'>min</span>(</span><b class='Variable Matched' id='1209-1545'>f0.s0.v0.min_1</b><span class='Matched' id='1540-1546'>,</span> <span class='BinaryOp' id='1540-1548'><span class='Matched' id='1549-1550'>(</span><b class='Variable Matched' id='1137-1552'>f0.s0.v0.max_1</b> <span class='Operator Matched' id='1549-1553'>+</span> <span class='IntImm Imm' id='1549-1555'>-7</span><span class='Matched' id='1549-1557'>)</span></span><span class='Matched' id='1540-1559'>)</span></span><span class='Matched' id='1534-1561'>,</span> <span class='Select' id='1534-1563'><span class='Matched' id='1564-1567'><span class='Symbol' id='1564-1565'>select</span>(</span><span class='BinaryOp' id='1564-1569'><span class='Matched' id='1570-1571'>(</span><b class='Variable Matched' id='1030-1573'>p0</b> <span class='Operator Matched' id='1570-1574'>&lt;</span> <span class='IntImm Imm' id='1570-1576'>0</span><span class='Matched' id='1570-1578'>)</span></span><span class='Matched' id='1564-1580'>,</span> <span class='BinaryOp' id='1564-1582'><span class='Matched' id='1583-1584'>(</span><b class='Variable Matched' id='1030-1586'>p0</b> <span class='Operator Matched' id='1583-1587'>*</span> <span class='BinaryOp' id='1583-1589'><span class='Matched' id='1590-1591'>(</span><span class='BinaryOp' id='1590-1593'><span class='Matched' id='1594-1595'>(</span><b class='Variable Matched' id='41-1597'>f1.extent.0</b> <span class='Operator Matched' id='1594-1598'>+</span> <b class='Variable Matched' id='63-1600'>f1.min.0</b><span class='Matched' id='1594-1601'>)</span></span> <span class='Operator Matched' id='1590-1603'>+</span> <span class='IntImm Imm' id='1590-1605'>-1</span><span class='Matched' id='1590-1607'>)</span></span><span class='Matched' id='1583-1609'>)</span></span><span class='Matched' id='1564-1611'>,</span> <span class='BinaryOp' id='1564-1613'><span class='Matched' id='1614-1615'>(</span><b class='Variable Matched' id='1030-1617'>p0</b> <span class='Operator Matched' id='1614-1618'>*</span> <b class='Variable Matched' id='132-1620'>f1.min.0.required</b><span class='Matched' id='1614-1621'>)</span></span><span class='Matched' id='1564-1623'>)</span></span><span class='Matched' id='1534-1625'>)</span></span><span class='Matched' id='1396-1627'>)</span></span></p><div class='Allocate' id='1387-1630'>
<span class='Matched' id='1631-1632'><span class='Keyword' id='1633-1634'>allocate</span> <b class='Variable Matched' id='1629-1636'>f0</b>[</span><span class='Type' id='1631-1637'>int32</span> * <span class='BinaryOp' id='1631-1639'><span class='Matched' id='1640-1641'>(</span><b class='Variable Matched' id='1385-1643'>f0.v0.extent_realized.s</b> <span class='Operator Matched' id='1640-1644'>+</span> <span class='IntImm Imm' id='1640-1646'>1</span><span class='Matched' id='1640-1648'>)</span></span> * <span class='BinaryOp' id='1631-1650'><span class='Matched' id='1651-1652'>(</span><span class='BinaryOp' id='1651-1654'><span class='Matched' id='1655-1656'>(</span><b class='Variable Matched' id='1010-1658'>f0.s0.v1.max_1</b> <span class='Operator Matched' id='1655-1659'>-</span> <b class='Variable Matched' id='1074-1661'>f0.s0.v1.min_1</b><span class='Matched' id='1655-1662'>)</span></span> <span class='Operator Matched' id='1651-1664'>+</span> <span class='IntImm Imm' id='1651-1666'>1</span><span class='Matched' id='1651-1668'>)</span></span><span class='Matched' id='1631-1670'>]</span><div class='AllocateBody' id='1631-1672'>
<div class='Block' id='1673-1674'>
<div class='Produce' id='1675-1677'>
<span class='Matched' id='1678-1680'><a class=ExpandButton onclick='return toggle(1679);' href=_blank><div style='position:relative; width:0; height:0;'><div class=ShowHide style='display:none;' id=1679-show><i class='fa fa-plus-square-o'></i></div><div class=ShowHide id=1679-hide><i class='fa fa-minus-square-o'></i></div></div><span class='Keyword' id='1681-1682'>produce</span> <b class='Variable Matched' id='1676-1684'>f0</b></a> {</span><div class='ProduceBody Indent' id='1679'>
<div class='For' id='1685-1687'>
<a class=ExpandButton onclick='return toggle(1689);' href=_blank><div style='position:relative; width:0; height:0;'><div class=ShowHide style='display:none;' id=1689-show><i class='fa fa-plus-square-o'></i></div><div class=ShowHide id=1689-hide><i class='fa fa-minus-square-o'></i></div></div><span class='Matched' id='1688-1690'><span class='Keyword' id='1691-1692'>parallel</span> (</span><b class='Variable Matched' id='1686-1694'>f0.s0.v1</b><span class='Matched' id='1688-1695'>,</span> <b class='Variable Matched' id='1074-1697'>f0.s0.v1.min_1</b><span class='Matched' id='1688-1698'>,</span> <span class='BinaryOp' id='1688-1700'><span class='Matched' id='1701-1702'>(</span><span class='BinaryOp' id='1701-1704'><span class='Matched' id='1705-1706'>(</span><b class='Variable Matched' id='1010-1708'>f0.s0.v1.max_1</b> <span class='Operator Matched' id='1705-1709'>-</span> <b class='Variable Matched' id='1074-1711'>f0.s0.v1.min_1</b><span class='Matched' id='1705-1712'>)</span></span> <span class='Operator Matched' id='1701-1714'>+</span> <span class='IntImm Imm' id='1701-1716'>1</span><span class='Matched' id='1701-1718'>)</span></span><span class='Matched' id='1688-1720'>)</span></a> <span class='Matched' id='1688-1722'>{</span><div class='ForBody Indent' id='1689'>
<div class='For' id='1724-1726'>
<a class=ExpandButton onclick='return toggle(1728);' href=_blank><div style='position:relative; width:0; height:0;'><div class=ShowHide style='display:none;' id=1728-show><i class='fa fa-plus-square-o'></i></div><div class=ShowHide id=1728-hide><i class='fa fa-minus-square-o'></i></div></div><span class='Matched' id='1727-1729'><span class='Keyword' id='1730-1731'>for</span> (</span><b class='Variable Matched' id='1725-1733'>f0.s0.v0.v0.v0</b><span class='Matched' id='1727-1734'>,</span> <span class='IntImm Imm' id='1727-1736'>0</span><span class='Matched' id='1727-1738'>,</span> <span class='BinaryOp' id='1727-1740'><span class='Matched' id='1741-1742'>(</span><span class='BinaryOp' id='1741-1744'><span class='Matched' id='1745-1746'>(</span><span class='BinaryOp' id='1745-1748'><span class='Matched' id='1749-1750'>(</span><b class='Variable Matched' id='1137-1752'>f0.s0.v0.max_1</b> <span class='Operator Matched' id='1749-1753'>-</span> <b class='Variable Matched' id='1209-1755'>f0.s0.v0.min_1</b><span class='Matched' id='1749-1756'>)</span></span> <span class='Operator Matched' id='1745-1758'>+</span> <span class='IntImm Imm' id='1745-1760'>8</span><span class='Matched' id='1745-1762'>)</span></span> <span class='Operator Matched' id='1741-1764'>/</span> <span class='IntImm Imm' id='1741-1766'>8</span><span class='Matched' id='1741-1768'>)</span></span><span class='Matched' id='1727-1770'>)</span></a> <span class='Matched' id='1727-1772'>{</span><div class='ForBody Indent' id='1728'>
<div class='LetStmt' id='1774-1776'>
<p class=WrapLine><span class='Matched' id='1777-1778'><span class='Keyword' id='1779-1780'>let</span> <b class='Variable Matched' id='1775-1782'>f0.s0.s1.base</b></span> <span class='Operator Assign Matched' id='1777-1783'>=</span> <span class='Min' id='1777-1785'><span class='Matched' id='1786-1789'><span class='Symbol' id='1786-1787'>min</span>(</span><span class='BinaryOp' id='1786-1791'><span class='Matched' id='1792-1793'>(</span><span class='BinaryOp' id='1792-1795'><span class='Matched' id='1796-1797'>(</span><b class='Variable Matched' id='1725-1799'>f0.s0.v0.v0.v0</b> <span class='Operator Matched' id='1796-1800'>*</span> <span class='IntImm Imm' id='1796-1802'>8</span><span class='Matched' id='1796-1804'>)</span></span> <span class='Operator Matched' id='1792-1806'>+</span> <b class='Variable Matched' id='1209-1808'>f0.s0.v0.min_1</b><span class='Matched' id='1792-1809'>)</span></span><span class='Matched' id='1786-1811'>,</span> <span class='BinaryOp' id='1786-1813'><span class='Matched' id='1814-1815'>(</span><b class='Variable Matched' id='1137-1817'>f0.s0.v0.max_1</b> <span class='Operator Matched' id='1814-1818'>+</span> <span class='IntImm Imm' id='1814-1820'>-7</span><span class='Matched' id='1814-1822'>)</span></span><span class='Matched' id='1786-1824'>)</span></span></p><div class='Block' id='1777-1826'>
<div class='Store WrapLine' id='1827-1828'>
<span class='Matched' id='1829-1830'><b class='Variable Matched' id='1676-1832'>f0</b>[</span><span class='Ramp' id='1829-1833'><span class='Matched' id='1834-1837'><span class='Symbol' id='1834-1835'>ramp</span>(</span><span class='BinaryOp' id='1834-1839'><span class='Matched' id='1840-1841'>(</span><span class='BinaryOp' id='1840-1843'><span class='Matched' id='1844-1845'>(</span><b class='Variable Matched' id='1775-1847'>f0.s0.s1.base</b> <span class='Operator Matched' id='1844-1848'>-</span> <b class='Variable Matched' id='1281-1850'>f0.v0.min_realized</b><span class='Matched' id='1844-1851'>)</span></span> <span class='Operator Matched' id='1840-1853'>+</span> <span class='BinaryOp' id='1840-1855'><span class='Matched' id='1856-1857'>(</span><span class='BinaryOp' id='1856-1859'><span class='Matched' id='1860-1861'>(</span><b class='Variable Matched' id='1686-1863'>f0.s0.v1</b> <span class='Operator Matched' id='1860-1864'>-</span> <b class='Variable Matched' id='1074-1866'>f0.s0.v1.min_1</b><span class='Matched' id='1860-1867'>)</span></span> <span class='Operator Matched' id='1856-1869'>*</span> <span class='BinaryOp' id='1856-1871'><span class='Matched' id='1872-1873'>(</span><b class='Variable Matched' id='1385-1875'>f0.v0.extent_realized.s</b> <span class='Operator Matched' id='1872-1876'>+</span> <span class='IntImm Imm' id='1872-1878'>1</span><span class='Matched' id='1872-1880'>)</span></span><span class='Matched' id='1856-1882'>)</span></span><span class='Matched' id='1840-1884'>)</span></span><span class='Matched' id='1834-1886'>,</span> <span class='IntImm Imm' id='1834-1888'>1</span><span class='Matched' id='1834-1890'>,</span> <span class='IntImm Imm' id='1834-1892'>4</span><span class='Matched' id='1834-1894'>)</span></span><span class='Matched' id='1829-1896'>]</span> <span class='Operator Assign Matched' id='1829-1898'>=</span> <span class='StoreValue' id='1829-1900'><span class='Ramp' id='1901-1902'><span class='Matched' id='1903-1906'><span class='Symbol' id='1903-1904'>ramp</span>(</span><span class='BinaryOp' id='1903-1908'><span class='Matched' id='1909-1910'>(</span><b class='Variable Matched' id='1775-1912'>f0.s0.s1.base</b> <span class='Operator Matched' id='1909-1913'>+</span> <b class='Variable Matched' id='1686-1915'>f0.s0.v1</b><span class='Matched' id='1909-1916'>)</span></span><span class='Matched' id='1903-1918'>,</span> <span class='IntImm Imm' id='1903-1920'>1</span><span class='Matched' id='1903-1922'>,</span> <span class='IntImm Imm' id='1903-1924'>4</span><span class='Matched' id='1903-1926'>)</span></span></span></div>
<div class='Store WrapLine' id='1827-1928'>
<span class='Matched' id='1929-1930'><b class='Variable Matched' id='1676-1932'>f0</b>[</span><span class='Ramp' id='1929-1933'><span class='Matched' id='1934-1937'><span class='Symbol' id='1934-1935'>ramp</span>(</span><span class='BinaryOp' id='1934-1939'><span class='Matched' id='1940-1941'>(</span><span class='BinaryOp' id='1940-1943'><span class='Matched' id='1944-1945'>(</span><span class='BinaryOp' id='1944-1947'><span class='Matched' id='1948-1949'>(</span><b class='Variable Matched' id='1775-1951'>f0.s0.s1.base</b> <span class='Operator Matched' id='1948-1952'>-</span> <b class='Variable Matched' id='1281-1954'>f0.v0.min_realized</b><span class='Matched' id='1948-1955'>)</span></span> <span class='Operator Matched' id='1944-1957'>+</span> <span class='BinaryOp' id='1944-1959'><span class='Matched' id='1960-1961'>(</span><span class='BinaryOp' id='1960-1963'><span class='Matched' id='1964-1965'>(</span><b class='Variable Matched' id='1686-1967'>f0.s0.v1</b> <span class='Operator Matched' id='1964-1968'>-</span> <b class='Variable Matched' id='1074-1970'>f0.s0.v1.min_1</b><span class='Matched' id='1964-1971'>)</span></span> <span class='Operator Matched' id='1960-1973'>*</span> <span class='BinaryOp' id='1960-1975'><span class='Matched' id='1976-1977'>(</span><b class='Variable Matched' id='1385-1979'>f0.v0.extent_realized.s</b> <span class='Operator Matched' id='1976-1980'>+</span> <span class='IntImm Imm' id='1976-1982'>1</span><span class='Matched' id='1976-1984'>)</span></span><span class='Matched' id='1960-1986'>)</span></span><span class='Matched' id='1944-1988'>)</span></span> <span class='Operator Matched' id='1940-1990'>+</span> <span class='IntImm Imm' id='1940-1992'>4</span><span class='Matched' id='1940-1994'>)</span></span><span class='Matched' id='1934-1996'>,</span> <span class='IntImm Imm' id='1934-1998'>1</span><span class='Matched' id='1934-2000'>,</span> <span class='IntImm Imm' id='1934-2002'>4</span><span class='Matched' id='1934-2004'>)</span></span><span class='Matched' id='1929-2006'>]</span> <span class='Operator Assign Matched' id='1929-2008'>=</span> <span class='StoreValue' id='1929-2010'><span class='Ramp' id='2011-2012'><span class='Matched' id='2013-2016'><span class='Symbol' id='2013-2014'>ramp</span>(</span><span class='BinaryOp' id='2013-2018'><span class='Matched' id='2019-2020'>(</span><span class='BinaryOp' id='2019-2022'><span class='Matched' id='2023-2024'>(</span><b class='Variable Matched' id='1775-2026'>f0.s0.s1.base</b> <span class='Operator Matched' id='2023-2027'>+</span> <b class='Variable Matched' id='1686-2029'>f0.s0.v1</b><span class='Matched' id='2023-2030'>)</span></span> <span class='Operator Matched' id='2019-2032'>+</span> <span class='IntImm Imm' id='2019-2034'>4</span><span class='Matched' id='2019-2036'>)</span></span><span class='Matched' id='2013-2038'>,</span> <span class='IntImm Imm' id='2013-2040'>1</span><span class='Matched' id='2013-2042'>,</span> <span class='IntImm Imm' id='2013-2044'>4</span><span class='Matched' id='2013-2046'>)</span></span></span></div>
</div>
</div>
</div>
<span class='Matched' id='1727-2048'>}</span></div>
</div>
<span class='Matched' id='1688-2050'>}</span></div>
</div>
<span class='Matched' id='1678-2052'>}</span></div>
<div class='For' id='1675-2055'>
<a class=ExpandButton onclick='return toggle(2057);' href=_blank><div style='position:relative; width:0; height:0;'><div class=ShowHide style='display:none;' id=2057-show><i class='fa fa-plus-square-o'></i></div><div class=ShowHide id=2057-hide><i class='fa fa-minus-square-o'></i></div></div><span class='Matched' id='2056-2058'><span class='Keyword' id='2059-2060'>for</span> (</span><b class='Variable Matched' id='2054-2062'>f1.s0.v0.v0</b><span class='Matched' id='2056-2063'>,</span> <span class='IntImm Imm' id='2056-2065'>0</span><span class='Matched' id='2056-2067'>,</span> <span class='BinaryOp' id='2056-2069'><span class='Matched' id='2070-2071'>(</span><span class='BinaryOp' id='2070-2073'><span class='Matched' id='2074-2075'>(</span><b class='Variable Matched' id='41-2077'>f1.extent.0</b> <span class='Operator Matched' id='2074-2078'>+</span> <span class='IntImm Imm' id='2074-2080'>31</span><span class='Matched' id='2074-2082'>)</span></span> <span class='Operator Matched' id='2070-2084'>/</span> <span class='IntImm Imm' id='2070-2086'>32</span><span class='Matched' id='2070-2088'>)</span></span><span class='Matched' id='2056-2090'>)</span></a> <span class='Matched' id='2056-2092'>{</span><div class='ForBody Indent' id='2057'>
<div class='LetStmt' id='2094-2096'>
<p class=WrapLine><span class='Matched' id='2097-2098'><span class='Keyword' id='2099-2100'>let</span> <b class='Variable Matched' id='2095-2102'>f1.s0.v0.v6.base</b></span> <span class='Operator Assign Matched' id='2097-2103'>=</span> <span class='Min' id='2097-2105'><span class='Matched' id='2106-2109'><span class='Symbol' id='2106-2107'>min</span>(</span><span class='BinaryOp' id='2106-2111'><span class='Matched' id='2112-2113'>(</span><span class='BinaryOp' id='2112-2115'><span class='Matched' id='2116-2117'>(</span><b class='Variable Matched' id='2054-2119'>f1.s0.v0.v0</b> <span class='Operator Matched' id='2116-2120'>*</span> <span class='IntImm Imm' id='2116-2122'>32</span><span class='Matched' id='2116-2124'>)</span></span> <span class='Operator Matched' id='2112-2126'>+</span> <b class='Variable Matched' id='63-2128'>f1.min.0</b><span class='Matched' id='2112-2129'>)</span></span><span class='Matched' id='2106-2131'>,</span> <span class='BinaryOp' id='2106-2133'><span class='Matched' id='2134-2135'>(</span><span class='BinaryOp' id='2134-2137'><span class='Matched' id='2138-2139'>(</span><b class='Variable Matched' id='63-2141'>f1.min.0</b> <span class='Operator Matched' id='2138-2142'>+</span> <b class='Variable Matched' id='41-2144'>f1.extent.0</b><span class='Matched' id='2138-2145'>)</span></span> <span class='Operator Matched' id='2134-2147'>+</span> <span class='IntImm Imm' id='2134-2149'>-32</span><span class='Matched' id='2134-2151'>)</span></span><span class='Matched' id='2106-2153'>)</span></span></p><div class='For' id='2097-2156'>
<a class=ExpandButton onclick='return toggle(2158);' href=_blank><div style='position:relative; width:0; height:0;'><div class=ShowHide style='display:none;' id=2158-show><i class='fa fa-plus-square-o'></i></div><div class=ShowHide id=2158-hide><i class='fa fa-minus-square-o'></i></div></div><span class='Matched' id='2157-2159'><span class='Keyword' id='2160-2161'>for</span> (</span><b class='Variable Matched' id='2155-2163'>f1.s0.v1.v7</b><span class='Matched' id='2157-2164'>,</span> <span class='IntImm Imm' id='2157-2166'>0</span><span class='Matched' id='2157-2168'>,</span> <span class='IntImm Imm' id='2157-2170'>16</span><span class='Matched' id='2157-2172'>)</span></a> <span class='Matched' id='2157-2174'>{</span><div class='ForBody Indent' id='2158'>
<div class='For' id='2176-2178'>
<a class=ExpandButton onclick='return toggle(2180);' href=_blank><div style='position:relative; width:0; height:0;'><div class=ShowHide style='display:none;' id=2180-show><i class='fa fa-plus-square-o'></i></div><div class=ShowHide id=2180-hide><i class='fa fa-minus-square-o'></i></div></div><span class='Matched' id='2179-2181'><span class='Keyword' id='2182-2183'>for</span> (</span><b class='Variable Matched' id='2177-2185'>f1.s0.v0.v6</b><span class='Matched' id='2179-2186'>,</span> <span class='IntImm Imm' id='2179-2188'>0</span><span class='Matched' id='2179-2190'>,</span> <span class='IntImm Imm' id='2179-2192'>32</span><span class='Matched' id='2179-2194'>)</span></a> <span class='Matched' id='2179-2196'>{</span><div class='ForBody Indent' id='2180'>
<div class='Store WrapLine' id='2198-2199'>
<span class='Matched' id='2200-2201'><b class='Variable Matched' id='899-2203'>f1</b>[</span><span class='BinaryOp' id='2200-2204'><span class='Matched' id='2205-2206'>(</span><span class='BinaryOp' id='2205-2208'><span class='Matched' id='2209-2210'>(</span><span class='BinaryOp' id='2209-2212'><span class='Matched' id='2213-2214'>(</span><b class='Variable Matched' id='2095-2216'>f1.s0.v0.v6.base</b> <span class='Operator Matched' id='2213-2217'>+</span> <b class='Variable Matched' id='2177-2219'>f1.s0.v0.v6</b><span class='Matched' id='2213-2220'>)</span></span> <span class='Operator Matched' id='2209-2222'>+</span> <span class='BinaryOp' id='2209-2224'><span class='Matched' id='2225-2226'>(</span><span class='BinaryOp' id='2225-2228'><span class='Matched' id='2229-2230'>(</span><b class='Variable Matched' id='950-2232'>f1.s0.v1.v7.base</b> <span class='Operator Matched' id='2229-2233'>+</span> <b class='Variable Matched' id='2155-2235'>f1.s0.v1.v7</b><span class='Matched' id='2229-2236'>)</span></span> <span class='Operator Matched' id='2225-2238'>*</span> <b class='Variable Matched' id='840-2240'>f1.stride.1</b><span class='Matched' id='2225-2241'>)</span></span><span class='Matched' id='2209-2243'>)</span></span> <span class='Operator Matched' id='2205-2245'>-</span> <span class='BinaryOp' id='2205-2247'><span class='Matched' id='2248-2249'>(</span><b class='Variable Matched' id='63-2251'>f1.min.0</b> <span class='Operator Matched' id='2248-2252'>+</span> <span class='BinaryOp' id='2248-2254'><span class='Matched' id='2255-2256'>(</span><b class='Variable Matched' id='235-2258'>f1.min.1</b> <span class='Operator Matched' id='2255-2259'>*</span> <b class='Variable Matched' id='840-2261'>f1.stride.1</b><span class='Matched' id='2255-2262'>)</span></span><span class='Matched' id='2248-2264'>)</span></span><span class='Matched' id='2205-2266'>)</span></span><span class='Matched' id='2200-2268'>]</span> <span class='Operator Assign Matched' id='2200-2270'>=</span> <span class='StoreValue' id='2200-2272'><span class='Load' id='2273-2274'><span class='Matched' id='2275-2276'><b class='Variable Matched' id='1676-2278'>f0</b>[</span><span class='BinaryOp' id='2275-2279'><span class='Matched' id='2280-2281'>(</span><span class='BinaryOp' id='2280-2283'><span class='Matched' id='2284-2285'>(</span><span class='BinaryOp' id='2284-2287'><span class='Matched' id='2288-2289'>(</span><b class='Variable Matched' id='1030-2291'>p0</b> <span class='Operator Matched' id='2288-2292'>*</span> <span class='BinaryOp' id='2288-2294'><span class='Matched' id='2295-2296'>(</span><b class='Variable Matched' id='2095-2298'>f1.s0.v0.v6.base</b> <span class='Operator Matched' id='2295-2299'>+</span> <b class='Variable Matched' id='2177-2301'>f1.s0.v0.v6</b><span class='Matched' id='2295-2302'>)</span></span><span class='Matched' id='2288-2304'>)</span></span> <span class='Operator Matched' id='2284-2306'>-</span> <b class='Variable Matched' id='1281-2308'>f0.v0.min_realized</b><span class='Matched' id='2284-2309'>)</span></span> <span class='Operator Matched' id='2280-2311'>+</span> <span class='BinaryOp' id='2280-2313'><span class='Matched' id='2314-2315'>(</span><span class='BinaryOp' id='2314-2317'><span class='Matched' id='2318-2319'>(</span><span class='BinaryOp' id='2318-2321'><span class='Matched' id='2322-2323'>(</span><b class='Variable Matched' id='1030-2325'>p0</b> <span class='Operator Matched' id='2322-2326'>*</span> <span class='BinaryOp' id='2322-2328'><span class='Matched' id='2329-2330'>(</span><b class='Variable Matched' id='950-2332'>f1.s0.v1.v7.base</b> <span class='Operator Matched' id='2329-2333'>+</span> <b class='Variable Matched' id='2155-2335'>f1.s0.v1.v7</b><span class='Matched' id='2329-2336'>)</span></span><span class='Matched' id='2322-2338'>)</span></span> <span class='Operator Matched' id='2318-2340'>-</span> <b class='Variable Matched' id='1074-2342'>f0.s0.v1.min_1</b><span class='Matched' id='2318-2343'>)</span></span> <span class='Operator Matched' id='2314-2345'>*</span> <span class='BinaryOp' id='2314-2347'><span class='Matched' id='2348-2349'>(</span><b class='Variable Matched' id='1385-2351'>f0.v0.extent_realized.s</b> <span class='Operator Matched' id='2348-2352'>+</span> <span class='IntImm Imm' id='2348-2354'>1</span><span class='Matched' id='2348-2356'>)</span></span><span class='Matched' id='2314-2358'>)</span></span><span class='Matched' id='2280-2360'>)</span></span><span class='Matched' id='2275-2362'>]</span></span></span></div>
</div>
<span class='Matched' id='2179-2364'>}</span></div>
</div>
<span class='Matched' id='2157-2366'>}</span></div>
</div>
</div>
<span class='Matched' id='2056-2368'>}</span></div>
<div class='Free WrapLine' id='1675-2370'>
<span class='Keyword' id='2371-2372'>free</span> <b class='Variable Matched' id='1629-2374'>f0</b></div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<span class='Matched' id='911-2375'>}</span></div>
</div>
<span class='Matched' id='901-2377'>}</span></div>
<div class='Evaluate' id='867-2379'>
<span class='IntImm Imm' id='2380-2381'>0</span></div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<span class='Matched' id='429-2383'>}</span></div>
</div>
</div>
</div>
</div>
</div>
<script>
$( '.Matched' ).each( function() {
    this.onmouseover = function() { $('.Matched[id^=' + this.id.split('-')[0] + '-]').addClass('Highlight'); }
    this.onmouseout = function() { $('.Matched[id^=' + this.id.split('-')[0] + '-]').removeClass('Highlight'); }
} );
</script>
</body>