[DO NOT MERGE] pr for sync

.github/workflows/build.yml

@@ -0,0 +1,63 @@
+name: build
+on:
+  push:
+    branches: [dev]
+  workflow_dispatch:
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - name: build generator
+      run: |
+        mkdir -p build
+        cd build
+        cmake ..
+        make -j $(nproc)
+        ./tool/randomgen
+    - uses: actions/upload-artifact@v4
+      with:
+        name: built
+        path: build
+
+  test:
+    # needs: build
+    runs-on: ubuntu-latest
+    env:
+      COMPILER_TAG: '2025.03.28'
+    strategy:
+      matrix:
+        compiler: [gcc, llvm]
+    steps:
+    - name: download compiler with v extension release
+      id: download
+      uses: robinraju/release-downloader@v1
+      with:
+        repository: XYenChi/riscv-gnu-toolchain
+        tag: ${{env.COMPILER_TAG}}
+        fileName: 'riscv64-elf-ubuntu-24.04-${{matrix.compiler}}-nightly-${{env.COMPILER_TAG}}-nightly.tar.xz'
+
+    - name: extract compiler
+      run: |
+        tar -Jxvf "${{fromJson(steps.download.outputs.downloaded_files)[0]}}"
+        export PATH=$PWD/riscv/bin:$PATH
+        case "${{matrix.compiler}}" in
+          "gcc")
+            export CC="riscv64-unknown-elf-gcc";;
+          "llvm")
+            export CC="clang";;
+        esac
+
+    - uses: actions/checkout@v2
+
+    - uses: actions/download-artifact@v4
+      with:
+        path: build
+
+    - name: run ${{matrix.compiler}} test
+      run: |
+        env
+        cd test
+        make clean
+        ./rif-test --cc=$CC
+        make -j $(nproc)

.github/workflows/clang-format.yml

@@ -8,11 +8,11 @@ jobs:
 
     steps:
     - uses: actions/checkout@v2
-    - uses: DoozyX/clang-format-lint-action@v0.12
+    - uses: DoozyX/clang-format-lint-action@v0.18.2
       with:
         source: '.'
         extensions: 'hpp,cpp'
-        clangFormatVersion: 12
+        clangFormatVersion: 16
         inplace: True
     - uses: EndBug/add-and-commit@v4
       with:

CMakeLists.txt

@@ -7,7 +7,7 @@ set_property(GLOBAL PROPERTY CXX_STANDARD 17)
 
 set(CMAKE_EXPORT_COMPILE_COMMANDS ON)
 set(CMAKE_CXX_STANDARD 17)
-
+set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -v --save-temps")
 set(INC ${CMAKE_CURRENT_LIST_DIR}/include)
 set(SPIKE ${CMAKE_CURRENT_LIST_DIR}/riscv-isa-sim)
 set(LIB ${CMAKE_CURRENT_LIST_DIR}/library)
