From a7f99f28a71635e83d85c68c47ca0fc20ec68400 Mon Sep 17 00:00:00 2001 From: Eli Bendersky Date: Tue, 17 Jan 2012 09:14:54 +0000 Subject: [PATCH] Additional ExecutionEngine tests, as part of bringing up the MCJIT on ELF implementation. Currently lit still executes ExecutionEngine tests with JIT (not MCJIT) by default. MCJIT tests can be executed manually by calling llvm-lit with --param jit_impl=mcjit git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@148299 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../test-call-no-external-funcs.ll | 16 ++++ test/ExecutionEngine/test-common-symbols.ll | 90 +++++++++++++++++++ .../test-fp-no-external-funcs.ll | 22 +++++ .../test-global-init-nonzero.ll | 36 ++++++++ test/ExecutionEngine/test-global.ll | 36 ++++++++ test/ExecutionEngine/test-local.ll | 35 ++++++++ test/ExecutionEngine/test-return.ll | 9 ++ 7 files changed, 244 insertions(+) create mode 100644 test/ExecutionEngine/test-call-no-external-funcs.ll create mode 100644 test/ExecutionEngine/test-common-symbols.ll create mode 100644 test/ExecutionEngine/test-fp-no-external-funcs.ll create mode 100644 test/ExecutionEngine/test-global-init-nonzero.ll create mode 100644 test/ExecutionEngine/test-global.ll create mode 100644 test/ExecutionEngine/test-local.ll create mode 100644 test/ExecutionEngine/test-return.ll diff --git a/test/ExecutionEngine/test-call-no-external-funcs.ll b/test/ExecutionEngine/test-call-no-external-funcs.ll new file mode 100644 index 00000000000..0c98379a0bd --- /dev/null +++ b/test/ExecutionEngine/test-call-no-external-funcs.ll @@ -0,0 +1,16 @@ +; RUN: %lli %s > /dev/null +; XFAIL: arm +; XFAIL: mcjit + +define i32 @_Z14func_exit_codev() nounwind uwtable { +entry: + ret i32 0 +} + +define i32 @main() nounwind uwtable { +entry: + %retval = alloca i32, align 4 + store i32 0, i32* %retval + %call = call i32 @_Z14func_exit_codev() + ret i32 %call +} diff --git a/test/ExecutionEngine/test-common-symbols.ll b/test/ExecutionEngine/test-common-symbols.ll new file mode 100644 index 00000000000..52ce7d1f60f --- /dev/null +++ b/test/ExecutionEngine/test-common-symbols.ll @@ -0,0 +1,90 @@ +; RUN: %lli -O0 -disable-lazy-compilation=false %s +; XFAIL: arm +; XFAIL: mcjit + +; The intention of this test is to verify that symbols mapped to COMMON in ELF +; work as expected. +; +; Compiled from this C code: +; +; int zero_int; +; double zero_double; +; int zero_arr[10]; +; +; int main() +; { +; zero_arr[zero_int + 5] = 40; +; +; if (zero_double < 1.0) +; zero_arr[zero_int + 2] = 70; +; +; for (int i = 1; i < 10; ++i) { +; zero_arr[i] = zero_arr[i - 1] + zero_arr[i]; +; } +; return zero_arr[9] == 110 ? 0 : -1; +; } + +@zero_int = common global i32 0, align 4 +@zero_arr = common global [10 x i32] zeroinitializer, align 16 +@zero_double = common global double 0.000000e+00, align 8 + +define i32 @main() nounwind { +entry: + %retval = alloca i32, align 4 + %i = alloca i32, align 4 + store i32 0, i32* %retval + %0 = load i32* @zero_int, align 4 + %add = add nsw i32 %0, 5 + %idxprom = sext i32 %add to i64 + %arrayidx = getelementptr inbounds [10 x i32]* @zero_arr, i32 0, i64 %idxprom + store i32 40, i32* %arrayidx, align 4 + %1 = load double* @zero_double, align 8 + %cmp = fcmp olt double %1, 1.000000e+00 + br i1 %cmp, label %if.then, label %if.end + +if.then: ; preds = %entry + %2 = load i32* @zero_int, align 4 + %add1 = add nsw i32 %2, 2 + %idxprom2 = sext i32 %add1 to i64 + %arrayidx3 = getelementptr inbounds [10 x i32]* @zero_arr, i32 0, i64 %idxprom2 + store i32 70, i32* %arrayidx3, align 4 + br label %if.end + +if.end: ; preds = %if.then, %entry + store i32 1, i32* %i, align 4 + br label %for.cond + +for.cond: ; preds = %for.inc, %if.end + %3 = load i32* %i, align 4 + %cmp4 = icmp slt i32 %3, 10 + br i1 %cmp4, label %for.body, label %for.end + +for.body: ; preds = %for.cond + %4 = load i32* %i, align 4 + %sub = sub nsw i32 %4, 1 + %idxprom5 = sext i32 %sub to i64 + %arrayidx6 = getelementptr inbounds [10 x i32]* @zero_arr, i32 0, i64 %idxprom5 + %5 = load i32* %arrayidx6, align 4 + %6 = load i32* %i, align 4 + %idxprom7 = sext i32 %6 to i64 + %arrayidx8 = getelementptr inbounds [10 x i32]* @zero_arr, i32 0, i64 %idxprom7 + %7 = load i32* %arrayidx8, align 4 + %add9 = add nsw i32 %5, %7 + %8 = load i32* %i, align 4 + %idxprom10 = sext i32 %8 to i64 + %arrayidx11 = getelementptr inbounds [10 x i32]* @zero_arr, i32 0, i64 %idxprom10 + store i32 %add9, i32* %arrayidx11, align 4 + br label %for.inc + +for.inc: ; preds = %for.body + %9 = load i32* %i, align 4 + %inc = add nsw i32 %9, 1 + store i32 %inc, i32* %i, align 4 + br label %for.cond + +for.end: ; preds = %for.cond + %10 = load i32* getelementptr inbounds ([10 x i32]* @zero_arr, i32 0, i64 9), align 4 + %cmp12 = icmp eq i32 %10, 110 + %cond = select i1 %cmp12, i32 0, i32 -1 + ret i32 %cond +} diff --git a/test/ExecutionEngine/test-fp-no-external-funcs.ll b/test/ExecutionEngine/test-fp-no-external-funcs.ll new file mode 100644 index 00000000000..6b8410a2257 --- /dev/null +++ b/test/ExecutionEngine/test-fp-no-external-funcs.ll @@ -0,0 +1,22 @@ +; RUN: %lli %s > /dev/null +; XFAIL: mcjit + +define double @test(double* %DP, double %Arg) { + %D = load double* %DP ; [#uses=1] + %V = fadd double %D, 1.000000e+00 ; [#uses=2] + %W = fsub double %V, %V ; [#uses=3] + %X = fmul double %W, %W ; [#uses=2] + %Y = fdiv double %X, %X ; [#uses=2] + %Q = fadd double %Y, %Arg ; [#uses=1] + %R = bitcast double %Q to double ; [#uses=1] + store double %Q, double* %DP + ret double %Y +} + +define i32 @main() { + %X = alloca double ; [#uses=2] + store double 0.000000e+00, double* %X + call double @test( double* %X, double 2.000000e+00 ) ; :1 [#uses=0] + ret i32 0 +} + diff --git a/test/ExecutionEngine/test-global-init-nonzero.ll b/test/ExecutionEngine/test-global-init-nonzero.ll new file mode 100644 index 00000000000..a13bfc91f15 --- /dev/null +++ b/test/ExecutionEngine/test-global-init-nonzero.ll @@ -0,0 +1,36 @@ +; RUN: %lli %s > /dev/null +; XFAIL: arm +; XFAIL: mcjit + +@count = global i32 1, align 4 + +define i32 @main() nounwind uwtable { +entry: + %retval = alloca i32, align 4 + %i = alloca i32, align 4 + store i32 0, i32* %retval + store i32 0, i32* %i, align 4 + br label %for.cond + +for.cond: ; preds = %for.inc, %entry + %0 = load i32* %i, align 4 + %cmp = icmp slt i32 %0, 49 + br i1 %cmp, label %for.body, label %for.end + +for.body: ; preds = %for.cond + %1 = load i32* @count, align 4 + %inc = add nsw i32 %1, 1 + store i32 %inc, i32* @count, align 4 + br label %for.inc + +for.inc: ; preds = %for.body + %2 = load i32* %i, align 4 + %inc1 = add nsw i32 %2, 1 + store i32 %inc1, i32* %i, align 4 + br label %for.cond + +for.end: ; preds = %for.cond + %3 = load i32* @count, align 4 + %sub = sub nsw i32 %3, 50 + ret i32 %sub +} diff --git a/test/ExecutionEngine/test-global.ll b/test/ExecutionEngine/test-global.ll new file mode 100644 index 00000000000..ce25cb23c74 --- /dev/null +++ b/test/ExecutionEngine/test-global.ll @@ -0,0 +1,36 @@ +; RUN: %lli %s > /dev/null +; XFAIL: arm +; XFAIL: mcjit + +@count = global i32 0, align 4 + +define i32 @main() nounwind uwtable { +entry: + %retval = alloca i32, align 4 + %i = alloca i32, align 4 + store i32 0, i32* %retval + store i32 0, i32* %i, align 4 + br label %for.cond + +for.cond: ; preds = %for.inc, %entry + %0 = load i32* %i, align 4 + %cmp = icmp slt i32 %0, 50 + br i1 %cmp, label %for.body, label %for.end + +for.body: ; preds = %for.cond + %1 = load i32* @count, align 4 + %inc = add nsw i32 %1, 1 + store i32 %inc, i32* @count, align 4 + br label %for.inc + +for.inc: ; preds = %for.body + %2 = load i32* %i, align 4 + %inc1 = add nsw i32 %2, 1 + store i32 %inc1, i32* %i, align 4 + br label %for.cond + +for.end: ; preds = %for.cond + %3 = load i32* @count, align 4 + %sub = sub nsw i32 %3, 50 + ret i32 %sub +} diff --git a/test/ExecutionEngine/test-local.ll b/test/ExecutionEngine/test-local.ll new file mode 100644 index 00000000000..240b174ac2f --- /dev/null +++ b/test/ExecutionEngine/test-local.ll @@ -0,0 +1,35 @@ +; RUN: %lli %s > /dev/null +; XFAIL: arm + +define i32 @main() nounwind uwtable { +entry: + %retval = alloca i32, align 4 + %count = alloca i32, align 4 + %i = alloca i32, align 4 + store i32 0, i32* %retval + store i32 0, i32* %count, align 4 + store i32 0, i32* %i, align 4 + br label %for.cond + +for.cond: ; preds = %for.inc, %entry + %0 = load i32* %i, align 4 + %cmp = icmp slt i32 %0, 50 + br i1 %cmp, label %for.body, label %for.end + +for.body: ; preds = %for.cond + %1 = load i32* %count, align 4 + %inc = add nsw i32 %1, 1 + store i32 %inc, i32* %count, align 4 + br label %for.inc + +for.inc: ; preds = %for.body + %2 = load i32* %i, align 4 + %inc1 = add nsw i32 %2, 1 + store i32 %inc1, i32* %i, align 4 + br label %for.cond + +for.end: ; preds = %for.cond + %3 = load i32* %count, align 4 + %sub = sub nsw i32 %3, 50 + ret i32 %sub +} diff --git a/test/ExecutionEngine/test-return.ll b/test/ExecutionEngine/test-return.ll new file mode 100644 index 00000000000..be769750a9d --- /dev/null +++ b/test/ExecutionEngine/test-return.ll @@ -0,0 +1,9 @@ +; RUN: %lli %s > /dev/null +; XFAIL: arm + +define i32 @main() nounwind uwtable { +entry: + %retval = alloca i32, align 4 + store i32 0, i32* %retval + ret i32 0 +}