d/freebsd-skq
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Vendor import of llvm RELEASE_360/final tag r230434 (effectively, 3.6.0 release):

Browse Source 
https://llvm.org/svn/llvm-project/llvm/tags/RELEASE_360/final@230434
This commit is contained in:
Dimitry Andric 2015-02-25 18:25:34 +00:00
parent 8af9f2019d
commit b6bcb9a905
8 changed files with 119 additions and 22 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
bindings/go/llvm/linker.go
View File

@ -20,9 +20,16 @@ package llvm
import "C"
import "errors"
func LinkModules(Dest, Src Module) error {
type LinkerMode C.LLVMLinkerMode
const (
LinkerDestroySource = C.LLVMLinkerDestroySource
LinkerPreserveSource = C.LLVMLinkerPreserveSource
)
func LinkModules(Dest, Src Module, Mode LinkerMode) error {
var cmsg *C.char
failed := C.LLVMLinkModules(Dest.C, Src.C, 0, &cmsg)
failed := C.LLVMLinkModules(Dest.C, Src.C, C.LLVMLinkerMode(Mode), &cmsg)
if failed != 0 {
err := errors.New(C.GoString(cmsg))
C.LLVMDisposeMessage(cmsg)

6
bindings/ocaml/linker/linker_ocaml.c
View File

@ -23,11 +23,11 @@
void llvm_raise(value Prototype, char *Message);
/* llmodule -> llmodule -> unit */
CAMLprim value llvm_link_modules(LLVMModuleRef Dst, LLVMModuleRef Src) {
/* llmodule -> llmodule -> Mode.t -> unit */
CAMLprim value llvm_link_modules(LLVMModuleRef Dst, LLVMModuleRef Src, value Mode) {
char* Message;
if (LLVMLinkModules(Dst, Src, 0, &Message))
if (LLVMLinkModules(Dst, Src, Int_val(Mode), &Message))
llvm_raise(*caml_named_value("Llvm_linker.Error"), Message);
return Val_unit;

8
bindings/ocaml/linker/llvm_linker.ml
View File

@ -11,5 +11,11 @@ exception Error of string
let () = Callback.register_exception "Llvm_linker.Error" (Error "")
external link_modules : Llvm.llmodule -> Llvm.llmodule -> unit
module Mode = struct
type t =
| DestroySource
| PreserveSource
end
external link_modules : Llvm.llmodule -> Llvm.llmodule -> Mode.t -> unit
= "llvm_link_modules"

9
bindings/ocaml/linker/llvm_linker.mli
View File

@ -14,6 +14,13 @@
exception Error of string
(** Linking mode. *)
module Mode : sig
type t =
| DestroySource
| PreserveSource
end
(** [link_modules dst src mode] links [src] into [dst], raising [Error]
if the linking fails. *)
val link_modules : Llvm.llmodule -> Llvm.llmodule -> unit
val link_modules : Llvm.llmodule -> Llvm.llmodule -> Mode.t -> unit

93
docs/ReleaseNotes.rst
View File

@ -37,7 +37,8 @@ Non-comprehensive list of changes in this release
* Added support for a `native object file-based bitcode wrapper format
<BitCodeFormat.html#native-object-file>`_.
* ... next change ...
* Added support for MSVC's ``__vectorcall`` calling convention as
``x86_vectorcallcc``.
.. NOTE
If you would like to document a larger change, then you can add a
@ -293,12 +294,13 @@ The old JIT has been removed
All users should transition to MCJIT.
object::Binary doesn't owns the file buffer
object::Binary doesn't own the file buffer
-------------------------------------------
It is now just a wrapper, which simplifies using object::Binary with other
users of the underlying file.
IR in object files is now supported
-----------------------------------
@ -318,7 +320,7 @@ The new implementation is also lazier and has a ``save-temps`` option.
Change in the representation of lazy loaded funcs
-------------------------------------------------
Lazy loaded functions are now represented is a way that ``isDeclaration``
Lazy loaded functions are now represented in a way that ``isDeclaration``
returns the correct answer even before reading the body.
@ -333,10 +335,11 @@ Python 2.7 is now required
This was done to simplify compatibility with python 3.
The leak detector has been removed
----------------------------------
In practice tools like asan and valgrind were finding way more bugs than
In practice, tools like asan and valgrind were finding way more bugs than
the old leak detector, so it was removed.
@ -351,12 +354,25 @@ The syntax of comdats was changed to
@g = global i32 0, comdat($c)
@c = global i32 0, comdat
The version without the parentheses is a syntatic sugar for a comdat with
The version without the parentheses is a syntactic sugar for a comdat with
the same name as the global.
Diagnotic infrastructure used by lib/Linker and lib/Bitcode
-----------------------------------------------------------
Added support for Win64 unwind information
------------------------------------------
LLVM now obeys the `Win64 prologue and epilogue conventions
<https://msdn.microsoft.com/en-us/library/tawsa7cb.aspx>`_ documented by
Microsoft. Unwind information is also emitted into the .xdata section.
As a result of the ABI-required prologue changes, it is now no longer possible
to unwind the stack using a standard frame pointer walk on Win64. Instead,
users should call ``CaptureStackBackTrace``, or implement equivalent
functionality by consulting the unwind tables present in the binary.
Diagnostic infrastructure used by lib/Linker and lib/Bitcode
------------------------------------------------------------
These libraries now use the diagnostic handler to print errors and warnings.
This provides better error messages and simpler error handling.
@ -367,12 +383,27 @@ The PreserveSource linker mode was removed
It was fairly broken and was removed.
The mode is currently still available in the C API for source
compatibility, but it doesn't have any effect.
Changes to the ARM Backend
--------------------------
Garbage Collection
------------------
A new experimental mechanism for describing a garbage collection safepoint was
added to LLVM. The new mechanism was not complete at the point this release
was branched so it is recommended that anyone interested in using this
mechanism track the ongoing development work on tip of tree. The hope is that
these intrinsics will be ready for general use by 3.7. Documentation can be
found `here <http://llvm.org/docs/Statepoints.html>`_.
During this release ...
The existing gc.root implementation is still supported and as fully featured
as it ever was. However, two features from GCStrategy will likely be removed
in the 3.7 release (performCustomLowering and findCustomSafePoints). If you
have a use case for either, please mention it on llvm-dev so that it can be
considered for future development.
We are expecting to migrate away from gc.root in the 3.8 time frame,
but both mechanisms will be supported in 3.7.
Changes to the MIPS Target
@ -385,6 +416,7 @@ compile the Linux kernel for 32-bit targets. Additionally, LLD now supports
microMIPS for the O32 ABI on little endian targets, and code generation for
microMIPS is almost completely passing the test-suite.
ABI
^^^
@ -417,6 +449,7 @@ few notable ones:
has been fixed when the fastcc calling convention is used with 64-bit FPU's
and -mno-odd-spreg.
LLVMLinux
^^^^^^^^^
@ -433,6 +466,7 @@ number of kernel patches. See the `LLVMLinux project
* Added support for a number of directives used by Linux to the Integrated
Assembler.
Miscellaneous
^^^^^^^^^^^^^
@ -449,6 +483,7 @@ Miscellaneous
is in use and will be removed in LLVM 3.7. These names have never been
supported by the GNU Assembler for these ABI's.
Changes to the PowerPC Target
-----------------------------
@ -459,7 +494,7 @@ There are numerous improvements to the PowerPC target in this release:
* LLVM now has a POWER8 instruction scheduling description.
* Address Sanitizer (ASAN) support is now fully functional.
* AddressSanitizer (ASan) support is now fully functional.
* Performance of simple atomic accesses has been greatly improved.
@ -470,8 +505,11 @@ There are numerous improvements to the PowerPC target in this release:
* PPC32 SVR4 now supports small-model PIC.
* Experimental support for the stackmap/patchpoint intrinsics has been added.
* There have been many smaller bug fixes and performance improvements.
Changes to the OCaml bindings
-----------------------------
@ -498,6 +536,14 @@ Changes to the OCaml bindings
* As usual, many more functions have been exposed to OCaml.
Go bindings
-----------
* A set of Go bindings based on `gollvm <https://github.com/go-llvm/llvm>`_
was introduced in this release.
External Open Source Projects Using LLVM 3.6
============================================
@ -505,6 +551,7 @@ An exciting aspect of LLVM is that it is used as an enabling technology for
a lot of other language and tools projects. This section lists some of the
projects that have already been updated to work with LLVM 3.6.
Portable Computing Language (pocl)
----------------------------------
@ -517,6 +564,7 @@ statically parallelize multiple work-items with the kernel compiler, even in
the presence of work-group barriers. This enables static parallelization of
the fine-grained static concurrency in the work groups in multiple ways.
TTA-based Co-design Environment (TCE)
-------------------------------------
@ -535,11 +583,12 @@ new LLVM-based code generators "on the fly" for the designed processors and
loads them in to the compiler backend as runtime libraries to avoid
per-target recompilation of larger parts of the compiler chain.
Likely
------
`Likely <http://www.liblikely.org>`_ is an embeddable just-in-time Lisp for
image recognition and heterogenous computing. Algorithms are just-in-time
image recognition and heterogeneous computing. Algorithms are just-in-time
compiled using LLVM's MCJIT infrastructure to execute on single or
multi-threaded CPUs and potentially OpenCL SPIR or CUDA enabled GPUs.
Likely seeks to explore new optimizations for statistical learning
@ -547,6 +596,7 @@ algorithms by moving them from an offline model generation step to the
compile-time evaluation of a function (the learning algorithm) with constant
arguments (the training data).
LDC - the LLVM-based D compiler
-------------------------------
@ -562,6 +612,25 @@ x86/x86_64 systems like Linux, OS X, FreeBSD and Windows and also Linux on
PowerPC (32/64 bit). Ports to other architectures like ARM, AArch64 and MIPS64
are underway.
LLVMSharp & ClangSharp
----------------------
`LLVMSharp <http://www.llvmsharp.org>`_ and
`ClangSharp <http://www.clangsharp.org>`_ are type-safe C# bindings for
Microsoft.NET and Mono that Platform Invoke into the native libraries.
ClangSharp is self-hosted and is used to generated LLVMSharp using the
LLVM-C API.
`LLVMSharp Kaleidoscope Tutorials <http://www.llvmsharp.org/Kaleidoscope/>`_
are instructive examples of writing a compiler in C#, with certain improvements
like using the visitor pattern to generate LLVM IR.
`ClangSharp PInvoke Generator <http://www.clangsharp.org/PInvoke/>`_ is the
self-hosting mechanism for LLVM/ClangSharp and is demonstrative of using
LibClang to generate Platform Invoke (PInvoke) signatures for C APIs.
Additional Information
======================

10
include/llvm-c/Linker.h
View File

@ -20,13 +20,21 @@
extern "C" {
#endif
/* Note: LLVMLinkerPreserveSource has no effect. */
typedef enum {
LLVMLinkerDestroySource = 0, /* Allow source module to be destroyed. */
LLVMLinkerPreserveSource = 1 /* Preserve the source module. */
} LLVMLinkerMode;
/* Links the source module into the destination module, taking ownership
* of the source module away from the caller. Optionally returns a
* human-readable description of any errors that occurred in linking.
* OutMessage must be disposed with LLVMDisposeMessage. The return value
* is true if an error occurred, false otherwise. */
LLVMBool LLVMLinkModules(LLVMModuleRef Dest, LLVMModuleRef Src,
unsigned Unused, char **OutMessage);
LLVMLinkerMode Mode, char **OutMessage);
#ifdef __cplusplus
}

2
lib/Linker/LinkModules.cpp
View File

@ -1749,7 +1749,7 @@ bool Linker::LinkModules(Module *Dest, Module *Src) {
//===----------------------------------------------------------------------===//
LLVMBool LLVMLinkModules(LLVMModuleRef Dest, LLVMModuleRef Src,
unsigned Unused, char **OutMessages) {
LLVMLinkerMode Mode, char **OutMessages) {
Module *D = unwrap(Dest);
std::string Message;
raw_string_ostream Stream(Message);

2
test/Bindings/OCaml/linker.ml
View File

@ -45,7 +45,7 @@ let test_linker () =
let m1 = make_module "one"
and m2 = make_module "two" in
link_modules m1 m2;
link_modules m1 m2 Mode.DestroySource;
dispose_module m1;
let m1 = make_module "one"