search for: regehr

I get the output below on Ubuntu Hardy on ia32 from svn 56984. John make[2]: Entering directory `/home/regehr/llvm-gcc/build/gcc' /home/regehr/llvm-gcc/build/./gcc/xgcc -B/home/regehr/llvm-gcc/build/./gcc/ -B/home/regehr/i686-pc-linux-gnu/bin/ -B/home/regehr/i686-pc-linux-gnu/lib/ -isystem /home/regehr/i686-pc-linux-gnu/include -isystem /home/regehr/i686-pc-linux-gnu/sys-include -O2 -O2 -g -O2 -DI...

I'm getting the error below on Ubuntu Hardy on ia32 on r55688. John make[3]: Entering directory `/home/regehr/llvm-gcc/build/gcc' gcc -c -g -DIN_GCC -W -Wall -Wwrite-strings -Wstrict-prototypes -Wmissing-prototypes -pedantic -Wno-long-long -Wno-variadic-macros -Wno-overlength-strings -Wold-style-definition -Wmissing-format-attribute -DHAVE_CONFIG_H -I. -I. -I../../gcc -I../../gcc/. -I../../gcc/....

As you all have undoubtedly noticed, I recently did Yet Another Merge to Apple's GCC top-of-tree. This merge was prompted by several important fixes in the "blocks" implementation. There are still many testcases that need to be moved over, but those can come at our leisure. I compiled both the "Apple way" and the "FSF way". It also passed the tests in

...x, using r108984. Thanks, John --------------------------------- CLANG UNDEFINED at <BitcodeWriter.cpp, (740:29)> : Op: -, Reason : Signed Subtraction Overflow, left (int64): 0 right (int64): -9223372036854775808 Command causing this error: clang -I/uusoc/exports/scratch/regehr/z/llvm-2/projects/test-suite/SingleSource/Regression/C -I/uusoc/exports/scratch/regehr/z/llvm-2/projects/test-suite/SingleSource/Regression/C -I/home/regehr/z/llvm-2/include -I/home/regehr/z/llvm-2/projects/test-suite/include -I../../../include -I/home/regehr/z/llvm-2/include -D_GNU_SOURCE -D__STDC...

