search for: min_elt

...E registers have the same number of bytes and will therefore decrease the number of elements per register as the element type increases in size. If you want to extract something other than the first part of a vector, you need to add offsets based on a calculation from vscale (e.g. adding vscale * (min_elts/2) allows you to reach the high half of a larger register). If you check the patch which introduces splatvector (https://reviews.llvm.org/D47775), you can see a line which currently produces an error if changing the size of a vector is required, and notes that VECTOR_SHUFFLE_VAR hasn't been i...

...;a > +val for_all: (elt -> bool) -> t -> bool > +val exists: (elt -> bool) -> t -> bool > +val filter: (elt -> bool) -> t -> t > +val partition: (elt -> bool) -> t -> t * t > +val cardinal: t -> int > +val elements: t -> elt list > +val min_elt: t -> elt > +val max_elt: t -> elt > +val choose: t -> elt > +val split: elt -> t -> t * bool * t This interface fails to compile for me (Fedora 25, OCaml 4.02.3): OCAMLCMI stringSet.cmi OCAMLOPT stringSet.cmx File "stringSet.ml", line 1: Error: The implement...

...;a) -> t -> 'a -> 'a +val for_all: (elt -> bool) -> t -> bool +val exists: (elt -> bool) -> t -> bool +val filter: (elt -> bool) -> t -> t +val partition: (elt -> bool) -> t -> t * t +val cardinal: t -> int +val elements: t -> elt list +val min_elt: t -> elt +val max_elt: t -> elt +val choose: t -> elt +val split: elt -> t -> t * bool * t diff --git a/dib/elements.ml b/dib/elements.ml index d237eeb7f..6d668ea64 100644 --- a/dib/elements.ml +++ b/dib/elements.ml @@ -26,8 +26,6 @@ open Utils open Printf -module StringSet = S...

Hi, Now that Sander has committed enough MC support for SVE, here's an updated RFC for variable length vector support with a set of 14 patches (listed at the end) to demonstrate code generation for SVE using the extensions proposed in the RFC. I have some ideas about how to support RISC-V's upcoming extension alongside SVE; I'll send an email with some additional comments on

...39;a -> 'a + val for_all : (elt -> bool) -> t -> bool + val exists : (elt -> bool) -> t -> bool + val filter : (elt -> bool) -> t -> t + val partition : (elt -> bool) -> t -> t * t + val cardinal : t -> int + val elements : t -> elt list + val min_elt : t -> elt + val max_elt : t -> elt + val choose : t -> elt + val split : elt -> t -> t * bool * t +end + +val package_set_of_list : package list -> PackageSet.t + +(** Package handler settings, passed to [ph_init] function. *) +type settings = { + debug : int;...