RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-02-01 05:01:59 +01:00
Code Issues Projects Releases Wiki Activity

[CodeGenPrepare][AArch64] Fix a TLI legality check on iPTR to use a lowered instead.

Browse Source 
Fixes PR21548.  Related to PR20474.

llvm-svn: 221820
This commit is contained in:
Ahmed Bougacha 2014-11-12 22:16:55 +00:00
parent e1d31003d6
commit 6f5323f5b8
2 changed files with 21 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lib/CodeGen/CodeGenPrepare.cpp
View File

@ -682,8 +682,8 @@ SinkShiftAndTruncate(BinaryOperator *ShiftI, Instruction *User, ConstantInt *CI,
// FIXME: always querying the result type is just an // FIXME: always querying the result type is just an
// approximation; some nodes' legality is determined by the // approximation; some nodes' legality is determined by the
// operand or other means. There's no good way to find out though. // operand or other means. There's no good way to find out though.
if (TLI.isOperationLegalOrCustom(ISDOpcode, if (TLI.isOperationLegalOrCustom(
EVT::getEVT(TruncUser->getType(), true))) ISDOpcode, TLI.getValueType(TruncUser->getType(), true)))
continue; continue;
// Don't bother for PHI nodes. // Don't bother for PHI nodes.

19
test/Transforms/CodeGenPrepare/AArch64/trunc-weird-user.ll
View File

@ -15,3 +15,22 @@ define %foo @test_merge(i32 %in) {
%struct = insertvalue %foo undef, i8 %byte, 0 %struct = insertvalue %foo undef, i8 %byte, 0
ret %"foo" %struct ret %"foo" %struct
} }
define i64* @test_merge_PR21548(i32 %a, i64* %p1, i64* %p2, i64* %p3) {
; CHECK-LABEL: @test_merge_PR21548
%as = lshr i32 %a, 3
%Tr = trunc i32 %as to i1
br i1 %Tr, label %BB2, label %BB3
BB2:
; Similarly to above:
; CodeGenPrepare was requesting the EVT for i8* to determine
; whether the select user of the trunc was legal. This asserted.
; CHECK: select i1 {{%.*}}, i64* %p1, i64* %p2
%p = select i1 %Tr, i64* %p1, i64* %p2
ret i64* %p
BB3:
ret i64* %p3
}