search for: pureness

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

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.73) [INFO] Logout. every

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 by...

Hello, I trying to build dovecot 1.2rc2 on ancient Solaris 8 with gcc 2.95.3 and it fails with: gcc -DHAVE_CONFIG_H -I. -I../.. -I../../src/lib -I../../src/lib-settings -DSYSCONFDIR=\""/opt/dovecot/etc"\" -DPKG_RUNDIR=\""/opt/dovecot/var/run/dovecot"\" -DPKG_STATEDIR=\""/opt/dovecot/var/lib/dovecot"\"

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 Android (ARM) devices? There really seems to be no information about

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

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

Jeffrey Yasskin wrote: > See Owen's email about docs 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

Hi, First 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

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

Feature Requests item #25792, 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

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

Before we get too far into this, I'd like to point out that there's a ready solution for the problem of the AsmPrinter being slow: Bitcode. If you want IR reading and writing to be fast, you should consider bitcode files rather than assembly (text) files anyway. Bitcode is smaller and faster. And the API is similar, so it's usually easy to change from assembly to bitcode.

http://llvm.org/docs/GettingStarted.html#cross-compile -Eli On Tue, Jul 12, 2011 at 12:21 PM, Sidharth 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

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

On Tue, Jan 3, 2017 at 10:47 AM, Michael Kuperstein via llvm-dev < llvm-dev at lists.llvm.org> wrote: > > > On Tue, Jan 3, 2017 at 9:59 AM, Sanjoy Das via llvm-dev < > llvm-dev at lists.llvm.org> wrote: > >> Hi Michael, >> >> On Mon, Jan 2, 2017 at 11:49 PM, Michael Kuperstein >> <michael.kuperstein at gmail.com> wrote: >> > This

Patches item #6335, 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

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

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,