| Bill Wendling | d5cc8b8 | 2012-04-24 09:15:38 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -basicaa -gvn -dce -S | FileCheck %s |
| Owen Anderson | f92ff03 | 2007-10-25 02:36:18 +0000 | [diff] [blame] | 2 | |
| 3 | %struct.A = type { i32 } |
| 4 | %struct.B = type { %struct.A } |
| 5 | @a = global %struct.B zeroinitializer ; <%struct.B*> [#uses=2] |
| 6 | |
| 7 | define i32 @_Z3fooP1A(%struct.A* %b) { |
| Bill Wendling | d5cc8b8 | 2012-04-24 09:15:38 +0000 | [diff] [blame] | 8 | ; CHECK: %tmp7 = load |
| 9 | ; CHECK: ret i32 %tmp7 |
| Owen Anderson | f92ff03 | 2007-10-25 02:36:18 +0000 | [diff] [blame] | 10 | entry: |
| 11 | store i32 1, i32* getelementptr (%struct.B* @a, i32 0, i32 0, i32 0), align 8 |
| 12 | %tmp4 = getelementptr %struct.A* %b, i32 0, i32 0 ;<i32*> [#uses=1] |
| 13 | store i32 0, i32* %tmp4, align 4 |
| 14 | %tmp7 = load i32* getelementptr (%struct.B* @a, i32 0, i32 0, i32 0), align 8 ; <i32> [#uses=1] |
| 15 | ret i32 %tmp7 |
| 16 | } |