@@ -33,7 +33,7 @@ add_custom_target(generate_headers ALL
 include(FetchContent)
 FetchContent_Declare(
   googletest
-  URL https://github.com/google/googletest/archive/609281088cfefc76f9d0ce82e1ff6c30cc3591e5.zip
+  URL https://github.com/google/googletest/archive/refs/tags/v1.16.0.zip
 )
 # For Windows: Prevent overriding the parent project's compiler/linker settings
 set(gtest_force_shared_crt ON CACHE BOOL "" FORCE)

Makefile.in

@@ -23,11 +23,17 @@ else
 V:=
 endif
 
+#qj add
 define cmd
-(set -x; $(1)) >>$@ 2>&1 \
-|| (echo $(2) >> $@ && exit 1)
+(set -x; $(1) && (echo "Success: $(1) finished!")) \
+|| (echo $(2) && exit 1)
 endef
 
+#define cmd
+#(set -x; $(1)) >>$@ 2>&1 \
+#|| (echo $(2) >> $@ && exit 1)
+#endef
+
 all:
 	-$(MAKE) -k run
 	$(MAKE) report

README.md

@@ -4,6 +4,39 @@ This repository aims to create fuzz testing for the RVV C intrinsic.
 
 ## Usage
 
+1. Build the random generator tool.
+2. Use the test driver under test/.
+
+### How To Build?
+
+```
+$ git clone https://github.com/sifive/riscv-vector-intrinsic-fuzzing
+$ cd riscv-vector-intrinsic-fuzzing
+$ cd build
+$ cmake ..
+$ make
+$ ./tool/random_gen --help
+Usage: random_gen [OPTION...]
+
+  -c, --code=FILE            C code file, default filename: 'output.c'
+  -d, --dot=FILE             Graphviz visualization file, default filename is
+                             'output.dot'
+  -h                         Give this help list
+  -m, --march=ARCH_STRING    Arch string for testing, default is rv64gcv
+  -n, --nodes-to-gen=NODES_TO_GEN
+                             The number of nodes to generate for the graph.
+  -r, --root=OPERATOR_ENUM   Initial node for the graph generation, default
+                             root is 'AddVV32'
+  -s, --seed=RANDOM_SEED     Seed for random number generator, default seed is
+                             '0xdeadbeef'
+  -v, --verbose              Produce verbose output
+  -?, --help                 Give this help list
+      --usage                Give a short usage message
+
+Mandatory or optional arguments to long options are also mandatory or optional
+for any corresponding short options.
+```
+
 ### How To Use?
 
 `rif-test` is the current driver to fuzz all existing intrinsics in `include/CustomOperator.def`.
@@ -37,41 +70,9 @@ own simulator (QEMU), please add `${PATH_TO_QEMU_BINARY} ${CPU_CONFIGS}` of how
 
 
 ```
-$ git clone https://github.com/sifive/rvv-intrinsic-fuzzing
-$ mkdir test
+$ git clone https://github.com/sifive/riscv-vector-intrinsic-fuzzing
 $ cd test
-$ ../rvv-intrinsic-fuzzing/rif-test --cc=<YOUR-COMPILER-PATH>
+$ ../rif-test --cc=<YOUR-COMPILER-PATH>
 $ make
 ```
 
-
-
-### How To Build?
-
-```
-$ git clone https://github.com/sifive/rvv-intrinsic-fuzzing
-$ cd rvv-intrinsic-fuzzing
-$ mkdir build; cd build
-$ cmake ..
-$ make
-$ ./tool/random_gen --help
-Usage: random_gen [OPTION...]
-
-  -c, --code=FILE            C code file, default filename: 'output.c'
-  -d, --dot=FILE             Graphviz visualization file, default filename is
-                             'output.dot'
-  -h                         Give this help list
-  -m, --march=ARCH_STRING    Arch string for testing, default is rv64gcv
-  -n, --nodes-to-gen=NODES_TO_GEN
-                             The number of nodes to generate for the graph.
-  -r, --root=OPERATOR_ENUM   Initial node for the graph generation, default
-                             root is 'AddVV32'
-  -s, --seed=RANDOM_SEED     Seed for random number generator, default seed is
-                             '0xdeadbeef'
-  -v, --verbose              Produce verbose output
-  -?, --help                 Give this help list
-      --usage                Give a short usage message
-
-Mandatory or optional arguments to long options are also mandatory or optional
-for any corresponding short options.
-```

include/Basic.hpp

@@ -68,6 +68,7 @@ enum DataTypeEnum {
   Float64_t,
   Ptrdiff_t,
   Size_t,
+  Void,
   Not_set // Don't set for `Operator`
 };
 
@@ -106,6 +107,7 @@ struct ValueBase {
   const std::string dataTypeID;
 
   std::vector<ValueBase *> inputs;
+  std::vector<std::vector<ValueBase *>> tuple_inputs; // todo:
   std::vector<ValueBase *> outputs;
 
   int length;
@@ -138,22 +140,33 @@ enum OperatorAttr : OperatorAttrT {
   TailUndisturbed = 1 << 17,
   MaskAgnostic = 1 << 18,
   MaskUndisturbed = 1 << 19,
+  FRM = 1 << 20,
+  VXRM = 1 << 21,
+  Miscellaneous = 1 << 22,
+  SegStoreOperation = 1 << 23,
+  SegLoadOperation = 1 << 24,
+  NeedMerge = 1 << 25,
 };
 
 struct OperatorBase : ValueBase {
-
   OperatorBase(const CustomValType &type, const std::string &typeID,
                const std::string &id, const OperatorAttrT opAttr,
-               const unsigned numOfInputs,
+               const unsigned numOfInputs, // number of inputs,
                const std::initializer_list<CustomValType> inputTypes,
+               const unsigned input_nfield, const unsigned output_nfield,
                const CustomValType outputType, int dataWidth, LmulType lmul,
                TypeClass typeClass)
       : ValueBase(type, typeID, id, numOfInputs, typeClass, dataWidth, lmul),
+        input_nfield(input_nfield), output_nfield(output_nfield),
         opAttr(opAttr), inputTypes(inputTypes), outputType(outputType) {}
 
-  virtual ~OperatorBase() = default;
+  const unsigned input_nfield;
+  const unsigned output_nfield;
 
-  // returns 1 if fail
+  virtual ~OperatorBase() = default;
+  // (RIF::CustomValType, const char [8], const std::string&, unsigned int, int,
+  // <brace-enclosed initializer list>, unsigned int, unsigned int,
+  // RIF::CustomValType, int, RIF::LmulType&, RIF::TypeClass) returns 1 if fail
   int addInput(int inputIdx, ValueBase *input) {
     if (inputIdx >= inputs.size()) {
       std::cerr << "addInput: inputIdx is out of range, abort.\n";
@@ -223,19 +236,23 @@ bool isMaskOfOperator(OperatorBase *op, ValueBase *value);
 bool isMaskedoffOfOperator(OperatorBase *op, ValueBase *value);
 bool isVs2OfOperator(OperatorBase *op, ValueBase *value);
 bool isVs1OfOperator(OperatorBase *op, ValueBase *value);
+bool isFrmOfOperator(OperatorBase *op, ValueBase *value);
 bool isExistVs1Rs1(OperatorBase *op);
 bool isWideningOperator(OperatorBase *op);
 bool isNarrowingOperator(OperatorBase *op);
 bool isWideningValue(ValueBase *x, ValueBase *y);  // is X Widen of Y
 bool isNarrowingValue(ValueBase *x, ValueBase *y); // is X Narrow of Y
+bool isSegStoreOperation(OperatorBase *op);
+bool isSegLoadOperation(OperatorBase *op);
+bool isMiscellaneous(OperatorBase *op);
 
 // Getters for input/output of an Operator
 ValueBase *getVd(OperatorBase *op);
 ValueBase *getMask(OperatorBase *op);
 ValueBase *getMaskedoff(OperatorBase *op);
 ValueBase *getVs2(OperatorBase *op);
 ValueBase *getVs1(OperatorBase *op);
-
+ValueBase *getFrm(OperatorBase *op);
 /*
 Set all inputs/outputs to LMUL of `op`.