Module Llvm_target.TargetSource

Sourcetype t
Sourceval default_triple : unit -> string

default_triple () returns the default target triple for current platform.

Sourceval first : unit -> t option

first () returns the first target in the registered targets list, or None.

Sourceval succ : t -> t option

succ t returns the next target after t, or None if t was the last target.

Sourceval all : unit -> t list

all () returns a list of known targets.

Sourceval by_name : string -> t option

by_name name returns Some t if a target t named name is registered, or None otherwise.

Sourceval by_triple : string -> t

by_triple triple returns a target for a triple triple, or raises Error if triple does not correspond to a registered target.

Sourceval name : t -> string

Returns the name of a target. See llvm::Target::getName.

Sourceval description : t -> string

Returns the description of a target. See llvm::Target::getDescription.

Sourceval has_jit : t -> bool

Returns true if the target has a JIT.

Sourceval has_target_machine : t -> bool

Returns true if the target has a target machine associated.

Sourceval has_asm_backend : t -> bool

Returns true if the target has an ASM backend (required for emitting output).