maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[PowerPC] multiply-with-overflow might use the CTR register 

Check the legality of ISD::[US]MULO to see whether
Intrinsic::[us]mul_with_overflow will legalize into a function call (and, thus,
will use the CTR register).  Fixes PR32485.

Patch by Tim Neumann!

Differential Revision: https://reviews.llvm.org/D31790

llvm-svn: 299910
This commit is contained in:
Hal Finkel 2017-04-11 02:03:17 +00:00
parent dcad8bf00e
commit cef9e52736
2 changed files with 45 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
llvm/lib/Target/PowerPC/PPCCTRLoops.cpp
View File

@ -307,6 +307,8 @@ bool PPCCTRLoops::mightUseCTR(const Triple &TT, BasicBlock *BB) {
case Intrinsic::round: Opcode = ISD::FROUND; break;
case Intrinsic::minnum: Opcode = ISD::FMINNUM; break;
case Intrinsic::maxnum: Opcode = ISD::FMAXNUM; break;
case Intrinsic::umul_with_overflow: Opcode = ISD::UMULO; break;
case Intrinsic::smul_with_overflow: Opcode = ISD::SMULO; break;
}
}

34
llvm/test/CodeGen/PowerPC/ctrloop-i128.ll Normal file
View File

@ -0,0 +1,34 @@
; RUN: llc -O1 -verify-machineinstrs < %s
target datalayout = "E-m:e-i64:64-n32:64"
target triple = "powerpc64-unknown-linux-gnu"
; Function Attrs: uwtable
define fastcc void @_Crash_Fn() unnamed_addr #0 {
entry-block:
br label %_Label_0
_Label_0: ; preds = %_Label_0, %entry-block
%result.0138 = phi i128 [ %5, %_Label_0 ], [ 0, %entry-block ]
%iter.sroa.0.0137 = phi i8* [ %0, %_Label_0 ], [ undef, %entry-block ]
%0 = getelementptr inbounds i8, i8* %iter.sroa.0.0137, i64 1
%1 = tail call { i128, i1 } @llvm.smul.with.overflow.i128(i128 %result.0138, i128 undef) #2
%2 = extractvalue { i128, i1 } %1, 0
%3 = tail call { i128, i1 } @llvm.sadd.with.overflow.i128(i128 %2, i128 0) #2
%4 = extractvalue { i128, i1 } %3, 1
%5 = extractvalue { i128, i1 } %3, 0
%6 = icmp eq i8* %0, null
br i1 %6, label %bb66.loopexit, label %_Label_0
bb66.loopexit: ; preds = %_Label_0
unreachable
}
; Function Attrs: nounwind readnone
declare { i128, i1 } @llvm.sadd.with.overflow.i128(i128, i128) #1
; Function Attrs: nounwind readnone
declare { i128, i1 } @llvm.smul.with.overflow.i128(i128, i128) #1
attributes #0 = { uwtable }
attributes #1 = { nounwind readnone }
attributes #2 = { nounwind }