X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FTransforms%2FGlobalOpt%2Fctor-list-opt.ll;h=95e7d4d1ab5b0d82511cfd61498b41286c8edfb0;hb=decd1ad9fcd5d47614f8c756e33dbbe81b2fa043;hp=26ac70617920a663d216760a08694731a4c374cb;hpb=93a900111faf07926e46a8ee0b8e39db57c11036;p=oota-llvm.git diff --git a/test/Transforms/GlobalOpt/ctor-list-opt.ll b/test/Transforms/GlobalOpt/ctor-list-opt.ll index 26ac7061792..95e7d4d1ab5 100644 --- a/test/Transforms/GlobalOpt/ctor-list-opt.ll +++ b/test/Transforms/GlobalOpt/ctor-list-opt.ll @@ -1,92 +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 [9 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 65535, void ()* %CTOR7 }, - { 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 +} -%Y = global int -1 +define internal void @CTOR2() { + %A = add i32 1, 23 ; [#uses=1] + store i32 %A, i32* @G + store i1 true, i1* @CTORGV + ret void +} -%Z = global int 123 +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, 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 - ret void -T: +define internal void @CTOR5() { + %X.2p = getelementptr inbounds { i32, [2 x i32] }, { i32, [2 x i32] }* @X, i32 0, i32 1, i32 0 ; [#uses=2] + %X.2 = load i32, i32* %X.2p ; [#uses=1] + %X.1p = getelementptr inbounds { i32, [2 x i32] }, { 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 } -internal void %CTOR4() { - %X = load int* %G3 - %Y = add int %X, 123 - store int %Y, int* %G3 +define internal void @CTOR6() { + %A = alloca i32 ; [#uses=2] + %y = load i32, i32* @Y ; [#uses=1] + store i32 %y, i32* %A + %Av = load i32, i32* %A ; [#uses=1] + %Av1 = add i32 %Av, 1 ; [#uses=1] + store i32 %Av1, i32* @Y 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 internal void @CTOR7() { + call void @setto( i32* @Z, i32 0 ) 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 +define void @setto(i32* %P, i32 %V) { + store i32 %V, i32* %P ret void } -internal void %CTOR7() { - call void %setto(int* %Z, int 0) +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 } -void %setto(int* %P, int %V) { - store int %V, int* %P - ret void +define i1 @accessor() { + %V = load i1, i1* @CTORGV ; [#uses=1] + ret i1 %V } -bool %accessor() { - %V = load bool* %CTORGV ;; constant true - ret bool %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, 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*], [3 x i8*]* @GV2, i64 1, i64 0), i8*** %3 + ret void }