#region License
/* 
 * Copyright (C) 1999-2024 John Källén.
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation; either version 2, or (at your option)
 * any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program; see the file COPYING.  If not, write to
 * the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
 */
#endregion

using Reko.Core;
using Reko.Core.Expressions;
using Reko.Core.Intrinsics;
using Reko.Core.Machine;
using Reko.Core.Rtl;
using Reko.Core.Types;
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace Reko.Arch.Tlcs.Tlcs90
{
    partial class Tlcs90Rewriter
    {
        private void RewriteAdcSbc(Func<Expression, Expression, Expression> fn, string flags)
        {
            var src = RewriteSrc(this.instr.Operands[1]);
            var dst = RewriteDst(this.instr.Operands[0], src, (d, s) => fn(fn(d, s), binder.EnsureFlagGroup(Registers.C)));
            EmitCc(dst, flags);
        }

        private void RewriteBinOp(Func<Expression, Expression, Expression> fn, string flags)
        {
            var src = RewriteSrc(this.instr.Operands[1]);
            var dst = RewriteDst(this.instr.Operands[0], src, fn);
            EmitCc(dst, flags);
        }

        private void RewriteCcf()
        {
            var c = binder.EnsureFlagGroup(Registers.C);
            m.Assign(c, m.Not(c));
        }

        private void RewriteCp()
        {
            var op1 = RewriteSrc(this.instr.Operands[0]);
            var op2 = RewriteSrc(this.instr.Operands[1]);
            EmitCc(m.ISub(op1, op2), "**-**V1");
        }

        private void RewriteCpl(string flags)
        {
            var a = binder.EnsureRegister(Registers.a);
            m.Assign(a, m.Comp(a));
            EmitCc(a, flags);
        }

        private void RewriteDaa()
        {
            var a = binder.EnsureRegister(Registers.a);
            m.Assign(a, m.Fn(daa_intrinsic, a));
            EmitCc(a, "**-**P-*");
        }

        private void RewriteDiv()
        {
            var num = RewriteSrc(this.instr.Operands[0]);
            var den = RewriteSrc(this.instr.Operands[1]);
            var quo = binder.EnsureRegister(Registers.l);
            var rem = binder.EnsureRegister(Registers.h);
            var tmp = binder.CreateTemporary(num.DataType);
            var v = binder.EnsureFlagGroup(Registers.V);
            m.Assign(tmp, num);
            m.Assign(quo, m.SDiv(tmp, den));
            m.Assign(rem, m.SMod(tmp, den));
            m.Assign(v, m.Cond(quo));
        }

        private void RewriteEx()
        {
            var op1 = RewriteSrc(this.instr.Operands[0]);
            var op2 = RewriteSrc(this.instr.Operands[1]);
            var tmp = binder.CreateTemporary(op1.DataType);
            m.Assign(tmp, op1);
            RewriteDst(instr.Operands[0], op2, (d, s) => s);
            RewriteDst(instr.Operands[1], tmp, (d, s) => s);
        }

        private void RewriteExx()
        {
            //$TODO: use Registers.bc .. bc_ etc. instead.
            foreach (var r in new[] { "bc", "de", "hl" })
            {
                var t = binder.CreateTemporary(PrimitiveType.Word16);
                var reg = binder.EnsureRegister(arch.GetRegister(r)!);
                var reg_ = binder.EnsureRegister(arch.GetRegister(r + "'")!);
                m.Assign(t, reg);
                m.Assign(reg, reg_);
                m.Assign(reg_, t);
            }
        }

        private void RewriteIncDec(Func<Expression, Expression, Expression> fn, bool ifXSet)
        {
            if (ifXSet)
            {
                var x = binder.EnsureFlagGroup(Registers.X);
                m.BranchInMiddleOfInstruction(m.Not(x), instr.Address + instr.Length, InstrClass.ConditionalTransfer);
            }
            if (this.instr.Operands[0] is MemoryOperand)
            {
                this.instr.Operands[0].Width = PrimitiveType.Byte;
            }
            var src = RewriteSrc(this.instr.Operands[0]);
            Expression one;
            string flg;
            if (src.DataType.Size == 1)
            {
                one = Constant.SByte(1);
                flg = ifXSet ? "**-**V1-" : "**-**V0-";
            }
            else
            {
                one = Constant.Int16(1);
                flg = "----*---";
            }
            var dst = RewriteDst(this.instr.Operands[0], src, (a, b) => fn(b, one));
            EmitCc(dst, flg);
        }

        private void RewriteIncwDecw(Func<Expression, Expression, Expression> fn)
        {
            instr.Operands[0].Width = PrimitiveType.Word16;
            var src = RewriteSrc(this.instr.Operands[0]);
            src.DataType = PrimitiveType.Word16;
            var one = Constant.SByte(1);
            var flg =  "**-**V0-";
            var dst = RewriteDst(this.instr.Operands[0], src, (a, b) => fn(b, one));
            EmitCc(dst, flg);
        }

        private void RewriteLd()
        {
            var src = RewriteSrc(instr.Operands[1]);
            var dst = RewriteDst(instr.Operands[0], src, (a, b) => b);
        }

        private void RewriteLdar()
        {
            m.Assign(
                binder.EnsureRegister(Registers.hl),
                RewriteSrc(instr.Operands[1]));
        }

        private void RewriteLdir(string flags)
        {
            var dt = PrimitiveType.Byte;
            var tmp = binder.CreateTemporary(dt);
            var src = binder.EnsureRegister(Registers.hl);
            var dst = binder.EnsureRegister(Registers.de);
            var cnt = binder.EnsureRegister(Registers.bc);
            m.Assign(tmp, m.Mem(dt, src));
            m.Assign(m.Mem(dt, dst), tmp);
            m.Assign(src, m.IAddS(src, dt.Size));
            m.Assign(dst, m.IAddS(dst, dt.Size));
            m.Assign(cnt, m.ISub(cnt, 1));
            m.Branch(m.Ne0(cnt), instr.Address, InstrClass.ConditionalTransfer);
            EmitCc(InvalidConstant.Create(PrimitiveType.Word16), flags);
        }

        private void RewriteMul()
        {
            var src = RewriteSrc(instr.Operands[1]);
            var l = binder.EnsureRegister(Registers.l);
            src = m.IMul(l, src);
            var dst = RewriteDst(instr.Operands[0], src, (d, s) => s);
        }

        private void RewriteNeg()
        {
            var dst = RewriteDst(instr.Operands[0], null!, (d, s) => m.Neg(d));
            EmitCc(dst, "**-**V1*");
        }

        private void RewritePop()
        {
            var sp = binder.EnsureRegister(Registers.sp);
            var src = RewriteSrc(instr.Operands[0]);
            m.Assign(src, m.Mem16(sp));
            m.Assign(sp, m.IAddS(sp, (short)src.DataType.Size));
        }

        private void RewritePush()
        {
            var sp = binder.EnsureRegister(Registers.sp);
            var src = RewriteSrc(instr.Operands[0]);
            m.Assign(sp, m.ISubS(sp, (short)src.DataType.Size));
            m.Assign(m.Mem16(sp), src);
        }

        private void RewriteRcf()
        {
            var c = binder.EnsureFlagGroup(Registers.C);
            m.Assign(c, Constant.False());
        }

        private void RewriteRotation(IntrinsicProcedure intrinsic, bool useCarry)
        {
            Expression reg;
            if (instr.Operands.Length >= 1)
            {
                reg = RewriteSrc(instr.Operands[0]);
            }
            else
            {
                reg = binder.EnsureRegister(Registers.a);
            }
            var c = binder.EnsureFlagGroup(Registers.C);
            Expression src;
            var one = m.Byte(1);
            intrinsic = intrinsic.MakeInstance(reg.DataType, one.DataType);
            if (useCarry)
            {
                src = m.Fn(intrinsic, reg, one, c);
            }
            else
            {
                src = m.Fn(intrinsic, reg, one);
            }
            Expression result;
            if (instr.Operands.Length >= 1)
            {
                result = RewriteDst(instr.Operands[0], src, (a, b) => b);
            }
            else
            {
                m.Assign(reg, src);
                result = reg;
            }
            EmitCc(result, "**-0XP0*");
        }

        private void RewriteScf()
        {
            var c = binder.EnsureFlagGroup(Registers.C);
            m.Assign(c, Constant.True());
        }

        private void RewriteBit(string flags)
        {
            var bit = ((ImmediateOperand)instr.Operands[0]).Value.ToInt32();
            var z = binder.EnsureFlagGroup(Registers.Z);
            var src = RewriteSrc(instr.Operands[1]);
            m.Assign(z, m.Eq0(m.And(src, 1u << bit)));
            EmitCc(src, flags);
        }

        private void RewriteTset(string flags)
        {
            var bit = ((ImmediateOperand)instr.Operands[0]).Value.ToInt32();
            var z = binder.EnsureFlagGroup(Registers.Z);
            var src = RewriteSrc(instr.Operands[1]);
            m.Assign(z, m.Eq0(m.And(src, 1u << bit)));
            EmitCc(src, flags);
            RewriteDst(
                instr.Operands[1],
                Constant.Create(instr.Operands[1].Width, 1 << bit),
                m.Or);
        }

        private void RewriteSetRes(bool set)
        {
            var bit = ((ImmediateOperand)instr.Operands[0]).Value.ToInt32();
            if (set)
            {
                RewriteDst(
                    instr.Operands[1],
                    Constant.Create(instr.Operands[1].Width, 1 << bit),
                    m.Or);
            } 
            else
            {
                RewriteDst(
                    instr.Operands[1],
                    Constant.Create(instr.Operands[1].Width, ~(1 << bit)),
                    m.And);
            }
        }

        private void RewriteShift(Func<Expression,Expression,Expression> fn)
        {
            MachineOperand op;
            if (instr.Operands.Length == 0)
            {
                op = Registers.a;
            }
            else
            {
                op = instr.Operands[0];
            }
            var src = RewriteSrc(op);
            src.DataType = PrimitiveType.Byte;
            var dst = RewriteDst(op, src, (a, b) => fn(b, Constant.SByte(1)));
            EmitCc(dst, "**-0XP0*");
        }

        private static readonly IntrinsicProcedure daa_intrinsic =
            IntrinsicBuilder.Unary("__daa", PrimitiveType.Byte);
    }
}
