Fix small issue in EnterNode rename (#52589)

Fixes issue noted at [1] - not sure why it didn't show up in CI on the
PR.

[1]
#52527 (comment)

base/compiler/ssair/ir.jl

@@ -1422,11 +1422,11 @@ function process_node!(compact::IncrementalCompact, result_idx::Int, inst::Instr
         if stmt.catch_dest != 0
             label = bb_rename_succ[stmt.catch_dest]
             @assert label > 0
-            ssa_rename[idx] = SSAValue(result_idx)
             result[result_idx][:stmt] = EnterNode(stmt, label)
         else
             result[result_idx][:stmt] = stmt
         end
+        ssa_rename[idx] = SSAValue(result_idx)
         result_idx += 1
     elseif isa(stmt, Expr)
         stmt = renumber_ssa2!(stmt, ssa_rename, used_ssas, new_new_used_ssas, late_fixup, result_idx, do_rename_ssa, mark_refined!)::Expr

base/compiler/ssair/verify.jl

@@ -200,7 +200,12 @@ function verify_ir(ir::IRCode, print::Bool=true,
             end
         elseif isa(terminator, EnterNode)
             @label enter_check
-            if length(block.succs) != 2 || (block.succs != Int[terminator.catch_dest, idx+1] && block.succs != Int[idx+1, terminator.catch_dest])
+            if length(block.succs) == 1
+                if terminator.catch_dest != 0
+                    @verify_error "Block $idx successors ($(block.succs)), does not match :enter terminator"
+                    error("")
+                end
+            elseif (block.succs != Int[terminator.catch_dest, idx+1] && block.succs != Int[idx+1, terminator.catch_dest])
                 @verify_error "Block $idx successors ($(block.succs)), does not match :enter terminator"
                 error("")
             end