12 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
24   attr_reader :kind, :depth  accessor in CfBlock
26   module Kind  module in CfBlock
32   def initialize(kind, depth)  argument
33     @kind = kind
41     if @kind == Kind::While
49 …pc_map ||= { If: Kind::IfThen, IfImm: Kind::IfThen, Else: Kind::IfElse, While: Kind::While, AddOve…
141 …    raise "Wrong place of `WhilePhi` instruction" unless @cf_stack[-1].kind == CfBlock::Kind::While
354       return block if block.depth == else_depth && block.kind == CfBlock::Kind::IfThen
381 … !last_block.nil? && @current_depth == last_block.depth && last_block.kind == CfBlock::Kind::IfElse
386           if block.kind == CfBlock::Kind::While
396 …if block.head_bb.false_succ.nil? && (block.kind == CfBlock::Kind::IfThen || block.kind == CfBlock:…