@@ -1846,8 +1846,8 @@ impl Insn {
             Insn::IsBlockParamModified { .. } => effects::Empty,
             Insn::GetBlockParam { .. } => effects::Any,
             Insn::Snapshot { .. } => effects::Empty,
-            Insn::Jump(_) => effects::Any,
-            Insn::CondBranch { .. } => effects::Any,
+            Insn::Jump(_) => effects::Control,
+            Insn::CondBranch { .. } => effects::Control,
             Insn::CCall { elidable, .. } => {
                 if *elidable {
                     Effect::write(abstract_heaps::Allocator)
@@ -7126,26 +7126,65 @@ impl Function {
         }
     }
 
-    /// Remove duplicate CheckInterrupts instructions within each basic block.
-    /// Only the last CheckInterrupts in a block is needed unless an intervening
-    /// instruction writes to InterruptFlag (e.g. a call), which resets tracking.
+    /// Remove duplicate CheckInterrupts instructions globally.
+    ///
+    /// Only the last CheckInterrupts in a block is needed unless an intervening instruction writes
+    /// to InterruptFlag (e.g. a call), which resets tracking. Checking as late as possible keeps
+    /// fewer values live in the check's frame state, which lets other passes elide more.
+    ///
+    /// This tracking also propagates across blocks: a check is redundant if a later check is
+    /// guaranteed to run on every path forward before any InterruptFlag write or function exit.
     fn remove_duplicate_check_interrupts(&mut self) {
-        for block_id in self.reverse_post_order() {
-            let mut seen = false;
-            let insns = std::mem::take(&mut self.blocks[block_id].insns);
-            let mut new_insns = Vec::with_capacity(insns.len());
-            for insn_id in insns.into_iter().rev() {
-                let insn = &self.insns[insn_id];
-                if matches!(insn, Insn::CheckInterrupts { .. }) {
-                    if seen { continue; }
-                    seen = true;
-                } else if insn.effects_of().write_bits().overlaps(abstract_heaps::InterruptFlag) {
-                    seen = false;
+        let cfi = ControlFlowInfo::new(self);
+        let rpo = cfi.reverse_post_order();
+
+        let rpo_order = {
+            let mut order = vec![usize::MAX; self.blocks.len()];
+            for (i, &block_id) in rpo.iter().enumerate() {
+                order[block_id] = i;
+            }
+            order
+        };
+
+        // Whether the block has already CheckInterrupts, defaults to false and only becomes true
+        // if we can prove it
+        let mut checked = vec![false; self.blocks.len()];
+
+        let mut changed = true;
+        while changed {
+            changed = false;
+
+            for &block_id in rpo.iter().rev() {
+                let successors = cfi.successors(block_id);
+
+                let mut block_checked = !successors.is_empty()
+                    && successors.iter().all(|&succ| checked[succ] && !(rpo_order[succ] < rpo_order[block_id]));
+
+                let insns = std::mem::take(&mut self.blocks[block_id].insns);
+                let mut new_insns = Vec::with_capacity(insns.len());
+
+                for insn_id in insns.into_iter().rev() {
+                    let insn = &self.insns[insn_id];
+                    if matches!(insn, Insn::CheckInterrupts { .. }) {
+                        if block_checked {
+                            changed = true;
+                            continue;
+                        }
+                        block_checked = true;
+                    } else if insn.effects_of().write_bits().overlaps(abstract_heaps::InterruptFlag) {
+                        block_checked = false;
+                    }
+                    new_insns.push(insn_id);
+                }
+
+                new_insns.reverse();
+                self.blocks[block_id].insns = new_insns;
+
+                if checked[block_id] != block_checked {
+                    changed = true;
+                    checked[block_id] = block_checked;
                 }
-                new_insns.push(insn_id);
             }
-            new_insns.reverse();
-            self.blocks[block_id].insns = new_insns;
         }
     }
 
 
@@ -11580,11 +11580,9 @@ mod hir_opt_tests {
           Jump bb13(v54, v27)
         bb13(v44:BasicObject, v45:BasicObject):
           v57:BasicObject = Send v44, :call # SendFallbackReason: Send: no profile data available
-          CheckInterrupts
           Jump bb4(v57)
         bb6():
           v66:Fixnum[42] = Const Value(42)
-          CheckInterrupts
           Jump bb4(v66)
         bb4(v72:BasicObject):
           PopInlineFrame
@@ -15246,7 +15244,6 @@ mod hir_opt_tests {
           v48:BasicObject = ArrayAref v19, v47
           v49:ArrayExact = NewArray v48
           PushInlineFrame :target, v25 (0x1040), num_args=1
-          CheckInterrupts
           PopInlineFrame
           Jump bb4(v49)
         bb6():
@@ -15264,7 +15261,6 @@ mod hir_opt_tests {
           v59:BasicObject = ArrayAref v19, v58
           v60:ArrayExact = NewArray v59
           PushInlineFrame :target, v31 (0x1090), num_args=1
-          CheckInterrupts
           PopInlineFrame
           Jump bb4(v60)
         bb8():
@@ -21611,10 +21607,8 @@ mod hir_opt_tests {
           CondBranch v37, bb7(), bb6()
         bb7():
           v42:Fixnum[0] = Const Value(0)
-          CheckInterrupts
           Jump bb4(v42)
         bb6():
-          CheckInterrupts
           Jump bb4(v62)
         bb4(v56:Fixnum):
           PopInlineFrame
@@ -22950,7 +22944,6 @@ mod hir_opt_tests {
           StoreField v95, :@y@0x108c, v49
           v172:CShape[0x108d] = Const CShape(0x108d)
           StoreField v95, :shape_id@0x1088, v172
-          CheckInterrupts
           PopInlineFrame
           PatchPoint MethodRedefined(Point@0x1008, ==@0x1098, cme:0x10a0)
           PushInlineFrame :==, v85 (0x10c8), num_args=1