Generate the shapes of ILP accumulators in the correct type.

MEMO

@@ -39,8 +39,6 @@ Things to consider
 To-do
 ^^^^^
 
-- Automatically generate testing code vs. sequential.
-
 - Fix all tests
 
 - Deal with equality constraints.
@@ -83,6 +81,8 @@ Future ideas
 Dealt with
 ^^^^^^^^^^
 
+- Automatically generate testing code vs. sequential.
+
 - If isl can prove that all operands are positive, may use '/' instead of
   'floor_div'.
 

loopy/preprocess.py

@@ -99,8 +99,10 @@ def realize_reduction(kernel):
         for iname in ilp_inames:
             bounds = kernel.get_iname_bounds(iname)
 
+            from loopy.symbolic import pw_aff_to_expr
             ilp_iname_lengths.append(
-                static_max_of_pw_aff(bounds.size, constants_only=True))
+                    int(pw_aff_to_expr(
+                        static_max_of_pw_aff(bounds.size, constants_only=True))))
 
         # }}}