Basic CFG interfaces

compiler/ir/ir.ir2cfg/src/org/jetbrains/kotlin/ir2cfg/graph/BasicBlock.kt

@@ -0,0 +1,34 @@
+/*
+ * Copyright 2010-2016 JetBrains s.r.o.
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+package org.jetbrains.kotlin.ir2cfg.graph
+
+import org.jetbrains.kotlin.ir.IrElement
+
+interface BasicBlock : CfgNode {
+
+    val elements: List<IrElement>
+
+    val incoming: BlockConnector?
+
+    val outgoing: BlockConnector?
+
+    override val predecessors: List<CfgNode>
+        get() = listOfNotNull(incoming)
+
+    override val successors: List<CfgNode>
+        get() = listOfNotNull(outgoing)
+}

compiler/ir/ir.ir2cfg/src/org/jetbrains/kotlin/ir2cfg/graph/BlockConnector.kt

@@ -0,0 +1,34 @@
+/*
+ * Copyright 2010-2016 JetBrains s.r.o.
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+package org.jetbrains.kotlin.ir2cfg.graph
+
+import org.jetbrains.kotlin.ir.IrElement
+
+interface BlockConnector : CfgNode {
+
+    val previousBlocks: List<BasicBlock>
+
+    val element: IrElement
+
+    val nextBlocks: List<BasicBlock>
+
+    override val predecessors: List<CfgNode>
+        get() = previousBlocks
+
+    override val successors: List<CfgNode>
+        get() = nextBlocks
+}

compiler/ir/ir.ir2cfg/src/org/jetbrains/kotlin/ir2cfg/graph/CfgNode.kt

@@ -0,0 +1,24 @@
+/*
+ * Copyright 2010-2016 JetBrains s.r.o.
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+package org.jetbrains.kotlin.ir2cfg.graph
+
+interface CfgNode {
+
+    val predecessors: List<CfgNode>
+
+    val successors: List<CfgNode>
+}

compiler/ir/ir.ir2cfg/src/org/jetbrains/kotlin/ir2cfg/graph/ControlFlowGraph.kt

@@ -0,0 +1,32 @@
+/*
+ * Copyright 2010-2016 JetBrains s.r.o.
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+package org.jetbrains.kotlin.ir2cfg.graph
+
+import org.jetbrains.kotlin.ir.declarations.IrFunction
+
+interface ControlFlowGraph {
+
+    val function: IrFunction
+
+    // First block is the entry point
+    val blocks: List<BasicBlock>
+
+    val connectors: List<BlockConnector>
+
+    val nodes: List<CfgNode>
+        get() = blocks + connectors
+}