See below. This is on Ubuntu Hardy on ia32. Thanks, John make[3]: Entering directory `/home/regehr/llvm-gcc/build/gcc' gcc -c -g -DIN_GCC -W -Wall -Wwrite-strings -Wstrict-prototypes -Wmissing-prototypes -pedantic -Wno-long-long -Wno-variadic-macros -Wno-overlength-strings -Wold-style-definition -Wmissing-format-attribute -DHAVE_CONFIG_H -I. -I. -I../../gcc -I../../gcc/. -I../../g...

...are being executed. I know that "make ENABLE_COVERAGE=1" used to just work, but so far (on 64-bit Ubuntu 14.04) I've had no luck building either 3.4.x or SVN head using any of Clang 3.4, Clang head, or a recent GCC. The first error that I get when building with GCC is this: /home/regehr/tmp/llvm/utils/FileCheck/FileCheck.cpp:1304: error: undefined reference to '__gcov_init' The first error that I get when building with Clang 3.4.2 is this: /home/regehr/tmp/llvm/build/utils/FileCheck/Debug+Coverage+Asserts/FileCheck.o:/home/regehr/tmp/llvm/utils/FileCheck/FileCheck.cpp:f...

Cool! Looks like we do lots of provably unnecessary alignment checks. :) On Tue, Nov 25, 2014 at 9:03 AM, John Regehr <regehr at cs.utah.edu> wrote: > Actually, let me save you some time by pointing out the thing that is > perhaps immediately useful about our recent work, which is the fact that > Souper now supports "optimization profiling". > > If you build an LLVM using Souper and...

We (the folks working on Souper) would appreciate any feedback on these IR-level superoptimizer results: http://blog.regehr.org/extra_files/souper-jul-15.html My impression is that while there's clearly plenty of material in here that doesn't want to get implemented in an opt pass, there are a number of gems hiding in there that are worth implementing. Blog post containing additional explanation and caveats...

I checked out LLVM and configured like this: ./configure --prefix=/home/regehr --enable-optimized then built and installed it. Then, checked out the frontend, configured like this: ../configure --prefix=/home/regehr --enable-languages=c,c++ \ --enable-llvm=/home/regehr/z/llvm but when I try to build I get configure: error: You must specify valid path to your LLVM tree...

...here, but not *all* of these are backend specific. > > -- Sean Silva > > > -Hal > > ----- Original Message ----- > > From: "Sean Silva" <chisophugis at gmail.com > <mailto:chisophugis at gmail.com>> > > To: "John Regehr" <regehr at cs.utah.edu <mailto:regehr at cs.utah.edu>> > > Cc: llvmdev at cs.uiuc.edu <mailto:llvmdev at cs.uiuc.edu> > > Sent: Wednesday, July 22, 2015 2:35:51 PM > > Subject: Re: [LLVMdev] some superoptimizer results > > > &gt...

...s, then I'm not sure that considering ILP, etc. is the right metric -- so long as the transformations are sufficiently reversible to allow of efficient lowering afterward. -Hal ----- Original Message ----- > From: "Sean Silva" <chisophugis at gmail.com> > To: "John Regehr" <regehr at cs.utah.edu> > Cc: llvmdev at cs.uiuc.edu > Sent: Wednesday, July 22, 2015 2:35:51 PM > Subject: Re: [LLVMdev] some superoptimizer results > > > > Are you taking into account critical path length? Because e.g. for: > > > > %0:i64 = var &...

Since yesterday I've been getting the error below when building llvm-gcc on Ubuntu Hardy on x86. For some reason, several instances of autoconf are getting confused and failing to detect a stdlib.h. John /home/regehr/z/tmp/llvm-gcc-r62547-src/build/./prev-gcc/xgcc -B/home/regehr/z/tmp/llvm-gcc-r62547-src/build/./prev-gcc/ -B/home/regehr/z/tmp/llvm-gcc-r62547-install/i686-pc-linux-gnu/bin/ -c -DHAVE_CONFIG_H -O2 -g -fomit-frame-pointer -I. -I../../libiberty/../include -W -Wall -pedantic -Wwrite-strings -Ws...

...en r83681 and r84167 such that clang-cc and cc1 became many hundreds of times slower when asked to perform optimizations. Is this a known issue? These are all release builds on Ubuntu Jaunty on x86. During these long runs, memory usage creeps up slowly at maybe 1 MB per minute. Thanks, John Regehr

On Jan 19, 2009, at 5:34 PM, John Regehr wrote: > Since yesterday I've been getting the error below when building llvm- > gcc > on Ubuntu Hardy on x86. For some reason, several instances of > autoconf > are getting confused and failing to detect a stdlib.h. > > John > > > /home/regehr/z/tmp/llvm-gcc...

My InlineCost refactoring has been noticed in this aspect; that may or may notbe the culprit here. A quick thing you can do is to compile with -ftime-report and compare the top few passes between versions. Dan On Oct 19, 2009, at 8:47 PM, John Regehr <regehr at cs.utah.edu> wrote: > As part of routine testing, I run clang and llvm-gcc a lot of times. > Something happened between r83681 and r84167 such that clang-cc and > cc1 > became many hundreds of times slower when asked to perform > optimizations. > > Is this...

I hope there's some useful material in here! http://blog.regehr.org/archives/1192 John

...hand what's likely to be the root cause? Unfortunately a Debug build doesn't give these errors. Thanks, John FAIL: LLVM :: Analysis/BasicAA/pr18573.ll (2093 of 18733) ******************** TEST 'LLVM :: Analysis/BasicAA/pr18573.ll' FAILED ******************** Script: -- /home/regehr/llvm/build-vg/./bin/opt /home/regehr/llvm/test/Analysis/BasicAA/pr18573.ll -O2 -S | /home/regehr/llvm/build-vg/./bin/FileCheck /home/regehr/llvm/test/Analysis/BasicAA/pr18573.ll -- Exit Code: 123 Command Output (stderr): -- ==29299== Conditional jump or move depends on uninitialised value(s) ==...

...mes when HAVE_STDLIB is not defined, including an alternate protptype for malloc() that conflicts with the existing one. This is just what causes the error I sent-- no idea what the root cause is. Thanks, John On Mon, 19 Jan 2009, Bill Wendling wrote: > On Jan 19, 2009, at 5:34 PM, John Regehr wrote: > >> Since yesterday I've been getting the error below when building llvm- >> gcc >> on Ubuntu Hardy on x86. For some reason, several instances of >> autoconf >> are getting confused and failing to detect a stdlib.h. >> >> John >> >...

...peculating the branch out of loops like > > val = *uninitialized_loc > for (; false;) { > if (val) > foo(); > else > bar(); > } > > ? > > What compiler are you building with? > > -- Sanjoy > > On Sat, Nov 19, 2016 at 9:00 PM, regehr via llvm-dev > <llvm-dev at lists.llvm.org> wrote: >> I did a RelWithDebInfo + asserts build of LLVM just now and, when running >> "make check" under Valgrind, am seeing a lot of uses of uninitialized memory >> like the one below. Anyone know offhand what's...

...ation and a pointer to this graph along with the paper, if John doesn't object. --Vikram Associate Professor, Computer Science University of Illinois at Urbana-Champaign http://llvm.org/~vadve On Nov 18, 2008, at 12:33 PM, Chris Lattner wrote: > > On Nov 18, 2008, at 10:08 AM, John Regehr wrote: > >> http://www.cs.utah.edu/~regehr/compiler_correctness/llvm_gcc_x86/ >> >> I think these graphs speak for themselves. Feedback is welcome. > > Hey, it looks like we made some progress. ;-) > > Would you mind if I added your paper to llvm.org/pubs? > &gt...