| Duncan Sands | 8a3e9d2 | 2007-11-23 19:30:27 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as < %s | opt -basicaa -load-vn -gcse -instcombine | llvm-dis | not grep sub |
| Chris Lattner | ecdbee5 | 2004-03-15 04:17:53 +0000 | [diff] [blame] | 2 | |
| Duncan Sands | 8a3e9d2 | 2007-11-23 19:30:27 +0000 | [diff] [blame] | 3 | declare i32 @strlen(i8*) readonly |
| Chris Lattner | ecdbee5 | 2004-03-15 04:17:53 +0000 | [diff] [blame] | 4 | |
| Duncan Sands | 8a3e9d2 | 2007-11-23 19:30:27 +0000 | [diff] [blame] | 5 | declare void @use(i32) |
| 6 | |
| 7 | define i8 @test(i8* %P, i8* %Q) { |
| 8 | %A = load i8* %Q ; <i8> [#uses=1] |
| 9 | %X = call i32 @strlen( i8* %P ) readonly ; <i32> [#uses=1] |
| 10 | %B = load i8* %Q ; <i8> [#uses=1] |
| 11 | call void @use( i32 %X ) |
| 12 | %C = sub i8 %A, %B ; <i8> [#uses=1] |
| 13 | ret i8 %C |
| Chris Lattner | ecdbee5 | 2004-03-15 04:17:53 +0000 | [diff] [blame] | 14 | } |