From bugzilla-daemon at cs.uiuc.edu Fri Feb 1 05:08:12 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 1 Feb 2008 05:08:12 -0600
Subject: [LLVMbugs] [Bug 1971] New: EQUIVALENCE not supported in
llvm-gfortran
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1971
Summary: EQUIVALENCE not supported in llvm-gfortran
Product: tools
Version: trunk
Platform: PC
OS/Version: Linux
Status: NEW
Severity: enhancement
Priority: P2
Component: llvm-gcc
AssignedTo: unassignedbugs at nondot.org
ReportedBy: asl at math.spbu.ru
CC: llvmbugs at cs.uiuc.edu
Created an attachment (id=1365)
--> (http://llvm.org/bugs/attachment.cgi?id=1365)
Testcase
Current gimple=>LLVM IR lowering does not support handling of fortran
EQUIVALENCE blocks. This looks like the last 'lack of feature' bug know so far.
Testcase from polyhedron attached.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Fri Feb 1 15:29:48 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 1 Feb 2008 15:29:48 -0600
Subject: [LLVMbugs] [Bug 1970] CBackend doesn't handle properly unaligned
load/stores
In-Reply-To:
Message-ID: <200802012129.m11LTmgT010944@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1970
Lauro Venancio changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
Target Milestone|--- |2.3
--- Comment #1 from Lauro Venancio 2008-02-01 15:29:47 ---
Fixed.
http://llvm.org/viewvc/llvm-project?rev=46646&view=rev
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Fri Feb 1 17:56:19 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 1 Feb 2008 17:56:19 -0600
Subject: [LLVMbugs] [Bug 1972] New: Invalid alloca instcombine
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1972
Summary: Invalid alloca instcombine
Product: new-bugs
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: enhancement
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sharparrow1 at yahoo.com
CC: llvmbugs at cs.uiuc.edu
@g = global i32* zeroinitializer
define i1 @b(i32 %t) {
entry:
%r = mul i32 %t, 2863311532
%alloc = alloca i8, i32 %r
%casted = bitcast i8* %alloc to i32*
store i32* %casted, i32** @g
ret i1 1
}
instcombine combines the alloc to
%tmp = mul i32 %t, 715827883 ; [#uses=1]
%alloc = alloca i32, i32 %tmp ; [#uses=1]
which is wrong. In this case, this turns what might be an allocation of 4 bytes
(if t is 3) into an extremely large allocation (which would crash in an
implementation that checked stack allocations, or possibly some 64-bit
implementations); in other cases, which I haven't bothered to figure out the
exact numbers for, it could cause a buffer overflow vulnerability.
The only situation under which this optimization would be correct would be if
the multiply could be guaranteed not to overflow, I think (unless we guarantee
that alloca's do 32-bit multiplication and ignore overflow, which seems a
strange at best).
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Fri Feb 1 17:58:45 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 1 Feb 2008 17:58:45 -0600
Subject: [LLVMbugs] [Bug 1973] New: Fix for PR1942 causes miscompilation of
clang
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1973
Summary: Fix for PR1942 causes miscompilation of clang
Product: tools
Version: trunk
Platform: PC
OS/Version: All
Status: NEW
Keywords: miscompilation
Severity: normal
Priority: P2
Component: llvm-gcc
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sabre at nondot.org
CC: llvmbugs at cs.uiuc.edu
The (second) fix for PR1942 causes llvm-gcc emit emit memcpy's of things with
ctors, this is very bad. The -O0 .ll code compiled for
_Z10DoStuffolaRSt3mapIjN5clang13RewriteBufferESt4lessIjESaISt4pairIKjS1_EEESt17_Rb_tree_iteratorIS6_EjRS1_
ends up constructing memtmp, memcpy'ing it to tmp1, then destroying tmp1.
-Chris
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Fri Feb 1 22:34:03 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 1 Feb 2008 22:34:03 -0600
Subject: [LLVMbugs] [Bug 1972] Invalid alloca instcombine
In-Reply-To:
Message-ID: <200802020434.m124Y3mu023955@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1972
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |INVALID
--- Comment #1 from Chris Lattner 2008-02-01 22:34:03 ---
Currently the size is always computed as a zero extended 32-bit value, so these
are equivalent. This is obviously badness for 64-bit hosts: we should
generalize alloca and malloc to take either a 32-bit or 64-bit integer operand
like GEP.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sat Feb 2 08:22:07 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sat, 2 Feb 2008 08:22:07 -0600
Subject: [LLVMbugs] [Bug 1974] New: Anders pass can produce miscompiled code
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1974
Summary: Anders pass can produce miscompiled code
Product: libraries
Version: trunk
Platform: Macintosh
OS/Version: MacOS X
Status: NEW
Keywords: miscompilation
Severity: normal
Priority: P2
Component: Global Analyses
AssignedTo: unassignedbugs at nondot.org
ReportedBy: robert.a.zeh at gmail.com
CC: llvmbugs at cs.uiuc.edu
The attached bitcode is a little strange. It's the result of combining a small
expression language with llvm. The expression language uses dynamic_cast while
building up expressions, and I've inlined the gcc code for dynamic_cast. I
expect the bitcode will only work when it is attached to the gnu tool chain
because it includes references to the GNU C++ runtime.
The expected (and correct) output of the attached bitcode is an empty file.
After running it through the anders pass, it incorrectly throws an exception.
Here is what I'm talking about:
Macintosh:GQ robertzeh$ lli bad-2.bc
Macintosh:GQ robertzeh$
Fine, life is good. Now I try to apply the anders pass along with a few other
pieces of code:
Macintosh:GQ robertzeh$ opt -f -anders-aa -load-vn -gcse -die bad-2.bc -o
bad-bad-2.bc
Macintosh:GQ robertzeh$ lli bad-bad-2.bc
terminate called after throwing an instance of 'Q::Exception'
0 lli 0x00471f71
_ZN40_GLOBAL__N_Signals.cpp_00000000_257E67F615PrintStackTraceEv + 45
1 lli 0x00472317
_ZN40_GLOBAL__N_Signals.cpp_00000000_257E67F613SignalHandlerEi + 323
2 libSystem.B.dylib 0x93c4097b _sigtramp + 43
3 ??? 0xffffffff 0x0 + 4294967295
4 libstdc++.6.dylib 0x943f410c __gxx_personality_v0 + 1108
5 libstdc++.6.dylib 0x943f414b _ZSt9terminatev + 29
6 libstdc++.6.dylib 0x943f4261 __cxa_throw + 101
7 ??? 0x01880358 0x0 + 25690968
8 lli 0x0013a2e3
_ZN4llvm15ExecutionEngine17runFunctionAsMainEPNS_8FunctionERKSt6vectorISsSaISsEEPKPKc
+ 1101
9 lli 0x00002744 main + 1186
10 lli 0x00002236 start + 54
The problem isn't with the exception handling --- the problem is that the code
shouldn't be trying to throw an exception.
After running things through bugpoint (where happyOutput is an empty file):
bugpoint -run-cbe -anders-aa -load-vn -gcse -die bad-2.bc --output happyOutput
....
*** The following function is being miscompiled:
main__ZN1Q13SememeFactory9CreateAddEPNS_6SememeES2_i_2E_exit_2E_ce
You can reproduce the problem with the command line:
lli -load ./bugpoint.safe.bc-CtCTaP.cbe.c.dylib bugpoint.test.bc-wYsqlo
The shared object was created with:
llc -march=c bugpoint.safe.bc-CtCTaP -o temporary.c
gcc -xc temporary.c -O2 -o ./bugpoint.safe.bc-CtCTaP.cbe.c.dylib -shared
-fno-strict-aliasing
Macintosh:GQ robertzeh$
The bugpoint reduced bitcode is only 2 bytes shorter, so I've attached the
original.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sat Feb 2 15:04:18 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sat, 2 Feb 2008 15:04:18 -0600
Subject: [LLVMbugs] [Bug 1942] problem with assigning returned object to
*this
In-Reply-To:
Message-ID: <200802022104.m12L4IHP028978@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1942
Duncan Sands changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|FIXED |
--- Comment #9 from Duncan Sands 2008-02-02 15:04:15 ---
This needs further investigation: the fix (which copies what gcc appears
to do) breaks C++ code for which the return value has constructors/
destructors, so I've reverted it.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sat Feb 2 21:33:19 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sat, 2 Feb 2008 21:33:19 -0600
Subject: [LLVMbugs] [Bug 1975] New: dag isel emitter isels wrong flag result
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1975
Summary: dag isel emitter isels wrong flag result
Product: tools
Version: 2.2
Platform: PC
OS/Version: All
Status: NEW
Keywords: compile-fail
Severity: normal
Priority: P2
Component: TableGen
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sabre at nondot.org
CC: evan.cheng at apple.com, llvmbugs at cs.uiuc.edu
The dag isel emitter is generating code that uses RAUW on a the flag result of
the wrong node in some cases. For example, in the X86 r/m/w pattern for
"adde", the adde node generates a flag. However, the selector code (generated
by tblgen) looks like this:
ReplaceUses(SDOperand(N10.Val, 1), SDOperand(ResNode, 0));
ReplaceUses(SDOperand(N.Val, 1), InFlag); <---
ReplaceUses(SDOperand(N.Val, 0), SDOperand(Chain10.Val, Chain10.ResNo));
return ResNode;
That is replacing the "flag of the store" with the input flag. This is
incorrect, as the store doesn't have a flag! I'm committing a patch soon with
a horrible hack that works around this, but this really needs to be fixed.
-Chris
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sat Feb 2 22:41:40 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sat, 2 Feb 2008 22:41:40 -0600
Subject: [LLVMbugs] [Bug 1976] New: instcombine doesn't fold x*y+x*z to
x*(y+z)
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1976
Summary: instcombine doesn't fold x*y+x*z to x*(y+z)
Product: libraries
Version: trunk
Platform: All
OS/Version: All
Status: NEW
Severity: enhancement
Priority: P2
Component: Scalar Optimizations
AssignedTo: nicholas at mxc.ca
ReportedBy: nicholas at mxc.ca
CC: llvmbugs at cs.uiuc.edu
Created an attachment (id=1369)
--> (http://llvm.org/bugs/attachment.cgi?id=1369)
proposed patch (a little ugly)
Instcombine should be able to fold:
define i8 @test1(i8 %x, i8 %y, i8 %z) {
%A = mul i8 %x, %y
%B = mul i8 %x, %z
%C = add i8 %A, %B
ret i8 %C
}
into this:
define i8 @test2(i8 %x, i8 %y, i8 %z) {
%A = add i8 %y, %z
%B = mul i8 %x, %A
ret i8 %B
}
It currently implements this only when %y and %z are ConstantInt. That's wrong,
this transformation works in general.
Patch attached. (Note that we shouldn't remove the existing "X*C1 + X*C2 --> X
* (C1+C2)" trafo because it also does shift-left combining.)
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sun Feb 3 01:32:40 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sun, 3 Feb 2008 01:32:40 -0600
Subject: [LLVMbugs] [Bug 1973] Fix for PR1942 causes miscompilation of clang
In-Reply-To:
Message-ID: <200802030732.m137WeRf014851@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1973
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #5 from Chris Lattner 2008-02-03 01:32:40 ---
Duncan fixed this by reverting the patches:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080128/057865.html
I verified that the testcase is compiled to correct code now. Thanks Duncan!
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sun Feb 3 01:43:17 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sun, 3 Feb 2008 01:43:17 -0600
Subject: [LLVMbugs] [Bug 1976] instcombine doesn't fold x*y+x*z to x*(y+z)
In-Reply-To:
Message-ID: <200802030743.m137hHoS015183@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1976
Nick Lewycky changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #3 from Nick Lewycky 2008-02-03 01:43:17 ---
Fixed. Patch here:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080128/057877.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sun Feb 3 03:00:38 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sun, 3 Feb 2008 03:00:38 -0600
Subject: [LLVMbugs] [Bug 1966] -pedantic-errors unusable
In-Reply-To:
Message-ID: <200802030900.m1390c4b025059@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1966
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #3 from Chris Lattner 2008-02-03 03:00:37 ---
This is gross, but should fix it, please verify:
http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20080128/004083.html
Thanks Neil!
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sun Feb 3 10:34:27 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sun, 3 Feb 2008 10:34:27 -0600
Subject: [LLVMbugs] [Bug 1949] instcombine doesn't fold away add/icmp ult
In-Reply-To:
Message-ID: <200802031634.m13GYRa5031677@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1949
Nick Lewycky changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
--- Comment #7 from Nick Lewycky 2008-02-03 10:34:26 ---
Fixed. Patch here:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080128/057879.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From neil at daikokuya.co.uk Sun Feb 3 06:12:34 2008
From: neil at daikokuya.co.uk (Neil Booth)
Date: Sun, 3 Feb 2008 21:12:34 +0900
Subject: [LLVMbugs] [Bug 1966] -pedantic-errors unusable
In-Reply-To: <200802030900.m1390c4b025059@zion.cs.uiuc.edu>
References:
<200802030900.m1390c4b025059@zion.cs.uiuc.edu>
Message-ID: <20080203121234.GD23617@daikokuya.co.uk>
bugzilla-daemon at cs.uiuc.edu wrote:-
> http://llvm.org/bugs/show_bug.cgi?id=1966
>
>
> Chris Lattner changed:
>
> What |Removed |Added
> ----------------------------------------------------------------------------
> Status|NEW |RESOLVED
> Resolution| |FIXED
>
>
>
>
> --- Comment #3 from Chris Lattner 2008-02-03 03:00:37 ---
> This is gross, but should fix it, please verify:
> http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20080128/004083.html
>
> Thanks Neil!
Works well, thanks.
From bugzilla-daemon at cs.uiuc.edu Sun Feb 3 12:49:58 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sun, 3 Feb 2008 12:49:58 -0600
Subject: [LLVMbugs] [Bug 1977] New: Hang compiling llvm-gcc-4.2
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1977
Summary: Hang compiling llvm-gcc-4.2
Product: tools
Version: trunk
Platform: DEC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: llc
AssignedTo: unassignedbugs at nondot.org
ReportedBy: arthur.loiret at gmail.com
CC: llvmbugs at cs.uiuc.edu
Created an attachment (id=1376)
--> (http://llvm.org/bugs/attachment.cgi?id=1376)
llvm-dis crtbegin.bc
Hi,
llvm-gcc-4.2 (trunk) built with llvm-2.2 (trunk) hangs in an endless loop
compiling gcc/crtstuff.c.
The llvm-dis (crtbegin.ll) output is joined, following Duncan Sands's
instructions:
[arthur at sarah sid llvm/build-gcc/gcc]% /home/arthur/llvm/build-gcc/./gcc/xgcc
-emit-llvm -B/home/arthur/llvm/build-gcc/./gcc/
-B/usr/lib/llvm/llvm-gcc-4.2/alpha-linux-gnu/bin/
-B/usr/lib/llvm/llvm-gcc-4.2/alpha-linux-gnu/lib/ -isystem
/usr/lib/llvm/llvm-gcc-4.2/alpha-linux-gnu/include -isystem
/usr/lib/llvm/llvm-gcc-4.2/alpha-linux-gnu/sys-include -O2 -O2 -g -O2 -mieee
-DIN_GCC -W -Wall -Wwrite-strings -Wstrict-prototypes -Wmissing-prototypes
-Wold-style-definition -isystem ./include -I. -I. -I../../llvm-gcc-4.2/gcc
-I../../llvm-gcc-4.2/gcc/. -I../../llvm-gcc-4.2/gcc/../include
-I../../llvm-gcc-4.2/gcc/../libcpp/include
-I../../llvm-gcc-4.2/gcc/../libdecnumber -I../libdecnumber
-I/home/arthur/llvm/llvm-2.2/include -I/usr/lib/llvm/include -g0
-finhibit-size-directive -fno-inline-functions -fno-exceptions
-fno-zero-initialized-in-bss -fno-toplevel-reorder \
-c ../../llvm-gcc-4.2/gcc/crtstuff.c -DCRT_BEGIN \
-o crtbegin.bc
[arthur at sarah sid llvm/build-gcc/gcc]% /usr/lib/llvm/bin/llvm-dis crtbegin.bc
?? llc crtbegin.bc ?? hangs in an endless loop in the same way than gcc
bootstrap build.
Arthur.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sun Feb 3 14:35:43 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sun, 3 Feb 2008 14:35:43 -0600
Subject: [LLVMbugs] [Bug 1978] New: tramp3d fails at -O0 but passes at -O3
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1978
Summary: tramp3d fails at -O0 but passes at -O3
Product: tools
Version: 2.2
Platform: PC
OS/Version: All
Status: NEW
Keywords: miscompilation
Severity: normal
Priority: P2
Component: llvm-g++
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sabre at nondot.org
CC: llvmbugs at cs.uiuc.edu
I think this is likely to be a C++ FE bug, probably something similar to the
struct copy thing.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sun Feb 3 19:57:25 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sun, 3 Feb 2008 19:57:25 -0600
Subject: [LLVMbugs] [Bug 1979] New: Potential loop codegen improvement
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1979
Summary: Potential loop codegen improvement
Product: new-bugs
Version: unspecified
Platform: All
OS/Version: All
Status: NEW
Severity: enhancement
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sharparrow1 at yahoo.com
CC: llvmbugs at cs.uiuc.edu
Comparing LLVM trunk (clang -emit-llvm-bc | opt -std-compile-opts | llc) and
gcc 4.1 (gcc -O3 -S) for the following code, gcc generates a shorter main loop.
Source:
#include
#include
static int parity(unsigned x) {
x ^= x >> 1;
x ^= x >> 2;
return ((x & 0x11111111) * 0x88888888) >> 31;
}
int main(void) {
unsigned i;
unsigned x = 0;
time_t t1=time(0), t2;
for (i = 0; i < 0xFFFFFFFF; i+= 1)
x += parity(i);
t2=time(0);
printf("TIME: %d, RESULT: %u\n", t2-t1, x);
}
LLVM's main loop:
.LBB2_3: # forbody14
movl %eax, %edx
shrl %edx
xorl %eax, %edx
movl %edx, %esi
shrl $2, %esi
xorl %edx, %esi
andl $286331153, %esi
imull $2290649224, %esi, %esi
shrl $31, %esi
addl %ecx, %esi
incl %eax
cmpl $4294967295, %eax
movl %esi, %ecx
jne .LBB2_3 # forbody14
gcc's main loop:
.L2:
movl %ecx, %eax
shrl %eax
xorl %ecx, %eax
addl $1, %ecx
movl %eax, %edx
shrl $2, %edx
xorl %edx, %eax
andl $286331153, %eax
imull $-2004318072, %eax, %eax
shrl $31, %eax
addl %eax, %ebx
cmpl $-1, %ecx
jne .L2
gcc's loop is one instruction shorter; LLVM's loop has an unnecessary movl.
This is an extremely synthetic/worthless benchmark, of course, but this bug
looks like it could affect real code.
(In case anyone's wondering, the included "parity" function computes the parity
of the input integer, i.e. it returns one if the number of set bits is odd, and
zero otherwise.)
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 4 04:32:16 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 4 Feb 2008 04:32:16 -0600
Subject: [LLVMbugs] [Bug 1980] New: DSE handleEndBlock uses freed memory
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1980
Summary: DSE handleEndBlock uses freed memory
Product: new-bugs
Version: unspecified
Platform: Other
OS/Version: Linux
Status: NEW
Severity: enhancement
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: baldrick at free.fr
CC: llvmbugs at cs.uiuc.edu
Here's what valgrind says:
Invalid read of size 4
at 0x85D2CAB: llvm::ilist_iterator::operator++()
(Instruction.h:223)
by 0x87ECBDB: llvm::ilist_iterator::operator++(int)
(ilist:152)
by 0x8BAE2CA:
llvm::MemoryDependenceAnalysis::removeInstruction(llvm::Instruction*)
(MemoryDependenceAnalysis.cpp:469)
by 0x8ABD37A: (anonymous namespace)::DSE::handleEndBlock(llvm::BasicBlock&,
llvm::SetVector >, llvm::SmallSet
>&) (DeadStoreElimination.cpp:280)
by 0x8ABE293: (anonymous namespace)::DSE::runOnBasicBlock(llvm::BasicBlock&)
(DeadStoreElimination.cpp:182)
by 0x8ABE36E: (anonymous namespace)::DSE::runOnFunction(llvm::Function&)
(DeadStoreElimination.cpp:46)
by 0x8C434A7: llvm::FPPassManager::runOnFunction(llvm::Function&)
(PassManager.cpp:1184)
by 0x8C43649: llvm::FPPassManager::runOnModule(llvm::Module&)
(PassManager.cpp:1204)
by 0x8C4317D: llvm::MPPassManager::runOnModule(llvm::Module&)
(PassManager.cpp:1254)
by 0x8C43335: llvm::PassManagerImpl::run(llvm::Module&)
(PassManager.cpp:1328)
by 0x8C43387: llvm::PassManager::run(llvm::Module&) (PassManager.cpp:1360)
by 0x8597C5F: llvm_asm_file_end (llvm-backend.cpp:561)
Address 0x7483194 is 36 bytes inside a block of size 72 free'd
at 0x402231C: operator delete(void*) (vg_replace_malloc.c:342)
by 0x8C2EAD8: llvm::StoreInst::~StoreInst() (Instructions.h:293)
by 0x87CF1EC: llvm::iplist
>::erase(llvm::ilist_iterator) (ilist:368)
by 0x8C1E7A8: llvm::Instruction::eraseFromParent() (Instruction.cpp:68)
by 0x8ABE13A: (anonymous namespace)::DSE::runOnBasicBlock(llvm::BasicBlock&)
(DeadStoreElimination.cpp:156)
by 0x8ABE36E: (anonymous namespace)::DSE::runOnFunction(llvm::Function&)
(DeadStoreElimination.cpp:46)
by 0x8C434A7: llvm::FPPassManager::runOnFunction(llvm::Function&)
(PassManager.cpp:1184)
by 0x8C43649: llvm::FPPassManager::runOnModule(llvm::Module&)
(PassManager.cpp:1204)
by 0x8C4317D: llvm::MPPassManager::runOnModule(llvm::Module&)
(PassManager.cpp:1254)
by 0x8C43335: llvm::PassManagerImpl::run(llvm::Module&)
(PassManager.cpp:1328)
by 0x8C43387: llvm::PassManager::run(llvm::Module&) (PassManager.cpp:1360)
by 0x8597C5F: llvm_asm_file_end (llvm-backend.cpp:561)
I hope this is enough: it is not easy to reproduce using opt.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 4 11:23:39 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 4 Feb 2008 11:23:39 -0600
Subject: [LLVMbugs] [Bug 1942] problem with assigning returned object to
*this
In-Reply-To:
Message-ID: <200802041723.m14HNdtb026293@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1942
Duncan Sands changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|REOPENED |RESOLVED
Resolution| |FIXED
--- Comment #11 from Duncan Sands 2008-02-04 11:23:32 ---
Fixed here, take 3:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080204/057898.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 4 14:20:28 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 4 Feb 2008 14:20:28 -0600
Subject: [LLVMbugs] [Bug 1981] New: Objects of arbitrary type can be
bitfields
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1981
Summary: Objects of arbitrary type can be bitfields
Product: new-bugs
Version: unspecified
Platform: Other
OS/Version: Linux
Status: NEW
Severity: enhancement
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: baldrick at free.fr
CC: llvmbugs at cs.uiuc.edu
The Ada front-end expects the back-end to handle bitfields of
arbitrary type. In the following example, a bitfield of struct type:
package Bit_Struct is
type R is record
A : Integer;
B : String (1 .. 3);
end record;
type S is record
An_R : R;
end record;
for S use record
An_R at 0 range 4 .. 60;
end record;
An_S : constant S := (An_R => (A => 0, B => "Yo!"));
end;
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 4 14:24:16 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 4 Feb 2008 14:24:16 -0600
Subject: [LLVMbugs] [Bug 1982] New: Stack backtraces in exceptions not
supported
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1982
Summary: Stack backtraces in exceptions not supported
Product: new-bugs
Version: unspecified
Platform: Other
OS/Version: Linux
Status: NEW
Severity: enhancement
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: baldrick at free.fr
CC: llvmbugs at cs.uiuc.edu
The Ada -E binder option stores a stack traceback in the exception.
This doesn't work with llvm-gcc. Testcase:
procedure Trace is
begin
raise Program_Error;
end;
$ gnatmake trace.adb -bargs -E
gcc -c trace.adb
gnatbind -aO./ -E -I- -x trace.ali
gnatlink trace.ali
$ ./trace
Segmentation fault (core dumped)
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 4 20:40:18 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 4 Feb 2008 20:40:18 -0600
Subject: [LLVMbugs] [Bug 1962] clang struct init codegen + padding broken
In-Reply-To:
Message-ID: <200802050240.m152eItX002083@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1962
Devang Patel changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |dpatel at apple.com
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #1 from Devang Patel 2008-02-04 20:40:17 ---
Fixed. Committed revision 46736.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 4 22:31:00 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 4 Feb 2008 22:31:00 -0600
Subject: [LLVMbugs] [Bug 1983] New: Teach LLVM about parity
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1983
Summary: Teach LLVM about parity
Product: new-bugs
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: enhancement
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sharparrow1 at yahoo.com
CC: llvmbugs at cs.uiuc.edu
Spun off of Bug 1979, because I don't want to pollute that bug with a lot of
irrelevant discussion.
(In reply to comment #2)
> Eli: some random unrelated thoughts :). If you're interested in parity, I
> wonder if llvm-gcc generates efficient code for __builtin_parity. Could you
> check?
It appears llvm-gcc doesn't support __builtin_parity... at least the version at
http://llvm.org/demo/index.cgi (I don't have a trunk build).
LLVM currently generates bad code for llvm.ctpop.i32(x) & 1; it just generates
the ctpop and ands it with 1, which is really slow for cpu's without a popcount
instruction.
(In reply to comment #3)
> It would also be useful to teach instcombine about various idioms for parity,
> turning it into llvm.popct(x)&1
What exactly are common idioms for parity? The only idioms that would be easy
to detect are popcount & 1 and maybe the pure shift+xor method.
I've dome some rough testing of various ways of computing parity using a
benchmark that looks like the testcase for this bug.
For x86, something like the following is probably best; it appears to be as
fast as a lookup table.
static unsigned parity2(unsigned x) {
int result;
asm ("movl %1, %%ecx\n"
"shrl $16, %%ecx\n"
"xorl %1, %%ecx\n"
"xorb %%ch, %%cl\n"
"setnp %%cl\n"
"movzbl %%cl, %0\n"
:"=r"(result) /* output */
:"g" (x) /* input */
:"%ecx" /* clobbered register */
);
return result;
}
I don't know how difficult it would be to make LLVM generate something like
that, though.
Besides that, the fastest method is a lookup table; however, a full lookup
table is at least 256 bytes. Without a lookup table, the method from my
testcase is the fastest. The method from
http://graphics.stanford.edu/~seander/bithacks.html#ParityParallel is a little
slower. Purely using xor+shift is a little slower than that (it adds up to
being about twice as slow as the asm or table lookup).
That said, the way I'm benchmarking is not at all representative of real-world
code, so my results might be a bit off.
The version of gcc I have converts __builtin_parity into a call to __paritysi2,
a method in libgcc which uses a lookup table; however, I think that's changed
(http://www.archivum.info/gcc-patches at gcc.gnu.org/2007-02/msg00999.html).
Is there actually any real-world use for 32-bit parity, though? I just looked
at it because I was curious...
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 4 22:34:34 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 4 Feb 2008 22:34:34 -0600
Subject: [LLVMbugs] [Bug 1980] DSE handleEndBlock uses freed memory
In-Reply-To:
Message-ID: <200802050434.m154YYAu005848@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1980
Owen Anderson changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #4 from Owen Anderson 2008-02-04 22:34:33 ---
Fixed in r46738.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 4 22:55:30 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 4 Feb 2008 22:55:30 -0600
Subject: [LLVMbugs] [Bug 1978] tramp3d fails at -O0 but passes at -O3
In-Reply-To:
Message-ID: <200802050455.m154tURP006641@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1978
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Component|llvm-g++ |Scalar Optimizations
Product|tools |libraries
Resolution| |FIXED
Target Milestone|--- |2.3
--- Comment #6 from Chris Lattner 2008-02-04 22:55:29 ---
Woot, deleting that code from instcombine fixed it. Next question, why does
-O0 run instcombine? :)
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 4 23:49:43 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 4 Feb 2008 23:49:43 -0600
Subject: [LLVMbugs] [Bug 1984] New: kaleidoscope tutorial, segfault on dump
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1984
Summary: kaleidoscope tutorial, segfault on dump
Product: new-bugs
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: enhancement
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: tbptbp at gmail.com
CC: llvmbugs at cs.uiuc.edu
The kaleidoscope tutorial starts to segfault at stage #4,
http://llvm.org/docs/tutorial/LangImpl4.html, with a fresh (as of now) trunk
checkout on my x86-64 linux box.
I've exhausted my options, fails in debug and release, with
Target: x86_64-linux-gnu
Configured with: ../src/configure -v
--enable-languages=c,c++,fortran,objc,obj-c++,treelang --prefix=/usr
--enable-shared --with-system-zlib --libexecdir=/usr/lib
--without-included-gettext --enable-threads=posix --enable-nls
--with-gxx-include-dir=/usr/include/c++/4.2 --program-suffix=-4.2
--enable-clocale=gnu --enable-libstdcxx-debug --enable-objc-gc --enable-mpfr
--disable-libmudflap --enable-checking=release --build=x86_64-linux-gnu
--host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 4.2.3 (Debian 4.2.3-1)
and
Target: x86_64-linux-gnu
Configured with: ../src/configure -v
--enable-languages=c,c++,fortran,objc,obj-c++,treelang --prefix=/usr
--enable-shared --with-system-zlib --libexecdir=/usr/lib
--without-included-gettext --enable-threads=posix --enable-nls
--with-gxx-include-dir=/usr/include/c++/4.1.3 --program-suffix=-4.1
--enable-__cxa_atexit --enable-clocale=gnu --enable-libstdcxx-debug
--enable-mpfr --enable-checking=release x86_64-linux-gnu
Thread model: posix
gcc version 4.1.3 20080114 (prerelease) (Debian 4.1.2-19)
configured with ../configure --prefix=/usr/local/llvm --enable-jit
Simply ^D right away and
(gdb) bt full
#0 0x00000000007f62cc in llvm::isa (Val=@0x28)
at /usr/src/tbp/llvm/llvm/include/llvm/Support/Casting.h:116
No locals.
#1 0x00000000007f6cbb in llvm::cast (Val=@0x28)
at /usr/src/tbp/llvm/llvm/include/llvm/Support/Casting.h:199
__PRETTY_FUNCTION__ = "typename llvm::cast_retty::ret_type
llvm::cast(const Y&) [with X = llvm::Type, Y = const llvm::Type*]"
#2 0x00000000007f42f5 in fillTypeNameTable (M=0xd49670,
TypeNames=@0x7fffada4de28)
at /usr/src/tbp/llvm/llvm/lib/VMCore/AsmWriter.cpp:252
Ty = (const class llvm::Type *) 0x7f5d73
ST = (const class llvm::TypeSymbolTable &) @0xd49710:
{ = {
_vptr.AbstractTypeUser = 0xd5e2a0}, tmap = {_M_t = {
_M_impl = {, std::allocator >, const
llvm::Type*> > >> =
{<__gnu_cxx::new_allocator, std::allocator >, const
llvm::Type*> > >> = {}, },
_M_key_compare = {, std::allocator >,const std::basic_string, std::allocator >,bool>> = {}, }, _M_header = {_M_color = 13923072, _M_parent = 0x0, _M_left =
0x0, _M_right = 0xd5de20}, _M_node_count = 13932304}}},
LastUnique = 0}
TI = {_M_node = 0x0}
#3 0x00000000007f8b9d in AssemblyWriter (this=0x7fffada4de10, o=@0xd42600,
Mac=@0x7fffada4dd80, M=0xd49670, AAW=0x0)
at /usr/src/tbp/llvm/llvm/lib/VMCore/AsmWriter.cpp:733
No locals.
#4 0x00000000007f47e3 in llvm::Module::print (this=0xd49670, o=@0xd42600,
AAW=0x0)
at /usr/src/tbp/llvm/llvm/lib/VMCore/AsmWriter.cpp:1443
SlotTable = {TheModule = 0xd49670, TheFunction = 0x0, FunctionProcessed
= false, mMap = {_M_t = {
_M_impl = { > >> =
{<__gnu_cxx::new_allocator > >> = {}, },
_M_key_compare = {> = {}, }, _M_header =
{_M_color = std::_S_red, _M_parent = 0x0, _M_left = 0x7fffada4dda0,
_M_right = 0x7fffada4dda0}, _M_node_count = 0}}}, mNext = 0, fMap =
{_M_t = {
_M_impl = { > >> =
{<__gnu_cxx::new_allocator > >> = {}, },
_M_key_compare = {> = {}, }, _M_header =
{_M_color = std::_S_red, _M_parent = 0x0, _M_left = 0x7fffada4ddd8,
_M_right = 0x7fffada4ddd8}, _M_node_count = 0}}}, fNext = 0}
W = {Out = @0xd42600, Machine = @0x7fffada4dd80, TheModule = 0xd49670,
TypeNames = {_M_t = {
_M_impl = {, std::allocator > >
> >> = {<__gnu_cxx::new_allocator,
std::allocator > > > >> = {}, },
_M_key_compare = {> = {}, }, _M_header =
{_M_color = std::_S_red, _M_parent = 0x0, _M_left = 0x7fffada4de30, _M_right =
0x7fffada4de30},
_M_node_count = 0}}}, AnnotationWriter = 0x0}
#5 0x00000000007f8bc2 in llvm::Module::print (this=0xd49670, OS=@0xd42600)
at /usr/src/tbp/llvm/llvm/include/llvm/Module.h:353
No locals.
#6 0x0000000000848b24 in llvm::Module::dump (this=0xd49670) at
/usr/src/tbp/llvm/llvm/lib/VMCore/Module.cpp:94
No locals.
#7 0x00000000004091d3 in main () at toy4.cc:597
OurModuleProvider = { = {_vptr.ModuleProvider =
0x9bcb10,
TheModule = 0xd49670}, }
OurFPM = {FPM = 0xd5e100, MP = 0x7fffada4def0}
(gdb)
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Tue Feb 5 00:29:19 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Tue, 5 Feb 2008 00:29:19 -0600
Subject: [LLVMbugs] [Bug 1984] kaleidoscope tutorial, segfault on dump
In-Reply-To:
Message-ID: <200802050629.m156TJVG009411@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1984
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #2 from Chris Lattner 2008-02-05 00:29:19 ---
Fixed, patch here:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080204/057925.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Tue Feb 5 00:38:17 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Tue, 5 Feb 2008 00:38:17 -0600
Subject: [LLVMbugs] [Bug 1968] clang codegen for static forward declaration
broken
In-Reply-To:
Message-ID: <200802050638.m156cHMv009842@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1968
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #1 from Chris Lattner 2008-02-05 00:38:16 ---
Fixed in r46742
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Tue Feb 5 16:50:55 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Tue, 5 Feb 2008 16:50:55 -0600
Subject: [LLVMbugs] [Bug 1975] dag isel emitter isels wrong flag result
In-Reply-To:
Message-ID: <200802052250.m15MotFo020263@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1975
Evan Cheng changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #3 from Evan Cheng 2008-02-05 16:50:52 ---
Fixed.
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080204/057958.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Tue Feb 5 21:31:06 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Tue, 5 Feb 2008 21:31:06 -0600
Subject: [LLVMbugs] [Bug 1985] New: llvm-ar is unkillable and doesn't halt
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1985
Summary: llvm-ar is unkillable and doesn't halt
Product: tools
Version: trunk
Platform: PC
OS/Version: Linux
Status: NEW
Severity: major
Priority: P2
Component: llvm-ar
AssignedTo: unassignedbugs at nondot.org
ReportedBy: alenhar2 at uiuc.edu
CC: llvmbugs at cs.uiuc.edu
any invocation of llvm-ar rcs seems to use 100% of the cpu and never halt. It
is also unkillable. This is on linux x86. even just creating a new archive
with one file in it triggers this behavior. When run in gdb, Ctl-C doesn't
cause a break. kill -9 doesn't work either.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 6 09:48:16 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 6 Feb 2008 09:48:16 -0600
Subject: [LLVMbugs] [Bug 1986] New: Incorrect type generated for anonymous
struct
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1986
Summary: Incorrect type generated for anonymous struct
Product: clang
Version: unspecified
Platform: PC
OS/Version: All
Status: NEW
Severity: enhancement
Priority: P2
Component: LLVM Codegen
AssignedTo: unassignedbugs at nondot.org
ReportedBy: andersca at mac.com
CC: llvmbugs at cs.uiuc.edu
The following code
struct s
{
struct {
int a;
int b;
};
void *d;
};
is translated to
%struct.s = type { i8* }
by clang. Also, the warning
Macintosh:clang andersca$ clang -emit-llvm test.c -o -test.c:4:2: warning:
declaration does not declare anything
struct {
^
is emitted. GCC correctly emits the following type
%struct.anon = type { i32, i32 }
%struct.s = type { %struct.anon, i8* }
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 6 12:30:08 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 6 Feb 2008 12:30:08 -0600
Subject: [LLVMbugs] [Bug 1987] New: sema crashes on if() without then
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1987
Summary: sema crashes on if() without then
Product: clang
Version: unspecified
Platform: PC
OS/Version: Windows NT
Status: NEW
Keywords: crash-on-invalid
Severity: normal
Priority: P2
Component: AST
AssignedTo: unassignedbugs at nondot.org
ReportedBy: nunoplopes at sapo.pt
CC: llvmbugs at cs.uiuc.edu
clang crashes with the following invalid code:
struct _zend_module_entry {
}
typedef struct _zend_function_entry {
}
static void zm_globals_dtor_pcre(zend_pcre_globals *pcre_globals ) {
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 6 12:41:37 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 6 Feb 2008 12:41:37 -0600
Subject: [LLVMbugs] [Bug 1988] New: clang crashes on invalid struct
definition
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1988
Summary: clang crashes on invalid struct definition
Product: clang
Version: unspecified
Platform: PC
OS/Version: Windows NT
Status: NEW
Keywords: crash-on-invalid
Severity: enhancement
Priority: P2
Component: Semantic Analyzer
AssignedTo: unassignedbugs at nondot.org
ReportedBy: nunoplopes at sapo.pt
CC: llvmbugs at cs.uiuc.edu
Created an attachment (id=1379)
--> (http://llvm.org/bugs/attachment.cgi?id=1379)
test case
clang crashes with the attached invalid code (reduced with delta).
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 6 13:13:43 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 6 Feb 2008 13:13:43 -0600
Subject: [LLVMbugs] [Bug 1985] llvm-ar is unkillable and doesn't halt
In-Reply-To:
Message-ID: <200802061913.m16JDhj3029857@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1985
Andrew Lenharth changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |INVALID
--- Comment #4 from Andrew Lenharth 2008-02-06 13:13:43 ---
The hangs are caused by a bug introduced in linux 2.6.24. The patch in the
previous comment fixes it.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 6 13:36:53 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 6 Feb 2008 13:36:53 -0600
Subject: [LLVMbugs] [Bug 1925] Assertion failed in RegisterScavenging with
regalloc=local
In-Reply-To:
Message-ID: <200802061936.m16JarxE030680@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1925
Evan Cheng changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #1 from Evan Cheng 2008-02-06 13:36:52 ---
Fixed.
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080204/057979.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 6 13:47:09 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 6 Feb 2008 13:47:09 -0600
Subject: [LLVMbugs] [Bug 1964] constant expression error
In-Reply-To:
Message-ID: <200802061947.m16Jl9qS031111@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1964
Nuno Lopes changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |nunoplopes at sapo.pt
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
--- Comment #3 from Nuno Lopes 2008-02-06 13:47:09 ---
fixed in
http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20080204/004113.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 6 14:05:17 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 6 Feb 2008 14:05:17 -0600
Subject: [LLVMbugs] [Bug 1989] New: " All operands to PHI node must be the
same type as the PHI node" assertion triggered
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1989
Summary: "All operands to PHI node must be the same type as the
PHI node" assertion triggered
Product: clang
Version: unspecified
Platform: PC
OS/Version: Windows NT
Status: NEW
Keywords: compile-fail
Severity: enhancement
Priority: P2
Component: LLVM Codegen
AssignedTo: unassignedbugs at nondot.org
ReportedBy: nunoplopes at sapo.pt
CC: llvmbugs at cs.uiuc.edu
Created an attachment (id=1380)
--> (http://llvm.org/bugs/attachment.cgi?id=1380)
test case
nuno at linux /tmp/llvm $ clang -emit-llvm a.c
clang: /cvs/llvm/include/llvm/Instructions.h:1312: void
llvm::PHINode::addIncoming(llvm::Value*, llvm::BasicBlock*): Assertion
`getType() == V->getType() &&
"All operands to PHI node must be the same type as the PHI node!"' failed.
clang((anonymous namespace)::PrintStackTrace()+0x22)[0x84eb458]
clang((anonymous namespace)::SignalHandler(int)+0x110)[0x84eb71c]
[0xb7fb9420]
/lib/libc.so.6(abort+0x108)[0xb7d53978]
/lib/libc.so.6(__assert_fail+0xf5)[0xb7d4b7b5]
clang(llvm::PHINode::addIncoming(llvm::Value*,
llvm::BasicBlock*)+0x62)[0x8302a70]
clang[0x8308851]
clang(clang::StmtVisitor<(anonymous namespace)::ScalarExprEmitter,
llvm::Value*>::Visit(clang::Stmt*)+0x9ea)[0x830ba3a]
clang[0x830bc6c]
clang(clang::StmtVisitor<(anonymous namespace)::ScalarExprEmitter,
llvm::Value*>::Visit(clang::Stmt*)+0x900)[0x830b950]
clang[0x8307e8f]
clang[0x83082b9]
clang(clang::StmtVisitor<(anonymous namespace)::ScalarExprEmitter,
llvm::Value*>::Visit(clang::Stmt*)+0xa04)[0x830ba54]
clang[0x83088e7]
clang(clang::StmtVisitor<(anonymous namespace)::ScalarExprEmitter,
llvm::Value*>::Visit(clang::Stmt*)+0x248)[0x830b298]
clang(clang::CodeGen::CodeGenFunction::EmitScalarExpr(clang::Expr
const*)+0x55)[0x830831d]
clang(clang::CodeGen::CodeGenFunction::EmitStmt(clang::Stmt
const*)+0xa0)[0x830ddca]
clang(clang::CodeGen::CodeGenFunction::EmitCompoundStmt(clang::CompoundStmt
const&, bool, llvm::Value*, bool)+0x97)[0x830f45d]
clang(clang::CodeGen::CodeGenFunction::EmitStmt(clang::Stmt
const*)+0x177)[0x830dea1]
clang(clang::CodeGen::CodeGenFunction::GenerateCode(clang::FunctionDecl
const*)+0x3be)[0x82f646c]
clang(clang::CodeGen::CodeGenModule::EmitFunction(clang::FunctionDecl
const*)+0x47)[0x82e3a7f]
clang((anonymous
namespace)::CodeGenerator::HandleTopLevelDecl(clang::Decl*)+0x45)[0x82e281f]
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 6 14:20:11 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 6 Feb 2008 14:20:11 -0600
Subject: [LLVMbugs] [Bug 1990] New: codegen: structures with bitfields
trigger an assertion
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1990
Summary: codegen: structures with bitfields trigger an assertion
Product: clang
Version: unspecified
Platform: PC
OS/Version: All
Status: NEW
Keywords: compile-fail
Severity: enhancement
Priority: P2
Component: LLVM Codegen
AssignedTo: unassignedbugs at nondot.org
ReportedBy: nunoplopes at sapo.pt
CC: llvmbugs at cs.uiuc.edu
Created an attachment (id=1381)
--> (http://llvm.org/bugs/attachment.cgi?id=1381)
test case (delta reduced)
nuno at linux /tmp/llvm $ clang -emit-llvm a.c
clang: /cvs/llvm/include/llvm/ADT/APInt.h:377: static llvm::APInt
llvm::APInt::getBitsSet(uint32_t, uint32_t, uint32_t): Assertion `hiBit <
numBits && "hiBit
out of range"' failed.
clang((anonymous namespace)::PrintStackTrace()+0x22)[0x84eb458]
clang((anonymous namespace)::SignalHandler(int)+0x110)[0x84eb71c]
[0xb7eea420]
/lib/libc.so.6(abort+0x108)[0xb7c84978]
/lib/libc.so.6(__assert_fail+0xf5)[0xb7c7c7b5]
clang(llvm::APInt::getBitsSet(unsigned int, unsigned int, unsigned
int)+0x33)[0x82fda77]
clang(clang::CodeGen::CodeGenFunction::EmitStoreThroughBitfieldLValue(clang::CodeGen::RValue,
clang::CodeGen::LValue, clang::QualType)+0x110)[0x82f93d2]
clang(clang::CodeGen::CodeGenFunction::EmitStoreThroughLValue(clang::CodeGen::RValue,
clang::CodeGen::LValue, clang::QualType)+0x171)[0x82f9609]
clang[0x830895b]
clang(clang::StmtVisitor<(anonymous namespace)::ScalarExprEmitter,
llvm::Value*>::Visit(clang::Stmt*)+0x248)[0x830b298]
clang(clang::CodeGen::CodeGenFunction::EmitScalarExpr(clang::Expr
const*)+0x55)[0x830831d]
clang(clang::CodeGen::CodeGenFunction::EmitStmt(clang::Stmt
const*)+0xa0)[0x830ddca]
clang(clang::CodeGen::CodeGenFunction::EmitCompoundStmt(clang::CompoundStmt
const&, bool, llvm::Value*, bool)+0x97)[0x830f45d]
clang(clang::CodeGen::CodeGenFunction::EmitStmt(clang::Stmt
const*)+0x177)[0x830dea1]
clang(clang::CodeGen::CodeGenFunction::GenerateCode(clang::FunctionDecl
const*)+0x3be)[0x82f646c]
clang(clang::CodeGen::CodeGenModule::EmitFunction(clang::FunctionDecl
const*)+0x47)[0x82e3a7f]
clang((anonymous
namespace)::CodeGenerator::HandleTopLevelDecl(clang::Decl*)+0x45)[0x82e281f]
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 6 14:32:45 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 6 Feb 2008 14:32:45 -0600
Subject: [LLVMbugs] [Bug 1991] New: Assertion `E &&
!hasAggregateLLVMType(E->getType()) && " Invalid scalar expression to
emit"' failed
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1991
Summary: Assertion `E && !hasAggregateLLVMType(E->getType()) &&
"Invalid scalar expression to emit"' failed
Product: clang
Version: unspecified
Platform: PC
OS/Version: All
Status: NEW
Keywords: compile-fail
Severity: enhancement
Priority: P2
Component: LLVM Codegen
AssignedTo: unassignedbugs at nondot.org
ReportedBy: nunoplopes at sapo.pt
CC: llvmbugs at cs.uiuc.edu
Created an attachment (id=1382)
--> (http://llvm.org/bugs/attachment.cgi?id=1382)
test case (delta reduced)
nuno at linux /tmp/llvm $ clang -emit-llvm a.c
clang: CGExprScalar.cpp:1060: llvm::Value*
clang::CodeGen::CodeGenFunction::EmitScalarExpr(const clang::Expr*): Assertion
`E &&
!hasAggregateLLVMType(E->getType()) && "Invalid scalar expression to emit"'
failed.
clang((anonymous namespace)::PrintStackTrace()+0x22)[0x84eb458]
clang((anonymous namespace)::SignalHandler(int)+0x110)[0x84eb71c]
[0xb7f66420]
/lib/libc.so.6(abort+0x108)[0xb7d00978]
/lib/libc.so.6(__assert_fail+0xf5)[0xb7cf87b5]
clang(clang::CodeGen::CodeGenFunction::EmitScalarExpr(clang::Expr
const*)+0x7e)[0x8308346]
clang[0x82fe1e7]
clang(clang::StmtVisitor<(anonymous namespace)::AggExprEmitter,
void>::Visit(clang::Stmt*)+0x941)[0x830034d]
clang(clang::CodeGen::CodeGenFunction::EmitAggExpr(clang::Expr const*,
llvm::Value*, bool)+0x6c)[0x82fe8c2]
clang(clang::CodeGen::CodeGenFunction::EmitLocalBlockVarDecl(clang::BlockVarDecl
const&)+0x25d)[0x82f8199]
clang(clang::CodeGen::CodeGenFunction::EmitBlockVarDecl(clang::BlockVarDecl
const&)+0x9e)[0x82f84cc]
clang(clang::CodeGen::CodeGenFunction::EmitDecl(clang::Decl
const&)+0xaf)[0x82f85a3]
clang(clang::CodeGen::CodeGenFunction::EmitDeclStmt(clang::DeclStmt
const&)+0x28)[0x830d72e]
clang(clang::CodeGen::CodeGenFunction::EmitStmt(clang::Stmt
const*)+0x272)[0x830df9c]
clang(clang::CodeGen::CodeGenFunction::EmitCompoundStmt(clang::CompoundStmt
const&, bool, llvm::Value*, bool)+0x97)[0x830f45d]
clang(clang::CodeGen::CodeGenFunction::EmitStmt(clang::Stmt
const*)+0x177)[0x830dea1]
clang(clang::CodeGen::CodeGenFunction::GenerateCode(clang::FunctionDecl
const*)+0x3be)[0x82f646c]
clang(clang::CodeGen::CodeGenModule::EmitFunction(clang::FunctionDecl
const*)+0x47)[0x82e3a7f]
clang((anonymous
namespace)::CodeGenerator::HandleTopLevelDecl(clang::Decl*)+0x45)[0x82e281f]
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 6 14:42:55 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 6 Feb 2008 14:42:55 -0600
Subject: [LLVMbugs] [Bug 1992] New: switch() { case sizeof("str") }
generates spurious warnings
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1992
Summary: switch() { case sizeof("str") } generates spurious
warnings
Product: clang
Version: unspecified
Platform: PC
OS/Version: All
Status: NEW
Severity: enhancement
Priority: P2
Component: Semantic Analyzer
AssignedTo: unassignedbugs at nondot.org
ReportedBy: nunoplopes at sapo.pt
CC: llvmbugs at cs.uiuc.edu
The following code generates spurious warnings (duplicate case value):
void func()
{
switch (2) {
case sizeof("abc"): break;
case sizeof("loooong"): break;
}
}
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 6 19:20:55 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 6 Feb 2008 19:20:55 -0600
Subject: [LLVMbugs] [Bug 1993] New: Variants are inappropriately pruned
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1993
Summary: Variants are inappropriately pruned
Product: tools
Version: trunk
Platform: PC
OS/Version: All
Status: NEW
Severity: major
Priority: P2
Component: TableGen
AssignedTo: unassignedbugs at nondot.org
ReportedBy: scottm at aero.org
CC: llvmbugs at cs.uiuc.edu
Created an attachment (id=1383)
--> (http://llvm.org/bugs/attachment.cgi?id=1383)
Testcase to demonstrate variant pattern pruning bug
Consider the following instruction patterns:
-------
class SELBVecInst:
SELBInst<(outs VECREG:$rT), (ins VECREG:$rA, VECREG:$rB, VECREG:$rC),
[(set (vectype VECREG:$rT),
(or (and (vectype VECREG:$rA), (vectype VECREG:$rC)),
(and (vectype VECREG:$rB), (vnot (vectype
VECREG:$rC)))))]>;
def SELBv16i8: SELBVecInst;
class SPUVecInst2:
SELBInst<(outs VECREG:$rT), (ins VECREG:$rA, VECREG:$rB, VECREG:$rC),
[(set (vectype VECREG:$rT),
(or (and (vectype VECREG:$rA), (vnot (vectype VECREG:$rC))),
(and (vectype VECREG:$rB), (vectype VECREG:$rC))))]>;
def SELBv16i8_2 : SPUVecInst2;
------
tblgen creates 8 variants for SELBv16i8 and 8 variants for SELBv16i8_v2. The
problem revolves around matching this input:
(or N
(and N0
VECREG:$rA, N00
(xor N01
(build_vector <-1, ...>), N011, N0110
VECREG:$rC)) N010
(and N1
VECREG:$rC, N10
VECREG:$rB)) N11
Using tblgen's labeling in the instruction selector, the operands need to match
as follows:
N.getOpcode() == ISD::OR
N0.getOpcode() == ISD::AND
N1.getOpcode() == ISD::AND
N01.getOpcode() == ISD::XOR
N011.getOpcode() == BUILD_VECTOR
Predicate_isImmAllOnesV(N0110)
N010 == N10
However, this particular instruction matching sequence is never generated
because the pattern to match is considered isomorphic to another variant
pattern (see attached output from tblgen).
Not sure how to fix CodeGenDAGPatterns.cpp or isIsomorphicTo() so that all
variant patterns are actually matched...
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Thu Feb 7 06:17:21 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Thu, 7 Feb 2008 06:17:21 -0600
Subject: [LLVMbugs] [Bug 1994] New: llvm-gcc-4.2 build broken on x86-64-linux
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1994
Summary: llvm-gcc-4.2 build broken on x86-64-linux
Product: new-bugs
Version: unspecified
Platform: Other
OS/Version: Linux
Status: NEW
Severity: enhancement
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: baldrick at free.fr
CC: evan.cheng at apple.com, llvmbugs at cs.uiuc.edu
c++ -c -g -O2 -DIN_GCC -W -Wall -Wwrite-strings -Wmissing-format-attribute
-fno-common -DHAVE_CONFIG_H -Wno-unused
-DTARGET_NAME=\"x86_64-unknown-linux-gnu\" -I. -I. -I../../llvm-gcc-4.2/gcc
-I../../llvm-gcc-4.2/gcc/. -I../../llvm-gcc-4.2/gcc/../include
-I../../llvm-gcc-4.2/gcc/../libcpp/include
-I../../llvm-gcc-4.2/gcc/../libdecnumber -I../libdecnumber
-I/home/baldrick/src/llvm/include -I/home/baldrick/src/llvm-objects/include
-DENABLE_LLVM -I/home/baldrick/src/llvm-objects/../llvm/include -D_DEBUG
-D_GNU_SOURCE -D__STDC_LIMIT_MACROS -I. -I. -I../../llvm-gcc-4.2/gcc
-I../../llvm-gcc-4.2/gcc/. -I../../llvm-gcc-4.2/gcc/../include
-I../../llvm-gcc-4.2/gcc/../libcpp/include
-I../../llvm-gcc-4.2/gcc/../libdecnumber -I../libdecnumber
-I/home/baldrick/src/llvm/include -I/home/baldrick/src/llvm-objects/include \
../../llvm-gcc-4.2/gcc/config/i386/llvm-i386.cpp -o llvm-i386.o
../../llvm-gcc-4.2/gcc/config/i386/llvm-i386.cpp: In function ???bool
llvm_x86_should_pass_aggregate_in_memory(tree_node*, const llvm::Type*)???:
../../llvm-gcc-4.2/gcc/config/i386/llvm-i386.cpp:711: error:
???llvm_x86_32_should_pass_aggregate_in_mixed_regs??? was not declared in this
scope
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Thu Feb 7 12:50:36 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Thu, 7 Feb 2008 12:50:36 -0600
Subject: [LLVMbugs] [Bug 1990] codegen: structures with bitfields trigger an
assertion
In-Reply-To:
Message-ID: <200802071850.m17Ioaaa014883@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1990
Lauro Venancio changed:
What |Removed |Added
----------------------------------------------------------------------------
Severity|enhancement |normal
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #1 from Lauro Venancio 2008-02-07 12:50:36 ---
Fixed.
http://llvm.org/viewvc/llvm-project?rev=46856&view=rev
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Fri Feb 8 02:24:27 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 8 Feb 2008 02:24:27 -0600
Subject: [LLVMbugs] [Bug 1994] llvm-gcc-4.2 build broken on x86-64-linux
In-Reply-To:
Message-ID: <200802080824.m188ORKf006781@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1994
Duncan Sands changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #2 from Duncan Sands 2008-02-08 02:24:26 ---
This is now fixed, probably by
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080204/058018.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Fri Feb 8 13:46:27 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 8 Feb 2008 13:46:27 -0600
Subject: [LLVMbugs] [Bug 1995] New: LoopIndexSplit crashes
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1995
Summary: LoopIndexSplit crashes
Product: libraries
Version: trunk
Platform: PC
OS/Version: Linux
Status: NEW
Severity: enhancement
Priority: P2
Component: Loop Optimizer
AssignedTo: unassignedbugs at nondot.org
ReportedBy: alenhar2 at uiuc.edu
CC: llvmbugs at cs.uiuc.edu
Created an attachment (id=1390)
--> (http://llvm.org/bugs/attachment.cgi?id=1390)
reduction
LoopIndexSplit
/home/andrewl/Research/cfe-4.2/install/bin/llvm-gcc -O1 -emit-llvm -c test.c -o
foo.o
causes
cc1: LoopIndexSplit.cpp:1648:
void::LoopIndexSplit::updatePHINodes(llvm::BasicBlock*,
llvm::BasicBlock*, llvm::BasicBlock*, llvm::PHINode*, llvm::Instruction*):
Assertion `0 && "Unexpected third use of this PHINode"' failed.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Fri Feb 8 16:49:53 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 8 Feb 2008 16:49:53 -0600
Subject: [LLVMbugs] [Bug 1995] LoopIndexSplit crashes
In-Reply-To:
Message-ID: <200802082249.m18MnrFn007773@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1995
Devang Patel changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #1 from Devang Patel 2008-02-08 16:49:52 ---
Fixed.
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080204/058032.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Fri Feb 8 20:39:38 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 8 Feb 2008 20:39:38 -0600
Subject: [LLVMbugs] [Bug 1996] New: llvm doesn't optmize out loads of undef
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1996
Summary: llvm doesn't optmize out loads of undef
Product: new-bugs
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: enhancement
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sharparrow1 at yahoo.com
CC: llvmbugs at cs.uiuc.edu
define i32 @b() {
entry:
%b = alloca i32 ; [#uses=3]
%tmp2 = load i32* %b, align 8 ; [#uses=1]
%tmp3 = or i32 %tmp2, 11 ; [#uses=1]
%tmp4 = and i32 %tmp3, -5 ; [#uses=1]
store i32 %tmp4, i32* %b, align 8
%call = call i32 (...)* @a( i32* %b ) ; [#uses=0]
ret i32 undef
}
declare i32 @a(...)
run through opt -std-compile-opts, doesn't change. The load should get
optimized to undef because it is easy to prove that nothing has been stored
into that location.
This bug affects bitfields. Original C code:
struct s {unsigned a : 4, b : 4;};
int a();
int b() {
struct s b;
b.a = 11;
a(&b);
}
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Fri Feb 8 21:14:22 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 8 Feb 2008 21:14:22 -0600
Subject: [LLVMbugs] [Bug 1997] New: Cannot codegen simple initializer
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1997
Summary: Cannot codegen simple initializer
Product: clang
Version: unspecified
Platform: PC
OS/Version: NetBSD
Status: NEW
Severity: normal
Priority: P2
Component: LLVM Codegen
AssignedTo: unassignedbugs at nondot.org
ReportedBy: neil at daikokuya.co.uk
CC: llvmbugs at cs.uiuc.edu
typedef struct
{
unsigned int line_number;
} c_coords;
void foo (void)
{
c_coords coords = { 0 };
}
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Fri Feb 8 21:17:23 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 8 Feb 2008 21:17:23 -0600
Subject: [LLVMbugs] [Bug 1998] New: We codegen unused stuff
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1998
Summary: We codegen unused stuff
Product: clang
Version: unspecified
Platform: PC
OS/Version: NetBSD
Status: NEW
Severity: normal
Priority: P2
Component: LLVM Codegen
AssignedTo: unassignedbugs at nondot.org
ReportedBy: neil at daikokuya.co.uk
CC: llvmbugs at cs.uiuc.edu
e.g. inline functions in standard headers, and (according to sabre) unused
static functions.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Fri Feb 8 21:19:53 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 8 Feb 2008 21:19:53 -0600
Subject: [LLVMbugs] [Bug 1999] New: Rejects valid C90.
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=1999
Summary: Rejects valid C90.
Product: clang
Version: unspecified
Platform: PC
OS/Version: NetBSD
Status: NEW
Severity: normal
Priority: P2
Component: Semantic Analyzer
AssignedTo: unassignedbugs at nondot.org
ReportedBy: neil at daikokuya.co.uk
CC: llvmbugs at cs.uiuc.edu
void g1 (register);
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Fri Feb 8 21:21:30 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 8 Feb 2008 21:21:30 -0600
Subject: [LLVMbugs] [Bug 2000] New: Rejects valid C90 and C99
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2000
Summary: Rejects valid C90 and C99
Product: clang
Version: unspecified
Platform: PC
OS/Version: NetBSD
Status: NEW
Severity: minor
Priority: P2
Component: Semantic Analyzer
AssignedTo: unassignedbugs at nondot.org
ReportedBy: neil at daikokuya.co.uk
CC: llvmbugs at cs.uiuc.edu
extern const void cv1;
const void *f (void)
{
return &cv1;
}
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sat Feb 9 04:04:24 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sat, 9 Feb 2008 04:04:24 -0600
Subject: [LLVMbugs] [Bug 2001] New: clang bitfield assignment produces wrong
value
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2001
Summary: clang bitfield assignment produces wrong value
Product: clang
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: enhancement
Priority: P2
Component: LLVM Codegen
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sharparrow1 at yahoo.com
CC: llvmbugs at cs.uiuc.edu
int a(int x) {
struct {signed int x:5;} s;
return s.x = x;
}
clang -emit-llvm-bc | opt -std-compile-opts reduces this to "ret i32 %x", which
is wrong; the result should be something more like what llvm-gcc produces:
define i32 @a(i32 %x) {
entry:
%tmp14 = shl i32 %x, 27
%tmp15 = ashr i32 %tmp14, 27
%tmp1516 = trunc i32 %tmp15 to i8
%tmp151617 = sext i8 %tmp1516 to i32
ret i32 %tmp151617
}
(Actually, ideally it would be smart enough to figure out that the trunc+sext
don't do anything, but that's a separate issue.)
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sat Feb 9 13:57:57 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sat, 9 Feb 2008 13:57:57 -0600
Subject: [LLVMbugs] [Bug 1924] Assertion failure at ParseStmt.cpp:983
In-Reply-To:
Message-ID: <200802091957.m19JvvOA020570@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1924
Anders Carlsson changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #2 from Anders Carlsson 2008-02-09 13:57:57 ---
Fixed in 46910. Thanks for the report!
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sat Feb 9 15:13:27 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sat, 9 Feb 2008 15:13:27 -0600
Subject: [LLVMbugs] [Bug 2002] New: Incorrect iteration count for loop with
signed ICMP condition
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2002
Summary: Incorrect iteration count for loop with signed ICMP
condition
Product: libraries
Version: trunk
Platform: All
OS/Version: All
Status: NEW
Keywords: miscompilation
Severity: normal
Priority: P2
Component: Global Analyses
AssignedTo: unassignedbugs at nondot.org
ReportedBy: wmatyjewicz at fastmail.fm
CC: nicholas at mxc.ca, llvmbugs at cs.uiuc.edu
For the following LLVM code:
define void @foo(i8 signext %n) {
entry:
br label %header
header:
%i = phi i8 [ -100, %entry ], [ %i.inc, %next ]
%cond = icmp slt i8 %i, %n
br i1 %cond, label %next, label %return
next:
%i.inc = add i8 %i, 1
br label %header
return:
ret void
}
which more or less represents this high-level loop:
char n = ...;
for (char i = -100; i < n; ++i)
;
scalar evolution determines loop iteration count as: ( 0 smax ( 100 + %n)).
In my opinion this is incorrect. Suppose, %n=100. Then 100 + %n becomes -56
(unsigned 200) and loop iteration count is evaluated to 0.
If someone confirm the bug, I'll try to fix it.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sat Feb 9 17:05:42 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sat, 9 Feb 2008 17:05:42 -0600
Subject: [LLVMbugs] [Bug 2003] New: Incorrect iteration count for loop with
unsigned ICMP condition
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2003
Summary: Incorrect iteration count for loop with unsigned ICMP
condition
Product: libraries
Version: trunk
Platform: All
OS/Version: All
Status: NEW
Keywords: miscompilation
Severity: normal
Priority: P2
Component: Global Analyses
AssignedTo: unassignedbugs at nondot.org
ReportedBy: wmatyjewicz at fastmail.fm
CC: nicholas at mxc.ca, llvmbugs at cs.uiuc.edu
For the following LLVM code:
define void @foo(i32 %n) {
entry:
br label %header
header:
%i = phi i32 [ 100, %entry ], [ %i.inc, %next ]
%cond = icmp ult i32 %i, %n
br i1 %cond, label %next, label %return
next:
%i.inc = add i32 %i, 1
br label %header
return:
ret void
}
which contains loop of this form:
unsigned n = ...;
for (unsigned i = 100; i < n; ++i)
;
scalar evolution determines loop iteration count as: (-100 + %n).
This isn't correct, because for %n < 100 we'll get negative number of
iterations.
One way to fix it is to add a 'umax' SCEV similar to the 'smax' one. Using it,
the answer for the example would be: (100 umax %n) - 100.
Any other ideas?
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sat Feb 9 18:32:39 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sat, 9 Feb 2008 18:32:39 -0600
Subject: [LLVMbugs] [Bug 2000] Rejects valid C90 and C99
In-Reply-To:
Message-ID: <200802100032.m1A0WdBY028170@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2000
snaroff at apple.com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #1 from snaroff at apple.com 2008-02-09 18:32:39 ---
http://llvm.org/viewvc/llvm-project?view=rev&revision=46917
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sat Feb 9 19:11:32 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sat, 9 Feb 2008 19:11:32 -0600
Subject: [LLVMbugs] [Bug 2004] New: missed instcombine with trunc+sext
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2004
Summary: missed instcombine with trunc+sext
Product: new-bugs
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: enhancement
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sharparrow1 at yahoo.com
CC: llvmbugs at cs.uiuc.edu
define i32 @a(i32 %x) {
entry:
%tmp14 = shl i32 %x, 27
%tmp15 = ashr i32 %tmp14, 27
%tmp1516 = trunc i32 %tmp15 to i8
%tmp151617 = sext i8 %tmp1516 to i32
ret i32 %tmp151617
}
run with "opt -std-compile-opts" is left unchanged; the trunc+sext should be
eliminated. (Note that CodeGen is actually smart enough to do this, but it
would be nice if it worked on the IR level as well.)
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sun Feb 10 03:04:37 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sun, 10 Feb 2008 03:04:37 -0600
Subject: [LLVMbugs] [Bug 2005] New: Bad codegen on x86 with _Bool
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2005
Summary: Bad codegen on x86 with _Bool
Product: new-bugs
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: enhancement
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sharparrow1 at yahoo.com
CC: llvmbugs at cs.uiuc.edu
Take the following C method:
_Bool a(_Bool a, _Bool b, _Bool c) {return a ? b : c;}
clang compiles it to the following (except that clang screws up the attributes
at the moment):
define i1 @a(i1 zeroext %a, i1 zeroext %b, i1 zeroext %c) nounwind zeroext {
entry:
%retval = select i1 %a, i1 %b, i1 %c
ret i1 %retval
}
This gets compiled to the following x86 code:
movb 12(%esp), %al
movzbw %al, %ax
movb 8(%esp), %cl
movzbw %cl, %cx
movb 4(%esp), %dl
testb %dl, %dl
cmovne %cx, %ax
andl $1, %eax
ret
This is correct, but it's about twice as long as it needs to be.
I'd expect something like the following (untested):
movzbl 12(%esp), %eax
movzbl 8(%esp), %ecx
cmpl $0, 4(%esp)
cmovne %ecx, %eax
ret
llvm-gcc compiles the C code to something a bit different:
define i8 @a(i8 zeroext %a, i8 zeroext %b, i8 zeroext %c) zeroext {
entry:
%tmp3 = icmp eq i8 %a, 0 ; [#uses=1]
%iftmp.16.0.in.in = select i1 %tmp3, i8 %c, i8 %b
%iftmp.16.0.in = icmp ne i8 %iftmp.16.0.in.in, 0
%retval1819 = zext i1 %iftmp.16.0.in to i8
ret i8 %retval1819
}
Which gets compiled to the following x86:
movzbw 12(%esp), %ax
movzbw 8(%esp), %cx
cmpb $0, 4(%esp)
cmove %ax, %cx
testb %cl, %cl
setne %al
movzbl %al, %eax
ret
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sun Feb 10 14:11:20 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sun, 10 Feb 2008 14:11:20 -0600
Subject: [LLVMbugs] [Bug 2011] New: Loop Index Splitting Pass asserts on
SPASS
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2011
Summary: Loop Index Splitting Pass asserts on SPASS
Product: libraries
Version: trunk
Platform: All
OS/Version: All
Status: NEW
Severity: normal
Priority: P2
Component: Loop Optimizer
AssignedTo: unassignedbugs at nondot.org
ReportedBy: evan.cheng at apple.com
CC: llvmbugs at cs.uiuc.edu
Compile rules-inf.c at -O3:
~/LLVM/install/bin/llvm-gcc -DCLOCK_NO_TIMING -fno-strict-aliasing -w
-I/Volumes/Muggles/LLVM/llvm/projects/llvm-test/MultiSource/Applications/SPASS
-I/U\
sers/echeng/LLVM/llvm/projects/llvm-test/MultiSource/Applications/SPASS
-I/Users/echeng/LLVM/llvm/include
-I/Users/echeng/LLVM/llvm/projects/llvm-test/include -I../../../inc\
lude -I/Users/echeng/LLVM/llvm/include -D_GNU_SOURCE -D__STDC_LIMIT_MACROS
-DNDEBUG -O3 -mdynamic-no-pic -fomit-frame-pointer -c rules-inf.c -o
Output/rules-inf.bc -emit-ll\
vm -mllvm -debug-pass=Arguments
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments: -raiseallocs -simplifycfg -domtree -domfrontier -mem2reg
-globalopt -globaldce -ipconstprop -deadargelim -instcombine -simplifycfg
-basiccg -prune-eh -inlin\
e -simplify-libcalls -basiccg -argpromotion -tailduplicate -instcombine
-simplifycfg -domtree -domfrontier -scalarrepl -instcombine -break-crit-edges
-condprop -tailcallelim\
-simplifycfg -reassociate -domtree -loops -loopsimplify -domfrontier
-scalar-evolution -lcssa -loop-rotate -licm -lcssa -loop-unswitch
-scalar-evolution -lcssa -loop-index-\
split -instcombine -scalar-evolution -lcssa -indvars -scalar-evolution -lcssa
-loop-unroll -instcombine -domtree -memdep -gvn -sccp -instcombine
-break-crit-edges -condprop \
-memdep -dse -mergereturn -postdomtree -postdomfrontier -adce -simplifycfg
-constmerge -strip-dead-prototypes
Assertion failed: (NewV && "Unable to find new incoming value for exit block
PHI"), function updatePHINodes, file LoopIndexSplit.cpp, line 1651.
rules-inf.c:4281: internal compiler error: Abort trap
Please submit a full bug report,
with preprocessed source if appropriate.
See for instructions.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sun Feb 10 17:08:50 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sun, 10 Feb 2008 17:08:50 -0600
Subject: [LLVMbugs] [Bug 1999] Rejects valid C90.
In-Reply-To:
Message-ID: <200802102308.m1AN8oI1001040@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1999
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #2 from Chris Lattner 2008-02-10 17:08:49 ---
Fixed:
http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20080204/004222.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sun Feb 10 18:02:39 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sun, 10 Feb 2008 18:02:39 -0600
Subject: [LLVMbugs] [Bug 1992] switch() { case sizeof("str") } generates
spurious warnings
In-Reply-To:
Message-ID: <200802110002.m1B02dsm002710@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1992
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #2 from Chris Lattner 2008-02-10 18:02:39 ---
Fixed:
http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20080204/004225.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sun Feb 10 18:07:28 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sun, 10 Feb 2008 18:07:28 -0600
Subject: [LLVMbugs] [Bug 1988] clang crashes on invalid struct definition
In-Reply-To:
Message-ID: <200802110007.m1B07Sj6002869@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1988
snaroff at apple.com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #1 from snaroff at apple.com 2008-02-10 18:07:28 ---
Fixed in http://llvm.org/viewvc/llvm-project?view=rev&revision=46942
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sun Feb 10 19:10:17 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sun, 10 Feb 2008 19:10:17 -0600
Subject: [LLVMbugs] [Bug 2012] New: implicit int rules still not right
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2012
Summary: implicit int rules still not right
Product: clang
Version: unspecified
Platform: PC
OS/Version: NetBSD
Status: NEW
Severity: normal
Priority: P2
Component: Semantic Analyzer
AssignedTo: unassignedbugs at nondot.org
ReportedBy: neil at daikokuya.co.uk
CC: llvmbugs at cs.uiuc.edu
The following is invalid in C90 yet clang accepts it silently:
void f (int, x);
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 11 04:00:07 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 11 Feb 2008 04:00:07 -0600
Subject: [LLVMbugs] [Bug 2013] New: Missing source line in diagnostic
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2013
Summary: Missing source line in diagnostic
Product: clang
Version: unspecified
Platform: PC
OS/Version: NetBSD
Status: NEW
Severity: minor
Priority: P2
Component: Semantic Analyzer
AssignedTo: unassignedbugs at nondot.org
ReportedBy: neil at daikokuya.co.uk
CC: llvmbugs at cs.uiuc.edu
Playing with clang after the conversation of cfe-dev I tried:
struct S {
int a;
int foo();
};
struct S s;
void bar (void) { s.foo = &s; }
$ ~/src/nobackup/llvm/Debug/bin/clang -pedantic-errors /tmp/bug.c
/tmp/bug.c:3:7: error: field 'foo' declared as a function
int foo();
^
/tmp/bug.c:8:25: error: non-object type 'int ()' is not assignable
2 diagnostics generated.
The original source line is not displayed for the 2nd error. It would be nice
if the error were suppressed entirely, but that's a minor and debatable point.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 11 11:36:08 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 11 Feb 2008 11:36:08 -0600
Subject: [LLVMbugs] [Bug 2014] New: triggered assertion in getAlignment()
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2014
Summary: triggered assertion in getAlignment()
Product: clang
Version: unspecified
Platform: PC
OS/Version: All
Status: NEW
Keywords: compile-fail
Severity: normal
Priority: P2
Component: LLVM Codegen
AssignedTo: unassignedbugs at nondot.org
ReportedBy: nunoplopes at sapo.pt
CC: llvmbugs at cs.uiuc.edu
Created an attachment (id=1394)
--> (http://llvm.org/bugs/attachment.cgi?id=1394)
test case (delta reduced)
here is on more test case that triggers an assertion in codegen. the problem is
related with function receiving struct pointers as argument.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 11 12:02:09 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 11 Feb 2008 12:02:09 -0600
Subject: [LLVMbugs] [Bug 1925] Assertion failed in RegisterScavenging with
regalloc=local
In-Reply-To:
Message-ID: <200802111802.m1BI2963009494@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1925
Lauro Venancio changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|FIXED |
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 11 12:30:12 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 11 Feb 2008 12:30:12 -0600
Subject: [LLVMbugs] [Bug 2015] New: __attribute__ ((__transparent_union__))
not implemented
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2015
Summary: __attribute__ ((__transparent_union__)) not implemented
Product: clang
Version: unspecified
Platform: PC
OS/Version: Windows NT
Status: NEW
Severity: normal
Priority: P2
Component: Semantic Analyzer
AssignedTo: unassignedbugs at nondot.org
ReportedBy: nunoplopes at sapo.pt
CC: llvmbugs at cs.uiuc.edu
Created an attachment (id=1396)
--> (http://llvm.org/bugs/attachment.cgi?id=1396)
test case
__attribute__ ((__transparent_union__)) is not implemented (found in some glibc
headers).
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 11 16:19:28 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 11 Feb 2008 16:19:28 -0600
Subject: [LLVMbugs] [Bug 2013] Missing source line in diagnostic
In-Reply-To:
Message-ID: <200802112219.m1BMJShI017340@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2013
snaroff at apple.com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #1 from snaroff at apple.com 2008-02-11 16:19:26 ---
http://llvm.org/viewvc/llvm-project?view=rev&revision=46972
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 11 18:50:49 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 11 Feb 2008 18:50:49 -0600
Subject: [LLVMbugs] [Bug 2016] New: clang doesn't support gcc's computed
goto tables
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2016
Summary: clang doesn't support gcc's computed goto tables
Product: clang
Version: unspecified
Platform: PC
OS/Version: Windows NT
Status: NEW
Severity: normal
Priority: P2
Component: Semantic Analyzer
AssignedTo: unassignedbugs at nondot.org
ReportedBy: nunoplopes at sapo.pt
CC: llvmbugs at cs.uiuc.edu
The following code is rejected by clang:
#include
int main()
{
static void *table[] = {&&label1, &&label2};
label1:
goto *(table[1]);
printf("skip this\n");
label2:
printf("hello\n");
return 0;
}
gcc compiles this just fine, and the program outputs "hello"
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 11 22:11:39 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 11 Feb 2008 22:11:39 -0600
Subject: [LLVMbugs] [Bug 1987] sema crashes on invalid function definition
In-Reply-To:
Message-ID: <200802120411.m1C4BdCP027422@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1987
snaroff at apple.com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #1 from snaroff at apple.com 2008-02-11 22:11:38 ---
http://llvm.org/viewvc/llvm-project?view=rev&revision=46984
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 11 22:18:48 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 11 Feb 2008 22:18:48 -0600
Subject: [LLVMbugs] [Bug 2017] New: clang crashes on array with void size
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2017
Summary: clang crashes on array with void size
Product: clang
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: Semantic Analyzer
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sharparrow1 at yahoo.com
CC: llvmbugs at cs.uiuc.edu
Testcase:
void x(); int a() {int r[x()];}
crashes clang -fsyntax-only.
We probably shouldn't be calling isIntegerConstantExpr on expressions that
don't have integer type.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 11 22:49:42 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 11 Feb 2008 22:49:42 -0600
Subject: [LLVMbugs] [Bug 2018] New: Crash with void compound literal
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2018
Summary: Crash with void compound literal
Product: clang
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: Semantic Analyzer
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sharparrow1 at yahoo.com
CC: llvmbugs at cs.uiuc.edu
Testcase:
int a() {
(void) { 1 };
}
Should give an error, not crash.
Also, the behavior for the following testcase is odd:
int a() {
(struct a) {1};
}
Probably just need a check for the restriction in 6.5.2.5p1.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 11 23:09:23 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 11 Feb 2008 23:09:23 -0600
Subject: [LLVMbugs] [Bug 2019] New: Crash in codegen with inline asm using
"+S" and "+D" operands
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2019
Summary: Crash in codegen with inline asm using "+S" and "+D"
operands
Product: new-bugs
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sharparrow1 at yahoo.com
CC: llvmbugs at cs.uiuc.edu
C code at http://llvm.org/bugs/attachment.cgi?id=1397. llvm-gcc and clang
compile this code to different asm statements, leading to different asserts.
With llvm-gcc, this triggers a "matching constraints for memory operands unimp"
assertion in SelectionDAGISel. Despite this, I'm pretty sure this is unrelated
to Bug 1133.
clang, on the other hand, triggers a "Unknown constraint type" in
SelectionDAGISel.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 11 23:53:09 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 11 Feb 2008 23:53:09 -0600
Subject: [LLVMbugs] [Bug 2003] Incorrect iteration count for loop with
unsigned ICMP condition
In-Reply-To:
Message-ID: <200802120553.m1C5r9bj007664@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2003
Nick Lewycky changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |INVALID
--- Comment #1 from Nick Lewycky 2008-02-11 23:53:09 ---
If %n = 0, then we get %n - 100 = -100 = +156 (unsigned). And this is the
correct loop trip count; if you start at 100, it'll take you 156 (256-100)
iterations to get back around to zero.
Reopen if you find a counter-example.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Tue Feb 12 00:20:15 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Tue, 12 Feb 2008 00:20:15 -0600
Subject: [LLVMbugs] [Bug 2020] New: clang crash redeclaring a union as an
enum
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2020
Summary: clang crash redeclaring a union as an enum
Product: new-bugs
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sharparrow1 at yahoo.com
CC: llvmbugs at cs.uiuc.edu
Testcase:
union u0;
enum u0 { U0A };
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Tue Feb 12 00:35:40 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Tue, 12 Feb 2008 00:35:40 -0600
Subject: [LLVMbugs] [Bug 2021] New: clang prints bogus type compatibility
warning between constant and variable array types
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2021
Summary: clang prints bogus type compatibility warning between
constant and variable array types
Product: clang
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: AST
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sharparrow1 at yahoo.com
CC: llvmbugs at cs.uiuc.edu
Testcase:
int a(int i) {
int (*pf)[2];
int (*pv)[i];
(i ? pf : pv);
}
This shouldn't warn because the pointed-to types are compatible. Easy fix to
ASTContext, which I'll sort out in a bit.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Tue Feb 12 02:23:59 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Tue, 12 Feb 2008 02:23:59 -0600
Subject: [LLVMbugs] [Bug 2021] clang prints bogus type compatibility warning
between constant and variable array types
In-Reply-To:
Message-ID: <200802120823.m1C8Nxk5003636@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2021
Eli Friedman changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #2 from Eli Friedman 2008-02-12 02:23:59 ---
Okay, checked in. (I guess I didn't really need to open a bug, but I didn't
want to lose track of it.)
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Tue Feb 12 06:10:00 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Tue, 12 Feb 2008 06:10:00 -0600
Subject: [LLVMbugs] [Bug 1996] llvm doesn't optmize out loads of undef
In-Reply-To:
Message-ID: <200802121210.m1CCA09B018246@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1996
Eli Friedman changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
--- Comment #9 from Eli Friedman 2008-02-12 06:09:59 ---
Commited.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Tue Feb 12 07:41:02 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Tue, 12 Feb 2008 07:41:02 -0600
Subject: [LLVMbugs] [Bug 2003] Incorrect iteration count for loop with
unsigned ICMP condition
In-Reply-To:
Message-ID: <200802121341.m1CDf2RS021667@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2003
Wojciech Matyjewicz changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|INVALID |
--- Comment #2 from Wojciech Matyjewicz 2008-02-12 07:40:54 ---
> If %n = 0, then we get %n - 100 = -100 = +156 (unsigned). And this is the
> correct loop trip count; if you start at 100, it'll take you 156 (256-100)
> iterations to get back around to zero.
Please, note that the comparison operator is ULT and not NE. What you are
saying is true in the second case. Suppose %n = 0. Then the first execution of:
%cond = icmp ult i32 %i, %n
defines %cond as false and causes the loop to end. So, the trip count should be
0 in this case.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From neil at daikokuya.co.uk Tue Feb 12 07:44:37 2008
From: neil at daikokuya.co.uk (Neil Booth)
Date: Tue, 12 Feb 2008 22:44:37 +0900
Subject: [LLVMbugs] [Bug 2021] New: clang prints bogus type
compatibility warning between constant and variable array types
In-Reply-To:
References:
Message-ID: <20080212134437.GD7679@daikokuya.co.uk>
bugzilla-daemon at cs.uiuc.edu wrote:-
> http://llvm.org/bugs/show_bug.cgi?id=2021
>
> Summary: clang prints bogus type compatibility warning between
> constant and variable array types
> Product: clang
> Version: unspecified
> Platform: PC
> OS/Version: Linux
> Status: NEW
> Severity: normal
> Priority: P2
> Component: AST
> AssignedTo: unassignedbugs at nondot.org
> ReportedBy: sharparrow1 at yahoo.com
> CC: llvmbugs at cs.uiuc.edu
>
>
> Testcase:
> int a(int i) {
> int (*pf)[2];
> int (*pv)[i];
> (i ? pf : pv);
> }
>
> This shouldn't warn because the pointed-to types are compatible. Easy fix to
> ASTContext, which I'll sort out in a bit.
It's best to tighten up the testcases and ensure they can only
complain about the thing being tested. For example this code
has good reason to complain twice:
c$ ~/src/cfe/cfe /tmp/bug.c
"/tmp/bug.c", line 4: warning: expression has no effect
(i ? pf : pv);
^
"/tmp/bug.c", line 5: warning: function "a" should return a value
}
^
Neil.
From bugzilla-daemon at cs.uiuc.edu Tue Feb 12 09:14:43 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Tue, 12 Feb 2008 09:14:43 -0600
Subject: [LLVMbugs] [Bug 2002] Incorrect iteration count for loop with
signed ICMP condition
In-Reply-To:
Message-ID: <200802121514.m1CFEh8M025574@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2002
Wojciech Matyjewicz changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
Target Milestone|--- |2.3
--- Comment #6 from Wojciech Matyjewicz 2008-02-12 09:14:34 ---
Thanks, Nick!
Applied here:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080211/058176.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Tue Feb 12 16:53:11 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Tue, 12 Feb 2008 16:53:11 -0600
Subject: [LLVMbugs] [Bug 2022] New: 2.2 does not build cleanly with GCC 4.3
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2022
Summary: 2.2 does not build cleanly with GCC 4.3
Product: libraries
Version: 2.2
Platform: All
OS/Version: All
Status: NEW
Severity: major
Priority: P2
Component: Core LLVM classes
AssignedTo: unassignedbugs at nondot.org
ReportedBy: bos at serpentine.com
CC: llvmbugs at cs.uiuc.edu
It needs some love from someone who can follow
http://gcc.gnu.org/gcc-4.3/porting_to.html
This is currently blocking the build of 2.2 for Fedora 9.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 13 06:14:37 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 13 Feb 2008 06:14:37 -0600
Subject: [LLVMbugs] [Bug 2023] New: Crash in llc with unusual initializer
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2023
Summary: Crash in llc with unusual initializer
Product: new-bugs
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sharparrow1 at yahoo.com
CC: llvmbugs at cs.uiuc.edu
Testcase:
@b = global i16 ptrtoint (i16* @b to i16)
run through llvm-as | llc, should generate code that initializes the global
appropriately.
Current output:
llc: /home/eli/llvm/lib/CodeGen/AsmPrinter.cpp:789: void
llvm::AsmPrinter::EmitConstantValueOnly(const llvm::Constant*): Assertion `0 &&
"FIXME: Don't yet support this kind of constant cast expr"' failed.
Fixing this isn't really a high priority for me, but I would like to know
whether the fact that this doesn't work is considered a bug; see
http://lists.cs.uiuc.edu/pipermail/cfe-dev/2008-February/001054.html. I'm in
the process of considering how to handle constant expressions in clang, and
this affects what clang should accept as a constant expression.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 13 14:32:24 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 13 Feb 2008 14:32:24 -0600
Subject: [LLVMbugs] [Bug 2024] New: Problem with ELF section attribute
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2024
Summary: Problem with ELF section attribute
Product: new-bugs
Version: unspecified
Platform: PC
OS/Version: Windows XP
Status: NEW
Severity: normal
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: hehaifeng2nd at gmail.com
CC: llvmbugs at cs.uiuc.edu
Hi,
I am having problem of using LLVM on a program which contains
customized code section.
In addition to ".text" section for keeping code, the program has
another code section, called ".init.text".
The functions in this section are defined as
"int foo (int, int) __attribute__ ((section (".init.text")));"
If I compile the program with gcc, this section(".init.text") will
have attributes of "AX" (means allocate space and
executable). However, if I first compile the program into llvm IR,
then convert IR to native assembly code using
llc, this section will not have "AX" attribute. This causes the native
executable fails when it tries to call a function
in .init.text section. Any suggestion? (btw, my platform is Linux
running on x86 machine.)
Haifeng
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 13 15:19:52 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 13 Feb 2008 15:19:52 -0600
Subject: [LLVMbugs] [Bug 2025] New: llvm-gcc4.2 won' t build if using LLVM
release build and boostrap enabled
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2025
Summary: llvm-gcc4.2 won't build if using LLVM release build and
boostrap enabled
Product: new-bugs
Version: unspecified
Platform: Macintosh
OS/Version: MacOS X
Status: NEW
Severity: normal
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: tonic at nondot.org
CC: llvmbugs at cs.uiuc.edu
I have a release build of LLVM and I'm trying to build a release build of
llvm-gcc4.2 (svn TOT). It gives this error:
[cut]
dsymutil is not available
configure: error: You must specify valid path to your LLVM tree with
--enable-llvm=DIR
yes
checking for strings.h... (cached) yes
checking for string.h... (cached) yes
checking sys/file.h usability... yes
[cut]
Found Release LLVM Tree in /Users/lattner/work/release_build/llvm
updating cache ./config.cache
configure: creating ./config.status
config.status: creating Makefile
config.status: creating config.h
config.status: executing depdir commands
make[1]: *** [stage1-bubble] Error 2
make: *** [all] Error 2
If I add --disable-bootstrap to my configure line, it builds just fine.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 13 16:28:22 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 13 Feb 2008 16:28:22 -0600
Subject: [LLVMbugs] [Bug 2011] Loop Index Splitting Pass asserts on SPASS
In-Reply-To:
Message-ID: <200802132228.m1DMSM82023730@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2011
Devang Patel changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #1 from Devang Patel 2008-02-13 16:28:21 ---
Fixed.
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080211/058262.html
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080211/058262.html
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080211/058274.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 13 20:06:55 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 13 Feb 2008 20:06:55 -0600
Subject: [LLVMbugs] [Bug 2026] New: passmanager crash on domfrontier
requiring domtree?
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2026
Summary: passmanager crash on domfrontier requiring domtree?
Product: libraries
Version: trunk
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: Scalar Optimizations
AssignedTo: unassignedbugs at nondot.org
ReportedBy: nlewycky at google.com
CC: dpatel at apple.com, llvmbugs at cs.uiuc.edu
$ opt b.bc -loopsimplify -domtree -lcssa -domfrontier -ipconstprop
opt: /usr/local/src/llvm/include/llvm/PassAnalysisSupport.h:193: AnalysisType&
llvm::Pass::getAnalysisID(const llvm::PassInfo*) const [with AnalysisType =
llvm::DominatorTree]: Assertion `ResultPass && "getAnalysis*() called on an
analysis that was not " "'required' by pass!"' failed.
opt((anonymous namespace)::PrintStackTrace()+0x22)[0x8682eee]
opt((anonymous namespace)::SignalHandler(int)+0x110)[0x8683216]
[0xffffe500]
[0x6]
/lib/tls/i686/cmov/libc.so.6(abort+0xe9)[0x41e982b9]
/lib/tls/i686/cmov/libc.so.6(__assert_fail+0x101)[0x41e8ff51]
opt(llvm::DominatorTree&
llvm::Pass::getAnalysisID(llvm::PassInfo const*)
const+0xa0)[0x83ae944]
opt(llvm::DominatorTree& llvm::Pass::getAnalysis()
const+0x48)[0x83ae9fc]
opt(llvm::DominanceFrontier::runOnFunction(llvm::Function&)+0x1f)[0x85d4451]
opt(llvm::FPPassManager::runOnFunction(llvm::Function&)+0x122)[0x8610ad2]
opt(llvm::FPPassManager::runOnModule(llvm::Module&)+0x6e)[0x8610c82]
opt(llvm::MPPassManager::runOnModule(llvm::Module&)+0x108)[0x861079c]
opt(llvm::PassManagerImpl::run(llvm::Module&)+0x6e)[0x8610956]
opt(llvm::PassManager::run(llvm::Module&)+0x1a)[0x86109aa]
opt(main+0xa8f)[0x8364959]
/lib/tls/i686/cmov/libc.so.6(__libc_start_main+0xd2)[0x41e82ea2]
opt(__gxx_personality_v0+0x141)[0x8356d6d]
Aborted
The LLVM asm to trigger this is:
define i32 @test() {
entry:
unreachable
}
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 13 21:05:23 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 13 Feb 2008 21:05:23 -0600
Subject: [LLVMbugs] [Bug 2027] New: -find-bugs forgets pass order when it
comes time to reduce
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2027
Summary: -find-bugs forgets pass order when it comes time to
reduce
Product: tools
Version: trunk
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: bugpoint
AssignedTo: unassignedbugs at nondot.org
ReportedBy: nlewycky at google.com
CC: llvmbugs at cs.uiuc.edu
Created an attachment (id=1400)
--> (http://llvm.org/bugs/attachment.cgi?id=1400)
proposed fix
bugpoint -find-bugs works by reordering the sequence of passes randomly and
optimizing and executing the result. Once it finds a failure (optz'n crash or
miscompile) it then starts to reduce it.
Unfortunately, what it reduces is the original pass list that the user passed
in, not the shuffled version that actually failed.
This patch modifies bugpoint to remember its ordering. I'm not sure it's the
best fix. Could we remove TempPass entirely and just modify PassesToRun in
place? Why doesn't the code already do that?
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 13 21:21:26 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 13 Feb 2008 21:21:26 -0600
Subject: [LLVMbugs] [Bug 2028] New: passmanager asserts that pass requires
lower level pass
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2028
Summary: passmanager asserts that pass requires lower level pass
Product: libraries
Version: trunk
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: Scalar Optimizations
AssignedTo: unassignedbugs at nondot.org
ReportedBy: nlewycky at google.com
CC: dpatel at apple.com, llvmbugs at cs.uiuc.edu
Similar to PR2026, this sequence fails on any bytecode with at least a function
in it:
$ opt b2.bc -loop-unroll -loop-rotate -simplifycfg
opt: PassManager.cpp:934: virtual void
llvm::PMDataManager::addLowerLevelRequiredPass(llvm::Pass*, llvm::Pass*):
Assertion `0 && "Unable to handle Pass that requires lower level Analysis
pass"' failed.
opt((anonymous namespace)::PrintStackTrace()+0x22)[0x8682eee]
opt((anonymous namespace)::SignalHandler(int)+0x110)[0x8683216]
[0xffffe500]
[0x6]
/lib/tls/i686/cmov/libc.so.6(abort+0xe9)[0x41e982b9]
/lib/tls/i686/cmov/libc.so.6(__assert_fail+0x101)[0x41e8ff51]
opt(llvm::PMStack::dump()+0x0)[0x860e91a]
opt(llvm::PMDataManager::add(llvm::Pass*, bool)+0x2f9)[0x861166d]
opt(llvm::LoopPass::assignPassManager(llvm::PMStack&,
llvm::PassManagerType)+0x1af)[0x8542809]
opt(llvm::PassManagerImpl::addTopLevelPass(llvm::Pass*)+0xe8)[0x861af98]
opt(llvm::PMTopLevelManager::schedulePass(llvm::Pass*)+0x166)[0x860f26c]
opt(llvm::PassManagerImpl::add(llvm::Pass*)+0x1b)[0x861527b]
opt(llvm::PassManager::add(llvm::Pass*)+0x1a)[0x860f296]
opt((anonymous namespace)::addPass(llvm::PassManager&,
llvm::Pass*)+0x18)[0x83660ce]
opt(main+0x6ce)[0x8364598]
/lib/tls/i686/cmov/libc.so.6(__libc_start_main+0xd2)[0x41e82ea2]
opt(__gxx_personality_v0+0x141)[0x8356d6d]
Aborted
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 13 21:29:52 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 13 Feb 2008 21:29:52 -0600
Subject: [LLVMbugs] [Bug 2029] New: CBE fails with -enable-correct-eh-support
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2029
Summary: CBE fails with -enable-correct-eh-support
Product: libraries
Version: trunk
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: Backend: C
AssignedTo: unassignedbugs at nondot.org
ReportedBy: nlewycky at google.com
CC: llvmbugs at cs.uiuc.edu
Created an attachment (id=1401)
--> (http://llvm.org/bugs/attachment.cgi?id=1401)
testcase
llc -march=c crashes compiling the attached testcase with the
-enable-correct-eh-support option.
$ llc b.bc -march=c -f -o b.c -enable-correct-eh-support
llc: Value.cpp:57: virtual llvm::Value::~Value(): Assertion `use_empty() &&
"Uses remain when a value is destroyed!"' failed.
llc((anonymous namespace)::PrintStackTrace()+0x22)[0x8a873e2]
llc((anonymous namespace)::SignalHandler(int)+0x110)[0x8a8770a]
[0xffffe500]
[0x6]
/lib/tls/i686/cmov/libc.so.6(abort+0xe9)[0x41e982b9]
/lib/tls/i686/cmov/libc.so.6(__assert_fail+0x101)[0x41e8ff51]
llc(llvm::Value::~Value()+0x164)[0x8a35758]
llc(llvm::BasicBlock::~BasicBlock()+0x51)[0x89b3c29]
llc(llvm::iplist
>::erase(llvm::ilist_iterator)+0x33)[0x88de98d]
llc[0x892c447]
llc[0x892c4d0]
llc(llvm::FPPassManager::runOnFunction(llvm::Function&)+0x122)[0x8a1515e]
llc(llvm::FPPassManager::runOnModule(llvm::Module&)+0x6e)[0x8a1530e]
llc(llvm::MPPassManager::runOnModule(llvm::Module&)+0x108)[0x8a14e28]
llc(llvm::PassManagerImpl::run(llvm::Module&)+0x6e)[0x8a14fe2]
llc(llvm::PassManager::run(llvm::Module&)+0x1a)[0x8a15036]
llc(main+0x5b0)[0x8424a3c]
/lib/tls/i686/cmov/libc.so.6(__libc_start_main+0xd2)[0x41e82ea2]
llc[0x8423d51]
Aborted
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 13 21:35:11 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 13 Feb 2008 21:35:11 -0600
Subject: [LLVMbugs] [Bug 2030] New: loop index split tries to mangle PHIs
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2030
Summary: loop index split tries to mangle PHIs
Product: libraries
Version: trunk
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: Loop Optimizer
AssignedTo: unassignedbugs at nondot.org
ReportedBy: nlewycky at google.com
CC: dpatel at apple.com, llvmbugs at cs.uiuc.edu
Created an attachment (id=1402)
--> (http://llvm.org/bugs/attachment.cgi?id=1402)
testcase
Loop index splitting dies on this testcase:
$ opt b.bc -loop-index-split
opt: /usr/local/src/llvm/include/llvm/Instructions.h:1285: llvm::Value*
llvm::PHINode::getIncomingValue(unsigned int) const: Assertion `i*2 <
getNumOperands() && "Invalid value number!"' failed.
Program received signal SIGABRT, Aborted.
0xffffe410 in __kernel_vsyscall ()
(gdb) bt
#0 0xffffe410 in __kernel_vsyscall ()
#1 0x41e969a1 in raise () from /lib/tls/i686/cmov/libc.so.6
#2 0x41e982b9 in abort () from /lib/tls/i686/cmov/libc.so.6
#3 0x41e8ff51 in __assert_fail () from /lib/tls/i686/cmov/libc.so.6
#4 0x08397b95 in llvm::PHINode::getIncomingValue (this=0x8774a28,
i=4294967295) at /usr/local/src/llvm/include/llvm/Instructions.h:1285
#5 0x08397d25 in llvm::PHINode::getIncomingValueForBlock (this=0x8774a28,
BB=0x876f618) at /usr/local/src/llvm/include/llvm/Instructions.h:1349
#6 0x08457063 in (anonymous namespace)::LoopIndexSplit::splitLoop (
this=0x876c050, SD=@0x876c090) at LoopIndexSplit.cpp:1468
#7 0x084581e3 in (anonymous namespace)::LoopIndexSplit::runOnLoop (
this=0x876c050, IncomingLoop=0x877e028, LPM_Ref=@0x876cf60)
at LoopIndexSplit.cpp:272
#8 0x08541d60 in llvm::LPPassManager::runOnFunction (this=0x876cf60,
F=@0x876d5f0) at LoopPass.cpp:225
#9 0x08610ad2 in llvm::FPPassManager::runOnFunction (this=0x876ee78,
F=@0x876d5f0) at PassManager.cpp:1184
#10 0x08610c82 in llvm::FPPassManager::runOnModule (this=0x876ee78,
M=@0x876bf98) at PassManager.cpp:1204
#11 0x0861079c in llvm::MPPassManager::runOnModule (this=0x876ca70,
M=@0x876bf98) at PassManager.cpp:1254
#12 0x08610956 in llvm::PassManagerImpl::run (this=0x876c298, M=@0x876bf98)
at PassManager.cpp:1328
#13 0x086109aa in llvm::PassManager::run (this=0xffffd61c, M=@0x876bf98)
at PassManager.cpp:1360
#14 0x08364959 in main (argc=3, argv=0xffffd804) at opt.cpp:426
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 13 21:49:51 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 13 Feb 2008 21:49:51 -0600
Subject: [LLVMbugs] [Bug 2031] New: dominator frontier not updated correctly
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2031
Summary: dominator frontier not updated correctly
Product: libraries
Version: trunk
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: Loop Optimizer
AssignedTo: unassignedbugs at nondot.org
ReportedBy: nlewycky at google.com
CC: llvmbugs at cs.uiuc.edu
Created an attachment (id=1403)
--> (http://llvm.org/bugs/attachment.cgi?id=1403)
testcase
One of these passes isn't updating the domfrontier properly and the problem is
manifesting itself as a crash in loop-unswitch.
$ opt -scalarrepl -loop-unswitch -break-crit-edges b.bc
opt: /usr/local/src/llvm/include/llvm/Analysis/Dominators.h:881: void
llvm::DominanceFrontierBase::removeFromFrontier(std::_Rb_tree_iterator,
std::allocator > > >, llvm::BasicBlock*): Assertion
`I->second.count(Node) && "Node is not in DominanceFrontier of BB"' failed.
Program received signal SIGABRT, Aborted.
0xffffe410 in __kernel_vsyscall ()
(gdb) bt
#0 0xffffe410 in __kernel_vsyscall ()
#1 0x41e969a1 in raise () from /lib/tls/i686/cmov/libc.so.6
#2 0x41e982b9 in abort () from /lib/tls/i686/cmov/libc.so.6
#3 0x41e8ff51 in __assert_fail () from /lib/tls/i686/cmov/libc.so.6
#4 0x08459777 in llvm::DominanceFrontierBase::removeFromFrontier (
this=0x876c168, I={_M_node = 0x8772cc8}, Node=0x8770d08)
at /usr/local/src/llvm/include/llvm/Analysis/Dominators.h:881
#5 0x084762c5 in (anonymous
namespace)::LoopUnswitch::UnswitchNontrivialCondition (this=0x876d190,
LIC=0x876e370, Val=0x87719d0, L=0x8771238)
at LoopUnswitch.cpp:897
#6 0x08476990 in (anonymous namespace)::LoopUnswitch::UnswitchIfProfitable (
this=0x876d190, LoopCond=0x876e370, Val=0x87719d0, L=0x8771238)
at LoopUnswitch.cpp:433
#7 0x08476aa0 in (anonymous namespace)::LoopUnswitch::processLoop (
this=0x876d190, L=0x8771238) at LoopUnswitch.cpp:215
#8 0x08476d6c in (anonymous namespace)::LoopUnswitch::runOnLoop (
this=0x876d190, L=0x8771238, LPM_Ref=@0x876f818) at LoopUnswitch.cpp:191
#9 0x08541d60 in llvm::LPPassManager::runOnFunction (this=0x876f818,
F=@0x876d8b0) at LoopPass.cpp:225
#10 0x08610ad2 in llvm::FPPassManager::runOnFunction (this=0x876e8e8,
F=@0x876d8b0) at PassManager.cpp:1184
#11 0x08610c82 in llvm::FPPassManager::runOnModule (this=0x876e8e8,
M=@0x876bf98) at PassManager.cpp:1204
---Type to continue, or q to quit---
#12 0x0861079c in llvm::MPPassManager::runOnModule (this=0x876e3f0,
M=@0x876bf98) at PassManager.cpp:1254
#13 0x08610956 in llvm::PassManagerImpl::run (this=0x876c090, M=@0x876bf98)
at PassManager.cpp:1328
#14 0x086109aa in llvm::PassManager::run (this=0xffffd60c, M=@0x876bf98)
at PassManager.cpp:1360
#15 0x08364959 in main (argc=5, argv=0xffffd7f4) at opt.cpp:426
Testcase attached.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 13 23:03:05 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 13 Feb 2008 23:03:05 -0600
Subject: [LLVMbugs] [Bug 2027] -find-bugs forgets pass order when it comes
time to reduce
In-Reply-To:
Message-ID: <200802140503.m1E535KN006539@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2027
Nick Lewycky changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #3 from Nick Lewycky 2008-02-13 23:03:04 ---
Thanks Chris! Patch checked in:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080211/058286.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Wed Feb 13 23:48:42 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Wed, 13 Feb 2008 23:48:42 -0600
Subject: [LLVMbugs] [Bug 2032] New: Andersens assertion failure
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2032
Summary: Andersens assertion failure
Product: libraries
Version: trunk
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: Interprocedural Analyses
AssignedTo: unassignedbugs at nondot.org
ReportedBy: nicholas at mxc.ca
CC: llvmbugs at cs.uiuc.edu
Created an attachment (id=1405)
--> (http://llvm.org/bugs/attachment.cgi?id=1405)
testcase
This small testcase fails with -anders-aa:
$ opt -anders-aa -gvn b.bc
%tmp27.rle = phi float* [ null, %bb ], [ %sx, %entry ] ;
[#uses=1]
opt: Andersens.cpp:497: unsigned
int::Andersens::getNode(llvm::Value*): Assertion `0 && "Value does not
have a node in the points-to graph!"' failed.
[New Thread 0xf7c596c0 (LWP 21274)]
Program received signal SIGABRT, Aborted.
[Switching to Thread 0xf7c596c0 (LWP 21274)]
0xffffe405 in __kernel_vsyscall ()
(gdb) bt
#0 0xffffe405 in __kernel_vsyscall ()
#1 0xf7c85f15 in raise () from /lib/i686/cmov/libc.so.6
#2 0xf7c87891 in abort () from /lib/i686/cmov/libc.so.6
#3 0xf7c7f0ee in __assert_fail () from /lib/i686/cmov/libc.so.6
#4 0x0848bc4e in getNode (this=0x86eac38, V=0x86f47a0) at Andersens.cpp:497
#5 0x084909cc in alias (this=0x86eac38, V1=0x86f47a0, V1Size=4, V2=0x86eaf90,
V2Size=4) at Andersens.cpp:609
#6 0x084cdccc in llvm::MemoryDependenceAnalysis::getDependency (
this=0x86e93f8, query=0x86ea960, start=0x0, block=0x86eaec8)
at MemoryDependenceAnalysis.cpp:431
#7 0x084cdf5d in llvm::MemoryDependenceAnalysis::nonLocalHelper (
this=0x86e93f8, query=0x86ea960, block=0x86eaf18, resp=@0xffc376d4)
at MemoryDependenceAnalysis.cpp:201
#8 0x084ce473 in llvm::MemoryDependenceAnalysis::getNonLocalDependency (
this=0x86e93f8, query=0x86ea960, resp=@0xffc376d4)
at MemoryDependenceAnalysis.cpp:288
#9 0x0837adfe in processNonLocalLoad (this=0x86e9378, L=0x86ea960,
toErase=@0xffc378a0) at GVN.cpp:894
#10 0x0837b2ec in processLoad (this=0x86e9378, L=0x86ea960,
lastLoad=@0xffc378d4, toErase=@0xffc378a0) at GVN.cpp:966
#11 0x0837b611 in processInstruction (this=0x86e9378, I=0x86ea960,
currAvail=@0x86eeb34, lastSeenLoad=@0xffc378d4, toErase=@0xffc378a0)
at GVN.cpp:1129
#12 0x0837baf2 in iterateOnFunction (this=0x86e9378, F=@0x86eb300)
at GVN.cpp:1233
#13 0x0837bc2e in runOnFunction (this=0x86e9378, F=@0x86eb300) at GVN.cpp:1195
#14 0x0858b582 in llvm::FPPassManager::runOnFunction (this=0x86e9140,
F=@0x86eb300) at PassManager.cpp:1184
#15 0x0858b724 in llvm::FPPassManager::runOnModule (this=0x86e9140,
M=@0x86e8ff8) at PassManager.cpp:1204
#16 0x0858b258 in llvm::MPPassManager::runOnModule (this=0x86e9ae0,
M=@0x86e8ff8) at PassManager.cpp:1254
#17 0x0858b410 in llvm::PassManagerImpl::run (this=0x86eab48, M=@0x86e8ff8)
at PassManager.cpp:1328
#18 0x0858b462 in llvm::PassManager::run (this=0xffc37af8, M=@0x86e8ff8)
at PassManager.cpp:1360
#19 0x082edf87 in main (argc=4, argv=0xffc37cf4) at opt.cpp:430
Testcase attached.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Thu Feb 14 00:01:00 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Thu, 14 Feb 2008 00:01:00 -0600
Subject: [LLVMbugs] [Bug 2033] New: corrupted CallGraph
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2033
Summary: corrupted CallGraph
Product: libraries
Version: trunk
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: Scalar Optimizations
AssignedTo: unassignedbugs at nondot.org
ReportedBy: nicholas at mxc.ca
CC: llvmbugs at cs.uiuc.edu
Created an attachment (id=1406)
--> (http://llvm.org/bugs/attachment.cgi?id=1406)
testcase
Testcase attached.
$ opt -basiccg -instcombine -inline b.bc
opt: CallGraph.cpp:288: void
llvm::CallGraphNode::removeCallEdgeTo(llvm::CallGraphNode*): Assertion `i &&
"Cannot find callee to remove!"' failed.
[New Thread 4157462208 (LWP 22976)]
Program received signal SIGABRT, Aborted.
[Switching to Thread 4157462208 (LWP 22976)]
0xffffe405 in __kernel_vsyscall ()
(gdb) bt
#0 0xffffe405 in __kernel_vsyscall ()
#1 0xf7d09f15 in raise () from /lib/i686/cmov/libc.so.6
#2 0xf7d0b891 in abort () from /lib/i686/cmov/libc.so.6
#3 0xf7d030ee in __assert_fail () from /lib/i686/cmov/libc.so.6
#4 0x08499d8d in llvm::CallGraphNode::removeCallEdgeTo (this=0x86ebd60,
Callee=0x86e9228) at CallGraph.cpp:288
#5 0x0845320f in UpdateCallGraphAfterInlining (Caller=0x86e9e70,
Callee=0x86ebe78, FirstNewBlock=
{> =
{>
= {}, }, NodePtr = 0x86e9348},
ValueMap=@0xfff18080, CG=@0x86e93d0) at InlineFunction.cpp:154
#6 0x08454237 in llvm::InlineFunction (CS=@0xfff18280, CG=0x86e93d0,
TD=0x86e9b00) at InlineFunction.cpp:306
#7 0x0832c069 in InlineCallIfPossible (CS=@0xfff18324, CG=@0x86e93d0,
SCCFunctions=@0xfff182e0, TD=@0x86e9b00) at Inliner.cpp:59
#8 0x0832c90c in llvm::Inliner::runOnSCC (this=0x86e9098, SCC=@0xfff1841c)
at Inliner.cpp:151
#9 0x0849cb48 in CGPassManager::runOnModule (this=0x86e9128, M=@0x86e9aa8)
at CallGraphSCCPass.cpp:100
#10 0x0858b258 in llvm::MPPassManager::runOnModule (this=0x86ebfc0,
M=@0x86e9aa8) at PassManager.cpp:1254
#11 0x0858b410 in llvm::PassManagerImpl::run (this=0x86ebee8, M=@0x86e9aa8)
at PassManager.cpp:1328
#12 0x0858b462 in llvm::PassManager::run (this=0xfff185b8, M=@0x86e9aa8)
at PassManager.cpp:1360
#13 0x082edf87 in main (argc=5, argv=0xfff187b4) at opt.cpp:430
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Thu Feb 14 01:10:27 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Thu, 14 Feb 2008 01:10:27 -0600
Subject: [LLVMbugs] [Bug 2034] New: module-level analysis invalidated but
not re-run
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2034
Summary: module-level analysis invalidated but not re-run
Product: libraries
Version: trunk
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: Scalar Optimizations
AssignedTo: unassignedbugs at nondot.org
ReportedBy: nicholas at mxc.ca
CC: dpatel at apple.com, llvmbugs at cs.uiuc.edu
Here's an interesting one:
$ llvm-commit/Debug/bin/opt -anders-aa -instcombine -gvn b.bc
-debug-pass=Structure
Now before I get to the output, what's happening is that
a) anders-aa registers all the Values up front
b) instcombine folds together two GEPs (%tmp10 and %tmp11) creating a new one
(%tmp11) which anders-aa hasn't seen
c) gvn queries anders-aa about the new %tmp11
instcombine is marked as preserving the CFG, but not any AA stuff, so really
anders-aa should be re-run before gvn gets to it. Here's the output:
Pass Arguments: -anders-aa -instcombine -domtree -memdep -gvn -preverify
-domtree -verify
Target Data Layout
Basic Alias Analysis (default AA impl)
ModulePass Manager
Andersen's Interprocedural Alias Analysis
FunctionPass Manager
Combine redundant instructions
-- Combine redundant instructions
Dominator Tree Construction
Memory Dependence Analysis
Global Value Numbering
-- Global Value Numbering
-- Dominator Tree Construction
-- Memory Dependence Analysis
Preliminary module verification
Dominator Tree Construction
Module Verifier
-- Dominator Tree Construction
-- Module Verifier
-- Preliminary module verification
-- Andersen's Interprocedural Alias Analysis
-- Target Data Layout
%tmp11 = getelementptr %struct.FULL* %tmp9, i32 0, i32 2, i32 0
; [#uses=1]
opt: Andersens.cpp:497: unsigned
int::Andersens::getNode(llvm::Value*): Assertion `0 && "Value does not
have a node in the points-to graph!"' failed.
llvm-commit/Debug/bin/opt[0x85f97ee]
llvm-commit/Debug/bin/opt[0x85f9ab4]
[0xffffe500]
Aborted
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Thu Feb 14 01:15:59 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Thu, 14 Feb 2008 01:15:59 -0600
Subject: [LLVMbugs] [Bug 2032] GVN bug
In-Reply-To:
Message-ID: <200802140715.m1E7FxlG011355@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2032
Nick Lewycky changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Component|Scalar Optimizations |Interprocedural Analyses
Resolution| |FIXED
--- Comment #4 from Nick Lewycky 2008-02-14 01:15:59 ---
Fixed. Patch here:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080211/058293.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Thu Feb 14 08:39:59 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Thu, 14 Feb 2008 08:39:59 -0600
Subject: [LLVMbugs] [Bug 2035] New: Suboptimal code storing to a bitfield
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2035
Summary: Suboptimal code storing to a bitfield
Product: new-bugs
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sharparrow1 at yahoo.com
CC: llvmbugs at cs.uiuc.edu
Take the following code:
void x(struct {int a : 5, b : 5;} *c, int x) {c->a = x;}
llvm-gcc generates the following code sequence:
x:
movl 4(%esp), %eax
movw $65504, %cx
andw (%eax), %cx
movw $31, %dx
andw 8(%esp), %dx
orw %dx, %cx
movw %cx, (%eax)
ret
gcc generates a similar sequence. However, there is a straightforward sequence
that is two instructions shorter:
x:
movl 4(%esp), %eax
movw 8(%esp), %dx
xorw (%eax), %dx
andw $31, %dx
xorw %dx, (%eax)
ret
This doesn't actually save any logical operations, but it doesn't move stuff
around as much.
I'm not sure if this bug affects real code, since I just came up with it by
experimenting, but it doesn't seem like an unusual sort of construct. I'm also
not sure if it's actually worth using; it's quite possible I'm missing
something. That said, it seems like something interesting to investigate.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Thu Feb 14 13:10:01 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Thu, 14 Feb 2008 13:10:01 -0600
Subject: [LLVMbugs] [Bug 2035] Suboptimal code storing to a bitfield
In-Reply-To:
Message-ID: <200802141910.m1EJA1AT012734@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2035
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |INVALID
--- Comment #2 from Chris Lattner 2008-02-14 13:10:01 ---
Actually, the code sequence suggested is not quite correct either. It will
toggle any bits set in x, but it won't clear any bits from c->a.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Thu Feb 14 13:18:37 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Thu, 14 Feb 2008 13:18:37 -0600
Subject: [LLVMbugs] [Bug 2029] CBE fails with -enable-correct-eh-support
In-Reply-To:
Message-ID: <200802141918.m1EJIbRc013029@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2029
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #3 from Chris Lattner 2008-02-14 13:18:37 ---
Fixed:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080211/058308.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Thu Feb 14 16:38:08 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Thu, 14 Feb 2008 16:38:08 -0600
Subject: [LLVMbugs] [Bug 2036] New: Incompatible function decls not diagnosed
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2036
Summary: Incompatible function decls not diagnosed
Product: clang
Version: unspecified
Platform: PC
OS/Version: NetBSD
Status: NEW
Severity: normal
Priority: P2
Component: Semantic Analyzer
AssignedTo: unassignedbugs at nondot.org
ReportedBy: neil at daikokuya.co.uk
CC: llvmbugs at cs.uiuc.edu
Invalid in C90 and C99 requiring a diagnostic.
void f();
void f (const char *fmt, ...) {}
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Thu Feb 14 17:19:48 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Thu, 14 Feb 2008 17:19:48 -0600
Subject: [LLVMbugs] [Bug 2030] loop index split tries to mangle PHIs
In-Reply-To:
Message-ID: <200802142319.m1ENJmdQ022798@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2030
Devang Patel changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #1 from Devang Patel 2008-02-14 17:19:48 ---
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080211/058313.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Thu Feb 14 17:39:29 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Thu, 14 Feb 2008 17:39:29 -0600
Subject: [LLVMbugs] [Bug 2026] passmanager crash on domfrontier requiring
domtree?
In-Reply-To:
Message-ID: <200802142339.m1ENdTpL023495@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2026
Devang Patel changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |DUPLICATE
--- Comment #2 from Devang Patel 2008-02-14 17:39:28 ---
You ran into this earlier also :)
As a work around, drop -domtree from
$ opt b.bc -loopsimplify -domtree -lcssa -domfrontier -ipconstprop
and drop -loops from
$ opt -loopsimplify -loops -lcssa -instcombine -lcssa -inline
*** This bug has been marked as a duplicate of bug 1503 ***
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Thu Feb 14 17:50:08 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Thu, 14 Feb 2008 17:50:08 -0600
Subject: [LLVMbugs] [Bug 1437] RunSafely.sh doesn't run safely
In-Reply-To:
Message-ID: <200802142350.m1ENo8MI023901@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1437
Lauro Venancio changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |lauro.venancio at gmail.com
Status|NEW |RESOLVED
Resolution| |FIXED
Target Milestone|--- |2.3
--- Comment #2 from Lauro Venancio 2008-02-14 17:50:07 ---
Fixed.
http://llvm.org/viewvc/llvm-project?rev=47145&view=rev
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Thu Feb 14 19:25:13 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Thu, 14 Feb 2008 19:25:13 -0600
Subject: [LLVMbugs] [Bug 2028] passmanager asserts that pass requires lower
level pass
In-Reply-To:
Message-ID: <200802150125.m1F1PDXE026761@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2028
Devang Patel changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #1 from Devang Patel 2008-02-14 19:25:12 ---
Fixed.
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080211/058323.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Thu Feb 14 20:34:42 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Thu, 14 Feb 2008 20:34:42 -0600
Subject: [LLVMbugs] [Bug 2037] New: LLVM-GCC4. 2 instructions forget to
mention --program-prefix option.
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2037
Summary: LLVM-GCC4.2 instructions forget to mention --program-
prefix option.
Product: Build scripts
Version: 2.2
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: Makefiles
AssignedTo: unassignedbugs at nondot.org
ReportedBy: ttmrichter at gmail.com
CC: llvmbugs at cs.uiuc.edu
While upgrading to LLVM-GCC-4.2 and LLVM-2.2 I stupidly followed the
instructions without giving a lot of thought and failed to notice that the
README.LLVM doesn't mention --program-prefix as an option to ./configure
anymore. The result was me getting horribly confused as all my llvm-gcc calls
still reported a version 4.0.1 GCC.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Thu Feb 14 20:49:38 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Thu, 14 Feb 2008 20:49:38 -0600
Subject: [LLVMbugs] [Bug 2038] New: Ruby-1. 9 builds and passes light checks
but explodes in the regression suite.
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2038
Summary: Ruby-1.9 builds and passes light checks but explodes in
the regression suite.
Product: libraries
Version: 2.2
Platform: PC
URL: http://snakeratpig.blogspot.com/2008/02/alternative-
compiler-suites.html
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: Backend: X86
AssignedTo: unassignedbugs at nondot.org
ReportedBy: ttmrichter at gmail.com
CC: llvmbugs at cs.uiuc.edu
Executive summary:
Ruby 1.9 compiles under llvm-gcc-4.2/llvm-2.2 just fine and passes sanity
checks. Running the full regression suite fails with an "Illegal instruction
(core dumped)" message. Running the same full regression suite with plain old
GCC causes a segmentation fault far later in the process.
Details:
Currently the test case, such as it is, is as follows:
- svn co http://svn.ruby-lang.org/repos/ruby/trunk ruby-1.9
- cd ruby-1.9
- autoconf
- CC=llvm-gcc ./configure
- make
- make test
- make test-all
In the "make test" there are 7 errors out of 800-something tests. This is
identical to what happens when GCC is used. I consider this a validation of
llvm-gcc or a condemnation of badly-written test suites (your choice). It is
the "make test-all" that shows behaviour sharply divergent from GCC. About 2
minutes into the test (on my machine) the test suite fails with a sudden and
very complete core dump. The nature of the test is such that I haven't yet
figured out which file is being run and what it's doing, but that is on my "to
do" list. Any further information I get will be appended to this report.
Incidentally, GCC also fails on that test suite, but it fails after going
through a lot more tests and with a completely different error that reports
where it was and what it was doing, so whatever is happening with LLVM-GCC is
pretty drastic given its inability to report where it was when it died.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Fri Feb 15 00:56:23 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 15 Feb 2008 00:56:23 -0600
Subject: [LLVMbugs] [Bug 2036] Incompatible function decls not diagnosed
In-Reply-To:
Message-ID: <200802150656.m1F6uNkV005431@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2036
Eli Friedman changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #2 from Eli Friedman 2008-02-15 00:56:23 ---
Fix committed.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Fri Feb 15 03:33:43 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 15 Feb 2008 03:33:43 -0600
Subject: [LLVMbugs] [Bug 2039] New: clang doesn't propagate qualifiers for
arrays correctly
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2039
Summary: clang doesn't propagate qualifiers for arrays correctly
Product: clang
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: Semantic Analyzer
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sharparrow1 at yahoo.com
CC: llvmbugs at cs.uiuc.edu
Testcase:
void a() {typedef int a[5]; typedef const a b; b r; r[0]=10;}
r's type is equivalent to "const int[5]", so the assignment should be rejected.
Not sure where exactly the bug is... maybe b is ending up with the wrong type?
I need to think about it a bit more. This construct is kind of messy.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Fri Feb 15 05:01:38 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 15 Feb 2008 05:01:38 -0600
Subject: [LLVMbugs] [Bug 2040] New: Docs for building llvm-gcc-4. 2
incorrectly explain bootstrap option.
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2040
Summary: Docs for building llvm-gcc-4.2 incorrectly explain
bootstrap option.
Product: Documentation
Version: 2.2
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: General docs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: ttmrichter at gmail.com
CC: llvmbugs at cs.uiuc.edu
For GCC 4.0.1 the instructions in README.LLVM are correct (barring the
oversight reported earlier). Things have changed for 4.2, however, as regards
bootstrapping. Where in the old system you just had to make
LLVM_VERSION_INFO=n.n bootstrap/bootstrap2 after doing your configure, the new
system has an extra configure option required: --enable-bootstrap. Without
that option set up, the build fails with bizarre error messages like "unknown
target '!'" and the like. Documentation should be updated to reflect this
change.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Fri Feb 15 08:49:57 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 15 Feb 2008 08:49:57 -0600
Subject: [LLVMbugs] [Bug 2041] New: restrict is not a C90 keyword
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2041
Summary: restrict is not a C90 keyword
Product: clang
Version: unspecified
Platform: PC
OS/Version: NetBSD
Status: NEW
Severity: normal
Priority: P2
Component: Semantic Analyzer
AssignedTo: unassignedbugs at nondot.org
ReportedBy: neil at daikokuya.co.uk
CC: llvmbugs at cs.uiuc.edu
Clang rejects:
int *restrict;
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Fri Feb 15 10:35:22 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 15 Feb 2008 10:35:22 -0600
Subject: [LLVMbugs] [Bug 2042] New: clang incorrectly considers f(){} to
have a prototype
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2042
Summary: clang incorrectly considers f(){} to have a prototype
Product: new-bugs
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sharparrow1 at yahoo.com
CC: llvmbugs at cs.uiuc.edu
Per http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_317.htm, the following:
void f(){}
void g(){if(0)f(1);}
is valid, so clang should not print out an error.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Fri Feb 15 12:04:02 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 15 Feb 2008 12:04:02 -0600
Subject: [LLVMbugs] [Bug 2041] restrict is not a C90 keyword
In-Reply-To:
Message-ID: <200802151804.m1FI42F1003335@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2041
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #1 from Chris Lattner 2008-02-15 12:04:01 ---
Fixed, thanks Neil!
http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20080211/004295.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Fri Feb 15 13:48:14 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 15 Feb 2008 13:48:14 -0600
Subject: [LLVMbugs] [Bug 2043] New: llvm-gcc4.2 boostrap fails: Assertion
'castIsValid( getOpcode(), S, Ty) && "Illegal BitCast"'
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2043
Summary: llvm-gcc4.2 boostrap fails: Assertion
'castIsValid(getOpcode(), S, Ty) && "Illegal BitCast"'
Product: new-bugs
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: edwintorok at gmail.com
CC: llvmbugs at cs.uiuc.edu
Created an attachment (id=1410)
--> (http://llvm.org/bugs/attachment.cgi?id=1410)
preprocessed crtbegin.c causing compiler error
Bootstrap of llvm-gcc4.2 r47164 with llvm r47170 fails.
Compiling the preprocessed source with an earlier llvm-gcc4.2 succeeds.
Compiling with -O0 shows same error, and --disable-llvm-optzns is not accepted.
How can I get to see the bitcode causing this failure?
BTW shouldn't the bugreport url say llvm.org/bugs?
Earlier llvm-gcc that successfully compiles the preprocessed source:
$ ../../install/bin/gcc -v
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../llvm-gcc4.2/configure
--prefix=/home/edwin/llvm/obj42/../install
--enable-llvm=/home/edwin/llvm/llvm-svn/trunk/ --enable-languages=c,c++ :
(reconfigured) ../llvm-gcc4.2/configure
--prefix=/home/edwin/llvm/obj42/../install
--enable-llvm=/home/edwin/llvm/llvm-svn/trunk/ --enable-languages=c :
(reconfigured) ../llvm-gcc4.2/configure
--prefix=/home/edwin/llvm/obj42/../install
--enable-llvm=/home/edwin/llvm/llvm-svn/trunk/ --enable-languages=c --no-create
--no-recursion
Thread model: posix
gcc version 4.2.1 (Based on Apple Inc. build 5546) (LLVM build)
$ uname -a
Linux thunder 2.6.25-rc1-00266-g4ee29f6-dirty #2 SMP PREEMPT Fri Feb 15
19:49:39 EET 2008 i686 GNU/Linux
$ make
./xgcc -B./ -B/home/edwin/llvm/obj42/../install/i686-pc-linux-gnu/bin/
-isystem /home/edwin/llvm/obj42/../install/i686-pc-linux-gnu/include -isystem
/home/edwin/llvm/obj42/../install/i686-pc-linux-gnu/sys-include
-L/home/edwin/llvm/obj42/gcc/../ld -O2 -DIN_GCC -W -Wall -Wwrite-strings
-Wstrict-prototypes -Wmissing-prototypes -Wold-style-definition -isystem
./include -I. -I. -I../../llvm-gcc4.2/gcc -I../../llvm-gcc4.2/gcc/.
-I../../llvm-gcc4.2/gcc/../include -I../../llvm-gcc4.2/gcc/../libcpp/include
-I../../llvm-gcc4.2/gcc/../libdecnumber -I../libdecnumber
-I/home/edwin/llvm/llvm-svn/trunk/include
-I/home/edwin/llvm/llvm-svn/trunk//include -g0 -finhibit-size-directive
-fno-inline-functions -fno-exceptions -fno-zero-initialized-in-bss
-fno-toplevel-reorder -fno-omit-frame-pointer \
-c ../../llvm-gcc4.2/gcc/crtstuff.c -DCRT_BEGIN \
-o crtbegin.o
cc1: Instructions.cpp:2260: llvm::BitCastInst::BitCastInst(llvm::Value*, const
llvm::Type*, const std::string&, llvm::Instruction*): Assertion
`castIsValid(getOpcode(), S, Ty) && "Illegal BitCast"' failed.
../../llvm-gcc4.2/gcc/crtstuff.c: In function ???__do_global_dtors_aux???:
../../llvm-gcc4.2/gcc/crtstuff.c:295: internal compiler error: Aborted
Please submit a full bug report,
with preprocessed source if appropriate.
See for instructions.
make: *** [crtbegin.o] Error 1
Invoking compiler on preprocessed output:
$ /home/edwin/llvm/obj42/./gcc/xgcc -B/home/edwin/llvm/obj42/./gcc/
-B/home/edwin/llvm/obj42/../install/i686-pc-linux-gnu/bin/
-B/home/edwin/llvm/obj42/../install/i686-pc-linux-gnu/lib/ -O0 -c x.i
cc1: Instructions.cpp:2260: llvm::BitCastInst::BitCastInst(llvm::Value*, const
llvm::Type*, const std::string&, llvm::Instruction*): Assertion
`castIsValid(getOpcode(), S, Ty) && "Illegal BitCast"' failed.
../../llvm-gcc4.2/gcc/crtstuff.c: In function ???__do_global_dtors_aux???:
../../llvm-gcc4.2/gcc/crtstuff.c:295: internal compiler error: Aborted
Please submit a full bug report,
with preprocessed source if appropriate.
See for instructions.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Fri Feb 15 17:09:34 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 15 Feb 2008 17:09:34 -0600
Subject: [LLVMbugs] [Bug 2044] New: clang incorrectly accepts function
returning pointer to vla
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2044
Summary: clang incorrectly accepts function returning pointer to
vla
Product: new-bugs
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sharparrow1 at yahoo.com
CC: llvmbugs at cs.uiuc.edu
Testcase:
int a(int b) {int (*c(void))[b];**c() = 2;}
This violates the constraint in C99 6.7.5.2p2 because the function c has
linkage.
gcc also messes this up.
Not that we do much checking at all for this stuff at the moment, but I figured
I should file it so I don't lose it.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Fri Feb 15 19:10:45 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 15 Feb 2008 19:10:45 -0600
Subject: [LLVMbugs] [Bug 2045] New: #undef syntax violation
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2045
Summary: #undef syntax violation
Product: clang
Version: unspecified
Platform: PC
OS/Version: NetBSD
Status: NEW
Severity: normal
Priority: P2
Component: preprocessor
AssignedTo: unassignedbugs at nondot.org
ReportedBy: neil at daikokuya.co.uk
CC: llvmbugs at cs.uiuc.edu
Clang permits the following which doesn't match the #undef syntax:
#define b
#undef a b
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Fri Feb 15 19:21:37 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Fri, 15 Feb 2008 19:21:37 -0600
Subject: [LLVMbugs] [Bug 2045] #undef syntax violation
In-Reply-To:
Message-ID: <200802160121.m1G1Lb9q018229@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2045
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Keywords| |accepts-invalid
Resolution| |FIXED
--- Comment #1 from Chris Lattner 2008-02-15 19:21:36 ---
fixed, thanks!
http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20080211/004321.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sat Feb 16 02:20:30 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sat, 16 Feb 2008 02:20:30 -0600
Subject: [LLVMbugs] [Bug 2046] New: clang incorrectly rejects references to
earlier paramters in a prototype
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2046
Summary: clang incorrectly rejects references to earlier
paramters in a prototype
Product: clang
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: parser
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sharparrow1 at yahoo.com
CC: llvmbugs at cs.uiuc.edu
Testcase:
int aa(int b, int x[sizeof b]) {}
This is perfectly legal C90 and C99 code, but clang claims the b is undeclared.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sat Feb 16 04:11:35 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sat, 16 Feb 2008 04:11:35 -0600
Subject: [LLVMbugs] [Bug 2048] New: Invalid division incombine with division
by constants
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2048
Summary: Invalid division incombine with division by constants
Product: new-bugs
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sharparrow1 at yahoo.com
CC: llvmbugs at cs.uiuc.edu
Take the following function:
int i(int a) {return a/-1431655765/3;}
LLVM concludes that this is equivalent to the following:
define i32 @i(i32 %a) nounwind {
entry:
ret i32 %a
}
This is clearly wrong.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sat Feb 16 04:02:15 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sat, 16 Feb 2008 04:02:15 -0600
Subject: [LLVMbugs] [Bug 2047] New: Instcombine doesn't know that
"a-b-c-a==-b-c"
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2047
Summary: Instcombine doesn't know that "a-b-c-a==-b-c"
Product: new-bugs
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sharparrow1 at yahoo.com
CC: llvmbugs at cs.uiuc.edu
Per summary: llvm doesn't simplify a function like the following:
int l(int a,int b,int c) {return a-b-c-a;}
to not reference a.
Probably not that important... but possibly interesting.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sat Feb 16 06:15:45 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sat, 16 Feb 2008 06:15:45 -0600
Subject: [LLVMbugs] [Bug 2049] New: clang: CGExprScalar.cpp:1060:
llvm::Value* clang::CodeGen:: CodeGenFunction::EmitScalarExpr(const
clang::Expr*): Assertion `E && !hasAggregateLLVMType(E->getType()) && "
Invalid scalar expression to emit"' failed.
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2049
Summary: clang: CGExprScalar.cpp:1060: llvm::Value*
clang::CodeGen::CodeGenFunction::EmitScalarExpr(const
clang::Expr*): Assertion `E && !hasAggregateLLVMType(E-
>getType()) && "Invalid scalar expression to emit"'
failed.
Product: clang
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: LLVM Codegen
AssignedTo: unassignedbugs at nondot.org
ReportedBy: edwintorok at gmail.com
CC: llvmbugs at cs.uiuc.edu
Created an attachment (id=1413)
--> (http://llvm.org/bugs/attachment.cgi?id=1413)
reduced testcase
Using clang SVN r47211, llvm SVN r47211 I get a codegen assert failure:
$ uname -a
Linux lightspeed2 2.6.24-1-amd64 #1 SMP Mon Feb 11 13:47:43 UTC 2008 x86_64
GNU/Linux
$ clang -emit-llvm-bc testcase-min.i
clang: CGExprScalar.cpp:1060: llvm::Value*
clang::CodeGen::CodeGenFunction::EmitScalarExpr(const clang::Expr*): Assertion
`E && !hasAggregateLLVMType(E->getType()) && "Invalid scalar expression to
emit"' failed.
clang[0x68b306]
/lib/libc.so.6[0x3491231240]
/lib/libc.so.6(gsignal+0x35)[0x34912311d5]
/lib/libc.so.6(abort+0x110)[0x3491232680]
/lib/libc.so.6(__assert_fail+0xef)[0x349122a75f]
clang(_ZN5clang7CodeGen15CodeGenFunction14EmitScalarExprEPKNS_4ExprE+0x3f)[0x4d585f]
clang[0x4c918c]
clang(_ZN5clang7CodeGen15CodeGenFunction11EmitAggExprEPKNS_4ExprEPN4llvm5ValueEb+0x72)[0x4c9762]
clang(_ZN5clang7CodeGen15CodeGenFunction8EmitStmtEPKNS_4StmtE+0x13c)[0x4db38c]
clang(_ZN5clang7CodeGen15CodeGenFunction16EmitCompoundStmtERKNS_12CompoundStmtEbPN4llvm5ValueEb+0x71)[0x4dccf1]
clang(_ZN5clang7CodeGen15CodeGenFunction8EmitStmtEPKNS_4StmtE+0x2bb)[0x4db50b]
clang(_ZN5clang7CodeGen15CodeGenFunction12GenerateCodeEPKNS_12FunctionDeclE+0x2ed)[0x4c0d5d]
clang(_ZN5clang7CodeGen13CodeGenModule12EmitFunctionEPKNS_12FunctionDeclE+0x33)[0x4b3903]
clang[0x4b33cb]
clang(_ZN5clang8ParseASTERNS_12PreprocessorEPNS_11ASTConsumerEb+0x446)[0x513ab6]
clang[0x4aa0df]
clang(main+0xa3a)[0x4acaea]
/lib/libc.so.6(__libc_start_main+0xf4)[0x349121e1c4]
clang[0x48e789]
Aborted
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sat Feb 16 06:27:03 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sat, 16 Feb 2008 06:27:03 -0600
Subject: [LLVMbugs] [Bug 2050] New: incorrect "error: initializer element is
not constant"
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2050
Summary: incorrect "error: initializer element is not constant"
Product: clang
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: Semantic Analyzer
AssignedTo: unassignedbugs at nondot.org
ReportedBy: edwintorok at gmail.com
CC: llvmbugs at cs.uiuc.edu
Using clang r47211, and llvm r47211 I cannot compile the code below.
gcc and icc compile the code without errors.
$ clang -fsyntax-only testcase-min.i
testcase-min.i:10:9: error: initializer element is not constant
{"OPEN", 1, &cdiff_cmd_open }
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1 diagnostic generated.
$ gcc -Wall -c testcase-min.i
testcase-min.i:9: warning: ???commands??? defined but not used
$ icc -w2 -c testcase-min.i
testcase-min.i(9): remark #177: variable "commands" was declared but never
referenced
static struct cdiff_cmd commands[] = {
^
$ cat testcase-min.i
struct cdiff_cmd {
const char *name;
unsigned short argc;
int (*handler)();
};
static int cdiff_cmd_open() {
return 0;
}
static struct cdiff_cmd commands[] = {
{"OPEN", 1, &cdiff_cmd_open }
};
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sat Feb 16 14:35:08 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sat, 16 Feb 2008 14:35:08 -0600
Subject: [LLVMbugs] [Bug 2051] New: llvm-gcc configure should default to
native processor
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2051
Summary: llvm-gcc configure should default to native processor
Product: tools
Version: 2.2
Platform: PC
OS/Version: All
Status: NEW
Severity: normal
Priority: P2
Component: llvm-gcc
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sabre at nondot.org
CC: llvmbugs at cs.uiuc.edu
We should change the llvm-gcc configure process to build code for the current
processor unless otherwise specified. This would allow users who have machines
with SSE2+ to automatically get good FP code without having to explicitly
specify it.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sun Feb 17 07:44:21 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sun, 17 Feb 2008 07:44:21 -0600
Subject: [LLVMbugs] [Bug 2052] New: Invalid instcombine for float division
with undef
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2052
Summary: Invalid instcombine for float division with undef
Product: new-bugs
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sharparrow1 at yahoo.com
CC: llvmbugs at cs.uiuc.edu
define float @a(float %x) {
%res = fdiv float undef, %x
ret float %res
}
instcombines to:
define float @a(float %x) nounwind {
ret float 0.000000e+00
}
If I understand the rules for undef correctly, this is an invalid
transformation because since x/NaN is NaN for all x, the division returns an
impossible result in the case where %x is an NaN.
I think a correct transformation is undef/X->NaN, because NaN/x is NaN for all
x. In the case of signaling floating point, we can't actually do the
transformation at all, because the operation might be required to signal. But
we normally assume no floating point exceptions, right?
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sun Feb 17 09:20:04 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sun, 17 Feb 2008 09:20:04 -0600
Subject: [LLVMbugs] [Bug 2053] New: Inefficient code generated checking
32-bit multiply for signed overflow on x86
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2053
Summary: Inefficient code generated checking 32-bit multiply for
signed overflow on x86
Product: new-bugs
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: enhancement
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sharparrow1 at yahoo.com
CC: llvmbugs at cs.uiuc.edu
The generated code on x86 for checking for signed overflow on a multiply the
obvious way is much longer than it needs to be.
Original C code:
int x(int a, int b) {long long prod = (long long)a*b; return prod > 0x7FFFFFFF
|| prod < (-0x7FFFFFFF-1);}
Generated LLVM IL (generated using clang -emit-llvm-bc | opt
-std-compile-opts):
define i32 @x(i32 %a, i32 %b) nounwind {
entry:
%conv = sext i32 %a to i64 ; [#uses=1]
%conv2 = sext i32 %b to i64 ; [#uses=1]
%mul = mul i64 %conv2, %conv ; [#uses=2]
%cmp = icmp sgt i64 %mul, 2147483647 ; [#uses=1]
br i1 %cmp, label %UnifiedReturnBlock, label %lor_rhs
lor_rhs: ; preds = %entry
%cmp6 = icmp slt i64 %mul, -2147483648 ; [#uses=1]
%phitmp = zext i1 %cmp6 to i32 ; [#uses=1]
ret i32 %phitmp
UnifiedReturnBlock: ; preds = %entry
ret i32 1
}
Code generated by llc:
x:
pushl %ebx
pushl %esi
movl 16(%esp), %eax
imull 12(%esp)
testl %eax, %eax
sets %cl
movzbw %cl, %cx
testl %edx, %edx
setg %bl
movzbw %bl, %si
cmove %cx, %si
movw %si, %cx
testb $1, %cl
je .LBB1_3 # lor_rhs
.LBB1_1: # UnifiedReturnBlock
movl $1, %eax
.LBB1_2: # UnifiedReturnBlock
popl %esi
popl %ebx
ret
.LBB1_3: # lor_rhs
cmpl $2147483648, %eax
setb %al
movzbw %al, %ax
cmpl $4294967295, %edx
setl %cl
movzbw %cl, %cx
cmove %ax, %cx
movw %cx, %ax
andl $1, %eax
jmp .LBB1_2 # UnifiedReturnBlock
Code generated by gcc:
x:
movl 8(%esp), %eax
imull 4(%esp)
addl $-2147483648, %eax
adcl $0, %edx
xorl %eax, %eax
cmpl $0, %edx
seta %al
ret
LLVM seems to be able to deal with the following variant much more easily:
int x(int a, int b) {long long prod = (long long)a*b; return (prod >
0x7FFFFFFF) | (prod < (-0x7FFFFFFF-1));}
Note that this code uses "|" instead of "||".
Generated LLVM IL (generated using clang -emit-llvm-bc | opt
-std-compile-opts):
define i32 @x(i32 %a, i32 %b) nounwind {
entry:
%conv = sext i32 %a to i64 ; [#uses=1]
%conv2 = sext i32 %b to i64 ; [#uses=1]
%mul = mul i64 %conv2, %conv ; [#uses=1]
%mul.off = add i64 %mul, 2147483648 ; [#uses=1]
%or1 = icmp ugt i64 %mul.off, 4294967295 ;
[#uses=1]
%or = zext i1 %or1 to i32 ; [#uses=1]
ret i32 %or
}
Code generated by llc:
x:
movl 8(%esp), %eax
imull 4(%esp)
addl $2147483648, %eax
adcl $0, %edx
testl %edx, %edx
setne %al
movzbl %al, %eax
ret
Here's the ideal code as far as I know (handwritten by myself; not really
tested, but all it does is use the overflow flag set by imull):
x:
movl 8(%esp), %eax
imull 4(%esp)
setc %al
movzbl %al, %eax
ret
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sun Feb 17 13:32:01 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sun, 17 Feb 2008 13:32:01 -0600
Subject: [LLVMbugs] [Bug 2042] clang incorrectly considers f(){} to have a
prototype
In-Reply-To:
Message-ID: <200802171932.m1HJW1UR004931@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2042
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #1 from Chris Lattner 2008-02-17 13:32:01 ---
Fixed:
http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20080211/004330.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sun Feb 17 13:46:28 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sun, 17 Feb 2008 13:46:28 -0600
Subject: [LLVMbugs] [Bug 2053] Inefficient code generated checking 32-bit
multiply for signed overflow on x86
In-Reply-To:
Message-ID: <200802171946.m1HJkSH9005396@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2053
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |LATER
--- Comment #1 from Chris Lattner 2008-02-17 13:46:28 ---
I moved this to the X86 readme file:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080211/058422.html
which is where we generally track non-trivial target-specific
micro-optimizations. We also have lib/Target/README.txt for target-indep
microoptimizations which can be useful as well.
It's never clear what optimizations should go in a readme vs what should go in
bugzilla, but a general rule of thumb is that things should go in bugzilla if
they block other bigger optimization issues (where bugzillas dependency
tracking stuff can be useful) or when they themselves are a big deal for one
reason or another.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sun Feb 17 15:04:16 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sun, 17 Feb 2008 15:04:16 -0600
Subject: [LLVMbugs] [Bug 2047] reassociate doesn't know that "a-b-c-a==-b-c"
In-Reply-To:
Message-ID: <200802172104.m1HL4G19007799@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2047
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #4 from Chris Lattner 2008-02-17 15:04:16 ---
second half fixed here:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080211/058429.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sun Feb 17 15:51:59 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sun, 17 Feb 2008 15:51:59 -0600
Subject: [LLVMbugs] [Bug 2054] New: llvm-ld crashes with Assertion `0 &&
"Unmapped global?"' failed. when linking code with weakrefs on linux amd64
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2054
Summary: llvm-ld crashes with Assertion `0 && "Unmapped global?"'
failed. when linking code with weakrefs on linux amd64
Product: new-bugs
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: belyshev at depni.sinp.msu.ru
CC: llvmbugs at cs.uiuc.edu
Testcase:
int foo;
static int bar __attribute__ ((weakref ("foo")));
int baz (void)
{
return bar;
}
$ gcc -emit-llvm -c bug.c
$ llvm-ld bug.o
llvm-ld: LinkModules.cpp:309: llvm::Value* RemapOperand(const llvm::Value*,
std::map,
std::allocator > >&):
Assertion `0 && "Unmapped global?"' failed.
llvm-ld[0x66e0a1]
/lib/libc.so.6[0x7f5ba9692240]
/lib/libc.so.6(gsignal+0x35)[0x7f5ba96921d5]
/lib/libc.so.6(abort+0x110)[0x7f5ba9693680]
/lib/libc.so.6(__assert_fail+0xef)[0x7f5ba968b75f]
llvm-ld[0x4a3671]
llvm-ld[0x4a397e]
llvm-ld(_ZN4llvm6Linker11LinkModulesEPNS_6ModuleES2_PSs+0x9f4)[0x4a7e44]
llvm-ld(_ZN4llvm6Linker10LinkInFileERKNS_3sys4PathERb+0x3ce)[0x4a02ce]
llvm-ld(_ZN4llvm6Linker11LinkInItemsERKSt6vectorISt4pairISsbESaIS3_EERS5_+0xd9)[0x4a1049]
llvm-ld(main+0x9b3)[0x4851d3]
/lib/libc.so.6(__libc_start_main+0xf4)[0x7f5ba967f1c4]
llvm-ld(sinh+0x41)[0x47da29]
Abort
$
gcc version is: gcc version 4.2.1 (Based on Apple Inc. build 5546) (LLVM build)
llvm version is: trunk r47234
platform is: linux amd64 (x86_64-unknown-linux-gnu)
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Sun Feb 17 20:10:29 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Sun, 17 Feb 2008 20:10:29 -0600
Subject: [LLVMbugs] [Bug 2055] New: LLVM should have a nocapture parameter
attribute for functions that don' t let a pointer value escape
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2055
Summary: LLVM should have a nocapture parameter attribute for
functions that don't let a pointer value escape
Product: new-bugs
Version: unspecified
Platform: PC
OS/Version: All
Status: NEW
Severity: enhancement
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: resistor at mac.com
CC: llvmbugs at cs.uiuc.edu
Chris pointed out that it would be useful to have a "nocapture" parameter
attribute. Its semantics would be that a pointer value passed in with the
"nocapture" attribute can be assumed never to escape from the callee (never
stored to a global or passed to another function where it could escape).
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 00:26:16 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 00:26:16 -0600
Subject: [LLVMbugs] [Bug 2056] New: Significant missed block merging
opportunity
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2056
Summary: Significant missed block merging opportunity
Product: libraries
Version: 2.2
Platform: PC
OS/Version: All
Status: NEW
Keywords: code-quality
Severity: normal
Priority: P2
Component: Scalar Optimizations
AssignedTo: unassignedbugs at nondot.org
ReportedBy: sabre at nondot.org
CC: llvmbugs at cs.uiuc.edu
Applying this patch to simplifycfg disables cloning of return instructions into
predecessor blocks. This should be a simple code size win, and it allows
simplifycfg to be better at turning simple cfg's into select instructions:
--- SimplifyCFG.cpp (revision 47234)
+++ SimplifyCFG.cpp (working copy)
@@ -1245,7 +1245,7 @@
}
// If we found some, do the transformation!
- if (!UncondBranchPreds.empty()) {
+ if (0 && !UncondBranchPreds.empty()) {
while (!UncondBranchPreds.empty()) {
BasicBlock *Pred = UncondBranchPreds.back();
DOUT << "FOLDING: " << *BB
However, this causes significant code size pessimizations. In the case where
the return block is cloned, the .llvm.bc file ends up with lots of blocks like
this (examples from 'agrep' in multisource/benchmarks):
bb393.i.i: ; preds = %bb388.i.i
%tmp394.i.i = load i32* @num_of_matched, align 4 ;
[#uses=1]
%tmp395.i.i = add i32 %tmp394.i.i, 1 ; [#uses=1]
store i32 %tmp395.i.i, i32* @num_of_matched, align 4
%tmp396.i.i = call i32 @puts( i8* getelementptr ([256 x i8]*
@CurrentFileName, i32 0, i32 0) ) nounwind ; [#uses=0]
ret void
When the return is not cloned, we end up with lots of code like this:
bb393.i.i: ; preds = %bb388.i.i
%tmp394.i.i = load i32* @num_of_matched, align 4 ;
[#uses=1]
%tmp395.i.i = add i32 %tmp394.i.i, 1 ; [#uses=1]
store i32 %tmp395.i.i, i32* @num_of_matched, align 4
%tmp396.i.i = call i32 @puts( i8* getelementptr ([256 x i8]*
@CurrentFileName, i32 0, i32 0) ) nounwind ; [#uses=0]
br label %UnifiedReturnBlock
where UnifiedReturnBlock does a simple return.
The major difference between these is that in the former case, the code
generator's block merging pass is able to merge away all of these common
blocks, but when the return is shared, this optimization doesn't happen. Since
this sort of thing really happens due to inlining (e.g where F calls G multiple
times), we should be able to eliminate this redundancy at the LLVM level, for
example in simplifycfg.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 00:38:44 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 00:38:44 -0600
Subject: [LLVMbugs] [Bug 410] Improvements in the MachineInstr/Operand
classes
In-Reply-To:
Message-ID: <200802180638.m1I6ci3D024502@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=410
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #5 from Chris Lattner 2008-02-18 00:38:44 ---
#5 is done with MemOperand. Closing.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 00:42:11 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 00:42:11 -0600
Subject: [LLVMbugs] [Bug 698] Clean up LLVM error and warning output
In-Reply-To:
Message-ID: <200802180642.m1I6gBoM024608@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=698
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |INVALID
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 00:43:34 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 00:43:34 -0600
Subject: [LLVMbugs] [Bug 731] Enhanced Makefile System
In-Reply-To:
Message-ID: <200802180643.m1I6hYCA024667@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=731
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|REOPENED |RESOLVED
Resolution| |WONTFIX
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 00:44:53 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 00:44:53 -0600
Subject: [LLVMbugs] [Bug 758] [spiller] Spiller could optimize spill code
generation for 2-addr folded instructions better
In-Reply-To:
Message-ID: <200802180644.m1I6ir6H024734@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=758
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #2 from Chris Lattner 2008-02-18 00:44:53 ---
I think that has been implemented, and the .bc file is a 1.x file that can't be
read to verify it.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 00:45:38 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 00:45:38 -0600
Subject: [LLVMbugs] [Bug 762] TargetData needs to be able to specify
alignment of vector data types
In-Reply-To:
Message-ID: <200802180645.m1I6jcXX024764@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=762
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #1 from Chris Lattner 2008-02-18 00:45:38 ---
TargetData does this.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 00:46:43 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 00:46:43 -0600
Subject: [LLVMbugs] [Bug 768] Register scavenging
In-Reply-To:
Message-ID: <200802180646.m1I6khx9024809@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=768
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
--- Comment #4 from Chris Lattner 2008-02-18 00:46:42 ---
We have a register scavenger now, targets can switch over to using it as they
please.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 00:48:12 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 00:48:12 -0600
Subject: [LLVMbugs] [Bug 776] LLVM register allocator issues
In-Reply-To:
Message-ID: <200802180648.m1I6mCLc024861@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=776
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |INVALID
--- Comment #6 from Chris Lattner 2008-02-18 00:48:12 ---
Evan, please file relevant subtasks of this bug as their own separate bugs.
Thanks!
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 00:49:24 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 00:49:24 -0600
Subject: [LLVMbugs] [Bug 793] Factor LeakDetector.cpp out of lib/VMCore and
into lib/Support
In-Reply-To:
Message-ID: <200802180649.m1I6nOdW024909@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=793
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |WONTFIX
--- Comment #12 from Chris Lattner 2008-02-18 00:49:24 ---
There isn't a great need for this.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 00:50:41 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 00:50:41 -0600
Subject: [LLVMbugs] [Bug 903] Better way to handle asm writing from the
tools.
In-Reply-To:
Message-ID: <200802180650.m1I6ofdB024965@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=903
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |WONTFIX
--- Comment #1 from Chris Lattner 2008-02-18 00:50:41 ---
There isn't interest in this.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 00:54:34 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 00:54:34 -0600
Subject: [LLVMbugs] [Bug 1125] Update autoconf and libtool
In-Reply-To:
Message-ID: <200802180654.m1I6sYif025110@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1125
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |INVALID
--- Comment #4 from Chris Lattner 2008-02-18 00:54:33 ---
Upgrading for the sake of upgrading isn't interesting.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 00:59:40 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 00:59:40 -0600
Subject: [LLVMbugs] [Bug 1353] Code generator needs DominatorTree
In-Reply-To:
Message-ID: <200802180659.m1I6xeo6025316@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1353
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #2 from Chris Lattner 2008-02-18 00:59:40 ---
Owen implemented this.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 01:01:22 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 01:01:22 -0600
Subject: [LLVMbugs] [Bug 1372] Adding PR to Dejagnu tests has impacted
nightly tester
In-Reply-To:
Message-ID: <200802180701.m1I71Mtp025394@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1372
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |WORKSFORME
--- Comment #1 from Chris Lattner 2008-02-18 01:01:21 ---
The nightly tester seems fine. It's strange to consider PR#s as part of the
test name, but doesn't seem to be a problem in practice.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 01:02:55 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 01:02:55 -0600
Subject: [LLVMbugs] [Bug 1433] X86 isel problem with flags
In-Reply-To:
Message-ID: <200802180702.m1I72tVE025456@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1433
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
--- Comment #4 from Chris Lattner 2008-02-18 01:02:55 ---
This works now.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 01:06:19 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 01:06:19 -0600
Subject: [LLVMbugs] [Bug 1547] Documentation Requirements
In-Reply-To:
Message-ID: <200802180706.m1I76JCE025639@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1547
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |LATER
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 01:07:18 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 01:07:18 -0600
Subject: [LLVMbugs] [Bug 1552] [meta] Fix llvm-gcc 4.2 to be usable
In-Reply-To:
Message-ID: <200802180707.m1I77IIh025725@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1552
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #19 from Chris Lattner 2008-02-18 01:07:18 ---
4.2 is "usable" now :)
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 01:16:18 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 01:16:18 -0600
Subject: [LLVMbugs] [Bug 1747] verification does not detect calling
functions with incorrect calling convention
In-Reply-To:
Message-ID: <200802180716.m1I7GIAV026112@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1747
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |INVALID
--- Comment #7 from Chris Lattner 2008-02-18 01:16:18 ---
Verifier shouldn't reject this, it is valid .ll code.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 01:20:37 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 01:20:37 -0600
Subject: [LLVMbugs] [Bug 1844] Build problem on Fedora core 7 x86_64
In-Reply-To:
Message-ID: <200802180720.m1I7KbWH026388@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1844
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #4 from Chris Lattner 2008-02-18 01:20:37 ---
Devang removed ltdl.c, so this should be fixed.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 01:21:11 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 01:21:11 -0600
Subject: [LLVMbugs] [Bug 1855] __sync_synchronize()
In-Reply-To:
Message-ID: <200802180721.m1I7LBxw026494@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1855
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |alenhar2 at uiuc.edu
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #1 from Chris Lattner 2008-02-18 01:21:11 ---
I think that Andrew implemented this.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 01:28:23 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 01:28:23 -0600
Subject: [LLVMbugs] [Bug 1521] Revamp LLVM by-value structure passing
In-Reply-To:
Message-ID: <200802180728.m1I7SNDM026907@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1521
Evan Cheng changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
--- Comment #22 from Evan Cheng 2008-02-18 01:28:23 ---
Nothing.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 07:59:34 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 07:59:34 -0600
Subject: [LLVMbugs] [Bug 2000] Rejects valid C90 and C99
In-Reply-To:
Message-ID: <200802181359.m1IDxYrq017855@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2000
Neil Booth changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|FIXED |
--- Comment #8 from Neil Booth 2008-02-18 07:59:33 ---
Steve - I don't think your fix is transparent to typedefs?
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 08:40:06 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 08:40:06 -0600
Subject: [LLVMbugs] [Bug 2057] New: miscompilation by licm
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2057
Summary: miscompilation by licm
Product: new-bugs
Version: unspecified
Platform: Other
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: baldrick at free.fr
CC: llvmbugs at cs.uiuc.edu
Created an attachment (id=1420)
--> (http://llvm.org/bugs/attachment.cgi?id=1420)
testcase .ll
Some recent change introduced a problem with licm.
$ llvm-as testcase.ll
$ llc testcase.bc
$ gcc -o testcase testcase.s
$ ./testcase
$ opt -licm testcase.bc > badcase.bc
$ llc badcase.bc
$ gcc -o badcase badcase.s
$ ./badcase
Aborted (core dumped)
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 09:16:34 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 09:16:34 -0600
Subject: [LLVMbugs] [Bug 2000] Rejects valid C90 and C99
In-Reply-To:
Message-ID: <200802181516.m1IFGY8b020210@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2000
snaroff at apple.com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|REOPENED |RESOLVED
Resolution| |FIXED
--- Comment #9 from snaroff at apple.com 2008-02-18 09:16:33 ---
Fixed in http://llvm.org/viewvc/llvm-project?view=rev&revision=47269.
Thanks.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 10:00:30 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 10:00:30 -0600
Subject: [LLVMbugs] [Bug 2041] restrict is not a C90 keyword
In-Reply-To:
Message-ID: <200802181600.m1IG0UN5022036@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2041
Neil Booth changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|FIXED |
--- Comment #2 from Neil Booth 2008-02-18 10:00:29 ---
__restrict is not being accepted in C90 mode.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 11:12:23 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 11:12:23 -0600
Subject: [LLVMbugs] [Bug 2058] New: Missed memcpy optimization
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2058
Summary: Missed memcpy optimization
Product: new-bugs
Version: unspecified
Platform: Other
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: baldrick at free.fr
CC: llvmbugs at cs.uiuc.edu
Created an attachment (id=1421)
--> (http://llvm.org/bugs/attachment.cgi?id=1421)
testcase .ll
In the attached testcase there are two memcpy's. In theory one
could be eliminated, for example by using %agg.result instead of
%temp everywhere. I admit that this is tricky - but not impossible!
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 11:25:06 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 11:25:06 -0600
Subject: [LLVMbugs] [Bug 2059] New: Missed sret memcpy optimization
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2059
Summary: Missed sret memcpy optimization
Product: new-bugs
Version: unspecified
Platform: Other
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: new bugs
AssignedTo: unassignedbugs at nondot.org
ReportedBy: baldrick at free.fr
CC: llvmbugs at cs.uiuc.edu
Created an attachment (id=1423)
--> (http://llvm.org/bugs/attachment.cgi?id=1423)
testcase .ll
The recent sret+memcpy simplification assumes that the memcpy is to
a noalias sret parameter. But there seems to be no real reason for
that, it just needs to be to something that can be proved not to be
accessed by the called function. For example another temporary.
Here is a testcase: both of the memcpy's could be removed by passing
the destination directly to the called function.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 11:38:15 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 11:38:15 -0600
Subject: [LLVMbugs] [Bug 1579] Use DESTDIR,
not --prefix on Darwin llvm-gcc builds
In-Reply-To:
Message-ID: <200802181738.m1IHcFS2025247@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1579
Devang Patel changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |WORKSFORME
--- Comment #2 from Devang Patel 2008-02-18 11:38:14 ---
I do not see any issue here.
$ llvm-gcc-4.2 -v -isysroot /blah foo.c
Using built-in specs.
Target: i686-apple-darwin9
Configured with: /Volumes/Nanpura/w/llvmgcc42.roots/llvmgcc42~obj/src/configure
--disable-checking --enable-werror --prefix=/Developer/usr/llvm-gcc-4.2
--mandir=/Developer/usr/llvm-gcc-4.2/share/man
--enable-languages=c,objc,c++,obj-c++ --program-prefix=llvm-
--program-transform-name=/^[cg][^.-]*$/s/$/-4.2/
--with-gxx-include-dir=/usr/include/c++/4.0.0 --with-slibdir=/usr/lib
--build=i686-apple-darwin9 --enable-llvm=/usr/local --host=i686-apple-darwin9
--target=i686-apple-darwin9
Thread model: posix
gcc version 4.2.1 (Based on Apple Inc. build 5546) (LLVM build 00)
/Developer/usr/llvm-gcc-4.2/libexec/gcc/i686-apple-darwin9/4.2.1/cc1 -quiet -v
-isysroot /blah -D__DYNAMIC__ -isysroot /blah foo.c -fPIC -quiet -dumpbase
foo.c -mmacosx-version-min=10.5.1 -mtune=core2 -auxbase foo -version -o
/var/tmp//cc7txUYD.s
ignoring nonexistent directory "/blah/usr/local/include"
ignoring nonexistent directory "/blah/Developer/usr/llvm-gcc-4.2/include"
ignoring nonexistent directory
"/blah/Developer/usr/llvm-gcc-4.2/lib/gcc/i686-apple-darwin9/4.2.1/include"
ignoring nonexistent directory
"/blah/Developer/usr/llvm-gcc-4.2/lib/gcc/i686-apple-darwin9/4.2.1/../../../../i686-apple-darwin9/include"
ignoring nonexistent directory "/blah/usr/include"
ignoring nonexistent directory "/blah/System/Library/Frameworks"
ignoring nonexistent directory "/blah/Library/Frameworks"
#include "..." search starts here:
#include <...> search starts here:
End of search list.
GNU C version 4.2.1 (Based on Apple Inc. build 5546) (LLVM build 00)
(i686-apple-darwin9)
compiled by GNU C version 4.2.1 (Based on Apple Inc. build 5546) (LLVM
build 00).
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 12:03:43 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 12:03:43 -0600
Subject: [LLVMbugs] [Bug 1720] lli gives double free error on AMD64
In-Reply-To:
Message-ID: <200802181803.m1II3haA026097@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=1720
Sterling Stuart Stein changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #8 from Sterling Stuart Stein 2008-02-18 12:03:42 ---
The bug appears to be fixed now. Last weekend, the test suite
ran without me having to manually intervene. I ran make on
MultiSource/d and it went smoothly.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 16:48:52 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 16:48:52 -0600
Subject: [LLVMbugs] [Bug 2048] Invalid division incombine with division by
constants
In-Reply-To:
Message-ID: <200802182248.m1IMmqZ6006588@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2048
Nick Lewycky changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
--- Comment #13 from Nick Lewycky 2008-02-18 16:48:52 ---
Thanks for the review, Eli! Patch checked in:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080218/058483.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 18:06:49 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 18:06:49 -0600
Subject: [LLVMbugs] [Bug 2060] New: llvm-as crash
Message-ID:
http://llvm.org/bugs/show_bug.cgi?id=2060
Summary: llvm-as crash
Product: tools
Version: 2.2
Platform: PC
OS/Version: Linux
Status: NEW
Severity: minor
Priority: P2
Component: llvm-as
AssignedTo: unassignedbugs at nondot.org
ReportedBy: daniel at zuster.org
CC: llvmbugs at cs.uiuc.edu
Created an attachment (id=1425)
--> (http://llvm.org/bugs/attachment.cgi?id=1425)
Crashing .ll file
llvm-as crashes on the following program instead of giving a type error:
--
define i8* @foo() {
ret i8* 0
}
--
assert log:
--
ddunbar at ozzy:lli$ llvm-as bug.ll
llvm-as: /home/ddunbar/public/llvm/llvm/include/llvm/Support/Casting.h:199:
typename llvm::cast_retty::ret_type llvm::cast(const Y&) [with X =
llvm::IntegerType, Y = const llvm::Type*]: Assertion `isa(Val) &&
"cast() argument of incompatible type!"' failed.
llvm-as((anonymous namespace)::PrintStackTrace()+0x1a)[0x817ac7a]
/lib/tls/i686/cmov/libc.so.6(abort+0x109)[0xb7d00fb9]
/lib/tls/i686/cmov/libc.so.6(__assert_fail+0x10f)[0xb7cf8fbf]
llvm-as(llvm::ConstantInt::isValueValidForType(llvm::Type const*, long
long)+0x0)[0x80cca30]
[0x0]
Aborted
--
tested on 2.2 and 2.1
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Mon Feb 18 22:36:53 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Mon, 18 Feb 2008 22:36:53 -0600
Subject: [LLVMbugs] [Bug 2060] llvm-as crash
In-Reply-To:
Message-ID: <200802190436.m1J4ar9D017599@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2060
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #1 from Chris Lattner 2008-02-18 22:36:53 ---
Fixed, thanks!
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080218/058502.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Tue Feb 19 00:23:27 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Tue, 19 Feb 2008 00:23:27 -0600
Subject: [LLVMbugs] [Bug 2052] suboptimal instcombine for float division
with undef, bad fold of uitofp(undef)
In-Reply-To:
Message-ID: <200802190623.m1J6NRfQ020569@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2052
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
Summary|Invalid instcombine for |suboptimal instcombine for
|float division with undef |float division with undef,
| |bad fold of uitofp(undef)
--- Comment #7 from Chris Lattner 2008-02-19 00:23:26 ---
Fixed, patches here:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080218/058506.html
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080218/058507.html
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Tue Feb 19 00:46:41 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Tue, 19 Feb 2008 00:46:41 -0600
Subject: [LLVMbugs] [Bug 2041] restrict is not a C90 keyword
In-Reply-To:
Message-ID: <200802190646.m1J6kffe021434@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2041
Chris Lattner changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|REOPENED |RESOLVED
Resolution| |FIXED
--- Comment #3 from Chris Lattner 2008-02-19 00:46:41 ---
Fixed, patch here:
http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20080218/004353.html
Thanks Neil
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Tue Feb 19 00:47:35 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Tue, 19 Feb 2008 00:47:35 -0600
Subject: [LLVMbugs] [Bug 2057] miscompilation by basicaa
In-Reply-To:
Message-ID: <200802190647.m1J6lZYG021478@zion.cs.uiuc.edu>
http://llvm.org/bugs/show_bug.cgi?id=2057
Owen Anderson changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #3 from Owen Anderson 2008-02-19 00:47:35 ---
Fixed with r47317.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
From bugzilla-daemon at cs.uiuc.edu Tue Feb 19 01:26:36 2008
From: bugzilla-daemon at cs.uiuc.edu (bugzilla-daemon at cs.uiuc.edu)
Date: Tue, 19 Feb 2008 01:26:36 -0600
Subject: [LLVMbugs] [Bug 2061] New: Remove the tail duplication pass for
llvm-gcc & -std-compile-opts
Message-ID: