| Bill Wendling | d5cc8b8 | 2012-04-24 09:15:38 +0000 | [diff] [blame^] | 1 | ; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s |
| Chandler Carruth | a583990 | 2007-08-06 20:57:16 +0000 | [diff] [blame] | 2 | ; PR1600 |
| Chandler Carruth | a583990 | 2007-08-06 20:57:16 +0000 | [diff] [blame] | 3 | |
| Chandler Carruth | ddbc274 | 2011-12-12 11:59:10 +0000 | [diff] [blame] | 4 | declare i16 @llvm.cttz.i16(i16, i1) |
| Chandler Carruth | a583990 | 2007-08-06 20:57:16 +0000 | [diff] [blame] | 5 | |
| 6 | define i32 @test(i32* %P, i16* %Q) { |
| Bill Wendling | d5cc8b8 | 2012-04-24 09:15:38 +0000 | [diff] [blame^] | 7 | ; CHECK: ret i32 0 |
| Chandler Carruth | a583990 | 2007-08-06 20:57:16 +0000 | [diff] [blame] | 8 | %A = load i16* %Q ; <i16> [#uses=1] |
| 9 | %x = load i32* %P ; <i32> [#uses=1] |
| Chandler Carruth | ddbc274 | 2011-12-12 11:59:10 +0000 | [diff] [blame] | 10 | %B = call i16 @llvm.cttz.i16( i16 %A, i1 true ) ; <i16> [#uses=1] |
| Chandler Carruth | a583990 | 2007-08-06 20:57:16 +0000 | [diff] [blame] | 11 | %y = load i32* %P ; <i32> [#uses=1] |
| 12 | store i16 %B, i16* %Q |
| 13 | %z = sub i32 %x, %y ; <i32> [#uses=1] |
| 14 | ret i32 %z |
| 15 | } |
| 16 | |