Enhancement: allow RtlBranch to go to arbitrary destination.

uxmal · Sep 2, 2024 · 71cdfec · 71cdfec
1 parent 4a11976
commit 71cdfec
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/Core/Rtl/RtlBranch.cs b/src/Core/Rtl/RtlBranch.cs
@@ -25,7 +25,7 @@ namespace Reko.Core.Rtl
 {
     public sealed class RtlBranch : RtlTransfer
     {
-        public RtlBranch(Expression condition, Address target, InstrClass rtlClass) 
+        public RtlBranch(Expression condition, Expression target, InstrClass rtlClass) 
             : base(target, rtlClass)
         {
             this.Condition = condition;

diff --git a/src/Core/Rtl/RtlEmitter.cs b/src/Core/Rtl/RtlEmitter.cs
@@ -91,7 +91,7 @@ public RtlEmitter Assign(Expression dst, int src)
         /// <param name="target">Control goes to this address if condition is true</param>
         /// <param name="rtlClass">Describes details the branch instruction</param>
         /// <returns>A reference to this RtlEmitter.</returns>
-        public RtlEmitter Branch(Expression condition, Address target, InstrClass rtlClass)
+        public RtlEmitter Branch(Expression condition, Expression target, InstrClass rtlClass)
         {
             Instructions.Add(new RtlBranch(condition, target, rtlClass));
             return this;
@@ -104,7 +104,7 @@ public RtlEmitter Branch(Expression condition, Address target, InstrClass rtlCla
         /// <param name="condition">Boolean expression</param>
         /// <param name="target">Control goes to this address if condition is true</param>
         /// <returns>A reference to this RtlEmitter.</returns>
-        public RtlEmitter Branch(Expression condition, Address target)
+        public RtlEmitter Branch(Expression condition, Expression target)
         {
             Instructions.Add(new RtlBranch(condition, target, InstrClass.ConditionalTransfer));
             return this;