flambda-backend: Delete x86 architecture check (#2381)

* delete

* fix build

Author: TheNumbat

Makefile

@@ -634,7 +634,6 @@ runtime4_COMMON_C_SOURCES = \
   interp \
   ints \
   io \
-  isa \
   lexing \
   main \
   major_gc \
@@ -674,8 +673,7 @@ runtime4_NATIVE_ONLY_C_SOURCES = \
   fail_nat \
   roots_nat \
   startup_nat \
-  signals_nat \
-  isa
+  signals_nat
 
 # Runtime system source files (v5)
 
@@ -704,7 +702,6 @@ runtime_COMMON_C_SOURCES = \
   intern \
   ints \
   io \
-  isa \
   lexing \
   lf_skiplist \
   main \
@@ -747,8 +744,7 @@ runtime_NATIVE_ONLY_C_SOURCES = \
   fail_nat \
   frame_descriptors \
   startup_nat \
-  signals_nat \
-  isa
+  signals_nat
 
 # The runtime system
 

runtime/caml/dune

@@ -65,7 +65,6 @@
     (interp.h as caml/interp.h)
     (intext.h as caml/intext.h)
     (io.h as caml/io.h)
-    (isa.h as caml/isa.h)
     (lf_skiplist.h as caml/lf_skiplist.h)
     (m.h as caml/m.h)
     (major_gc.h as caml/major_gc.h)

runtime/caml/isa.h

@@ -18,7 +18,6 @@
 
 #include "config.h"
 #include "misc.h"
-#include "isa.h"
 
 #ifdef __cplusplus
 extern "C" {

runtime/caml/mlvalues.h

@@ -21,7 +21,6 @@
    and native code. */
 
 #include <stdio.h>
-#include "caml/isa.h"
 #include "caml/backtrace.h"
 #include "caml/memory.h"
 #include "caml/callback.h"
@@ -115,7 +114,6 @@ void caml_parse_ocamlrunparam(void)
       case 'v': scanmult (opt, (uintnat *)&caml_verb_gc); break;
       case 'V': scanmult (opt, &params.verify_heap); break;
       case 'W': scanmult (opt, &caml_runtime_warnings); break;
-      case 'X': scanmult (opt, &caml_skip_arch_extension_check); break;
       case ',': continue;
       }
       while (*opt != '\0'){

runtime/isa.c

@@ -38,7 +38,6 @@
 #include "caml/stack.h"
 #include "caml/startup_aux.h"
 #include "caml/sys.h"
-#include "caml/isa.h"
 
 extern int caml_parser_trace;
 extern char caml_system__code_begin, caml_system__code_end;
@@ -94,9 +93,6 @@ value caml_startup_common(char_os **argv, int pooling)
   /* Determine options */
   caml_parse_ocamlrunparam();
 
-  // CR mslater: re-enable architecture check
-  // caml_assert_arch_extensions();
-
 #ifdef DEBUG
   // Silenced in flambda-backend to make it easier to run tests that
   // check program output.

runtime/startup_aux.c

@@ -25,7 +25,7 @@ BYTECODE_C_SOURCES := $(addsuffix .c, \
   signals_byt printexc backtrace_byt backtrace compare ints eventlog prng \
   floats simd str array io extern intern hash sys meta parsing gc_ctrl md5 obj \
   lexing callback debugger weak compact finalise custom dynlink \
-  afl $(UNIX_OR_WIN32) bigarray main memprof domain isa \
+  afl $(UNIX_OR_WIN32) bigarray main memprof domain \
   skiplist codefrag)
 
 NATIVE_C_SOURCES := $(addsuffix .c, \
@@ -34,7 +34,7 @@ NATIVE_C_SOURCES := $(addsuffix .c, \
   floats simd str array io extern intern hash sys parsing gc_ctrl eventlog prng md5 obj \
   lexing $(UNIX_OR_WIN32) printexc callback weak compact finalise custom \
   globroots backtrace_nat backtrace dynlink_nat debugger meta \
-  dynlink clambda_checks afl bigarray isa \
+  dynlink clambda_checks afl bigarray \
   memprof domain skiplist codefrag)
 
 # Header files generated by configure

runtime/startup_nat.c

@@ -74,7 +74,6 @@
     (interp.h as caml/interp.h)
     (intext.h as caml/intext.h)
     (io.h as caml/io.h)
-    (isa.h as caml/isa.h)
     (jumptbl.h as caml/jumptbl.h)
     (m.h as caml/m.h)
     (major_gc.h as caml/major_gc.h)