| Juergen Ributzka | 27435b3 | 2014-04-02 21:45:36 +0000 | [diff] [blame] | 1 | ; RUN: opt -S -consthoist < %s | FileCheck %s |
| 2 | |
| 3 | target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" |
| 4 | target triple = "x86_64-apple-macosx10.9.0" |
| 5 | |
| 6 | %T = type { i32, i32, i32, i32 } |
| 7 | |
| Adrian Prantl | fd43f6b | 2014-04-02 22:17:30 +0000 | [diff] [blame] | 8 | ; Test if even cheap base addresses are hoisted. |
| Juergen Ributzka | 27435b3 | 2014-04-02 21:45:36 +0000 | [diff] [blame] | 9 | define i32 @test1() nounwind { |
| 10 | ; CHECK-LABEL: @test1 |
| 11 | ; CHECK: %const = bitcast i32 12345678 to i32 |
| 12 | ; CHECK: %1 = inttoptr i32 %const to %T* |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 13 | ; CHECK: %addr1 = getelementptr %T, %T* %1, i32 0, i32 1 |
| 14 | %addr1 = getelementptr %T, %T* inttoptr (i32 12345678 to %T*), i32 0, i32 1 |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame^] | 15 | %tmp1 = load i32, i32* %addr1 |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 16 | %addr2 = getelementptr %T, %T* inttoptr (i32 12345678 to %T*), i32 0, i32 2 |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame^] | 17 | %tmp2 = load i32, i32* %addr2 |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 18 | %addr3 = getelementptr %T, %T* inttoptr (i32 12345678 to %T*), i32 0, i32 3 |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame^] | 19 | %tmp3 = load i32, i32* %addr3 |
| Juergen Ributzka | 27435b3 | 2014-04-02 21:45:36 +0000 | [diff] [blame] | 20 | %tmp4 = add i32 %tmp1, %tmp2 |
| 21 | %tmp5 = add i32 %tmp3, %tmp4 |
| 22 | ret i32 %tmp5 |
| 23 | } |
| 24 | |