diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2013-12-31 19:30:47 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2013-12-31 19:30:47 +0000 |
| commit | 99cebadb5c971b5946a727dfb09ba43b6d7fe542 (patch) | |
| tree | f01a4d7a5cf39bedbc682ebf9e7eaf7f037b8d0d /test | |
| parent | 5cbbd7e1a5fb86e5495326c02f77356a357ec439 (diff) | |
| download | llvm-99cebadb5c971b5946a727dfb09ba43b6d7fe542.tar.gz llvm-99cebadb5c971b5946a727dfb09ba43b6d7fe542.tar.bz2 llvm-99cebadb5c971b5946a727dfb09ba43b6d7fe542.tar.xz | |
Fold vector selects with undef elements in the condition. Fixes PR18319.
Patch by Ilia Filippov!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@198267 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/Assembler/ConstantExprFoldSelect.ll | 8 | ||||
| -rw-r--r-- | test/Bitcode/select.ll | 2 |
2 files changed, 9 insertions, 1 deletions
diff --git a/test/Assembler/ConstantExprFoldSelect.ll b/test/Assembler/ConstantExprFoldSelect.ll new file mode 100644 index 0000000000..b000e02653 --- /dev/null +++ b/test/Assembler/ConstantExprFoldSelect.ll @@ -0,0 +1,8 @@ +; RUN: llvm-as < %s | llvm-dis | FileCheck %s +; PR18319 + +define void @function() { + %c = trunc <4 x i16> select (<4 x i1> <i1 undef, i1 undef, i1 false, i1 true>, <4 x i16> <i16 undef, i16 2, i16 3, i16 4>, <4 x i16> <i16 -1, i16 -2, i16 -3, i16 -4>) to <4 x i8> +; CHECK: <i16 undef, i16 -2, i16 -3, i16 4> + ret void +} diff --git a/test/Bitcode/select.ll b/test/Bitcode/select.ll index 71e669a90c..08a3061394 100644 --- a/test/Bitcode/select.ll +++ b/test/Bitcode/select.ll @@ -5,5 +5,5 @@ define <2 x i32> @main() { } ; CHECK: define <2 x i32> @main() { -; CHECK: ret <2 x i32> select (<2 x i1> <i1 false, i1 undef>, <2 x i32> zeroinitializer, <2 x i32> <i32 0, i32 undef>) +; CHECK: ret <2 x i32> <i32 0, i32 undef> ; CHECK: } |