llvm/test/Bitcode/select.ll

; RUN: llvm-as < %s | llvm-dis | FileCheck %s
; RUN: verify-uselistorder < %s

define <2 x i32> @main() {
  ret <2 x i32> select (<2 x i1> <i1 false, i1 undef>, <2 x i32> zeroinitializer, <2 x i32> <i32 0, i32 undef>)
}

; CHECK: define <2 x i32> @main() {
; CHECK:   ret <2 x i32> <i32 0, i32 undef>
; CHECK: }
Patch provide by Tom Roeder! Reviewed by Joe Abbey and Tobias Grosser Here is a patch that fixes decoding of CE_SELECT in BitcodeReader, along with a simple test case. The problem in the current code is that it generates but doesn't accept bitcode that uses vectors for the first element of a select in this context. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@190634 91177308-0d34-0410-b5e6-96231b3b80d8 2013-09-12 22:02:31 +00:00			`; RUN: llvm-as < %s \| llvm-dis \| FileCheck %s`
verify-uselistorder: Force -preserve-bc-use-list-order git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@216022 91177308-0d34-0410-b5e6-96231b3b80d8 2014-08-19 21:08:27 +00:00			`; RUN: verify-uselistorder < %s`
Patch provide by Tom Roeder! Reviewed by Joe Abbey and Tobias Grosser Here is a patch that fixes decoding of CE_SELECT in BitcodeReader, along with a simple test case. The problem in the current code is that it generates but doesn't accept bitcode that uses vectors for the first element of a select in this context. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@190634 91177308-0d34-0410-b5e6-96231b3b80d8 2013-09-12 22:02:31 +00:00
			`define <2 x i32> @main() {`
			`ret <2 x i32> select (<2 x i1> <i1 false, i1 undef>, <2 x i32> zeroinitializer, <2 x i32> <i32 0, i32 undef>)`
			`}`

			`; CHECK: define <2 x i32> @main() {`
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 2013-12-31 19:30:47 +00:00			`; CHECK: ret <2 x i32> <i32 0, i32 undef>`
Patch provide by Tom Roeder! Reviewed by Joe Abbey and Tobias Grosser Here is a patch that fixes decoding of CE_SELECT in BitcodeReader, along with a simple test case. The problem in the current code is that it generates but doesn't accept bitcode that uses vectors for the first element of a select in this context. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@190634 91177308-0d34-0410-b5e6-96231b3b80d8 2013-09-12 22:02:31 +00:00			`; CHECK: }`