| Reid Spencer | ea8b07e | 2007-03-23 20:48:34 +0000 | [diff] [blame] | 1 | ; Tests to make sure elimination of casts is working correctly |
| 2 | ; This test is for Integer BitWidth <= 64 && BitWidth % 2 != 0. |
| Edward O'Callaghan | cbf75a5 | 2009-10-12 07:18:14 +0000 | [diff] [blame] | 3 | ; RUN: opt < %s -instcombine -S | FileCheck %s |
| Reid Spencer | ea8b07e | 2007-03-23 20:48:34 +0000 | [diff] [blame] | 4 | |
| 5 | define i47 @test_sext_zext(i11 %A) { |
| 6 | %c1 = zext i11 %A to i39 |
| 7 | %c2 = sext i39 %c1 to i47 |
| 8 | ret i47 %c2 |
| Edward O'Callaghan | cbf75a5 | 2009-10-12 07:18:14 +0000 | [diff] [blame] | 9 | ; CHECK: %c2 = zext i11 %A to i47 |
| 10 | ; CHECK: ret i47 %c2 |
| Reid Spencer | ea8b07e | 2007-03-23 20:48:34 +0000 | [diff] [blame] | 11 | } |