• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: opt -S -consthoist < %s | FileCheck %s
2; RUN: opt -S -passes='consthoist' < %s | FileCheck %s
3
4target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
5target triple = "x86_64-apple-macosx10.9.0"
6
7; Check if the materialization of the constant and the cast instruction are
8; inserted in the correct order.
9define 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 i32*
13; CHECK:        %v0 = load i32, i32* %1, align 16
14; CHECK:        %const_mat = add i64 %const, 16
15; CHECK-NEXT:   %2 = inttoptr i64 %const_mat to i32*
16; CHECK-NEXT:   %v1 = load i32, i32* %2, align 16
17; CHECK:        %const_mat1 = add i64 %const, 32
18; CHECK-NEXT:   %3 = inttoptr i64 %const_mat1 to i32*
19; CHECK-NEXT:   %v2 = load i32, i32* %3, align 16
20  %a0 = inttoptr i64 4646526064 to i32*
21  %v0 = load i32, i32* %a0, align 16
22  %a1 = inttoptr i64 4646526080 to i32*
23  %v1 = load i32, i32* %a1, align 16
24  %a2 = inttoptr i64 4646526096 to i32*
25  %v2 = load i32, i32* %a2, align 16
26  %r0 = add i32 %v0, %v1
27  %r1 = add i32 %r0, %v2
28  ret i32 %r1
29}
30
31