annotate llvm/bindings/ocaml/linker/linker_ocaml.c @ 266:00f31e85ec16 default tip

Added tag current for changeset 31d058e83c98
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 14 Oct 2023 10:13:55 +0900
parents 1f2b6ac9f198
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 /*===-- linker_ocaml.c - LLVM OCaml Glue ------------------------*- C++ -*-===*\
anatofuz
parents:
diff changeset
2 |* *|
anatofuz
parents:
diff changeset
3 |* Part of the LLVM Project, under the Apache License v2.0 with LLVM *|
anatofuz
parents:
diff changeset
4 |* Exceptions. *|
anatofuz
parents:
diff changeset
5 |* See https://llvm.org/LICENSE.txt for license information. *|
anatofuz
parents:
diff changeset
6 |* SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception *|
anatofuz
parents:
diff changeset
7 |* *|
anatofuz
parents:
diff changeset
8 |*===----------------------------------------------------------------------===*|
anatofuz
parents:
diff changeset
9 |* *|
anatofuz
parents:
diff changeset
10 |* This file glues LLVM's OCaml interface to its C interface. These functions *|
anatofuz
parents:
diff changeset
11 |* are by and large transparent wrappers to the corresponding C functions. *|
anatofuz
parents:
diff changeset
12 |* *|
anatofuz
parents:
diff changeset
13 |* Note that these functions intentionally take liberties with the CAMLparamX *|
anatofuz
parents:
diff changeset
14 |* macros, since most of the parameters are not GC heap objects. *|
anatofuz
parents:
diff changeset
15 |* *|
anatofuz
parents:
diff changeset
16 \*===----------------------------------------------------------------------===*/
anatofuz
parents:
diff changeset
17
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
18 #include "caml/alloc.h"
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
19 #include "caml/callback.h"
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
20 #include "caml/fail.h"
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
21 #include "caml/memory.h"
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
22 #include "llvm_ocaml.h"
150
anatofuz
parents:
diff changeset
23 #include "llvm-c/Core.h"
anatofuz
parents:
diff changeset
24 #include "llvm-c/Linker.h"
anatofuz
parents:
diff changeset
25
anatofuz
parents:
diff changeset
26 void llvm_raise(value Prototype, char *Message);
anatofuz
parents:
diff changeset
27
anatofuz
parents:
diff changeset
28 /* llmodule -> llmodule -> unit */
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
29 value llvm_link_modules(value Dst, value Src) {
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
30 if (LLVMLinkModules2(Module_val(Dst), Module_val(Src)))
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
31 llvm_raise(*caml_named_value("Llvm_linker.Error"),
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
32 LLVMCreateMessage("Linking failed"));
150
anatofuz
parents:
diff changeset
33
anatofuz
parents:
diff changeset
34 return Val_unit;
anatofuz
parents:
diff changeset
35 }