[llvm-bugs] [Bug 32536] New: Verification failed in HuffEnc

[via llvm-bugs]

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

            Bug ID: 32536
           Summary: Verification failed in HuffEnc
           Product: Polly
           Version: unspecified
          Hardware: All
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Optimizer
          Assignee: polly-dev at googlegroups.com
          Reporter: llvm at meinersbur.de
                CC: llvm-bugs at lists.llvm.org

Created attachment 18230
  --> http://bugs.llvm.org/attachment.cgi?id=18230&action=edit
HuffEnc_0.ll

Polly r299360
LLVM r299379


  ********************
  FAIL: Polly :: HuffEnc_0.ll (133 of 856)
  ******************** TEST 'Polly :: HuffEnc_0.ll' FAILED ********************
  Script:
  --
  opt  -polly-process-unprofitable  -polly-remarks-minimal  -polly-codegen -S <
C:\Users\Meinersbur\src\llvm\tools\polly\test\HuffEnc_0.ll
  --
  Exit Code: 2147483651

  Command Output (stdout):
  --
  $ "opt" "-polly-process-unprofitable" "-polly-remarks-minimal"
"-polly-codegen" "-S"
  # command stderr:
  Instruction does not dominate all uses!

    %num.0 = phi i32 [ %add, %for.body15 ], [ 0, %for.cond13.pre_entry_bb ]

    %1 = mul i32 %num.0, -1

  Instruction does not dominate all uses!

    %num.0 = phi i32 [ %add, %for.body15 ], [ 0, %for.cond13.pre_entry_bb ]

    %3 = sext i32 %num.0 to i64

  Polly generated function could not be verified. Add
-polly-codegen-verify=false to disable this assertion.

  UNREACHABLE executed at
C:\Users\Meinersbur\src\llvm\tools\polly\lib\CodeGen\CodeGeneration.cpp:89!

  #0 0x029130f9 HandleAbort
c:\users\meinersbur\src\llvm\lib\support\windows\signals.inc:405:0

  #1 0x0ff22a9b (C:\WINDOWS\SYSTEM32\ucrtbased.dll+0xb2a9b)

  #2 0x0ff24032 (C:\WINDOWS\SYSTEM32\ucrtbased.dll+0xb4032)

  #3 0x02901ff9 llvm::llvm_unreachable_internal(char const *,char const
*,unsigned int)
c:\users\meinersbur\src\llvm\lib\support\errorhandling.cpp:118:0

  #4 0x02df8925 `anonymous namespace'::CodeGeneration::verifyGeneratedFunction
c:\users\meinersbur\src\llvm\tools\polly\lib\codegen\codegeneration.cpp:90:0

  #5 0x02df7faf `anonymous namespace'::CodeGeneration::runOnScop
c:\users\meinersbur\src\llvm\tools\polly\lib\codegen\codegeneration.cpp:209:0

  #6 0x02e2ce99 polly::ScopPass::runOnRegion(class llvm::Region *,class
llvm::RGPassManager &)
c:\users\meinersbur\src\llvm\tools\polly\lib\analysis\scoppass.cpp:24:0

  #7 0x0154a4bc llvm::RGPassManager::runOnFunction(class llvm::Function &)
c:\users\meinersbur\src\llvm\lib\analysis\regionpass.cpp:97:0

  #8 0x01ef4c45 llvm::FPPassManager::runOnFunction(class llvm::Function &)
c:\users\meinersbur\src\llvm\lib\ir\legacypassmanager.cpp:1513:0

  #9 0x01ef4dea llvm::FPPassManager::runOnModule(class llvm::Module &)
c:\users\meinersbur\src\llvm\lib\ir\legacypassmanager.cpp:1534:0

  #10 0x01ef5e2e `anonymous namespace'::MPPassManager::runOnModule
c:\users\meinersbur\src\llvm\lib\ir\legacypassmanager.cpp:1590:0

  #11 0x01ef650a llvm::legacy::PassManagerImpl::run(class llvm::Module &)
c:\users\meinersbur\src\llvm\lib\ir\legacypassmanager.cpp:1693:0

  #12 0x01ef0b6d llvm::legacy::PassManager::run(class llvm::Module &)
c:\users\meinersbur\src\llvm\lib\ir\legacypassmanager.cpp:1725:0

  #13 0x0115ab31 main c:\users\meinersbur\src\llvm\tools\opt\opt.cpp:741:0

  #14 0x036ab52e invoke_main
f:\dd\vctools\crt\vcstartup\src\startup\exe_common.inl:64:0

  #15 0x036ab3b0 _scrt_common_main_seh
f:\dd\vctools\crt\vcstartup\src\startup\exe_common.inl:253:0

  #16 0x036ab24d _scrt_common_main
f:\dd\vctools\crt\vcstartup\src\startup\exe_common.inl:296:0

  #17 0x036ab548 mainCRTStartup
f:\dd\vctools\crt\vcstartup\src\startup\exe_main.cpp:17:0

  #18 0x76a98744 (C:\WINDOWS\System32\KERNEL32.DLL+0x18744)

  #19 0x770a587d (C:\WINDOWS\SYSTEM32\ntdll.dll+0x6587d)

  #20 0x770a584d (C:\WINDOWS\SYSTEM32\ntdll.dll+0x6584d)

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20170405/0bfab867/attachment.html>