Fix make_check_all_arches (#54)

Author: stedolan

asmcomp/arm/emit.mlp

@@ -638,7 +638,7 @@ let emit_instr i =
           | Double_u -> "fstd"
           | _ (* 32-bit quantities *) -> "str" in
         `	{emit_string instr}	{emit_reg r}, {emit_addressing addr i.arg 1}\n`; 1
-    | Lop(Ialloc { bytes = n; dbginfo }) ->
+    | Lop(Ialloc { bytes = n; dbginfo; mode = Alloc_heap }) ->
         let lbl_frame =
           record_frame_label i.live (Dbg_alloc dbginfo)
         in
@@ -672,6 +672,8 @@ let emit_instr i =
           `{emit_label lbl_frame}:	add	{emit_reg i.res.(0)}, alloc_ptr, #4\n`;
           1 + ninstr
         end
+    | Lop(Ialloc { mode = Alloc_local } | Ibeginregion | Iendregion) ->
+       Misc.fatal_error "Local allocations not supported on this architecture"
     | Lop(Iintop(Icomp cmp)) ->
         `	cmp	{emit_reg i.arg.(0)}, {emit_reg i.arg.(1)}\n`;
         1 + emit_set_condition cmp i.res.(0)

asmcomp/arm64/emit.mlp

@@ -514,6 +514,8 @@ module BR = Branch_relaxation.Make (struct
       | 16 | 24 | 32 -> 1
       | _ -> 1 + num_instructions_for_intconst (Nativeint.of_int num_bytes)
       end
+    | Lop (Ibeginregion | Iendregion) ->
+       Misc.fatal_error "Local allocations not supported on this architecture"
     | Lop (Iintop (Icomp _)) -> 2
     | Lop (Iintop_imm (Icomp _, _)) -> 2
     | Lop (Iintop (Icheckbound)) -> 2
@@ -769,10 +771,12 @@ let emit_instr i =
         | Word_int | Word_val | Double | Double_u ->
             `	str	{emit_reg src}, {emit_addressing addr base}\n`
         end
-    | Lop(Ialloc { bytes = n; dbginfo }) ->
+    | Lop(Ialloc { bytes = n; dbginfo; mode = Alloc_heap }) ->
         assembly_code_for_allocation i ~n ~far:false ~dbginfo
     | Lop(Ispecific (Ifar_alloc { bytes = n; dbginfo })) ->
         assembly_code_for_allocation i ~n ~far:true ~dbginfo
+    | Lop(Ialloc { mode = Alloc_local } | Ibeginregion | Iendregion) ->
+       Misc.fatal_error "Local allocations not supported on this architecture"
     | Lop(Iintop_imm(Iadd, n)) ->
         emit_addimm i.res.(0) i.arg.(0) n
     | Lop(Iintop_imm(Isub, n)) ->

asmcomp/power/emit.mlp

@@ -487,6 +487,8 @@ module BR = Branch_relaxation.Make (struct
       else load_store_size addr
     | Lop(Istore(_chunk, addr, _)) -> load_store_size addr
     | Lop(Ialloc _) -> 4
+    | Lop(Ibeginregion | Iendregion) ->
+       Misc.fatal_error "Local allocations not supported on this architecture"
     | Lop(Ispecific(Ialloc_far _)) -> 5
     | Lop(Iintop Imod) -> 3
     | Lop(Iintop(Icomp _)) -> 4
@@ -754,13 +756,15 @@ let emit_instr i =
           | Single -> "stfs"
           | Double | Double_u -> "stfd" in
         emit_load_store storeinstr addr i.arg 1 i.arg.(0)
-    | Lop(Ialloc { bytes = n; dbginfo }) ->
+    | Lop(Ialloc { bytes = n; dbginfo; mode = Alloc_heap }) ->
         if !call_gc_label = 0 then call_gc_label := new_label ();
         `	addi    31, 31, {emit_int(-n)}\n`;
         `	{emit_string cmplg}	31, 30\n`;
         `	bltl	{emit_label !call_gc_label}\n`;
         record_frame i.live (Dbg_alloc dbginfo);
         `	addi	{emit_reg i.res.(0)}, 31, {emit_int size_addr}\n`;
+    | Lop(Ialloc { mode = Alloc_local } | Ibeginregion | Iendregion) ->
+       Misc.fatal_error "Local allocations not supported on this architecture"
     | Lop(Ispecific(Ialloc_far { bytes = n; dbginfo })) ->
         if !call_gc_label = 0 then call_gc_label := new_label ();
         let lbl = new_label() in

asmcomp/riscv/emit.mlp

@@ -369,7 +369,7 @@ let emit_instr i =
         | Double | Double_u -> "fsd"
       in
       `	{emit_string instr}	{emit_reg i.arg.(0)}, {emit_int ofs}({emit_reg i.arg.(1)})\n`
-  | Lop(Ialloc {bytes; dbginfo}) ->
+  | Lop(Ialloc {bytes; dbginfo; mode = Alloc_heap}) ->
       let lbl_frame_lbl = record_frame_label i.live (Dbg_alloc dbginfo) in
       let lbl_after_alloc = new_label () in
       let lbl_call_gc = new_label () in
@@ -387,6 +387,8 @@ let emit_instr i =
         { gc_lbl = lbl_call_gc;
           gc_return_lbl = lbl_after_alloc;
           gc_frame_lbl = lbl_frame_lbl } :: !call_gc_sites
+  | Lop(Ialloc { mode = Alloc_local } | Ibeginregion | Iendregion) ->
+     Misc.fatal_error "Local allocations not supported on this architecture"
   | Lop(Iintop(Icomp cmp)) ->
       begin match cmp with
       | Isigned Clt ->

asmcomp/s390x/emit.mlp

@@ -420,7 +420,7 @@ let emit_instr i =
           | Double | Double_u -> "stdy" in
         emit_load_store storeinstr addr i.arg 1 i.arg.(0)
 
-    | Lop(Ialloc { bytes = n; dbginfo }) ->
+    | Lop(Ialloc { bytes = n; dbginfo; mode = Alloc_heap }) ->
         let lbl_after_alloc = new_label() in
         let lbl_call_gc = new_label() in
         let lbl_frame =
@@ -437,6 +437,9 @@ let emit_instr i =
         `{emit_label lbl_after_alloc}:`;
         `	la      {emit_reg i.res.(0)}, 8(%r11)\n`
 
+    | Lop(Ialloc { mode = Alloc_local } | Ibeginregion | Iendregion) ->
+       Misc.fatal_error "Local allocations not supported on this architecture"
+
     | Lop(Iintop Imulh) ->
        (* Hacker's Delight section 8.3:
             mul-high-signed(a, b) = mul-high-unsigned(a, b)