| Joe Abbey | 405b650 | 2013-09-12 22:02:31 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as < %s | llvm-dis | FileCheck %s |
| Duncan P. N. Exon Smith | 13f5c58 | 2014-08-19 21:08:27 +0000 | [diff] [blame] | 2 | ; RUN: verify-uselistorder < %s |
| Joe Abbey | 405b650 | 2013-09-12 22:02:31 +0000 | [diff] [blame] | 3 | |
| 4 | define <2 x i32> @main() { |
| 5 | ret <2 x i32> select (<2 x i1> <i1 false, i1 undef>, <2 x i32> zeroinitializer, <2 x i32> <i32 0, i32 undef>) |
| 6 | } |
| 7 | |
| 8 | ; CHECK: define <2 x i32> @main() { |
| Nick Lewycky | 99cebad | 2013-12-31 19:30:47 +0000 | [diff] [blame] | 9 | ; CHECK: ret <2 x i32> <i32 0, i32 undef> |
| Joe Abbey | 405b650 | 2013-09-12 22:02:31 +0000 | [diff] [blame] | 10 | ; CHECK: } |
| Filipe Cabecinhas | 357ece4 | 2015-08-31 18:00:30 +0000 | [diff] [blame] | 11 | |
| 12 | define <2 x float> @f() { |
| 13 | ret <2 x float> select (i1 ptrtoint (<2 x float> ()* @f to i1), <2 x float> <float 1.000000e+00, float 0.000000e+00>, <2 x float> zeroinitializer) |
| 14 | } |
| 15 | |
| 16 | ; CHECK: define <2 x float> @f() { |
| 17 | ; CHECK: ret <2 x float> select (i1 ptrtoint (<2 x float> ()* @f to i1), <2 x float> <float 1.000000e+00, float 0.000000e+00>, <2 x float> zeroinitializer) |
| 18 | ; CHECK: } |