replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[WebAssembly] Fix legalization of shift operators with illegal types. 

llvm-svn: 255181
This commit is contained in:
Dan Gohman 2015-12-10 00:26:26 +00:00
parent 7935fa3d1b
commit a8483755d3
2 changed files with 31 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
llvm/lib/Target/WebAssembly/WebAssemblyISelLowering.cpp
View File

@ -202,7 +202,13 @@ bool WebAssemblyTargetLowering::isOffsetFoldingLegal(
MVT WebAssemblyTargetLowering::getScalarShiftAmountTy(const DataLayout & /*DL*/,
EVT VT) const {
return VT.getSimpleVT();
unsigned BitWidth = NextPowerOf2(VT.getSizeInBits() - 1);
if (BitWidth > 1 && BitWidth < 8)
BitWidth = 8;
MVT Result = MVT::getIntegerVT(BitWidth);
assert(Result != MVT::INVALID_SIMPLE_VALUE_TYPE &&
"Unable to represent scalar shift amount type");
return Result;
}
const char *

24
llvm/test/CodeGen/WebAssembly/legalize.ll Normal file
View File

@ -0,0 +1,24 @@
; RUN: llc < %s -asm-verbose=false | FileCheck %s
; Test various types and operators that need to be legalized.
target datalayout = "e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown"
; CHECK-LABEL: shl_i3:
; CHECK: i32.const $push0=, 7
; CHECK: i32.and $push1=, $1, $pop0
; CHECK: i32.shl $push2=, $0, $pop1
define i3 @shl_i3(i3 %a, i3 %b, i3* %p) {
%t = shl i3 %a, %b
ret i3 %t
}
; CHECK-LABEL: shl_i53:
; CHECK: i64.const $push0=, 9007199254740991
; CHECK: i64.and $push1=, $1, $pop0
; CHECK: i64.shl $push2=, $0, $pop1
define i53 @shl_i53(i53 %a, i53 %b, i53* %p) {
%t = shl i53 %a, %b
ret i53 %t
}