rsx/cfg/fp: Rewrite fragment program decompiler dependency tracking

[kd-11]

Rewrites everything about how we determine aliasing register dependencies making use of the CFG. Everything is also unit tested for sanity reasons.

This should help close out graphics glitches that make no sense in some titles with the capacity left to diagnose more bugs in future easily and add custom passes to handle requirements.

Closes #6897
Closes #6229

[MarioSonic2987]

Fixes graphical issues in the following games:

Beyond: Two Souls

Topatoi

[kd-11]

There's an issue with epilogue injection before loop and branch blocks to be fixed.
I'm also seeing epilogues where they have no business existing.

[kd-11]

I need to handle IF-ELSE successor to merge block with input dependency.
If both IF and ELSE clobber, there is no point checking their parents since any emitted barriers will be clobbered anyway.

[Xcedf]

Fixes #6229 indeed, both flickering surfaces and wierd shading

[woj1993]

Most of builds didn't compile

[Asinin3]

Most of builds didn't compile

Its just FreeBSD that failed.. click the X icon and you will see everything else succeeds

[kd-11]

This is now in a reasonable state. Feel free to check more games.

[Triticum0]

I did test a couple with no real improvement than ones mentioned. Is there any behaviour i look out for having improved behaviour. Most games I've tested spu or buffer related so saw no improvement i go through my issues. If nothing to note, l will just comment tested games. great work as always kd👍

[kd-11]

If no difference is observed that is also a win. The rewrite is very extensive so observing no change is a positive outcome.
Most affected games fixed by the PR have broken shading such as blocky aritfacts especially ones that swim in screen space. It is likely most improvements will not be obvious.

[kunit1]

Briefly tested Dante's Inferno. Crashed once very early on but couldn't reproduce it again.
No regressions from my perspective on Dante's Inferno.
I don't have a save file to test 7308 so can't tell if it makes any difference there or not.

[digant73]

all intro sequences in Fight Night Champion demo are corrupted when Asynchronous Texture Streaming is enabled. Similar issue on Fight Night Round 4 demo. They are ok on current master. Below a screenshot for FNC

[kd-11]

all intro sequences in Fight Night Champion demo are corrupted when Asynchronous Texture Streaming is enabled

This work does not interact with RSX's host subsystems in such a way. Only recompiled PS3 shaders are changed and those certainly do not care about things like memory streaming. Memory decoding shaders are separate and unaffected.

[digant73]

text in splinter cell blacklist is blue.

[kd-11]

text in splinter cell blacklist is blue.

I can reproduce this one.

[digant73]

good. As a separate bug (present also on master), Resolution Scale is broken in this game. objects disappear at short and long distance (e.g. in the place of my previous screenshot). Just in case it is something that can be fixed in a further PR. I never saw this issue on any other game

[kd-11]

good. As a separate bug (present also on master), Resolution Scale is broken in this game. objects disappear at short and long distance (e.g. in the place of my previous screenshot). Just in case it is something that can be fixed in a further PR. I never saw this issue on any other game

Blue text is fixed, it was a regression from one of the optimizations.

As for the flickering - this game has a custom occlusion implementation that uses compute which on PS3 is indistinguishable from normal render passes. You can use resolution scale, but of course you just cannot upscale an occlusion pass output since it contains discrete data. You need to set the threshold to something like 256x256 to avoid touching it (the VRAM resource for the compute pass is 256x128 in size)

[digant73]

ok, text is now fixed. There is some flickering (same place of screenshot) as in master. I'm using only RWCB. Tried Threshold 256x256 even without RS but that issue is still present. However it is also present on master (not a regression on this PR)