Refactor floating point vector instructions and utilities into separate files

[vmurali]

In addition to good software engineering practices, this also allows importing only the required files when floating point operations are not supported (for example, the file is commented out in https://github.com/microsoft/cheriot-sail/blob/main/Makefile#L49).

[github-actions]

Test Results

712 tests  ±0   712 ✅ ±0   0s ⏱️ ±0s
  6 suites ±0     0 💤 ±0 
  1 files   ±0     0 ❌ ±0 

Results for commit e4f8fae. ± Comparison against base commit 6168768.

♻️ This comment has been updated with latest results.

[vmurali]

Bump, any comments?

[Timmmm]

Sorry took me a while to figure out wtf the git diff --color-moved colours meant. How has Phabricator had moved-line detection in its UI for years but Github still hasn't??

Anyway LGTM. I'll merge in a few days if nobody else objects.

[billmcspadden-riscv]

@vmurali : would you please resolve the conflicts.

[vmurali]

Sorry took me a while to figure out wtf the git diff --color-moved colours meant. How has Phabricator had moved-line detection in its UI for years but Github still hasn't??

Anyway LGTM. I'll merge in a few days if nobody else objects.

I usually use git diff --color-moved=dimmed-zebra that greys out moved portions instead of giving (unhelpful) colors.

@vmurali : would you please resolve the conflicts.

@billmcspadden-riscv I resolved the conflicts. PTAL

[vmurali]

Thanks! Can someone merge it before it becomes stale again?

[Timmmm]

Yeah I'll just merge it now.

[vmurali]

Thank you!!