package IfLifting(sysIfLifting) where

-- Lifting of if-branches: `b.set False' and `b.set True' on two sides
-- of the `if' should be lifted out to `b.set (nosplitIf a False True)'

sysIfLifting :: Module Empty
sysIfLifting =
  module
    a :: Reg Bool
    a <- mkRegU
    b :: Reg (Int 3)
    b <- mkRegU
    rules
        when True ==> b:= if a then 1 else 2