| Reid Spencer | 6c38f0b | 2006-11-27 01:05:10 +0000 | [diff] [blame] | 1 | ; Tests to make sure elimination of casts is working correctly |
| Edward O'Callaghan | 484b6c2 | 2009-10-12 06:14:06 +0000 | [diff] [blame] | 2 | ; RUN: opt < %s -instcombine -S | FileCheck %s |
| Reid Spencer | 6c38f0b | 2006-11-27 01:05:10 +0000 | [diff] [blame] | 3 | |
| Tanya Lattner | 5640bd1 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 4 | define i64 @test_sext_zext(i16 %A) { |
| 5 | %c1 = zext i16 %A to i32 ; <i32> [#uses=1] |
| 6 | %c2 = sext i32 %c1 to i64 ; <i64> [#uses=1] |
| 7 | ret i64 %c2 |
| Edward O'Callaghan | 940da90 | 2009-10-12 06:23:56 +0000 | [diff] [blame] | 8 | ; CHECK-NOT: %c1 |
| 9 | ; CHECK: %c2 = zext i16 %A to i64 |
| 10 | ; CHECK: ret i64 %c2 |
| Reid Spencer | 6c38f0b | 2006-11-27 01:05:10 +0000 | [diff] [blame] | 11 | } |