diff options
| author | Simon Pilgrim <llvm-dev@redking.me.uk> | 2016-09-13 17:15:28 +0000 |
|---|---|---|
| committer | Simon Pilgrim <llvm-dev@redking.me.uk> | 2016-09-13 17:15:28 +0000 |
| commit | bd28a85d14aedd38fd9b1bd5fba45efbccc5a5cf (patch) | |
| tree | 564f2ac8492cab9b9b5478899d5d3398142668e0 /llvm/test | |
| parent | 3569eb52670f538d2d7512659f862e3faf44702a (diff) | |
| download | bcm5719-llvm-bd28a85d14aedd38fd9b1bd5fba45efbccc5a5cf.tar.gz bcm5719-llvm-bd28a85d14aedd38fd9b1bd5fba45efbccc5a5cf.zip | |
[DAGCombiner] Use APInt directly in (shl (ext (shl x, c1)), c2) combine
Fix failure to detect out of range shift constants leading to assert in ConstantSDNode::getZExtValue()
Followup to D23007
llvm-svn: 281354
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/CodeGen/X86/shift-i128.ll | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/llvm/test/CodeGen/X86/shift-i128.ll b/llvm/test/CodeGen/X86/shift-i128.ll index aef923f8d10..1de99b15e42 100644 --- a/llvm/test/CodeGen/X86/shift-i128.ll +++ b/llvm/test/CodeGen/X86/shift-i128.ll @@ -116,3 +116,21 @@ entry: store <2 x i128> %1, <2 x i128>* %r, align 16 ret void } + +; +; Combines +; + +define <2 x i256> @shl_sext_shl_outofrange(<2 x i128> %a0) { + %1 = shl <2 x i128> %a0, <i128 -1, i128 -1> + %2 = sext <2 x i128> %1 to <2 x i256> + %3 = shl <2 x i256> %2, <i256 128, i256 128> + ret <2 x i256> %3 +} + +define <2 x i256> @shl_zext_shl_outofrange(<2 x i128> %a0) { + %1 = shl <2 x i128> %a0, <i128 -1, i128 -1> + %2 = zext <2 x i128> %1 to <2 x i256> + %3 = shl <2 x i256> %2, <i256 128, i256 128> + ret <2 x i256> %3 +} |
