[LLVMbugs] [Bug 20188] New: [AArch64] Address Type Promotion - Assertion `use_empty() && "Uses remain when a value is destroyed!"' failed.

[bugzilla-daemon at llvm.org]

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

            Bug ID: 20188
           Summary: [AArch64] Address Type Promotion - Assertion
                    `use_empty() && "Uses remain when a value is
                    destroyed!"' failed.
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: All
            Status: ASSIGNED
          Severity: normal
          Priority: P
         Component: Backend: AArch64
          Assignee: dexonsmith at apple.com
          Reporter: mcrosier at codeaurora.org
                CC: apazos at codeaurora.org, llvmbugs at cs.uiuc.edu,
                    t.p.northover at gmail.com, zhaoshiz at codeaurora.org
    Classification: Unclassified

I believe this was introduced in one of these two commits:
http://llvm.org/viewvc/llvm-project?view=revision&revision=212073
http://llvm.org/viewvc/llvm-project?view=revision&revision=212075

Reproduce with:
llc -O3 -mcpu=cortex-a53 -mtriple=aarch64--linux-gnu
bugpoint-reduced-simplified.ll

Testcase:

define void @foo() unnamed_addr align 2 {
entry:
  br label %invoke.cont145

invoke.cont145:
  %or.cond = and i1 undef, false
  br i1 %or.cond, label %if.then274, label %invoke.cont145

if.then274:
  %0 = load i32* null, align 4
  br i1 undef, label %invoke.cont291, label %if.else313

invoke.cont291:
  %idxprom.i.i.i605 = sext i32 %0 to i64
  %arrayidx.i.i.i607 = getelementptr inbounds double* undef, i64
%idxprom.i.i.i605
  %idxprom.i.i.i596 = sext i32 %0 to i64
  %arrayidx.i.i.i598 = getelementptr inbounds double* undef, i64
%idxprom.i.i.i596
  br label %if.end356

if.else313:
  %cmp314 = fcmp olt double undef, 0.000000e+00
  br i1 %cmp314, label %invoke.cont317, label %invoke.cont353

invoke.cont317:
  br i1 undef, label %invoke.cont326, label %invoke.cont334

invoke.cont326:
  %idxprom.i.i.i587 = sext i32 %0 to i64
  %arrayidx.i.i.i589 = getelementptr inbounds double* undef, i64
%idxprom.i.i.i587
  %sub329 = fsub fast double undef, undef
  br label %invoke.cont334

invoke.cont334:
  %lo.1 = phi double [ %sub329, %invoke.cont326 ], [ undef, %invoke.cont317 ]
  br i1 undef, label %invoke.cont342, label %if.end356

invoke.cont342:
  %idxprom.i.i.i578 = sext i32 %0 to i64
  %arrayidx.i.i.i580 = getelementptr inbounds double* undef, i64
%idxprom.i.i.i578
  br label %if.end356

invoke.cont353:
  %idxprom.i.i.i572 = sext i32 %0 to i64
  %arrayidx.i.i.i574 = getelementptr inbounds double* undef, i64
%idxprom.i.i.i572
  br label %if.end356

if.end356:
  %lo.2 = phi double [ 0.000000e+00, %invoke.cont291 ], [ %lo.1,
%invoke.cont342 ], [ undef, %invoke.cont353 ], [ %lo.1, %invoke.cont334 ]
  call void null(i32 %0, double %lo.2)
  unreachable
}

-- 
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/20140702/07e340b0/attachment.html>