[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / GlobalOpt / ctor-list-opt-constexpr.ll
blobbc9ac5b787216a689a1099eab73653def807c997
1 ; RUN: opt -globalopt -S < %s | FileCheck %s
2 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
3 target triple = "x86_64-apple-darwin10.0.0"
5 %0 = type { i32, void ()*, i8* }
6 %struct.foo = type { i32* }
7 %struct.bar = type { i128 }
9 @G = global i32 0, align 4
10 @H = global i32 0, align 4
11 @X = global %struct.foo zeroinitializer, align 8
12 @X2 = global %struct.bar zeroinitializer, align 8
13 @llvm.global_ctors = appending global [2 x %0] [%0 { i32 65535, void ()* @init1, i8* null }, %0 { i32 65535, void ()* @init2, i8* null }]
15 ; PR8710 - GlobalOpt shouldn't change the global's initializer to have this
16 ; arbitrary constant expression, the code generator can't handle it.
17 define internal void @init1() {
18 entry:
19   %tmp = getelementptr inbounds %struct.foo, %struct.foo* @X, i32 0, i32 0
20   store i32* inttoptr (i64 sdiv (i64 ptrtoint (i32* @G to i64), i64 ptrtoint (i32* @H to i64)) to i32*), i32** %tmp, align 8
21   ret void
23 ; CHECK-LABEL: @init1(
24 ; CHECK: store i32*
26 ; PR11705 - ptrtoint isn't safe in general in global initializers.
27 define internal void @init2() {
28 entry:
29   %tmp = getelementptr inbounds %struct.bar, %struct.bar* @X2, i32 0, i32 0
30   store i128 ptrtoint (i32* @G to i128), i128* %tmp, align 16
31   ret void
33 ; CHECK-LABEL: @init2(
34 ; CHECK: store i128