QR decomposition in cdios

[avanhatt]

Debug c-based implementation of QR decomposition to reach parity with the Racket DSL.

[avanhatt]

In order to run translation validation on the two res.rkt results, we will need to modify the code in translation-validation.rkt. This code is called from main.rkt.

[avanhatt]

You can run translation validation with a command like make -B mat-mul-egg BACKEND_FLAGS=--validation (the -B forces recompilation).

[avanhatt]

^ for the above command, I'd suggest testing with the following mat-mul-params file:

{
    "A-rows": 2,
    "A-cols": 2,
    "B-rows": 2,
    "B-cols": 2,
    "reg-size": 4
}

[avanhatt]

Or, run with qr-decomp-params:

{
    "N": 2,
    "reg-size": 4
}

make -B qr-decomp-egg BACKEND_FLAGS=--validation

[avanhatt]

Goal:

• Add a flag to main.rkt to do diff style translation validation (maybe --diff-tv)
• When that flag and two files are passed, run a version of translation validation on those 2 explicit files (editing the translation validation function to work in that context)
  racket src/main.rkt --diff-tv cdios-qr-decomp-res.rkt old-qr-decomp-res.rkt