Skip to content

Commit 3af2fd6

Browse files
authored
Fix "make check_all_arches" in ocaml/ subdirectory (#388)
1 parent b3375d3 commit 3af2fd6

File tree

5 files changed

+14
-0
lines changed

5 files changed

+14
-0
lines changed

ocaml/asmcomp/arm/emit.mlp

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -769,6 +769,8 @@ let emit_instr i =
769769
assert false
770770
end
771771
| Lop (Iname_for_debugger _) -> 0
772+
| Lop (Iprobe _ |Iprobe_is_enabled _) ->
773+
Misc.fatal_error ("Probes not supported.")
772774
| Lreloadretaddr ->
773775
let n = frame_size() in
774776
` ldr lr, [sp, #{emit_int(n-4)}]\n`; 1

ocaml/asmcomp/arm64/emit.mlp

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -532,6 +532,8 @@ module BR = Branch_relaxation.Make (struct
532532
| Lop (Ispecific (Ibswap _)) -> 1
533533
| Lop (Ispecific Imove32) -> 1
534534
| Lop (Iname_for_debugger _) -> 0
535+
| Lop (Iprobe _ |Iprobe_is_enabled _) ->
536+
Misc.fatal_error ("Probes not supported.")
535537
| Lreloadretaddr -> 0
536538
| Lreturn -> epilogue_size ()
537539
| Llabel _ -> 0
@@ -880,6 +882,8 @@ let emit_instr i =
880882
assert false
881883
end
882884
| Lop (Iname_for_debugger _) -> ()
885+
| Lop (Iprobe _ |Iprobe_is_enabled _) ->
886+
Misc.fatal_error ("Probes not supported.")
883887
| Lreloadretaddr ->
884888
()
885889
| Lreturn ->

ocaml/asmcomp/power/emit.mlp

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -498,6 +498,8 @@ module BR = Branch_relaxation.Make (struct
498498
| Lop(Iintoffloat) -> 4
499499
| Lop(Ispecific _) -> 1
500500
| Lop (Iname_for_debugger _) -> 0
501+
| Lop (Iprobe _ |Iprobe_is_enabled _) ->
502+
Misc.fatal_error ("Probes not supported.")
501503
| Lreloadretaddr -> 2
502504
| Lreturn -> 2
503505
| Llabel _ -> 0
@@ -859,6 +861,8 @@ let emit_instr i =
859861
let instr = name_for_specific sop in
860862
` {emit_string instr} {emit_reg i.res.(0)}, {emit_reg i.arg.(0)}, {emit_reg i.arg.(1)}, {emit_reg i.arg.(2)}\n`
861863
| Lop (Iname_for_debugger _) -> ()
864+
| Lop (Iprobe _ |Iprobe_is_enabled _) ->
865+
Misc.fatal_error ("Probes not supported.")
862866
| Lreloadretaddr ->
863867
` {emit_string lg} 11, {emit_int(retaddr_offset())}(1)\n`;
864868
` mtlr 11\n`

ocaml/asmcomp/riscv/emit.mlp

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -443,6 +443,8 @@ let emit_instr i =
443443
` {emit_string instr} {emit_reg i.res.(0)}, {emit_reg i.arg.(0)}, {emit_reg i.arg.(1)}, {emit_reg i.arg.(2)}\n`
444444
| Lop (Iname_for_debugger _) ->
445445
()
446+
| Lop (Iprobe _ |Iprobe_is_enabled _) ->
447+
Misc.fatal_error ("Probes not supported.")
446448
| Lreloadretaddr ->
447449
let n = frame_size () in
448450
reload_ra n

ocaml/asmcomp/s390x/emit.mlp

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -544,6 +544,8 @@ let emit_instr i =
544544
let instr = name_for_specific sop in
545545
` {emit_string instr} {emit_reg i.res.(0)}, {emit_reg i.arg.(0)}, {emit_reg i.arg.(1)}\n`
546546
| Lop (Iname_for_debugger _) -> ()
547+
| Lop (Iprobe _ |Iprobe_is_enabled _) ->
548+
Misc.fatal_error ("Probes not supported.")
547549
| Lreloadretaddr ->
548550
let n = frame_size() in
549551
` lg %r14, {emit_int(n - size_addr)}(%r15)\n`

0 commit comments

Comments
 (0)