search for: ouroborus

Hi, I work on DDC, the compiler of a research Haskell dialect, Disciple (disciple.ouroborus.net (http://disciple.ouroborus.net)). We are looking to make use of LLVM's type-based alias analysis metadata to encode non-aliasing information between variables. We have found that the tbaa structure is somewhat limited in its expressivity. In particular we couldn't encode intransitive re...

...y of i8 (8 bit integers). In your compile you can use utf-8 and any utf8 string literal can be stored in an i8 array in the LLVM IR. For example, the LLVM backend for the DDC compiler [0] does this: @str = internal constant [4 x i8] c"bar\00", align 8 HTH, Erik [0] http://disciple.ouroborus.net/ -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/

> > On 4 Aug 2016, at 14:20, Ben Lippmeier <benl at ouroborus.net> wrote: > > >> On 3 Aug 2016, at 12:38 PM, Dean Michael Berris via llvm-dev <llvm-dev at lists.llvm.org> wrote: >> >> Hi Everyone, >> >> Just trying my luck here but are there others in the list lurking that down under in Sydney? I'm happy to...

Hi Everyone, Just trying my luck here but are there others in the list lurking that down under in Sydney? I'm happy to make something happen if there's at least *one* other person in Sydney. :) Cheers -- Dean

Hi, Jo! I'm trying create a new programming language, and I want that it have Unicode support (support for read and manipulate rightly the source-code and string literals). But, in addition, my programming language supports "string interpolation" string, and in these interpolations, tiny snippets of code, like expressions, or variable names. So, I need read each char, separating

Am 28.08.2011 16:02, schrieb geovanisouza92 at gmail.com: > Well, have you any idea about how I can implement rightly Unicode in C/C++? What do you mean with "implement in C/C++"? If you mean adding libraries to C/C++ that correctly deal with Unicode: that's nothing you do with a compiler infrastructure. And probably duplicate work, since Unicode libraries already exist. If

...of TBAA metadata to be more expressive, prompted by the need to support C structs. Dan Gohman also talked about the issue here: http://llvm.org/devmtg/2012-11/Gohman-AliasAnalysis.pdf. It was suggested that the trees be replaced by a type DAG then. While working on this compiler <http://disciple.ouroborus.net/>, I ended up using an undirected graph to represent aliasing instead, I believe it might be suitable for TBAA's purposes as well, for the following reasons. * Does the graph need to be acyclic? Consider these struct types: struct a { type1 x; type2 y } struct b { type2 y; typ...