diff options
Diffstat (limited to 'polly/lib/External/isl/test_inputs/codegen/isolate1.st')
-rw-r--r-- | polly/lib/External/isl/test_inputs/codegen/isolate1.st | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/polly/lib/External/isl/test_inputs/codegen/isolate1.st b/polly/lib/External/isl/test_inputs/codegen/isolate1.st new file mode 100644 index 00000000000..037dda1880b --- /dev/null +++ b/polly/lib/External/isl/test_inputs/codegen/isolate1.st @@ -0,0 +1,5 @@ +# Check that the isolate option is adjusted by schedule space scaling +domain: "{ A[i] : 0 <= i < 100 }" +child: + schedule: "[{ A[i] -> [3i] }]" + options: "{ isolate[[] -> [x]] : 10 <= x <= 20 }" |