[LLVMbugs] [Bug 4315] New: Assertion failed: " Operands of AddRec must be loop-invariant!"

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.org/bugs/show_bug.cgi?id=4315

           Summary: Assertion failed: "Operands of AddRec must be loop-
                    invariant!"
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: FreeBSD
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Scalar Optimizations
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: ed at 80386.nl
                CC: llvmbugs at cs.uiuc.edu
            Blocks: 3696


Created an attachment (id=3052)
 --> (http://llvm.org/bugs/attachment.cgi?id=3052)
Reduced testcase

I'm seeing the following crash when building a FreeBSD kernel (with LLVM+Clang
r72770):

cc -O2 -pipe   llvm-crash.c  -o llvm-crash
Assertion failed: (Operands[i]->isLoopInvariant(l) && "Operands of AddRec must
be loop-invariant!"), function SCEVAddRecExpr, file
/home/ed/projects/freebsd-clang/usr.bin/clang/lib/libllvmanalysis/../../../../contrib/llvm/include/llvm/Analysis/ScalarEvolutionExpressions.h,
line 394.
Stack dump:
0.      Program arguments: /usr/bin/../libexec/clang-cc -triple
x86_64-undermydesk-freebsd8.0 -S -disable-free -main-file-name llvm-crash.c
--relocation-model static --disable-fp-elim --unwind-tables=1 --mcpu=x86-64
--fmath-errno=1 -O2 -fdiagnostics-show-option -o /tmp/cc-ij5lLq.s -x c
llvm-crash.c 
1.      <eof> parser at end of file
2.      Per-module optimization passes
3.      Running pass 'CallGraph Pass Manager' on module 'llvm-crash.c'.
4.      Running pass 'Loop Pass Manager' on function '@crash'
5.      Running pass 'Canonicalize Induction Variables' on basic block
'%for.cond'


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