Remove instructions from supported_targets

ethereum-optimism · Jan 16, 2025 · f6dfb4d · f6dfb4d
1 parent 87f8d41
commit f6dfb4d
Showing 1 changed file with 0 additions and 54 deletions.
diff --git a/tests/rv64-matching-tool/supported_targets/asterisc-v1.1.2.json b/tests/rv64-matching-tool/supported_targets/asterisc-v1.1.2.json
@@ -146,36 +146,6 @@
                                 }
                             ]
                         }
-                    },
-                    {
-                        "01": {
-                            "funct3": [
-                                {
-                                    "00": "MUL"
-                                },
-                                {
-                                    "01": "MULH"
-                                },
-                                {
-                                    "02": "MULHSU"
-                                },
-                                {
-                                    "03": "MULU"
-                                },
-                                {
-                                    "04": "DIV"
-                                },
-                                {
-                                    "05": "DIVU"
-                                },
-                                {
-                                    "06": "REM"
-                                },
-                                {
-                                    "07": "REMU"
-                                }
-                            ]
-                        }
                     }
                 ]
             }
@@ -206,27 +176,6 @@
                                 }
                             ]
                         }
-                    },
-                    {
-                        "01": {
-                            "funct3": [
-                                {
-                                    "00": "MULW"
-                                },
-                                {
-                                    "04": "DIVW"
-                                },
-                                {
-                                    "05": "DIVUW"
-                                },
-                                {
-                                    "06": "REMW"
-                                },
-                                {
-                                    "07": "REMUW"
-                                }
-                            ]
-                        }
                     }
                 ]
             }
@@ -251,9 +200,6 @@
                             "funct12": [
                                 {
                                     "0000": "ECALL"
-                                },
-                                {
-                                    "0001": "EBREAK"
                                 }
                             ]
                         }