1 ; RUN: opt -S -passes=consthoist < %s | FileCheck %s
2 ; RUN: opt -S -passes='consthoist' < %s | FileCheck %s
4 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
5 target triple = "x86_64-apple-macosx10.9.0"
7 ; Check if the materialization of the constant and the cast instruction are
8 ; inserted in the correct order.
9 define i32 @cast_inst_test() {
10 ; CHECK-LABEL: @cast_inst_test
11 ; CHECK: %const = bitcast i64 4646526064 to i64
12 ; CHECK: %1 = inttoptr i64 %const to ptr
13 ; CHECK: %v0 = load i32, ptr %1, align 16
14 ; CHECK: %const_mat = add i64 %const, 16
15 ; CHECK-NEXT: %2 = inttoptr i64 %const_mat to ptr
16 ; CHECK-NEXT: %v1 = load i32, ptr %2, align 16
17 ; CHECK: %const_mat1 = add i64 %const, 32
18 ; CHECK-NEXT: %3 = inttoptr i64 %const_mat1 to ptr
19 ; CHECK-NEXT: %v2 = load i32, ptr %3, align 16
20 %a0 = inttoptr i64 4646526064 to ptr
21 %v0 = load i32, ptr %a0, align 16
22 %a1 = inttoptr i64 4646526080 to ptr
23 %v1 = load i32, ptr %a1, align 16
24 %a2 = inttoptr i64 4646526096 to ptr
25 %v2 = load i32, ptr %a2, align 16
26 %r0 = add i32 %v0, %v1
27 %r1 = add i32 %r0, %v2