| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | ; SetCC on boolean values was not implemented! |
| 2 | |
| Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 3 | ; RUN: llvm-as < %s | opt -constprop -die | llvm-dis | \ |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 4 | ; RUN: not grep set |
| 5 | |
| Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 6 | define i1 @test1() { |
| 7 | %A = icmp ule i1 true, false ; <i1> [#uses=1] |
| 8 | %B = icmp uge i1 true, false ; <i1> [#uses=1] |
| 9 | %C = icmp ult i1 false, true ; <i1> [#uses=1] |
| 10 | %D = icmp ugt i1 true, false ; <i1> [#uses=1] |
| 11 | %E = icmp eq i1 false, false ; <i1> [#uses=1] |
| 12 | %F = icmp ne i1 false, true ; <i1> [#uses=1] |
| 13 | %G = and i1 %A, %B ; <i1> [#uses=1] |
| 14 | %H = and i1 %C, %D ; <i1> [#uses=1] |
| 15 | %I = and i1 %E, %F ; <i1> [#uses=1] |
| 16 | %J = and i1 %G, %H ; <i1> [#uses=1] |
| 17 | %K = and i1 %I, %J ; <i1> [#uses=1] |
| 18 | ret i1 %K |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 19 | } |
| 20 | |