search for: pure

Hello folks, I'm not a compiler expert or subscribed to this mailing list, but I have a unique problem. I need to split a large piece of C/C++ code into two separate libraries: one library that only has pure code (i.e., code that doesn't require operating system interactions) and other library that can have both pure code and side-effecting code. I was was wondering if it's possible to achieve this by adding something like __attribute__((annotate("pure"))) and __attribute__((annotate...

Package: logcheck Version: 1.2.34 Severity: normal the patterns for pure-ftpd in ignore.d.server are not matching a user with a trailing whitespace. here a some examples: Feb 18 13:02:33 web1 pure-ftpd: (stupid-pure-ftpd @84.56.131.73) [NOTICE] /example/example.txt downloaded (5908 bytes, 152196.03KB/sec) Feb 18 13:16:14 web1 pure-ftpd: (stupid-pure-ftpd @84.56.131.7...

Hi Suman, I think you can ascertain pureness automatically leveraging the compiler instead of manually tagging attribute to each method and call-site. It would seem like impurity should be a transitive attribute. So this would conflict with below. __attribute__((annotate("pure"))) int add(uint32_t a, uint32_t b) { // impure...

...ll -W -Wmissing-prototypes -Wmissing-declarations -Wpointer-arith -Wchar-subscripts -Wformat=2 -Wbad-function-cast -c login-process.c In file included from ../../src/lib/lib.h:28, from common.h:6, from login-process.c:3: ../../src/lib/data-stack.h:73: warning: `pure' attribute directive ignored In file included from ../../src/lib/lib.h:39, from common.h:6, from login-process.c:3: ../../src/lib/strfuncs.h:44: warning: `pure' attribute directive ignored ../../src/lib/strfuncs.h:54: warning: `pure' attribute directi...

I'm fascinated by the Pure algebraic/functional language[1]. The Pure interpreter uses the LLVM JIT compiler as its backend. I would like to compile[2] Pure so that it runs on Android / ARM. Pure has a dependency on the LLVM JIT. So I need to compile LLVM source for Pure to run. Is it possible to compile LLVM source[3] for...

Albert Graef wrote: > One thing I noticed is that writing LLVM assembler code (print() > methods) seems to be horribly slow now (some 4-5 times slower than in > LLVM 2.5). This is a real bummer for me, since Pure's batch compiler > uses those methods to produce output code which then gets fed into llvmc. Let me follow up with some concrete figures. Unfortunately, I don't have a minimal C++ example, but the effect is easy to reproduce with Pure 0.31 from http://pure-lang.googlecode.com/ and the a...

Hello Dovecot users, Pigeonhole development has slowed down significantly in the last few months due to the fact that I got swamped in work. The plan is now to move active development of Pigeonhole to Dovecot v2.0, meaning that this will be the last release for v1.2 that contains significant development changes and new features. However, if a certain new feature is simple enough and there is

Hello Dovecot users, Pigeonhole development has slowed down significantly in the last few months due to the fact that I got swamped in work. The plan is now to move active development of Pigeonhole to Dovecot v2.0, meaning that this will be the last release for v1.2 that contains significant development changes and new features. However, if a certain new feature is simple enough and there is

...for the 2.6 release, but it's really not > that hard to keep up with trunk. I recently merged trunk LLVM into > Unladen Swallow, and the changes I needed to make are at > http://code.google.com/p/unladen-swallow/source/detail?r=724. Thanks Jeffrey, that was really very helpful! I have Pure working with both the LLVM 2.6 release branch and the trunk now. One thing I noticed is that writing LLVM assembler code (print() methods) seems to be horribly slow now (some 4-5 times slower than in LLVM 2.5). This is a real bummer for me, since Pure's batch compiler uses those methods to pro...

...irst things first, sorry for the off-topic, but I've already burned my eyes Googling and couldn't find the answer to what I need and I remembered asking here, because I'm a long time CentOS and its mailing list user. Again, my apologies. I have this command to create an FTP account: # pure-pw useradd mario -u 502 -g 502 -n 1000 -N 200 -d /home/pages/mario This command asks for the password twice. I need to pass the password (preferably without expect) so I can create the account without prompting. If i run: # echo secret | pure-pw useradd mario -u 502 -g 502 -n 1000 -N 200 -d /ho...

Sorry if this question was too trivial -- even a brief answer would be fantastic. On Tue, Jul 12, 2011 at 8:22 PM, Sidharth Kshatriya <sid.kshatriya at gmail.com > wrote: > I'm fascinated by the Pure algebraic/functional language[1]. The Pure > interpreter uses the LLVM JIT compiler as its backend. > > I would like to compile[2] Pure so that it runs on Android / ARM. Pure has > a dependency on the LLVM JIT. So I need to compile LLVM source for Pure to > run. > > Is it possi...

...was opened at 2009-05-05 17:29 You can respond by visiting: http://rubyforge.org/tracker/?func=detail&atid=414&aid=25792&group_id=85 Category: None Group: None Status: Open Resolution: None Priority: 3 Submitted By: Daniel Berger (djberg96) Assigned to: Nobody (None) Summary: Create a pure Ruby win32-ole library Initial Comment: The current Win32OLE library is a C monster, has some bugs, and doesn''t have a particularly good interface. I think a pure Ruby version would be easier to write and maintain, could have a more Ruby-ish interface, and could be installed as a gem ins...

Hi Michael, On Mon, Jan 2, 2017 at 11:49 PM, Michael Kuperstein <michael.kuperstein at gmail.com> wrote: > This sounds right to me. > > IIUC, historically, readonly and readnone are meant to model the "pure" and > "const" GCC attributes. These attributes make pretty strong guarantees: > > "[a pure] function can be subject to common subexpression elimination and > loop optimization just as an arithmetic operator would be. These functions > should be declared with the...

...And the API is similar, so it's usually easy to change from assembly to bitcode. That said, I've done testing of the AsmPrinter performance myself and seen only moderate slowdowns due to the formatting changes; nothing of the magnitude you're describing. I'm hoping to try out Pure to see if I can reproduce what you're seeing. As a first step, would it be possible for you to use strace - etrace=write to determine if buffering is somehow not happening? One other question the occurs to me: is Pure dumping the whole Module at once, or is it manually writing out the IR in...

...th Kshatriya <sid.kshatriya at gmail.com> wrote: > Sorry if this question was too trivial -- even a brief answer would be > fantastic. > > On Tue, Jul 12, 2011 at 8:22 PM, Sidharth Kshatriya > <sid.kshatriya at gmail.com> wrote: >> >> I'm fascinated by the Pure algebraic/functional language[1]. The Pure >> interpreter uses the LLVM JIT compiler as its backend. >> I would like to compile[2] Pure so that it runs on Android / ARM. Pure has >> a dependency on the LLVM JIT. So I need to compile LLVM source for Pure to >> run. >> I...

Lennart Augustsson mentioned on his blog that he got substantial performance improvements by conveying to LLVM when external functions (e.g. tanh) were pure. How is this done? -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e

...t; wrote: > >> Hi Michael, >> >> On Mon, Jan 2, 2017 at 11:49 PM, Michael Kuperstein >> <michael.kuperstein at gmail.com> wrote: >> > This sounds right to me. >> > >> > IIUC, historically, readonly and readnone are meant to model the "pure" >> and >> > "const" GCC attributes. These attributes make pretty strong guarantees: >> > >> > "[a pure] function can be subject to common subexpression elimination >> and >> > loop optimization just as an arithmetic operator would...

...335, was opened at 2006-10-26 16:51 You can respond by visiting: http://rubyforge.org/tracker/?func=detail&atid=413&aid=6335&group_id=85 Category: win32-shortcut Group: None Status: Open Resolution: None Priority: 3 Submitted By: Jano Svitok (janek) Assigned to: Nobody (None) Summary: pure ruby implementation Initial Comment: This is (not finished) pure-ruby implementation of Win32::Shortcut. Differences: - new takes block (yield self at the end of initialize) - open, relative_path, resolve and icon_number are not implemented - instead of show_cmd window_style is used Other than t...

Hi, > Lennart Augustsson mentioned on his blog that he got substantial performance > improvements by conveying to LLVM when external functions (e.g. tanh) were > pure. first note that tanh is not pure, because the result depends on the current floating point rounding mode. However, if you are willing to sacrifice complete numerical correctness, you can give llvm-gcc the -ffast-math flag and, voila!, tanh becomes pure. Ciao, Duncan.

On Tuesday 17 February 2009 09:46:07 Duncan Sands wrote: > Hi, > > > Lennart Augustsson mentioned on his blog that he got substantial > > performance improvements by conveying to LLVM when external functions > > (e.g. tanh) were pure. > > first note that tanh is not pure, because the result depends on the current > floating point rounding mode. Ugh. > However, if you are willing to sacrifice > complete numerical correctness, you can give llvm-gcc the -ffast-math flag > and, voila!, tanh becomes pure. How d...