[LLVMbugs] [Bug 2433] New: scalar-evolutions BinomialCoefficient function fails zext' ing i64 to i64

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: scalar-evolutions BinomialCoefficient function fails
                    zext'ing i64 to i64
           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=1722)
 --> (http://llvm.org/bugs/attachment.cgi?id=1722)
testcase and fix

$ opt -analyze -scalar-evolution bugpoint-reduced-simplified.bc
Printing analysis 'Scalar Evolution Analysis' for function 'main':
Classifying expressions for: main
        %accum.03 = phi i64 [ %tmp14, %bb10 ], [ 0, %entry ]            ; <i64>
[#uses=1]
opt: Constants.cpp:1880: static llvm::Constant*
llvm::ConstantExpr::getZExt(llvm::Constant*, const llvm::Type*): Assertion
`C->getType()->getPrimitiveSizeInBits() < Ty->getPrimitiveSizeInBits()&& "SrcTy
must be smaller than DestTy for ZExt!"' failed.
  --> { 0,+, 1,+, 1}<bb10>              Exits: opt[0x8697f1e]
opt[0x8698180]
[0xffffe500]
[0x6]
/lib/tls/i686/cmov/libc.so.6(abort+0xe9)[0x49739619]
/lib/tls/i686/cmov/libc.so.6(__assert_fail+0x101)[0x49731031]
opt(_ZN4llvm12ConstantExpr7getZExtEPNS_8ConstantEPKNS_4TypeE+0xe4)[0x85d19fe]
opt(_ZN4llvm15ScalarEvolution17getZeroExtendExprERKNS_10SCEVHandleEPKNS_4TypeE+0x3a)[0x8563de8]
opt[0x856a7ae]
opt(_ZNK4llvm14SCEVAddRecExpr19evaluateAtIterationENS_10SCEVHandleERNS_15ScalarEvolutionE+0x6d)[0x856abc7]
opt[0x856eb0c]
opt(_ZNK4llvm15ScalarEvolution14getSCEVAtScopeEPNS_5ValueEPKNS_8LoopBaseINS_10BasicBlockEEE+0x55)[0x856ebb9]
opt(_ZNK4llvm15ScalarEvolution5printERSoPKNS_6ModuleE+0x27f)[0x856ee51]
opt(_ZNK4llvm4Pass5printEPSoPKNS_6ModuleE+0x2c)[0x8369f92]
opt(_ZN36_GLOBAL__N_opt.cpp_00000000_B17F1A4619FunctionPassPrinter13runOnFunctionERN4llvm8FunctionE+0x106)[0x836b818]
opt(_ZN4llvm13FPPassManager13runOnFunctionERNS_8FunctionE+0x13d)[0x86265c9]
opt(_ZN4llvm13FPPassManager11runOnModuleERNS_6ModuleE+0x6e)[0x8626778]
opt(_ZN4llvm13MPPassManager11runOnModuleERNS_6ModuleE+0x108)[0x8626244]
opt(_ZN4llvm15PassManagerImpl3runERNS_6ModuleE+0x6e)[0x86263fe]
opt(_ZN4llvm11PassManager3runERNS_6ModuleE+0x1b)[0x8626453]
opt(main+0xa97)[0x8369519]
/lib/tls/i686/cmov/libc.so.6(__libc_start_main+0xd2)[0x49723ec2]
opt(__gxx_personality_v0+0x321)[0x835b8f9]
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.