[code-reflection] Integrated: Fix SSABraun bug and add SSA tests

[Ruby Chen]

On Tue, 2 Sep 2025 20:30:58 GMT, Ruby Chen <duke at openjdk.org> wrote:

> Fix a bug in SSABraun where, in `tryRemoveTrivialPhi()`, a phi stored in `same` that is later deleted in a recursive `tryRemoveTrivialPhi()` call is still returned despite being deleted. 
> 
> Add five tests to TestSSA: `deadCode(), ifelseLoopNested(), violaJones(), binarySearch(),` and `quicksort()`. `violaJones()` is inspired by the method `findFeaturesKernel` in HAT kernel ViolaJones, which is the bug first presented itself.

This pull request has now been integrated.

Changeset: ab94fe70
Author:    Ruby Chen <ruby.r.chen at gmail.com>
Committer: Paul Sandoz <psandoz at openjdk.org>
URL:       https://git.openjdk.org/babylon/commit/ab94fe70c5fd3522469ff12a74e27d1ad4157002
Stats:     176 lines in 2 files changed: 175 ins; 0 del; 1 mod

Fix SSABraun bug and add SSA tests

Reviewed-by: psandoz

-------------

PR: https://git.openjdk.org/babylon/pull/542