| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | ; This test checks to make sure that constant exprs fold in some simple |
| 2 | ; situations |
| 3 | |
| Tanya Lattner | fc98440 | 2008-02-16 23:27:24 +0000 | [diff] [blame] | 4 | ; RUN: llvm-as < %s | llvm-dis | not grep {(} |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 5 | |
| Tanya Lattner | fc98440 | 2008-02-16 23:27:24 +0000 | [diff] [blame] | 6 | @A = global i64 0 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 7 | |
| Tanya Lattner | fc98440 | 2008-02-16 23:27:24 +0000 | [diff] [blame] | 8 | global i64* inttoptr (i64 add (i64 ptrtoint (i64* @A to i64), i64 0) to i64*) ; X + 0 == X |
| 9 | global i64* inttoptr (i64 sub (i64 ptrtoint (i64* @A to i64), i64 0) to i64*) ; X - 0 == X |
| 10 | global i64* inttoptr (i64 mul (i64 ptrtoint (i64* @A to i64), i64 0) to i64*) ; X * 0 == 0 |
| 11 | global i64* inttoptr (i64 sdiv (i64 ptrtoint (i64* @A to i64), i64 1) to i64*) ; X / 1 == X |
| 12 | global i64* inttoptr (i64 srem (i64 ptrtoint (i64* @A to i64), i64 1) to i64*) ; X % 1 == 0 |
| 13 | global i64* inttoptr (i64 and (i64 ptrtoint (i64* @A to i64), i64 0) to i64*) ; X & 0 == 0 |
| 14 | global i64* inttoptr (i64 and (i64 ptrtoint (i64* @A to i64), i64 -1) to i64*) ; X & -1 == X |
| 15 | global i64 or (i64 ptrtoint (i64* @A to i64), i64 -1) ; X | -1 == -1 |
| 16 | global i64* inttoptr (i64 xor (i64 ptrtoint (i64* @A to i64), i64 0) to i64*) ; X ^ 0 == X |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 17 | |
| Tanya Lattner | fc98440 | 2008-02-16 23:27:24 +0000 | [diff] [blame] | 18 | %Ty = type { i32, i32 } |
| 19 | @B = external global %Ty |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 20 | |
| Tanya Lattner | fc98440 | 2008-02-16 23:27:24 +0000 | [diff] [blame] | 21 | global i1 icmp slt (i64* @A, i64* getelementptr (i64* @A, i64 1)) ; true |
| Nick Lewycky | 4de9f27 | 2009-09-20 04:27:06 +0000 | [diff] [blame^] | 22 | global i1 icmp ult (i64* @A, i64* getelementptr (i64* @A, i64 1)) ; true |
| Tanya Lattner | fc98440 | 2008-02-16 23:27:24 +0000 | [diff] [blame] | 23 | global i1 icmp slt (i64* @A, i64* getelementptr (i64* @A, i64 0)) ; false |
| 24 | global i1 icmp slt (i32* getelementptr (%Ty* @B, i64 0, i32 0), |
| 25 | i32* getelementptr (%Ty* @B, i64 0, i32 1)) ; true |
| Chris Lattner | 2059f92 | 2008-02-17 00:09:08 +0000 | [diff] [blame] | 26 | ;global i1 icmp ne (i64* @A, i64* bitcast (%Ty* @B to i64*)) ; true |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 27 | |
| Chris Lattner | 510fabb | 2008-04-19 22:17:26 +0000 | [diff] [blame] | 28 | ; PR2206 |
| 29 | @cons = weak global i32 0, align 8 ; <i32*> [#uses=1] |
| 30 | global i64 and (i64 ptrtoint (i32* @cons to i64), i64 7) |
| 31 | |