42 lines · plain
1; RUN: opt < %s -passes=globalopt -S | FileCheck %s2 3; Test the evaluation of a load via a bitcast and a store via a GEP.4; Check that globals are constant folded to the correct value.5 6; CHECK: @u = dso_local local_unnamed_addr global %union.A { ptr inttoptr (i64 12345 to ptr) }, align 87; CHECK: @l = dso_local local_unnamed_addr global i64 12345, align 88 9target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"10target triple = "x86_64-unknown-linux-gnu"11 12%union.A = type { ptr }13 14$_ZN1AC2Ex = comdat any15 16@u = dso_local global %union.A zeroinitializer, align 817@l = dso_local global i64 0, align 818@llvm.global_ctors = appending global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 65535, ptr @_GLOBAL__sub_I_test.cpp, ptr null }]19 20define internal void @__cxx_global_var_init() section ".text.startup" {21 call void @_ZN1AC2Ex(ptr @u, i64 12345)22 ret void23}24 25define linkonce_odr dso_local void @_ZN1AC2Ex(ptr %this, i64 %ll) unnamed_addr comdat align 2 {26 %l = inttoptr i64 %ll to ptr27 store ptr %l, ptr %this28 ret void29}30 31define internal void @__cxx_global_var_init.1() section ".text.startup" {32 %1 = load i64, ptr @u, align 833 store i64 %1, ptr @l, align 834 ret void35}36 37define internal void @_GLOBAL__sub_I_test.cpp() section ".text.startup" {38 call void @__cxx_global_var_init()39 call void @__cxx_global_var_init.1()40 ret void41}42