Increased statement limit for loop unrolling to 25

phases/unroll.ml

@@ -3,7 +3,7 @@ open Util
 
 (* Only unroll if the resulting number of statements is at most 20 *)
 let may_be_unrolled i_values body =
-  List.length i_values * List.length body <= 20
+  List.length i_values * List.length body <= 25
 
 let is_generated s = Str.string_match (Str.regexp "^.+\\$[0-9]+$") s 0
 

phases/unroll.mli

@@ -51,7 +51,7 @@
 \} v}
 
     A simple heuristic is applied to decide whether a recognised for-loop will
-    be unrolled: the resulting number of statements must not be larger than 20.
+    be unrolled: the resulting number of statements must not be larger than 25.
 
     Note that since programmer-defined for-loops are also transformed into
     while-loops, these are recognized by the compiler as well (as long as the