update isl for change in representation of isl_constraint
[ppcg.git] / clan / tests / unitary / ternary.c.scop
blob22b5e0af80344f843be33764fdf1bfb8ccb7f66c
1 #                                                   
2 #          <|                                       
3 #           A                                       
4 #          /.\                                     
5 #     <|  [""M#                                   
6 #      A   | #              Clan McCloog Castle     
7 #     /.\ [""M#             [File generated by Clan 0.5.0 64 bits]
8 #    [""M# | #  U"U#U                            
9 #     | #  | #  \ .:/                              
10 #     | #  | #___| #                                
11 #     | "--'     .-"                              
12 #   |"-"-"-"-"-#-#-##                          
13 #   |     # ## ######                               
14 #    \       .::::'/                               
15 #     \      ::::'/                                
16 #   :8a|    # # ##                                  
17 #   ::88a      ###                                  
18 #  ::::888a  8a ##::.                               
19 #  ::::::888a88a[]::::                              
20 # :::::::::SUNDOGa8a::::. ..                        
21 # :::::8::::888:Y8888:::::::::...                   
22 #::':::88::::888::Y88a______________________________________________________
23 #:: ::::88a::::88a:Y88a                                  __---__-- __
24 #' .: ::Y88a:::::8a:Y88a                            __----_-- -------_-__
25 #  :' ::::8P::::::::::88aa.                   _ _- --  --_ --- __  --- __--
26 #.::  :::::::::::::::::::Y88as88a...s88aa.
28 SCoP
30 # =============================================== Global
31 # Language
34 # Context
35 0 2
37 # Parameter names are not provided
40 # Number of statements
43 # =============================================== Statement 1
44 # ----------------------------------------------  1.1 Domain
45 # Iteration domain
47 1 3
48    0    1    0    ## fakeiter == 0
50 # ----------------------------------------------  1.2 Scattering
51 # Scattering function is provided
53 # Scattering function
54 3 3
55    0    0    0    ## 0
56    0    1    0    ## fakeiter
57    0    0    0    ## 0
59 # ----------------------------------------------  1.3 Access
60 # Access informations are provided
62 # Read access informations
63 4 3
64    2    0    0    ## c[0]
65    3    0    0    ## d[0]
66    4    0    0    ## a[0]
67    1    0    0    ## b[0]
68 # Write access informations
69 1 3
70    1    0    0    ## b[0]
72 # ----------------------------------------------  1.4 Body
73 # Statement body is provided
75 # Original iterator names
76 fakeiter 
77 # Statement body
78 b=c<d?a+1:2*b;
81 # =============================================== Options
82 <arrays>
84 1 b
85 2 c
86 3 d
87 4 a
88 </arrays>