<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 - [AArch64][StrctFP] constrained sitofp.f32.i16 crashes at -O0"
href="https://bugs.llvm.org/show_bug.cgi?id=44897">44897</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>[AArch64][StrctFP] constrained sitofp.f32.i16 crashes at -O0
</td>
</tr>
<tr>
<th>Product</th>
<td>new-bugs
</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>enhancement
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>new bugs
</td>
</tr>
<tr>
<th>Assignee</th>
<td>diogo.sampaio@arm.com
</td>
</tr>
<tr>
<th>Reporter</th>
<td>diogo.sampaio@arm.com
</td>
</tr>
<tr>
<th>CC</th>
<td>craig.topper@gmail.com, htmldeveloper@gmail.com, llvm-bugs@lists.llvm.org
</td>
</tr></table>
<p>
<div>
<pre>From this IR:
===
target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
target triple = "aarch64-arm-none-eabi"
define hidden i32 @test() #0 {
entry:
%conv = call float @llvm.experimental.constrained.sitofp.f32.i32(i32 1,
metadata !"round.tonearest", metadata !"fpexcept.strict") #2
%conv1 = call float @llvm.experimental.constrained.sitofp.f32.i16(i16 1,
metadata !"round.tonearest", metadata !"fpexcept.strict") #2
%cmp = call i1 @llvm.experimental.constrained.fcmp.f32(float %conv, float
%conv1, metadata !"oeq", metadata !"fpexcept.strict") #2
%conv2 = zext i1 %cmp to i32
ret i32 %conv2
}
declare float @llvm.experimental.constrained.sitofp.f32.i32(i32, metadata,
metadata) #1
declare float @llvm.experimental.constrained.sitofp.f32.i16(i16, metadata,
metadata) #1
declare i1 @llvm.experimental.constrained.fcmp.f32(float, float, metadata,
metadata) #1
attributes #0 = { noinline nounwind optnone
"correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false"
"frame-pointer"="none" "less-precise-fpmad"="false"
"min-legal-vector-width"="0" "no-infs-fp-math"="false" "no-jump-tables"="false"
"no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false"
"no-trapping-math"="false" "stack-protector-buffer-size"="8"
"target-cpu"="generic" "target-features"="+neon" "unsafe-fp-math"="false"
"use-soft-float"="false" }
attributes #1 = { inaccessiblememonly nounwind willreturn }
attributes #2 = { strictfp }
===
compiling using llc -O0 it dies with:
llvm/lib/CodeGen/SelectionDAG/LegalizeIntegerTypes.cpp:1340: bool
llvm::DAGTypeLegalizer::PromoteIntegerOperand(llvm::SDNode*, unsigned int):
Assertion `Res.getValueType() == N->getValueType(0) && N->getNumValues() == 1
&& "Invalid operand expansion"' failed.</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>