structural control flow

src/expr/cf/data.jl

@@ -0,0 +1,38 @@
+@data Stmt begin
+    Index(Index.Type)
+    Scalar(Scalar.Type)
+    Region(Region.Type)
+    Op(Op.Type)
+    State(State.Type)
+    Tensor(Tensor.Type)
+end
+
+"""
+Structural Control Flow
+"""
+@data CF begin
+    None
+    Break
+    Continue
+
+    struct If
+        cond::Stmt.Type
+        then::CF
+        otherwise::CF
+    end
+
+    struct While
+        cond::Stmt.Type
+        body::CF
+    end
+
+    struct For
+        index::Vector{Index.Type}
+        region::Region.Type
+        body::CF
+    end
+
+    Return(Stmt.Type)
+
+    Block(Vector{Stmt.Type})
+end

src/expr/cf/mod.jl

@@ -0,0 +1 @@
+include("data.jl")

src/expr/mod.jl

@@ -27,6 +27,7 @@ include("state/mod.jl")
 include("region/mod.jl")
 include("op/mod.jl")
 include("tensor/mod.jl")
+include("cf/mod.jl")
 
 """
     @def <name>::<type>