diff --git a/base/compiler/ssair/passes.jl b/base/compiler/ssair/passes.jl
index f2ef2e9d47ee15..1d5ddac833fffe 100644
--- a/base/compiler/ssair/passes.jl
+++ b/base/compiler/ssair/passes.jl
@@ -767,6 +767,11 @@ function perform_lifting!(compact::IncrementalCompact,
             else_result = lifted_value(compact, old_node_ssa, else_result,
                                        lifted_philikes, lifted_leaves, reverse_mapping)
 
+            # In cases where the Core.ifelse condition is statically-known, e.g., thanks
+            # to a PiNode from a guarding conditional, we replace with the other branch.
+            then_result === SKIP_TOKEN && (then_result = else_result)
+            else_result === SKIP_TOKEN && (else_result = then_result)
+
             @assert then_result !== SKIP_TOKEN && then_result !== UNDEF_TOKEN
             @assert else_result !== SKIP_TOKEN && else_result !== UNDEF_TOKEN