[LLVMbugs] [Bug 18138] New: Assertion `dep.isUnknown() && "unexptected dependence type"' failed.

[bugzilla-daemon at llvm.org]

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

            Bug ID: 18138
           Summary: Assertion `dep.isUnknown() && "unexptected dependence
                    type"' failed.
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Global Analyses
          Assignee: unassignedbugs at nondot.org
          Reporter: maemarcus at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

$ cat bugpoint-reduced-simplified.ll
; ModuleID = 'bugpoint-reduced-simplified.bc'
target datalayout =
"e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

; Function Attrs: nounwind uwtable
define void @main() #0 {
entry:
  br i1 undef, label %if.end, label %return

if.end:                                           ; preds = %entry
  br i1 undef, label %for.body.preheader, label %for.cond.i.preheader

for.body.preheader:                               ; preds = %if.end
  br label %for.body

for.cond.i.preheader.loopexit:                    ; preds = %for.body
  br label %for.cond.i.preheader

for.cond.i.preheader:                             ; preds =
%for.cond.i.preheader.loopexit, %if.end
  br i1 undef, label %for.body.i.preheader, label %vector_sum.exit

for.body.i.preheader:                             ; preds =
%for.cond.i.preheader
  br label %for.body.i

for.body:                                         ; preds = %for.body,
%for.body.preheader
  tail call void @drand48() #2
  br i1 undef, label %for.body, label %for.cond.i.preheader.loopexit

for.body.i:                                       ; preds = %for.body.i,
%for.body.i.preheader
  br i1 undef, label %for.body.i, label %vector_sum.exit.loopexit

vector_sum.exit.loopexit:                         ; preds = %for.body.i
  br label %vector_sum.exit

vector_sum.exit:                                  ; preds =
%vector_sum.exit.loopexit, %for.cond.i.preheader
  br label %return

return:                                           ; preds = %vector_sum.exit,
%entry
  ret void
}

; Function Attrs: nounwind
declare void @drand48() #1

attributes #0 = { nounwind uwtable "less-precise-fpmad"="false"
"no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf"
"no-infs-fp-math"="false" "no-nans-fp-math"="false"
"stack-protector-buffer-size"="8" "unsafe-fp-math"="false"
"use-soft-float"="false" }
attributes #1 = { nounwind "less-precise-fpmad"="false"
"no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf"
"no-infs-fp-math"="false" "no-nans-fp-math"="false"
"stack-protector-buffer-size"="8" "unsafe-fp-math"="false"
"use-soft-float"="false" }
attributes #2 = { nounwind }

!llvm.ident = !{!0}

!0 = metadata !{metadata !"clang version 3.5 (trunk 196290)"}


$ opt -print-memdeps bugpoint-reduced-simplified.ll -S -o -
opt: /home/marcusmae/forge/llvm/lib/Analysis/MemDepPrinter.cpp:71: static
{anonymous}::MemDepPrinter::InstTypePair
{anonymous}::MemDepPrinter::getInstTypePair(llvm::MemDepResult): Assertion
`dep.isUnknown() && "unexptected dependence type"' failed.
0  opt             0x000000000152faa3 llvm::sys::PrintStackTrace(_IO_FILE*) +
38
1  opt             0x000000000152fd2a
2  opt             0x000000000152f76e
3  libpthread.so.0 0x00007fc05a86ecb0
4  libc.so.6       0x00007fc059899425 gsignal + 53
5  libc.so.6       0x00007fc05989cb8b abort + 379
6  libc.so.6       0x00007fc0598920ee
7  libc.so.6       0x00007fc059892192
8  opt             0x00000000011efb11
9  opt             0x00000000011effaa
10 opt             0x00000000014ab718
llvm::FPPassManager::runOnFunction(llvm::Function&) + 390
11 opt             0x00000000014ab913
llvm::FPPassManager::runOnModule(llvm::Module&) + 89
12 opt             0x00000000014abc8b
13 opt             0x00000000014ac2a0
llvm::legacy::PassManagerImpl::run(llvm::Module&) + 254
14 opt             0x00000000014ac4b3
llvm::legacy::PassManager::run(llvm::Module&) + 39
15 opt             0x0000000000867b14 main + 5778
16 libc.so.6       0x00007fc05988476d __libc_start_main + 237
17 opt             0x0000000000859799
Stack dump:
0.    Program arguments: opt -print-memdeps bugpoint-reduced-simplified.ll -S
-o - 
1.    Running pass 'Function Pass Manager' on module
'bugpoint-reduced-simplified.ll'.
2.    Running pass 'Print MemDeps of function' on function '@main'
Aborted (core dumped)

-- 
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/20131204/aa5ff77b/attachment.html>