| Nick Lewycky | 73f565e | 2011-01-19 15:56:12 +0000 | [diff] [blame] | 1 | ; RUN: opt -analyze -scalar-evolution %s -S | FileCheck %s |
| 2 | |
| Nick Lewycky | 30aa8b1 | 2011-01-19 16:59:46 +0000 | [diff] [blame] | 3 | define i16 @test1(i8 %x) { |
| Nick Lewycky | 73f565e | 2011-01-19 15:56:12 +0000 | [diff] [blame] | 4 | %A = zext i8 %x to i12 |
| 5 | %B = sext i12 %A to i16 |
| 6 | ; CHECK: zext i8 %x to i16 |
| 7 | ret i16 %B |
| 8 | } |
| Nick Lewycky | 30aa8b1 | 2011-01-19 16:59:46 +0000 | [diff] [blame] | 9 | |
| 10 | define i8 @test2(i8 %x) { |
| 11 | %A = zext i8 %x to i16 |
| 12 | %B = add i16 %A, 1025 |
| 13 | %C = trunc i16 %B to i8 |
| 14 | ; CHECK: (1 + %x) |
| 15 | ret i8 %C |
| 16 | } |
| Nick Lewycky | 5c6fc1c | 2011-01-19 18:56:00 +0000 | [diff] [blame] | 17 | |
| 18 | define i8 @test3(i8 %x) { |
| 19 | %A = zext i8 %x to i16 |
| 20 | %B = mul i16 %A, 1027 |
| 21 | %C = trunc i16 %B to i8 |
| 22 | ; CHECK: (3 * %x) |
| 23 | ret i8 %C |
| 24 | } |