Control optimization in V8's TurboFan

I'm studying some internals of V8's TurboFan and came across this slide: Original slide.

This diagram shows a branch that is removed during control optimization, resulting in a direct connection to a "Dead" node. However, the nodes x and y are not eliminated during this process.

Why are the nodes x and y retained after control reduction? Shouldn't they be removed as well since they seem to be part of the dead code?

Solution

The slide shows an intermediate step. Nodes depending on dead control will be removed.

Application not entering Posix Signal handler in release mode
Arithmetic error caused by -O3 option on g++
Will C++ functions/methods implemented in *.cpp file be NEVER inline expanded?
g++ compiler flag to minimize binary size
Control optimization in V8's TurboFan
Why __restrict often doesn't give optimization as expected?
How can I preserve the order of multiplications and divisions?
Compiling with instruction set extensions
How to achieve peak flop throughput for FMA when using input data (while maintaining the required roofline compute/load ratio)?
How does C compiler or Preprocessor handle MACRO with arguments differently?
how to get LLVM opt to output MIR to be passed to llc?
Why does this compiler optimization only occur outside of main?
Will the compiler know to skip this loop?
C long int always accesses memory as big endian?
Is evaluating C expression in the function argument violating MISRA C guideline?
Typescript: "The inferred type of this node exceeds the maximum length the compiler will serialize. An explicit type annotation is needed."
Behaviour of -O and -wrap
[[assume]] attribute not having an impact on code
Escape Analysis with std::vector in C++
Implementing closures and performance impacts of, for instance, relative vs absolute jump
Weird processing time in repeated function calls, what could explain this?
How does Lua take advantage of <const> when emitting bytecode?
Why do GCC and Clang pop on both branches instead of only once? (Factoring parts of the epilogue out of tail-duplication)
Which gcc optimization flags should I use?
Benefit of inifinite loops without side effects in C++ being undefined behavior compared to C?
Difference Between Release Mode vs Release + O2 Mode in MSVC c++
How do I make an infinite empty loop that won’t be optimized away?
Does the C compiler have to short-circuit && and || unnecessarily?
Can compilers optimize calculations within for-loops that don't depend on the for-loop variable?
Improve g++ compiler flags for debug and release