| Juergen Ributzka | c11e8b6 | 2014-04-08 20:39:59 +0000 | [diff] [blame] | 1 | ; RUN: llc -mtriple=arm64-darwin-unknown < %s | FileCheck %s |
| 2 | |
| 3 | %T = type { i32, i32, i32, i32 } |
| 4 | |
| 5 | ; Test if the constant base address gets only materialized once. |
| 6 | define i32 @test1() nounwind { |
| 7 | ; CHECK-LABEL: test1 |
| Evandro Menezes | 7960b2e | 2017-01-18 18:57:08 +0000 | [diff] [blame] | 8 | ; CHECK: mov w8, #49152 |
| 9 | ; CHECK-NEXT: movk w8, #1039, lsl #16 |
| Juergen Ributzka | c11e8b6 | 2014-04-08 20:39:59 +0000 | [diff] [blame] | 10 | ; CHECK-NEXT: ldp w9, w10, [x8, #4] |
| 11 | ; CHECK: ldr w8, [x8, #12] |
| 12 | %at = inttoptr i64 68141056 to %T* |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 13 | %o1 = getelementptr %T, %T* %at, i32 0, i32 1 |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 14 | %t1 = load i32, i32* %o1 |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 15 | %o2 = getelementptr %T, %T* %at, i32 0, i32 2 |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 16 | %t2 = load i32, i32* %o2 |
| Juergen Ributzka | c11e8b6 | 2014-04-08 20:39:59 +0000 | [diff] [blame] | 17 | %a1 = add i32 %t1, %t2 |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 18 | %o3 = getelementptr %T, %T* %at, i32 0, i32 3 |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 19 | %t3 = load i32, i32* %o3 |
| Juergen Ributzka | c11e8b6 | 2014-04-08 20:39:59 +0000 | [diff] [blame] | 20 | %a2 = add i32 %a1, %t3 |
| 21 | ret i32 %a2 |
| 22 | } |
| 23 | |