copyStructureWithEffectInfo :: IR.Reg -> IR.Reg -> IR.Instruction
copyStructureWithEffectInfo srcReg dstReg = IR.ConditionalMove
  { srcReg    = srcReg
  , predicate = isEffectInfo
  , dstReg    = dstReg
  }
copyStructureWithEffectInfo :: IR.Reg -> IR.Reg -> IR.Instruction
copyStructureWithEffectInfo srcReg dstReg = IR.ConditionalMove
  { srcReg    = srcReg
  , predicate = isEffectInfo
  , dstReg    = dstReg
  }
copyStructureWithEffectInfo srcReg dstReg = IR.ConditionalMove
  { srcReg    = srcReg
  , predicate = isEffectInfo
  , dstReg    = dstReg
  }