<html>
<head>
<base href="https://bugs.llvm.org/">
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW - WebAssembly backend fails to legalize @llvm.umul.with.overflow.i64"
href="https://bugs.llvm.org/show_bug.cgi?id=32983">32983</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>WebAssembly backend fails to legalize @llvm.umul.with.overflow.i64
</td>
</tr>
<tr>
<th>Product</th>
<td>libraries
</td>
</tr>
<tr>
<th>Version</th>
<td>trunk
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>Linux
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>Backend: WebAssembly
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>vadimcn@gmail.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr></table>
<p>
<div>
<pre>llc bugpoint-reduced-simplified.ll
llc: .../SelectionDAG/LegalizeDAG.cpp:3533: bool
{anonymous}::SelectionDAGLegalize::ExpandNode(llvm::SDNode*): Assertion
`Ret->use_empty() && "Unexpected uses of illegally type from expanded lib
call."' failed.
#0 0x00000000012cc5da (llc+0x12cc5da)
#1 0x00000000012ca5ee (llc+0x12ca5ee)
#2 0x00000000012ca752 (llc+0x12ca752)
#3 0x00007f998d71d330 __restore_rt
(/lib/x86_64-linux-gnu/libpthread.so.0+0x10330)
#4 0x00007f998c8e1c37 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x36c37)
#5 0x00007f998c8e5028 abort (/lib/x86_64-linux-gnu/libc.so.6+0x3a028)
#6 0x00007f998c8dabf6 (/lib/x86_64-linux-gnu/libc.so.6+0x2fbf6)
#7 0x00007f998c8daca2 (/lib/x86_64-linux-gnu/libc.so.6+0x2fca2)
#8 0x0000000001100860 (llc+0x1100860)
#9 0x00000000010ee334 (llc+0x10ee334)
#10 0x00000000010f2419 (llc+0x10f2419)
#11 0x00000000011a1e9f (llc+0x11a1e9f)
#12 0x00000000011a2bc6 (llc+0x11a2bc6)
#13 0x00000000011aa921 (llc+0x11aa921)
#14 0x00000000011aca72 (llc+0x11aca72)
#15 0x0000000000b3d595 (llc+0xb3d595)
#16 0x0000000000e031a3 (llc+0xe031a3)
#17 0x0000000000e0324c (llc+0xe0324c)
#18 0x0000000000e03faf (llc+0xe03faf)
#19 0x000000000069c25b (llc+0x69c25b)
#20 0x0000000000664f68 (llc+0x664f68)
#21 0x00007f998c8ccf45 __libc_start_main
(/lib/x86_64-linux-gnu/libc.so.6+0x21f45)
#22 0x000000000069142a (llc+0x69142a)
Stack dump:
0. Program arguments: llc bugpoint-reduced-simplified.ll
1. Running pass 'Function Pass Manager' on module
'bugpoint-reduced-simplified.ll'.
2. Running pass 'WebAssembly Instruction Selection' on function
'@"_ZN4core3num21_$LT$impl$u20$u64$GT$15overflowing_mul17h07be88b4cbac028fE"'
Aborted (core dumped)
--- bugpoint-reduced-simplified.ll ---
source_filename = "bugpoint-output-b47dbd4.bc"
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-emscripten"
; Function Attrs: inlinehint
define void
@"_ZN4core3num21_$LT$impl$u20$u64$GT$15overflowing_mul17h07be88b4cbac028fE"(i64,
i64) unnamed_addr #0 {
start:
%2 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %0, i64 %1)
%3 = extractvalue { i64, i1 } %2, 0
store i64 %3, i64* undef
unreachable
}
; Function Attrs: nounwind readnone speculatable
declare { i64, i1 } @llvm.umul.with.overflow.i64(i64, i64) #1
attributes #0 = { inlinehint }
attributes #1 = { nounwind readnone speculatable }</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are on the CC list for the bug.</li>
</ul>
</body>
</html>