Dan Gohman | 1880092 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -constprop -disable-output |
Chris Lattner | d137a08 | 2008-07-08 05:46:34 +0000 | [diff] [blame] | 2 | ; PR2529 |
Nick Lewycky | a21d3da | 2009-07-08 03:04:38 +0000 | [diff] [blame] | 3 | define <4 x i1> @test1(i32 %argc, i8** %argv) { |
Chris Lattner | d137a08 | 2008-07-08 05:46:34 +0000 | [diff] [blame] | 4 | entry: |
Nick Lewycky | a21d3da | 2009-07-08 03:04:38 +0000 | [diff] [blame] | 5 | %foo = icmp slt <4 x i32> undef, <i32 14, i32 undef, i32 undef, i32 undef> |
| 6 | ret <4 x i1> %foo |
Chris Lattner | d137a08 | 2008-07-08 05:46:34 +0000 | [diff] [blame] | 7 | } |
| 8 | |
Nick Lewycky | a21d3da | 2009-07-08 03:04:38 +0000 | [diff] [blame] | 9 | define <4 x i1> @test2(i32 %argc, i8** %argv) { |
Chris Lattner | d137a08 | 2008-07-08 05:46:34 +0000 | [diff] [blame] | 10 | entry: |
Nick Lewycky | a21d3da | 2009-07-08 03:04:38 +0000 | [diff] [blame] | 11 | %foo = icmp slt <4 x i32> <i32 undef, i32 undef, i32 undef, i32 |
Chris Lattner | d137a08 | 2008-07-08 05:46:34 +0000 | [diff] [blame] | 12 | undef>, <i32 undef, i32 undef, i32 undef, i32 undef> |
Nick Lewycky | a21d3da | 2009-07-08 03:04:38 +0000 | [diff] [blame] | 13 | ret <4 x i1> %foo |
Chris Lattner | d137a08 | 2008-07-08 05:46:34 +0000 | [diff] [blame] | 14 | } |
Chris Lattner | b69689e | 2008-07-10 00:08:17 +0000 | [diff] [blame] | 15 | |
| 16 | |
Nick Lewycky | a21d3da | 2009-07-08 03:04:38 +0000 | [diff] [blame] | 17 | define <4 x i1> @test3() { |
| 18 | %foo = fcmp ueq <4 x float> <float 0.0, float 0.0, float 0.0, float |
Chris Lattner | b69689e | 2008-07-10 00:08:17 +0000 | [diff] [blame] | 19 | undef>, <float 1.0, float 1.0, float 1.0, float undef> |
Nick Lewycky | a21d3da | 2009-07-08 03:04:38 +0000 | [diff] [blame] | 20 | ret <4 x i1> %foo |
Chris Lattner | b69689e | 2008-07-10 00:08:17 +0000 | [diff] [blame] | 21 | } |
| 22 | |
Nick Lewycky | a21d3da | 2009-07-08 03:04:38 +0000 | [diff] [blame] | 23 | define <4 x i1> @test4() { |
| 24 | %foo = fcmp ueq <4 x float> <float 0.0, float 0.0, float 0.0, float 0.0>, <float 1.0, float 1.0, float 1.0, float 0.0> |
Chris Lattner | 67136cf | 2008-07-10 00:29:28 +0000 | [diff] [blame] | 25 | |
Nick Lewycky | a21d3da | 2009-07-08 03:04:38 +0000 | [diff] [blame] | 26 | ret <4 x i1> %foo |
Chris Lattner | 67136cf | 2008-07-10 00:29:28 +0000 | [diff] [blame] | 27 | } |
| 28 | |