[X86][FastIsel] Fix assertion failure when selecting int-to-double conversion (PR23273).
authorAndrea Di Biagio <Andrea_DiBiagio@sn.scee.net>
Mon, 20 Apr 2015 11:56:59 +0000 (11:56 +0000)
committerAndrea Di Biagio <Andrea_DiBiagio@sn.scee.net>
Mon, 20 Apr 2015 11:56:59 +0000 (11:56 +0000)
commit14fc08301c9d8d11e58b79fdaae9c68ceb4b22d4
tree83da51d296ede0c8811789850ee282347813a15d
parent07bfae5ff7d7001f17fe3ab669cca78ccdc91b5a
[X86][FastIsel] Fix assertion failure when selecting int-to-double conversion (PR23273).

This fixes a regression introduced at revision 231243.
The target-independent selection algorithm in FastISel knows how to select
a SINT_TO_FP if the target is SSE but not AVX. That is because on X86, the
tablegen'd 'fastEmit' functions know how to select CVTSI2SSrr and CVTSI2SDrr.

Method X86FastISel::X86SelectSIToFP was therefore working under the
wrong assumption that the target was AVX. That assumption was incorrect since
we can have a target that is neither AVX nor SSE.

So, rather than asserting for the presence of AVX, we should have had an
early exit from 'X86SelectSIToFP' if the target was not AVX.
This patch fixes the issue replacing the invalid assertion with an early exit.

Thanks to Dimitry Andric for reporting this problem and for providing a small
reproducible testcase. Added test pr23273.ll.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@235295 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Target/X86/X86FastISel.cpp
test/CodeGen/X86/pr23273.ll [new file with mode: 0644]