1 files changed, 4 insertions, 0 deletions
diff --git a/polly/lib/External/isl/test_inputs/codegen/atomic2.in b/polly/lib/External/isl/test_inputs/codegen/atomic2.in
new file mode 100644
index 00000000000..99901d0e191
--- /dev/null
+++ b/polly/lib/External/isl/test_inputs/codegen/atomic2.in
@@ -0,0 +1,4 @@
+# Check that isl properly handles atomic domains that are unions.
+[nn, b0] -> { A[a] -> [a, 0, b0] : exists (e0 = [(b0 - a)/32768]: 32768e0 = b0 - a and a >= 1 and b0 >= 0 and b0 <= 32767 and a <= 65534) }
+[nn, b0] -> { : b0 >= 0 and b0 <= 32767 }
+[nn, b0] -> { [a, b, c] -> atomic[2] : c >= 1; [a, 0, c] -> atomic[2] }