feat(riscv): add dobule-precision floating point conversion instructions

Author: arromanoff

test/integration/doubles-mixed.c

@@ -0,0 +1,16 @@
+// RUN: %config-gen-path/config-gen.rb --march rv64imfd \
+// RUN:   --template-dir %config-gen-path/templates -o %t.yaml
+// RUN: riscv64-unknown-linux-gnu-clang %s -O2 -c -o %t.out -march=rv64imfd
+// -nostdlib -static
+// RUN: %bin/llvm-bleach %t.out --instructions %t.yaml -o %t.ll \
+// RUN:   --state-struct-file=%t.state.h
+// RUN: sed 's|STATE|%t.state.h|g' %S/inputs/doubles-mixed-main.c > %t.main.c
+// RUN: clang %t.main.c %t.ll -o %t.native.out -g -fsanitize=address,undefined
+// RUN: %t.native.out
+
+double complex_mixed(double a, double b, double c, double d) {
+  double part1 = (a + b) * (unsigned)(c - d);
+  double part2 = (a * d) + (int)(b * c);
+  double part3 = (a / c) * (long long)(b / d);
+  return part1 + part2 - part3;
+}

test/integration/inputs/doubles-mixed-main.c

@@ -0,0 +1,45 @@
+#include <STATE>
+#include <stdint.h>
+#include <stdio.h>
+#include <string.h>
+
+struct register_state regs = {};
+
+int64_t bitcast_to_int(double v) {
+  int64_t res;
+  memcpy(&res, &v, sizeof(double));
+  return res;
+}
+
+double bitcast_to_double(int64_t v) {
+  double res;
+  memcpy(&res, &v, sizeof(double));
+  return res;
+}
+
+// This should be in sync with test/integration/doubles-mixed.c
+// TODO: automate this
+double reference(double a, double b, double c, double d) {
+  double part1 = (a + b) * (unsigned)(c - d);
+  double part2 = (a * d) + (int)(b * c);
+  double part3 = (a / c) * (long long)(b / d);
+  return part1 + part2 - part3;
+}
+
+int main() {
+  printf("Hello from main\n");
+  int arg_1 = 3;
+  int arg_2 = 4;
+  int arg_3 = 5;
+  int arg_4 = 3;
+  regs.FPR[10] = bitcast_to_int(arg_1);
+  regs.FPR[11] = bitcast_to_int(arg_2);
+  regs.FPR[12] = bitcast_to_int(arg_3);
+  regs.FPR[13] = bitcast_to_int(arg_4);
+  complex_mixed(&regs);
+  double res1 = reference(arg_1, arg_2, arg_3, arg_4);
+  double res2 = bitcast_to_double(regs.FPR[10]);
+  printf("result: %lf\n", res2);
+  printf("reference: %lf\n", res1);
+  return res1 - res2 > 0.1;
+}

test/tools/llvm-bleach/fact-mc/main.c

@@ -1,11 +1,3 @@
-// RUN: riscv64-unknown-linux-gnu-clang %s -O2 -o %t.out -march=rv64im -nostdlib
-// RUN: %bin/llvm-bleach %t.mir --instructions
-// %S/inputs/riscv-fact-instructions.yaml \ RUN:   --state-struct-file
-// %t.state.h > %t.ll RUN: sed 's|STATE|%t.state.h|g' %S/inputs/bleached-main.c
-// > %t.main.c RUN: clang %t.main.c %t.ll -o %t.native.out RUN: %t.native.out |
-// FileCheck %s
-
-// fact.c
 __attribute__((noinline)) unsigned long long fact(unsigned long long num) {
   unsigned long long res = 1;
   for (unsigned long long i = 2; i <= num; ++i)
@@ -14,5 +6,3 @@ __attribute__((noinline)) unsigned long long fact(unsigned long long num) {
 }
 
 int main() { return fact(5); }
-
-// CHECK: result: d120

tools/config-gen/templates/rv.yaml

@@ -14,6 +14,15 @@ instructions:
          %7 = bitcast double %6 to i64
          ret i64 %7
       }
+  FSUB_D:
+    func: |
+      define i64 @FSUB_D(i64 %0, i64 %1, i10 %rm) {
+         %4 = bitcast i64 %0 to double
+         %5 = bitcast i64 %1 to double
+         %6 = fsub double %4, %5
+         %7 = bitcast double %6 to i64
+         ret i64 %7
+      }
   FMUL_D:
     func: |
       define i64 @FMUL_D(i64 %0, i64 %1, i10 %rm) {
@@ -23,9 +32,65 @@ instructions:
          %7 = bitcast double %6 to i64
          ret i64 %7
       }
+  FDIV_D:
+    func: |
+      define i64 @FDIV_D(i64 %0, i64 %1, i10 %rm) {
+         %4 = bitcast i64 %0 to double
+         %5 = bitcast i64 %1 to double
+         %6 = fdiv double %4, %5
+         %7 = bitcast double %6 to i64
+         ret i64 %7
+      }
   FCVT_D_LU:
     func: |
       define i64 @FCVT_D_LU(i64 %0, i10 %rm) {
+         %3 = uitofp i64 %0 to double
+         %4 = bitcast double %3 to i64
+         ret i64 %4
+      }
+  FCVT_WU_D:
+    func: |
+      define i64 @FCVT_WU_D(i64 %0, i10 %rm) {
+         %3 = bitcast i64 %0 to double
+         %4 = fptoui double %3 to i32
+         %5 = zext i32 %4 to i64
+         ret i64 %5
+      }
+  FCVT_D_WU:
+    func: |
+      define i64 @FCVT_D_WU(i64 %0, i10 %rm) {
+         %3 = trunc i64 %0 to i32
+         %4 = uitofp i32 %3 to double
+         %5 = bitcast double %4 to i64
+         ret i64 %5
+      }
+  FCVT_D_W:
+    func: |
+      define i64 @FCVT_D_W(i64 %0, i10 %rm) {
+         %3 = trunc i64 %0 to i32
+         %4 = sitofp i32 %3 to double
+         %5 = bitcast double %4 to i64
+         ret i64 %5
+      }
+    # ggg
+  FCVT_W_D:
+    func: |
+      define i64 @FCVT_W_D(i64 %0, i10 %rm) {
+         %3 = bitcast i64 %0 to double
+         %4 = fptosi double %3 to i32
+         %5 = sext i32 %4 to i64
+         ret i64 %5
+      }
+  FCVT_L_D:
+    func: |
+      define i64 @FCVT_L_D(i64 %0, i10 %rm) {
+         %3 = bitcast i64 %0 to double
+         %4 = fptosi double %3 to i64
+         ret i64 %4
+      }
+  FCVT_D_L:
+    func: |
+      define i64 @FCVT_D_L(i64 %0, i10 %rm) {
          %3 = sitofp i64 %0 to double
          %4 = bitcast double %3 to i64
          ret i64 %4