Scott Mansell 55a9ee702b Register Allocator Validation ...

This is a validation pass that attempts to prove the output from the RA pass is valid.

The current design should be able to prove that the RA result is internally
consistent. That no-matter what control flow path you take thought the control
flow graph, the physical registers and spill slots will always contain a single
possible SSA value.

It also checks that the SSA values in the IR actually line up with the SSA value
in the physical register.

2021-09-13 11:56:29 +12:00

..

Common

Softfloat: Allow forcing use of some x87 on x86 host

2021-09-11 05:42:18 -07:00

Interface

Register Allocator Validation

2021-09-13 11:56:29 +12:00

Utils

Massive amount of IWYU cleanup

2021-08-28 00:32:15 -07:00

CMakeLists.txt

Register Allocator Validation

2021-09-13 11:56:29 +12:00