X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FTransforms%2FGlobalOpt%2Fctor-list-opt.ll;h=450bdb830284f963c6e4f00bf78e6e10db31b2e7;hb=1ce308866915c9eab78486066d28d2107b7fede2;hp=d785611d1e27a2d4f9bb94ba025a8a24e885e084;hpb=33c36f399f88fbb5306e182406a92c1ce7bdb7c5;p=oota-llvm.git diff --git a/test/Transforms/GlobalOpt/ctor-list-opt.ll b/test/Transforms/GlobalOpt/ctor-list-opt.ll index d785611d1e2..450bdb83028 100644 --- a/test/Transforms/GlobalOpt/ctor-list-opt.ll +++ b/test/Transforms/GlobalOpt/ctor-list-opt.ll @@ -1,79 +1,115 @@ -; RUN: llvm-as < %s | opt -globalopt -disable-output && -; RUN: llvm-as < %s | opt -globalopt | llvm-dis | not grep CTOR - -%llvm.global_ctors = appending global [8 x { int, void ()* }] [ - { int, void ()* } { int 65535, void ()* %CTOR1 }, - { int, void ()* } { int 65535, void ()* %CTOR1 }, - { int, void ()* } { int 65535, void ()* %CTOR2 }, - { int, void ()* } { int 65535, void ()* %CTOR3 }, - { int, void ()* } { int 65535, void ()* %CTOR4 }, - { int, void ()* } { int 65535, void ()* %CTOR5 }, - { int, void ()* } { int 65535, void ()* %CTOR6 }, - { int, void ()* } { int 2147483647, void ()* null } +; RUN: opt < %s -globalopt -S | FileCheck %s +; CHECK-NOT: CTOR +%ini = type { i32, void()*, i8* } +@llvm.global_ctors = appending global [11 x %ini] [ + %ini { i32 65535, void ()* @CTOR1, i8* null }, + %ini { i32 65535, void ()* @CTOR1, i8* null }, + %ini { i32 65535, void ()* @CTOR2, i8* null }, + %ini { i32 65535, void ()* @CTOR3, i8* null }, + %ini { i32 65535, void ()* @CTOR4, i8* null }, + %ini { i32 65535, void ()* @CTOR5, i8* null }, + %ini { i32 65535, void ()* @CTOR6, i8* null }, + %ini { i32 65535, void ()* @CTOR7, i8* null }, + %ini { i32 65535, void ()* @CTOR8, i8* null }, + %ini { i32 65535, void ()* @CTOR9, i8* null }, + %ini { i32 2147483647, void ()* null, i8* null } ] -%G = global int 0 -%G2 = global int 0 -%G3 = global int -123 +@G = global i32 0 ; [#uses=1] +@G2 = global i32 0 ; [#uses=1] +@G3 = global i32 -123 ; [#uses=2] +@X = global { i32, [2 x i32] } { i32 0, [2 x i32] [ i32 17, i32 21 ] } ; <{ i32, [2 x i32] }*> [#uses=2] +@Y = global i32 -1 ; [#uses=2] +@Z = global i32 123 ; [#uses=1] +@D = global double 0.000000e+00 ; [#uses=1] +@CTORGV = internal global i1 false ; [#uses=2] -%X = global {int, [2 x int]} { int 0, [2 x int] [ int 17, int 21] } +define internal void @CTOR1() { + ret void +} + +define internal void @CTOR2() { + %A = add i32 1, 23 ; [#uses=1] + store i32 %A, i32* @G + store i1 true, i1* @CTORGV + ret void +} -%Y = global int -1 +define internal void @CTOR3() { + %X = or i1 true, false ; [#uses=1] + br label %Cont -%CTORGV = internal global bool false ;; Should become constant after eval +Cont: ; preds = %0 + br i1 %X, label %S, label %T -implementation +S: ; preds = %Cont + store i32 24, i32* @G2 + ret void -internal void %CTOR1() { ;; noop ctor, remove. - ret void +T: ; preds = %Cont + ret void } -internal void %CTOR2() { ;; evaluate the store - %A = add int 1, 23 - store int %A, int* %G - store bool true, bool* %CTORGV - ret void +define internal void @CTOR4() { + %X = load i32* @G3 ; [#uses=1] + %Y = add i32 %X, 123 ; [#uses=1] + store i32 %Y, i32* @G3 + ret void } -internal void %CTOR3() { - %X = or bool true, false - br label %Cont -Cont: - br bool %X, label %S, label %T -S: - store int 24, int* %G2 +define internal void @CTOR5() { + %X.2p = getelementptr inbounds { i32, [2 x i32] }* @X, i32 0, i32 1, i32 0 ; [#uses=2] + %X.2 = load i32* %X.2p ; [#uses=1] + %X.1p = getelementptr inbounds { i32, [2 x i32] }* @X, i32 0, i32 0 ; [#uses=1] + store i32 %X.2, i32* %X.1p + store i32 42, i32* %X.2p ret void -T: +} + +define internal void @CTOR6() { + %A = alloca i32 ; [#uses=2] + %y = load i32* @Y ; [#uses=1] + store i32 %y, i32* %A + %Av = load i32* %A ; [#uses=1] + %Av1 = add i32 %Av, 1 ; [#uses=1] + store i32 %Av1, i32* @Y ret void } -internal void %CTOR4() { - %X = load int* %G3 - %Y = add int %X, 123 - store int %Y, int* %G3 +define internal void @CTOR7() { + call void @setto( i32* @Z, i32 0 ) ret void } -internal void %CTOR5() { - %X.2p = getelementptr {int,[2 x int]}* %X, int 0, uint 1, int 0 - %X.2 = load int* %X.2p - %X.1p = getelementptr {int,[2 x int]}* %X, int 0, uint 0 - store int %X.2, int* %X.1p - store int 42, int* %X.2p +define void @setto(i32* %P, i32 %V) { + store i32 %V, i32* %P ret void } -internal void %CTOR6() { - %A = alloca int - %y = load int* %Y - store int %y, int* %A - %Av = load int* %A - %Av1 = add int %Av, 1 - store int %Av1, int* %Y +declare double @cos(double) + +define internal void @CTOR8() { + %X = call double @cos( double 0.000000e+00 ) ; [#uses=1] + store double %X, double* @D ret void } -bool %accessor() { - %V = load bool* %CTORGV ;; constant true - ret bool %V +define i1 @accessor() { + %V = load i1* @CTORGV ; [#uses=1] + ret i1 %V +} + +%struct.A = type { i32 } +%struct.B = type { i32 (...)**, i8*, [4 x i8] } +@GV1 = global %struct.B zeroinitializer, align 8 +@GV2 = constant [3 x i8*] [i8* inttoptr (i64 16 to i8*), i8* null, i8* bitcast ({ i8*, i8*, i32, i32, i8*, i64 }* null to i8*)] +; CHECK-NOT: CTOR9 +define internal void @CTOR9() { +entry: + %0 = bitcast %struct.B* @GV1 to i8* + %1 = getelementptr inbounds i8* %0, i64 16 + %2 = bitcast i8* %1 to %struct.A* + %3 = bitcast %struct.B* @GV1 to i8*** + store i8** getelementptr inbounds ([3 x i8*]* @GV2, i64 1, i64 0), i8*** %3 + ret void }