privately export pet_stmt_is_affine_assume
[pet.git] / tests / 
tree310fa715799824647f674b206539c3930f01ba25
drwxr-xr-x   ..
-rw-r--r-- 842 QR.c
-rw-r--r-- 16614 QR.scop
-rw-r--r-- 180 arg.c
-rw-r--r-- 2938 arg.scop
-rw-r--r-- 117 array.c
-rw-r--r-- 792 array.scop
-rw-r--r-- 208 assume.c
-rw-r--r-- 1221 assume.scop
-rw-r--r-- 96 assume2.c
-rw-r--r-- 862 assume2.scop
drwxr-xr-x - autodetect
-rw-r--r-- 85 boolean.c
-rw-r--r-- 1058 boolean.scop
-rw-r--r-- 181 break.c
-rw-r--r-- 4273 break.scop
-rw-r--r-- 210 break2.c
-rw-r--r-- 4531 break2.scop
-rw-r--r-- 188 break3.c
-rw-r--r-- 5693 break3.scop
-rw-r--r-- 359 break4.c
-rw-r--r-- 27229 break4.scop
-rw-r--r-- 271 break5.c
-rw-r--r-- 5083 break5.scop
-rw-r--r-- 186 break6.c
-rw-r--r-- 9087 break6.scop
-rw-r--r-- 148 break7.c
-rw-r--r-- 4066 break7.scop
-rw-r--r-- 247 call1.c
-rw-r--r-- 1389 call1.scop
-rw-r--r-- 252 call2.c
-rw-r--r-- 1116 call2.scop
-rw-r--r-- 227 call3.c
-rw-r--r-- 1321 call3.scop
-rw-r--r-- 149 call4.c
-rw-r--r-- 979 call4.scop
-rw-r--r-- 210 call5.c
-rw-r--r-- 1097 call5.scop
-rw-r--r-- 219 call6.c
-rw-r--r-- 1191 call6.scop
-rw-r--r-- 157 call7.c
-rw-r--r-- 979 call7.scop
-rw-r--r-- 409 call_struct.c
-rw-r--r-- 3115 call_struct.scop
-rw-r--r-- 89 cast.c
-rw-r--r-- 1508 cast.scop
-rw-r--r-- 127 ceild.c
-rw-r--r-- 2646 ceild.scop
-rw-r--r-- 498 conditional_assignment.c
-rw-r--r-- 10106 conditional_assignment.scop
-rw-r--r-- 509 conditional_assignment2.c
-rw-r--r-- 10394 conditional_assignment2.scop
-rw-r--r-- 96 conditional_assignment3.c
-rw-r--r-- 1938 conditional_assignment3.scop
-rw-r--r-- 62 const.c
-rw-r--r-- 834 const.scop
-rw-r--r-- 184 continue.c
-rw-r--r-- 4257 continue.scop
-rw-r--r-- 291 continue2.c
-rw-r--r-- 10634 continue2.scop
-rw-r--r-- 217 continue3.c
-rw-r--r-- 7371 continue3.scop
-rw-r--r-- 218 continue4.c
-rw-r--r-- 6563 continue4.scop
-rw-r--r-- 218 continue5.c
-rw-r--r-- 6281 continue5.scop
-rw-r--r-- 178 cuervo.c
-rw-r--r-- 1573 cuervo.scop
-rw-r--r-- 500 data_dependent.c
-rw-r--r-- 9420 data_dependent.scop
-rw-r--r-- 208 data_dependent2.c
-rw-r--r-- 6464 data_dependent2.scop
-rw-r--r-- 111 dec.c
-rw-r--r-- 2576 dec.scop
-rw-r--r-- 114 dec2.c
-rw-r--r-- 2576 dec2.scop
-rw-r--r-- 115 dec3.c
-rw-r--r-- 2576 dec3.scop
-rw-r--r-- 114 dec4.c
-rw-r--r-- 2742 dec4.scop
-rw-r--r-- 284 decl.c
-rw-r--r-- 8770 decl.scop
-rw-r--r-- 71 decl2.c
-rw-r--r-- 975 decl2.scop
-rw-r--r-- 79 decl3.c
-rw-r--r-- 1275 decl3.scop
-rw-r--r-- 109 decl4.c
-rw-r--r-- 1708 decl4.scop
-rw-r--r-- 112 decl5.c
-rw-r--r-- 1768 decl5.scop
-rw-r--r-- 117 decl6.c
-rw-r--r-- 2655 decl6.scop
-rw-r--r-- 345 decl7.c
-rw-r--r-- 6224 decl7.scop
-rw-r--r-- 254 decl8.c
-rw-r--r-- 4002 decl8.scop
-rw-r--r-- 234 div_mod.c
-rw-r--r-- 4051 div_mod.scop
-rw-r--r-- 353 dynamic_bound.c
-rw-r--r-- 3914 dynamic_bound.scop
-rw-r--r-- 176 dynamic_condition.c
-rw-r--r-- 3177 dynamic_condition.scop
-rw-r--r-- 44 empty.c
-rw-r--r-- 103 empty.scop
-rw-r--r-- 47 empty2.c
-rw-r--r-- 107 empty2.scop
-rw-r--r-- 54 empty3.c
-rw-r--r-- 107 empty3.scop
-rw-r--r-- 116 empty_domain.c
-rw-r--r-- 2434 empty_domain.scop
drwxr-xr-x - encapsulate
-rw-r--r-- 138 enum.c
-rw-r--r-- 864 enum.scop
-rw-r--r-- 104 filter.c
-rw-r--r-- 1086 filter.scop
-rw-r--r-- 99 filter2.c
-rw-r--r-- 1500 filter2.scop
-rw-r--r-- 127 filter3.c
-rw-r--r-- 1813 filter3.scop
-rw-r--r-- 77 float.c
-rw-r--r-- 1170 float.scop
-rw-r--r-- 95 float2.c
-rw-r--r-- 905 float2.scop
-rw-r--r-- 117 floord.c
-rw-r--r-- 2527 floord.scop
-rw-r--r-- 180 floord2.c
-rw-r--r-- 2529 floord2.scop
-rw-r--r-- 233 for_while.c
-rw-r--r-- 3641 for_while.scop
-rw-r--r-- 236 for_while_dec.c
-rw-r--r-- 3807 for_while_dec.scop
-rw-r--r-- 236 for_while_inc.c
-rw-r--r-- 3867 for_while_inc.scop
-rw-r--r-- 236 for_while_inc2.c
-rw-r--r-- 5625 for_while_inc2.scop
-rw-r--r-- 236 for_while_inc3.c
-rw-r--r-- 5627 for_while_inc3.scop
-rw-r--r-- 241 for_while_inc4.c
-rw-r--r-- 5198 for_while_inc4.scop
-rw-r--r-- 233 for_while_init.c
-rw-r--r-- 5622 for_while_init.scop
-rw-r--r-- 236 for_while_init2.c
-rw-r--r-- 5719 for_while_init2.scop
-rw-r--r-- 147 for_while_init3.c
-rw-r--r-- 4937 for_while_init3.scop
-rw-r--r-- 193 for_while_overflow.c
-rw-r--r-- 2735 for_while_overflow.scop
-rw-r--r-- 246 for_while_unsigned.c
-rw-r--r-- 3829 for_while_unsigned.scop
-rw-r--r-- 318 for_while_unsigned2.c
-rw-r--r-- 4455 for_while_unsigned2.scop
-rw-r--r-- 97 forward_substitution1.c
-rw-r--r-- 2685 forward_substitution1.scop
-rw-r--r-- 94 forward_substitution2.c
-rw-r--r-- 2242 forward_substitution2.scop
-rw-r--r-- 99 forward_substitution3.c
-rw-r--r-- 2676 forward_substitution3.scop
-rw-r--r-- 108 forward_substitution4.c
-rw-r--r-- 2273 forward_substitution4.scop
-rw-r--r-- 95 forward_substitution5.c
-rw-r--r-- 2243 forward_substitution5.scop
-rw-r--r-- 103 generic_condition.c
-rw-r--r-- 2268 generic_condition.scop
-rw-r--r-- 146 generic_condition2.c
-rw-r--r-- 3803 generic_condition2.scop
-rw-r--r-- 75 if1.c
-rw-r--r-- 1529 if1.scop
-rw-r--r-- 80 if2.c
-rw-r--r-- 808 if2.scop
-rw-r--r-- 116 implicit_condition.c
-rw-r--r-- 2473 implicit_condition.scop
-rw-r--r-- 109 inc.c
-rw-r--r-- 2475 inc.scop
-rw-r--r-- 109 inc2.c
-rw-r--r-- 2569 inc2.scop
-rw-r--r-- 112 inc3.c
-rw-r--r-- 2475 inc3.scop
-rw-r--r-- 128 inc4.c
-rw-r--r-- 2475 inc4.scop
-rw-r--r-- 117 inc5.c
-rw-r--r-- 4360 inc5.scop
-rw-r--r-- 189 independent1.c
-rw-r--r-- 1277 independent1.scop
-rw-r--r-- 182 independent2.c
-rw-r--r-- 1235 independent2.scop
-rw-r--r-- 211 independent3.c
-rw-r--r-- 3527 independent3.scop
-rw-r--r-- 212 independent4.c
-rw-r--r-- 1182 independent4.scop
-rw-r--r-- 209 inf.c
-rw-r--r-- 4730 inf.scop
-rw-r--r-- 210 inf2.c
-rw-r--r-- 4730 inf2.scop
-rw-r--r-- 106 inf3.c
-rw-r--r-- 1864 inf3.scop
-rw-r--r-- 231 inf4.c
-rw-r--r-- 6022 inf4.scop
-rw-r--r-- 96 inline1.c
-rw-r--r-- 2237 inline1.scop
-rw-r--r-- 103 inline10.c
-rw-r--r-- 3631 inline10.scop
-rw-r--r-- 130 inline11.c
-rw-r--r-- 3300 inline11.scop
-rw-r--r-- 101 inline2.c
-rw-r--r-- 1143 inline2.scop
-rw-r--r-- 115 inline3.c
-rw-r--r-- 2256 inline3.scop
-rw-r--r-- 187 inline4.c
-rw-r--r-- 3749 inline4.scop
-rw-r--r-- 195 inline5.c
-rw-r--r-- 5098 inline5.scop
-rw-r--r-- 246 inline6.c
-rw-r--r-- 7777 inline6.scop
-rw-r--r-- 358 inline7.c
-rw-r--r-- 2851 inline7.scop
-rw-r--r-- 247 inline8.c
-rw-r--r-- 2668 inline8.scop
-rw-r--r-- 382 inline9.c
-rw-r--r-- 4826 inline9.scop
-rw-r--r-- 113 iterator_declaration.c
-rw-r--r-- 1146 iterator_declaration.scop
-rw-r--r-- 245 kill.c
-rw-r--r-- 4921 kill.scop
-rw-r--r-- 92 kill2.c
-rw-r--r-- 1618 kill2.scop
-rw-r--r-- 73 label.c
-rw-r--r-- 1096 label.scop
-rw-r--r-- 98 label2.c
-rw-r--r-- 2132 label2.scop
-rw-r--r-- 96 loop.c
-rw-r--r-- 2138 loop.scop
-rw-r--r-- 118 loop2.c
-rw-r--r-- 2326 loop2.scop
-rw-r--r-- 126 loop3.c
-rw-r--r-- 2326 loop3.scop
-rw-r--r-- 129 loop4.c
-rw-r--r-- 2280 loop4.scop
-rw-r--r-- 112 loop5.c
-rw-r--r-- 1069 loop5.scop
-rw-r--r-- 139 loop6.c
-rw-r--r-- 1094 loop6.scop
-rw-r--r-- 116 loop7.c
-rw-r--r-- 3723 loop7.scop
-rw-r--r-- 111 loop8.c
-rw-r--r-- 2441 loop8.scop
-rw-r--r-- 101 loop_body.c
-rw-r--r-- 463 loop_body.scop
-rw-r--r-- 97 loop_body2.c
-rw-r--r-- 461 loop_body2.scop
-rw-r--r-- 76 macro.c
-rw-r--r-- 211 macro.scop
-rw-r--r-- 279 matmul.c
-rw-r--r-- 6792 matmul.scop
-rw-r--r-- 119 max.c
-rw-r--r-- 2671 max.scop
-rw-r--r-- 123 min.c
-rw-r--r-- 2549 min.scop
-rw-r--r-- 168 min2.c
-rw-r--r-- 2550 min2.scop
-rw-r--r-- 125 mod.c
-rw-r--r-- 2521 mod.scop
-rw-r--r-- 129 mod2.c
-rw-r--r-- 2538 mod2.scop
-rw-r--r-- 70 no_kill1.c
-rw-r--r-- 461 no_kill1.scop
-rw-r--r-- 90 no_kill2.c
-rw-r--r-- 461 no_kill2.scop
-rw-r--r-- 80 no_kill3.c
-rw-r--r-- 465 no_kill3.scop
-rw-r--r-- 95 no_kill4.c
-rw-r--r-- 465 no_kill4.scop
-rw-r--r-- 142 omega.c
-rw-r--r-- 2663 omega.scop
-rw-r--r-- 214 pencil_max.c
-rw-r--r-- 6146 pencil_max.scop
-rw-r--r-- 214 pencil_min.c
-rw-r--r-- 5854 pencil_min.scop
-rw-r--r-- 176 piecewise.c
-rw-r--r-- 3791 piecewise.scop
-rw-r--r-- 170 piecewise2.c
-rw-r--r-- 3791 piecewise2.scop
-rw-r--r-- 206 propagate.c
-rw-r--r-- 4796 propagate.scop
-rw-r--r-- 224 quasi_affine.c
-rw-r--r-- 4615 quasi_affine.scop
-rw-r--r-- 140 rotate.c
-rw-r--r-- 855 rotate.scop
-rw-r--r-- 61 scalar.c
-rw-r--r-- 808 scalar.scop
-rw-r--r-- 67 scalar_inc.c
-rw-r--r-- 1082 scalar_inc.scop
-rw-r--r-- 93 shortcut1.c
-rw-r--r-- 935 shortcut1.scop
-rw-r--r-- 93 shortcut2.c
-rw-r--r-- 934 shortcut2.scop
-rw-r--r-- 144 static.c
-rw-r--r-- 764 static.scop
-rw-r--r-- 91 struct1.c
-rw-r--r-- 999 struct1.scop
-rw-r--r-- 101 struct10.c
-rw-r--r-- 916 struct10.scop
-rw-r--r-- 129 struct11.c
-rw-r--r-- 1714 struct11.scop
-rw-r--r-- 115 struct12.c
-rw-r--r-- 1053 struct12.scop
-rw-r--r-- 157 struct13.c
-rw-r--r-- 844 struct13.scop
-rw-r--r-- 180 struct14.c
-rw-r--r-- 1558 struct14.scop
-rw-r--r-- 168 struct2.c
-rw-r--r-- 1328 struct2.scop
-rw-r--r-- 261 struct3.c
-rw-r--r-- 1729 struct3.scop
-rw-r--r-- 191 struct4.c
-rw-r--r-- 1725 struct4.scop
-rw-r--r-- 193 struct5.c
-rw-r--r-- 1746 struct5.scop
-rw-r--r-- 93 struct6.c
-rw-r--r-- 679 struct6.scop
-rw-r--r-- 181 struct7.c
-rw-r--r-- 1856 struct7.scop
-rw-r--r-- 227 struct8.c
-rw-r--r-- 2193 struct8.scop
-rw-r--r-- 361 struct9.c
-rw-r--r-- 3198 struct9.scop
-rw-r--r-- 437 summary.c
-rw-r--r-- 915 summary.scop
-rw-r--r-- 448 summary2.c
-rw-r--r-- 1026 summary2.scop
-rw-r--r-- 143 ternary.c
-rw-r--r-- 3185 ternary.scop
-rw-r--r-- 134 tobi1.c
-rw-r--r-- 2288 tobi1.scop
-rw-r--r-- 204 tobi2.c
-rw-r--r-- 2991 tobi2.scop
-rw-r--r-- 258 unsigned1.c
-rw-r--r-- 5564 unsigned1.scop
-rw-r--r-- 114 unsigned2.c
-rw-r--r-- 2192 unsigned2.scop
-rw-r--r-- 103 unsigned3.c
-rw-r--r-- 2272 unsigned3.scop
-rw-r--r-- 152 unsigned_break1.c
-rw-r--r-- 2722 unsigned_break1.scop
-rw-r--r-- 174 unsigned_break2.c
-rw-r--r-- 4135 unsigned_break2.scop
-rw-r--r-- 621 wdp.c
-rw-r--r-- 11196 wdp.scop
-rw-r--r-- 212 while.c
-rw-r--r-- 3542 while.scop
-rw-r--r-- 208 while_affine.c
-rw-r--r-- 6487 while_affine.scop
-rw-r--r-- 296 while_break.c
-rw-r--r-- 9345 while_break.scop
-rw-r--r-- 159 while_break2.c
-rw-r--r-- 4533 while_break2.scop
-rw-r--r-- 111 while_inc.c
-rw-r--r-- 3213 while_inc.scop
-rw-r--r-- 179 while_overflow.c
-rw-r--r-- 2735 while_overflow.scop
-rw-r--r-- 153 write.c
-rw-r--r-- 813 write.scop
-rw-r--r-- 155 write2.c
-rw-r--r-- 813 write2.scop