search for: csmith

Hello everyone! We are working on writing a paper about testing the reliability of C compilers by using Csmith (a random C99 program generator). A previous testing effort, using Csmith, found 202 LLVM bugs, which represented 2% of all reported bugs at that time (PDF: https://www.flux.utah.edu/download?uid=114 <https://www.flux.utah.edu/download?uid=114>): . However, after this paper was published we...

...g, who’s done a lot of work on automated testing of llvm. > > On Dec 6, 2018, at 10:15 PM, Radu Ometita via llvm-dev < > llvm-dev at lists.llvm.org> wrote: > > Hello everyone! > > We are working on writing a paper about testing the reliability of C > compilers by using Csmith (a random C99 program generator). > > A previous testing effort, using Csmith, found 202 LLVM bugs, which > represented 2% of all reported bugs at that time (PDF: > https://www.flux.utah.edu/download?uid=114): . However, after this paper > was published we are unaware of any further...

...tita via llvm-dev >>> <llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org>> wrote: >>> >>> Hello everyone! >>> >>> We are working on writing a paper about testing the reliability >>> of C compilers by using Csmith (a random C99 program generator). >>> >>> A previous testing effort, using Csmith, found 202 LLVM bugs, >>> which represented 2% of all reported bugs at that time (PDF: >>> https://www.flux.utah.edu/download?uid=114): . However, after >>>...

Just upgraded to a new Solr, so I did a full re-index. Saw some of these friendly messages: doveadm(csmith at amfes.com): Error: zlib.read(/var/mail/amfes.com/csmith/mdbox/storage/m.20): gz trailer has wrong CRC value at 28579617 doveadm(csmith at amfes.com): Error: read(zlib(/var/mail/amfes.com/csmith/mdbox/storage/m.20)) failed: Invalid argument doveadm(csmith at amfes.com): Error: read(zlib(/var...

...' RAID10.) Single drive bonnie++ -d /mnt/ -s 8g -u0 -f Version 1.03 ------Sequential Output------ --Sequential Input- --Random- -Per Chr- --Block-- -Rewrite- -Per Chr- --Block-- --Seeks-- Machine Size K/sec %CP K/sec %CP K/sec %CP K/sec %CP K/sec %CP /sec %CP csmith-desktop 8G 42807 21 25278 7 65191 6 118.4 0 ------Sequential Create------ --------Random Create-------- -Create-- --Read--- -Delete-- -Create-- --Read--- -Delete-- files /sec %CP /sec %CP /sec %CP /sec %CP /sec...

...LVM which > is causing the change. > > The problem is that your input code is far too simple to trigger any > interesting optimisations. I'd suggest starting with either some code from > the LLVM test suite (https://github.com/llvm/llvm-test-suite), or some > code generated by csmith (https://embed.cs.utah.edu/csmith/). The former > has the advantage of being (mostly) real code people actually write, and > the latter can generate a large amount of complex code without any external > dependencies (so it's easy to build). > > A few other things to note: There&...

...ut cman constantly falling over ? Cheers, CS -- Christopher Smith UNIX Team Leader Nighthawk Radiology Services Limmatquai 4, 6th Floor 8001 Zurich, Switzerland http://www.nighthawkrad.net Sydney Fax: +61 2 8211 2333 Zurich Fax: +41 43 497 3301 USA Toll free: 866 241 6635 Email: csmith@nighthawkrad.net IP Extension: 8163 Sydney Phone: +61 2 8211 2363 Sydney Mobile: +61 4 0739 7563 Zurich Phone: +41 44 267 3363 Zurich Mobile: +41 79 550 2715 All phones forwarded to my current location, however, please consider the local time in Zurich before calling from abroad. CONFIDENTIA...

Hi all, I’m currently writing an LLVM function pass and I want to know how can I test it? Currently, I try to compile some crypto library and check if the test suite are working but I don’t think this is very efficient. Does anyone has a leads? Greetings, Johan -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature

...nt better >> versions of existing tools" are doable as it seems to me. E.g. delta >> replacement based on clang. >> > > +1 as a would-be user of a tool like that. Actually John Regehr & others have implemented something like this called CReduce ( https://github.com/csmith-project/creduce ). It's still a little limited in its C++ transformation abilities but seems to provide a fairly extensible foundation & is already proving quite useful. I'm not sure whether there's sufficient meat in there for a GSoC project to improve CReduce's abilities in C+...

...%5.hiPair_then_hiAcc:an32quads = COPY undef %11 ... This is what's directly involving %5, so I hope it is the right amount of info. I included MIR from before simple-register-coalescing because one possibility is that there is something fishy happening in there. The code is originally csmith-generated, btw. Thanks again. > > > > Are there some restrictions on where dead-mi-elimination can be > > run? > > (I'm working with an out-of-tree target and we've put this failing > > dead-mi-elimination pass pretty soon after register coalescing.) > &g...

Hi, I have come across a csmith generated test case that made the MachineVerifier spit out: *** Bad machine code: Multiple connected components in live interval *** Having looked at what this might mean, it seems that ConnectedVNInfoEqClasses::Classify() was called on the LI in question by the verifier, and that it returned...

...es if it ever gets saved to disk and moved cross-platform. I don't really anticipate that happening but it might be nice to incorporate serialization hooks if possible. Are there any facilities in R for doing that? Thanks for any feedback or suggestions. -Colin http://abagyan.scripps.edu/~csmith/float.R http://abagyan.scripps.edu/~csmith/float.c

Hi Paul, Thanks for your useful guidelines, may I confirm with you the steps list below is correct or not? 1. find sample code (.c) 2. using different options(pass) to compile sample code by clang with/without "-g" 3. objdump the output.o and outout-g.o 4. compare two file of text section check if there has any difference. 5. if find difference, great, file bug and fix it. Please

Hi all, I'm interested in participating this GSoC with llvm. I would like to contribute on the project idea "DebugInfo should not effect codegen". Over the past few days, I have gone through some bugs reported at bugzilla that cause different codegen behavior of same program. Bugs I have been looking at are:     1. [fuzzDI] -O1 + `-g` cause the generated code to change.

...n Apr 16, 2015, at 3:50 PM, Andrew Trick <atrick at apple.com> wrote: > >> >> On Apr 16, 2015, at 6:58 AM, Jonas Paulsson <jonas.paulsson at ericsson.com <mailto:jonas.paulsson at ericsson.com>> wrote: >> >> Hi, >> >> I have come across a csmith generated test case that made the MachineVerifier spit out: >> >> *** Bad machine code: Multiple connected components in live interval *** >> >> Having looked at what this might mean, it seems that ConnectedVNInfoEqClasses::Classify() was called on the LI in question by th...

Hi, On 02/10/2016 01:23 AM, haicheng at codeaurora.org wrote: > Thank you, Mikael. I can reproduce what you saw and am looking into it. Great! > Just curious, why do you run loop-deletion before licm and loop-idiom? As part of our internal testing we use Csmith to generate C-programs and then we run the compiler with random generated compiler flags on that input. This bug was triggered in one of those runs, so the options to opt are not something we use in our normal pipeline, but used to find faults. /Mikael > The latter two can cause empty loop...

....com>> wrote: >>> >>>> >>>> On Apr 16, 2015, at 6:58 AM, Jonas Paulsson <jonas.paulsson at ericsson.com <mailto:jonas.paulsson at ericsson.com>> wrote: >>>> >>>> Hi, >>>> >>>> I have come across a csmith generated test case that made the MachineVerifier spit out: >>>> >>>> *** Bad machine code: Multiple connected components in live interval *** >>>> >>>> Having looked at what this might mean, it seems that ConnectedVNInfoEqClasses::Classify() was ca...

...ive check in uidswap.c Product: Portable OpenSSH Version: 3.7.1p1 Platform: All OS/Version: Linux Status: NEW Severity: minor Priority: P4 Component: ssh AssignedTo: bitbucket at mindrot.org ReportedBy: csmith at stoneboro.uucp.cirr.com I no longer have a test setup to check if this is still broken -- sorry -- but I thought you'd like to know about it anyway. If your uid is 0, the code in permanently_set_uid() to check if its setresgid worked properly is fooled. see bugs.gentoo.org #77915 comment...

...epeat it, but I'm reporting the problem to the -STABLE list, which I don't usually follow, except via the archives (Cc: me directly, if you want to ask a question on the list and have me see it before a week or two goes by). One of the people having this problem is: Christopher Smith <csmith@its.uq.edu.au> He is seeing it on 4.7-RELEASE. I've told him to look at moving to 4.8-RELEASE to allow him to convince this list to look at trying to fix it, but the code is the same in both releases, so I expect his problem will persist. He has a copy of my analysis, so far. -- Terry

On Apr 2, 2012, at 3:07 AM, Anton Korobeynikov <anton at korobeynikov.info> wrote: >> Ah OK. I would have loved to have such a tool, but as a non-clang >> expert, I can obviously not judge if it is suited. Maybe you are aware >> of other projects suitable for GSoC, > But still many things in "Use clang libraries to implement better > versions of existing