Cava Harness

Incorporates Cava into an executable, with the ability to output the result and verify against a rust version of the pipeline. Adds it as a test (using the smaller sample image, the Rust version is too slow on the big image).

hercules_cg/src/cpu.rs

@@ -848,7 +848,7 @@ fn convert_intrinsic(intrinsic: &Intrinsic, ty: &Type) -> String {
         Intrinsic::Log2 => "log2",
         Intrinsic::Max => {
             if ty.is_float() {
-                "max"
+                "maxnum"
             } else if ty.is_unsigned() {
                 "umax"
             } else if ty.is_signed() {
@@ -859,7 +859,7 @@ fn convert_intrinsic(intrinsic: &Intrinsic, ty: &Type) -> String {
         }
         Intrinsic::Min => {
             if ty.is_float() {
-                "min"
+                "minnum"
             } else if ty.is_unsigned() {
                 "umin"
             } else if ty.is_signed() {