diff --git a/compiler/i386/aoptcpu.pas b/compiler/i386/aoptcpu.pas
index 276209c2f5..32ed0d4087 100644
--- a/compiler/i386/aoptcpu.pas
+++ b/compiler/i386/aoptcpu.pas
@@ -126,6 +126,22 @@ unit aoptcpu;
           end;
           Break;
         until False;
+
+        { If this flag is set, something was optimised ahead of p, so move
+          ahead by 1 instruction but treat as if Result was set to True }
+        if aoc_ForceNewIteration in OptsToCheck then
+          begin
+            Exclude(OptsToCheck, aoc_ForceNewIteration);
+
+            if not Result then
+              begin
+                if (p.typ in SkipInstr) then
+                  UpdateUsedRegs(p);
+
+                p := tai(p.Next);
+                Result := True;
+              end;
+          end;
       end;
 
 
@@ -300,6 +316,21 @@ unit aoptcpu;
           else
             ;
         end;
+        { If this flag is set, something was optimised ahead of p, so move
+          ahead by 1 instruction but treat as if Result was set to True }
+        if aoc_ForceNewIteration in OptsToCheck then
+          begin
+            Exclude(OptsToCheck, aoc_ForceNewIteration);
+
+            if not Result then
+              begin
+                if (p.typ in SkipInstr) then
+                  UpdateUsedRegs(p);
+
+                p := tai(p.Next);
+                Result := True;
+              end;
+          end;
       end;
 
 
@@ -402,6 +433,21 @@ unit aoptcpu;
           else
             ;
         end;
+        { If this flag is set, something was optimised ahead of p, so move
+          ahead by 1 instruction but treat as if Result was set to True }
+        if aoc_ForceNewIteration in OptsToCheck then
+          begin
+            Exclude(OptsToCheck, aoc_ForceNewIteration);
+
+            if not Result then
+              begin
+                if (p.typ in SkipInstr) then
+                  UpdateUsedRegs(p);
+
+                p := tai(p.Next);
+                Result := True;
+              end;
+          end;
       end;
 
 
diff --git a/compiler/x86/aoptx86.pas b/compiler/x86/aoptx86.pas
index 2269251b2e..63c32a4229 100644
--- a/compiler/x86/aoptx86.pas
+++ b/compiler/x86/aoptx86.pas
@@ -14612,9 +14612,10 @@ unit aoptx86;
                 taicpu(hp1).clearop(1);
                 taicpu(hp1).ops := 0;
 
-                { A change was made, but not with p, so move forward 1 }
-                p := tai(p.Next);
-                Result := True;
+                { A change was made, but not with p, so don't set Result, but
+                  notify the compiler that a change was made }
+                Include(OptsToCheck, aoc_ForceNewIteration);
+
                 Exit; { and -> btr won't happen because an opsize of S_W won't be optimised anyway }
               end;
           end;
diff --git a/compiler/x86_64/aoptcpu.pas b/compiler/x86_64/aoptcpu.pas
index 4c9b52908c..19dc25eb81 100644
--- a/compiler/x86_64/aoptcpu.pas
+++ b/compiler/x86_64/aoptcpu.pas
@@ -63,6 +63,22 @@ uses
           else
             ;
         end;
+
+        { If this flag is set, something was optimised ahead of p, so move
+          ahead by 1 instruction but treat as if Result was set to True }
+        if aoc_ForceNewIteration in OptsToCheck then
+          begin
+            Exclude(OptsToCheck, aoc_ForceNewIteration);
+
+            if not Result then
+              begin
+                if (p.typ in SkipInstr) then
+                  UpdateUsedRegs(p);
+
+                p := tai(p.Next);
+                Result := True;
+              end;
+          end;
       end;
 
 
@@ -218,6 +234,21 @@ uses
           else
             ;
         end;
+        { If this flag is set, something was optimised ahead of p, so move
+          ahead by 1 instruction but treat as if Result was set to True }
+        if aoc_ForceNewIteration in OptsToCheck then
+          begin
+            Exclude(OptsToCheck, aoc_ForceNewIteration);
+
+            if not Result then
+              begin
+                if (p.typ in SkipInstr) then
+                  UpdateUsedRegs(p);
+
+                p := tai(p.Next);
+                Result := True;
+              end;
+          end;
       end;
 
 
@@ -270,6 +301,21 @@ uses
           else
             ;
         end;
+        { If this flag is set, something was optimised ahead of p, so move
+          ahead by 1 instruction but treat as if Result was set to True }
+        if aoc_ForceNewIteration in OptsToCheck then
+          begin
+            Exclude(OptsToCheck, aoc_ForceNewIteration);
+
+            if not Result then
+              begin
+                if (p.typ in SkipInstr) then
+                  UpdateUsedRegs(p);
+
+                p := tai(p.Next);
+                Result := True;
+              end;
+          end;
       end;