| Reid Spencer | 69ccadd | 2006-12-02 04:23:10 +0000 | [diff] [blame] | 1 | ; RUN: llvm-upgrade < %s | llvm-as | opt -basicaa -load-vn -gcse -instcombine | llvm-dis | not grep sub |
| Chris Lattner | ffdc4ff | 2004-04-11 16:47:15 +0000 | [diff] [blame] | 2 | |
| Chris Lattner | 4a1f2e3 | 2004-04-11 19:01:35 +0000 | [diff] [blame] | 3 | %S = type { int, sbyte } |
| 4 | |
| Chris Lattner | ffdc4ff | 2004-04-11 16:47:15 +0000 | [diff] [blame] | 5 | sbyte %test(sbyte** %P) { |
| 6 | %A = load sbyte** %P |
| 7 | %B = load sbyte* %A |
| 8 | |
| 9 | %X = load sbyte** %P |
| 10 | %Y = load sbyte* %X |
| 11 | |
| 12 | %R = sub sbyte %B, %Y |
| 13 | ret sbyte %R |
| 14 | } |
| Chris Lattner | 4a1f2e3 | 2004-04-11 19:01:35 +0000 | [diff] [blame] | 15 | |
| 16 | sbyte %test(%S ** %P) { |
| 17 | %A = load %S** %P |
| Reid Spencer | e5d4efa | 2006-11-23 15:14:52 +0000 | [diff] [blame] | 18 | %B = getelementptr %S* %A, int 0, uint 1 |
| Chris Lattner | 4a1f2e3 | 2004-04-11 19:01:35 +0000 | [diff] [blame] | 19 | %C = load sbyte* %B |
| 20 | |
| 21 | %X = load %S** %P |
| Reid Spencer | e5d4efa | 2006-11-23 15:14:52 +0000 | [diff] [blame] | 22 | %Y = getelementptr %S* %X, int 0, uint 1 |
| Chris Lattner | 4a1f2e3 | 2004-04-11 19:01:35 +0000 | [diff] [blame] | 23 | %Z = load sbyte* %Y |
| 24 | |
| 25 | %R = sub sbyte %C, %Z |
| 26 | ret sbyte %R |
| 27 | } |