From f8af5cf600354830d4ccf59732403f0f073eccb9 Mon Sep 17 00:00:00 2001 From: Dimitry Andric Date: Sun, 22 Dec 2013 00:04:03 +0000 Subject: Vendor import of llvm release_34 branch r197841 (effectively, 3.4 RC3): https://llvm.org/svn/llvm-project/llvm/branches/release_34@197841 --- .../ExecutionEngine/MCJIT/Inputs/cross-module-b.ll | 7 + .../ExecutionEngine/MCJIT/Inputs/multi-module-b.ll | 7 + .../ExecutionEngine/MCJIT/Inputs/multi-module-c.ll | 4 + .../MCJIT/Inputs/multi-module-eh-b.ll | 30 ++++ test/ExecutionEngine/MCJIT/cross-module-a.ll | 13 ++ .../ExecutionEngine/MCJIT/cross-module-sm-pic-a.ll | 14 ++ test/ExecutionEngine/MCJIT/eh-lg-pic.ll | 32 ++++ test/ExecutionEngine/MCJIT/eh-sm-pic.ll | 32 ++++ test/ExecutionEngine/MCJIT/hello-sm-pic.ll | 12 ++ test/ExecutionEngine/MCJIT/lit.local.cfg | 23 +-- test/ExecutionEngine/MCJIT/multi-module-a.ll | 9 + test/ExecutionEngine/MCJIT/multi-module-eh-a.ll | 35 ++++ .../ExecutionEngine/MCJIT/multi-module-sm-pic-a.ll | 10 ++ .../MCJIT/remote/Inputs/cross-module-b.ll | 7 + .../MCJIT/remote/Inputs/multi-module-b.ll | 7 + .../MCJIT/remote/Inputs/multi-module-c.ll | 4 + .../ExecutionEngine/MCJIT/remote/cross-module-a.ll | 13 ++ .../MCJIT/remote/cross-module-sm-pic-a.ll | 14 ++ test/ExecutionEngine/MCJIT/remote/lit.local.cfg | 3 + .../ExecutionEngine/MCJIT/remote/multi-module-a.ll | 9 + .../MCJIT/remote/multi-module-sm-pic-a.ll | 10 ++ .../MCJIT/remote/simpletest-remote.ll | 10 ++ test/ExecutionEngine/MCJIT/remote/stubs-remote.ll | 37 ++++ test/ExecutionEngine/MCJIT/remote/stubs-sm-pic.ll | 37 ++++ .../MCJIT/remote/test-common-symbols-remote.ll | 88 ++++++++++ .../MCJIT/remote/test-data-align-remote.ll | 15 ++ .../remote/test-fp-no-external-funcs-remote.ll | 20 +++ .../remote/test-global-init-nonzero-remote.ll | 34 ++++ .../remote/test-global-init-nonzero-sm-pic.ll | 35 ++++ .../MCJIT/remote/test-ptr-reloc-remote.ll | 15 ++ .../MCJIT/remote/test-ptr-reloc-sm-pic.ll | 17 ++ test/ExecutionEngine/MCJIT/simpletest-remote.ll | 12 -- test/ExecutionEngine/MCJIT/stubs-remote.ll | 36 ---- test/ExecutionEngine/MCJIT/stubs-sm-pic.ll | 36 ++++ .../MCJIT/test-common-symbols-remote.ll | 89 ---------- .../MCJIT/test-data-align-remote.ll | 16 -- .../MCJIT/test-fp-no-external-funcs-remote.ll | 22 --- .../MCJIT/test-global-init-nonzero-remote.ll | 35 ---- .../MCJIT/test-global-init-nonzero-sm-pic.ll | 35 ++++ .../ExecutionEngine/MCJIT/test-ptr-reloc-remote.ll | 17 -- .../ExecutionEngine/MCJIT/test-ptr-reloc-sm-pic.ll | 17 ++ .../RuntimeDyld/Inputs/arm_secdiff_reloc.o | Bin 0 -> 616 bytes .../RuntimeDyld/arm_secdiff_reloc.test | 1 + test/ExecutionEngine/fma3-jit.ll | 18 ++ test/ExecutionEngine/lit.local.cfg | 15 +- test/ExecutionEngine/mov64zext32.ll | 18 ++ test/ExecutionEngine/test-interp-vec-cast.ll | 146 ++++++++++++++++ .../test-interp-vec-insertelement.ll | 41 +++++ .../test-interp-vec-insertextractvalue.ll | 21 +++ test/ExecutionEngine/test-interp-vec-loadstore.ll | 190 +++++++++++++++------ test/ExecutionEngine/test-interp-vec-select.ll | 118 +++++++++++++ test/ExecutionEngine/test-interp-vec-shift.ll | 32 ++++ test/ExecutionEngine/test-interp-vec-shuffle.ll | 81 +++++++++ 53 files changed, 1298 insertions(+), 301 deletions(-) create mode 100644 test/ExecutionEngine/MCJIT/Inputs/cross-module-b.ll create mode 100644 test/ExecutionEngine/MCJIT/Inputs/multi-module-b.ll create mode 100644 test/ExecutionEngine/MCJIT/Inputs/multi-module-c.ll create mode 100644 test/ExecutionEngine/MCJIT/Inputs/multi-module-eh-b.ll create mode 100644 test/ExecutionEngine/MCJIT/cross-module-a.ll create mode 100644 test/ExecutionEngine/MCJIT/cross-module-sm-pic-a.ll create mode 100644 test/ExecutionEngine/MCJIT/eh-lg-pic.ll create mode 100644 test/ExecutionEngine/MCJIT/eh-sm-pic.ll create mode 100644 test/ExecutionEngine/MCJIT/hello-sm-pic.ll create mode 100644 test/ExecutionEngine/MCJIT/multi-module-a.ll create mode 100644 test/ExecutionEngine/MCJIT/multi-module-eh-a.ll create mode 100644 test/ExecutionEngine/MCJIT/multi-module-sm-pic-a.ll create mode 100644 test/ExecutionEngine/MCJIT/remote/Inputs/cross-module-b.ll create mode 100644 test/ExecutionEngine/MCJIT/remote/Inputs/multi-module-b.ll create mode 100644 test/ExecutionEngine/MCJIT/remote/Inputs/multi-module-c.ll create mode 100644 test/ExecutionEngine/MCJIT/remote/cross-module-a.ll create mode 100644 test/ExecutionEngine/MCJIT/remote/cross-module-sm-pic-a.ll create mode 100644 test/ExecutionEngine/MCJIT/remote/lit.local.cfg create mode 100644 test/ExecutionEngine/MCJIT/remote/multi-module-a.ll create mode 100644 test/ExecutionEngine/MCJIT/remote/multi-module-sm-pic-a.ll create mode 100644 test/ExecutionEngine/MCJIT/remote/simpletest-remote.ll create mode 100644 test/ExecutionEngine/MCJIT/remote/stubs-remote.ll create mode 100644 test/ExecutionEngine/MCJIT/remote/stubs-sm-pic.ll create mode 100644 test/ExecutionEngine/MCJIT/remote/test-common-symbols-remote.ll create mode 100644 test/ExecutionEngine/MCJIT/remote/test-data-align-remote.ll create mode 100644 test/ExecutionEngine/MCJIT/remote/test-fp-no-external-funcs-remote.ll create mode 100644 test/ExecutionEngine/MCJIT/remote/test-global-init-nonzero-remote.ll create mode 100644 test/ExecutionEngine/MCJIT/remote/test-global-init-nonzero-sm-pic.ll create mode 100644 test/ExecutionEngine/MCJIT/remote/test-ptr-reloc-remote.ll create mode 100644 test/ExecutionEngine/MCJIT/remote/test-ptr-reloc-sm-pic.ll delete mode 100644 test/ExecutionEngine/MCJIT/simpletest-remote.ll delete mode 100644 test/ExecutionEngine/MCJIT/stubs-remote.ll create mode 100644 test/ExecutionEngine/MCJIT/stubs-sm-pic.ll delete mode 100644 test/ExecutionEngine/MCJIT/test-common-symbols-remote.ll delete mode 100644 test/ExecutionEngine/MCJIT/test-data-align-remote.ll delete mode 100644 test/ExecutionEngine/MCJIT/test-fp-no-external-funcs-remote.ll delete mode 100644 test/ExecutionEngine/MCJIT/test-global-init-nonzero-remote.ll create mode 100644 test/ExecutionEngine/MCJIT/test-global-init-nonzero-sm-pic.ll delete mode 100644 test/ExecutionEngine/MCJIT/test-ptr-reloc-remote.ll create mode 100644 test/ExecutionEngine/MCJIT/test-ptr-reloc-sm-pic.ll create mode 100644 test/ExecutionEngine/RuntimeDyld/Inputs/arm_secdiff_reloc.o create mode 100644 test/ExecutionEngine/RuntimeDyld/arm_secdiff_reloc.test create mode 100644 test/ExecutionEngine/fma3-jit.ll create mode 100644 test/ExecutionEngine/mov64zext32.ll create mode 100644 test/ExecutionEngine/test-interp-vec-cast.ll create mode 100644 test/ExecutionEngine/test-interp-vec-insertelement.ll create mode 100644 test/ExecutionEngine/test-interp-vec-insertextractvalue.ll create mode 100644 test/ExecutionEngine/test-interp-vec-select.ll create mode 100644 test/ExecutionEngine/test-interp-vec-shift.ll create mode 100644 test/ExecutionEngine/test-interp-vec-shuffle.ll (limited to 'test/ExecutionEngine') diff --git a/test/ExecutionEngine/MCJIT/Inputs/cross-module-b.ll b/test/ExecutionEngine/MCJIT/Inputs/cross-module-b.ll new file mode 100644 index 0000000000000..687011741103c --- /dev/null +++ b/test/ExecutionEngine/MCJIT/Inputs/cross-module-b.ll @@ -0,0 +1,7 @@ +declare i32 @FA() + +define i32 @FB() { + %r = call i32 @FA( ) ; [#uses=1] + ret i32 %r +} + diff --git a/test/ExecutionEngine/MCJIT/Inputs/multi-module-b.ll b/test/ExecutionEngine/MCJIT/Inputs/multi-module-b.ll new file mode 100644 index 0000000000000..103b601e7f088 --- /dev/null +++ b/test/ExecutionEngine/MCJIT/Inputs/multi-module-b.ll @@ -0,0 +1,7 @@ +declare i32 @FC() + +define i32 @FB() { + %r = call i32 @FC( ) ; [#uses=1] + ret i32 %r +} + diff --git a/test/ExecutionEngine/MCJIT/Inputs/multi-module-c.ll b/test/ExecutionEngine/MCJIT/Inputs/multi-module-c.ll new file mode 100644 index 0000000000000..b39306be9e3be --- /dev/null +++ b/test/ExecutionEngine/MCJIT/Inputs/multi-module-c.ll @@ -0,0 +1,4 @@ +define i32 @FC() { + ret i32 0 +} + diff --git a/test/ExecutionEngine/MCJIT/Inputs/multi-module-eh-b.ll b/test/ExecutionEngine/MCJIT/Inputs/multi-module-eh-b.ll new file mode 100644 index 0000000000000..d7dbb032b5d0a --- /dev/null +++ b/test/ExecutionEngine/MCJIT/Inputs/multi-module-eh-b.ll @@ -0,0 +1,30 @@ +declare i8* @__cxa_allocate_exception(i64) +declare void @__cxa_throw(i8*, i8*, i8*) +declare i32 @__gxx_personality_v0(...) +declare void @__cxa_end_catch() +declare i8* @__cxa_begin_catch(i8*) + +@_ZTIi = external constant i8* + +define void @throwException_B() { + %exception = tail call i8* @__cxa_allocate_exception(i64 4) + call void @__cxa_throw(i8* %exception, i8* bitcast (i8** @_ZTIi to i8*), i8* null) + unreachable +} + +define i32 @FB() { +entry: + invoke void @throwException_B() + to label %try.cont unwind label %lpad + +lpad: + %p = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) + catch i8* bitcast (i8** @_ZTIi to i8*) + %e = extractvalue { i8*, i32 } %p, 0 + call i8* @__cxa_begin_catch(i8* %e) + call void @__cxa_end_catch() + br label %try.cont + +try.cont: + ret i32 0 +} diff --git a/test/ExecutionEngine/MCJIT/cross-module-a.ll b/test/ExecutionEngine/MCJIT/cross-module-a.ll new file mode 100644 index 0000000000000..fe8d3864c9b65 --- /dev/null +++ b/test/ExecutionEngine/MCJIT/cross-module-a.ll @@ -0,0 +1,13 @@ +; RUN: %lli_mcjit -extra-module=%p/Inputs/cross-module-b.ll %s > /dev/null + +declare i32 @FB() + +define i32 @FA() { + ret i32 0 +} + +define i32 @main() { + %r = call i32 @FB( ) ; [#uses=1] + ret i32 %r +} + diff --git a/test/ExecutionEngine/MCJIT/cross-module-sm-pic-a.ll b/test/ExecutionEngine/MCJIT/cross-module-sm-pic-a.ll new file mode 100644 index 0000000000000..ee26702dfae6e --- /dev/null +++ b/test/ExecutionEngine/MCJIT/cross-module-sm-pic-a.ll @@ -0,0 +1,14 @@ +; RUN: %lli_mcjit -extra-module=%p/Inputs/cross-module-b.ll -relocation-model=pic -code-model=small %s > /dev/null +; XFAIL: mips, i686, i386, arm + +declare i32 @FB() + +define i32 @FA() { + ret i32 0 +} + +define i32 @main() { + %r = call i32 @FB( ) ; [#uses=1] + ret i32 %r +} + diff --git a/test/ExecutionEngine/MCJIT/eh-lg-pic.ll b/test/ExecutionEngine/MCJIT/eh-lg-pic.ll new file mode 100644 index 0000000000000..7c0227d74ed67 --- /dev/null +++ b/test/ExecutionEngine/MCJIT/eh-lg-pic.ll @@ -0,0 +1,32 @@ +; RUN: %lli_mcjit -relocation-model=pic -code-model=large %s +; XFAIL: cygwin, win32, mingw, mips, powerpc64, i686, i386, aarch64, arm +declare i8* @__cxa_allocate_exception(i64) +declare void @__cxa_throw(i8*, i8*, i8*) +declare i32 @__gxx_personality_v0(...) +declare void @__cxa_end_catch() +declare i8* @__cxa_begin_catch(i8*) + +@_ZTIi = external constant i8* + +define void @throwException() { + %exception = tail call i8* @__cxa_allocate_exception(i64 4) + call void @__cxa_throw(i8* %exception, i8* bitcast (i8** @_ZTIi to i8*), i8* null) + unreachable +} + +define i32 @main() { +entry: + invoke void @throwException() + to label %try.cont unwind label %lpad + +lpad: + %p = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) + catch i8* bitcast (i8** @_ZTIi to i8*) + %e = extractvalue { i8*, i32 } %p, 0 + call i8* @__cxa_begin_catch(i8* %e) + call void @__cxa_end_catch() + br label %try.cont + +try.cont: + ret i32 0 +} diff --git a/test/ExecutionEngine/MCJIT/eh-sm-pic.ll b/test/ExecutionEngine/MCJIT/eh-sm-pic.ll new file mode 100644 index 0000000000000..00c2bb056ff38 --- /dev/null +++ b/test/ExecutionEngine/MCJIT/eh-sm-pic.ll @@ -0,0 +1,32 @@ +; RUN: %lli_mcjit -relocation-model=pic -code-model=small %s +; XFAIL: cygwin, win32, mingw, mips, i686, i386, darwin, aarch64, arm +declare i8* @__cxa_allocate_exception(i64) +declare void @__cxa_throw(i8*, i8*, i8*) +declare i32 @__gxx_personality_v0(...) +declare void @__cxa_end_catch() +declare i8* @__cxa_begin_catch(i8*) + +@_ZTIi = external constant i8* + +define void @throwException() { + %exception = tail call i8* @__cxa_allocate_exception(i64 4) + call void @__cxa_throw(i8* %exception, i8* bitcast (i8** @_ZTIi to i8*), i8* null) + unreachable +} + +define i32 @main() { +entry: + invoke void @throwException() + to label %try.cont unwind label %lpad + +lpad: + %p = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) + catch i8* bitcast (i8** @_ZTIi to i8*) + %e = extractvalue { i8*, i32 } %p, 0 + call i8* @__cxa_begin_catch(i8* %e) + call void @__cxa_end_catch() + br label %try.cont + +try.cont: + ret i32 0 +} diff --git a/test/ExecutionEngine/MCJIT/hello-sm-pic.ll b/test/ExecutionEngine/MCJIT/hello-sm-pic.ll new file mode 100644 index 0000000000000..115846c78642f --- /dev/null +++ b/test/ExecutionEngine/MCJIT/hello-sm-pic.ll @@ -0,0 +1,12 @@ +; RUN: %lli_mcjit -relocation-model=pic -code-model=small %s > /dev/null +; XFAIL: mips, i686, i386, darwin, aarch64, arm + +@.LC0 = internal global [12 x i8] c"Hello World\00" ; <[12 x i8]*> [#uses=1] + +declare i32 @puts(i8*) + +define i32 @main() { + %reg210 = call i32 @puts( i8* getelementptr ([12 x i8]* @.LC0, i64 0, i64 0) ) ; [#uses=0] + ret i32 0 +} + diff --git a/test/ExecutionEngine/MCJIT/lit.local.cfg b/test/ExecutionEngine/MCJIT/lit.local.cfg index 30ed4e87e6c2f..fdb36ee1d71ce 100644 --- a/test/ExecutionEngine/MCJIT/lit.local.cfg +++ b/test/ExecutionEngine/MCJIT/lit.local.cfg @@ -1,12 +1,4 @@ -config.suffixes = ['.ll', '.c', '.cpp'] - -def getRoot(config): - if not config.parent: - return config - return getRoot(config.parent) - -root = getRoot(config) - +root = config.root targets = set(root.targets_to_build.split()) if ('X86' in targets) | ('AArch64' in targets) | ('ARM' in targets) | \ ('Mips' in targets) | ('PowerPC' in targets) | ('SystemZ' in targets): @@ -14,12 +6,21 @@ if ('X86' in targets) | ('AArch64' in targets) | ('ARM' in targets) | \ else: config.unsupported = True +# FIXME: autoconf and cmake produce different arch names. We should normalize +# them before getting here. if root.host_arch not in ['i386', 'x86', 'x86_64', - 'AArch64', 'ARM', 'Mips', 'PowerPC', 'SystemZ']: + 'AArch64', 'ARM', 'Mips', 'PowerPC', 'ppc64', 'SystemZ']: config.unsupported = True -if 'i386-apple-darwin' in root.target_triple: +if 'armv7' in root.host_arch: + config.unsupported = False + +if 'i386-apple-darwin' in root.target_triple: config.unsupported = True if 'powerpc' in root.target_triple and not 'powerpc64' in root.target_triple: config.unsupported = True + +# ExecutionEngine tests are not expected to pass in a cross-compilation setup. +if 'native' not in config.available_features: + config.unsupported = True diff --git a/test/ExecutionEngine/MCJIT/multi-module-a.ll b/test/ExecutionEngine/MCJIT/multi-module-a.ll new file mode 100644 index 0000000000000..8848ca6117f4b --- /dev/null +++ b/test/ExecutionEngine/MCJIT/multi-module-a.ll @@ -0,0 +1,9 @@ +; RUN: %lli_mcjit -extra-module=%p/Inputs/multi-module-b.ll -extra-module=%p/Inputs/multi-module-c.ll %s > /dev/null + +declare i32 @FB() + +define i32 @main() { + %r = call i32 @FB( ) ; [#uses=1] + ret i32 %r +} + diff --git a/test/ExecutionEngine/MCJIT/multi-module-eh-a.ll b/test/ExecutionEngine/MCJIT/multi-module-eh-a.ll new file mode 100644 index 0000000000000..66fafc924acd1 --- /dev/null +++ b/test/ExecutionEngine/MCJIT/multi-module-eh-a.ll @@ -0,0 +1,35 @@ +; RUN: %lli_mcjit -extra-module=%p/Inputs/multi-module-eh-b.ll %s +; XFAIL: arm, cygwin, win32, mingw +declare i8* @__cxa_allocate_exception(i64) +declare void @__cxa_throw(i8*, i8*, i8*) +declare i32 @__gxx_personality_v0(...) +declare void @__cxa_end_catch() +declare i8* @__cxa_begin_catch(i8*) + +@_ZTIi = external constant i8* + +declare i32 @FB() + +define void @throwException() { + %exception = tail call i8* @__cxa_allocate_exception(i64 4) + call void @__cxa_throw(i8* %exception, i8* bitcast (i8** @_ZTIi to i8*), i8* null) + unreachable +} + +define i32 @main() { +entry: + invoke void @throwException() + to label %try.cont unwind label %lpad + +lpad: + %p = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) + catch i8* bitcast (i8** @_ZTIi to i8*) + %e = extractvalue { i8*, i32 } %p, 0 + call i8* @__cxa_begin_catch(i8* %e) + call void @__cxa_end_catch() + br label %try.cont + +try.cont: + %r = call i32 @FB( ) + ret i32 %r +} diff --git a/test/ExecutionEngine/MCJIT/multi-module-sm-pic-a.ll b/test/ExecutionEngine/MCJIT/multi-module-sm-pic-a.ll new file mode 100644 index 0000000000000..f2fa59f4821fa --- /dev/null +++ b/test/ExecutionEngine/MCJIT/multi-module-sm-pic-a.ll @@ -0,0 +1,10 @@ +; RUN: %lli_mcjit -extra-module=%p/Inputs/multi-module-b.ll -extra-module=%p/Inputs/multi-module-c.ll -relocation-model=pic -code-model=small %s > /dev/null +; XFAIL: mips, i686, i386, arm + +declare i32 @FB() + +define i32 @main() { + %r = call i32 @FB( ) ; [#uses=1] + ret i32 %r +} + diff --git a/test/ExecutionEngine/MCJIT/remote/Inputs/cross-module-b.ll b/test/ExecutionEngine/MCJIT/remote/Inputs/cross-module-b.ll new file mode 100644 index 0000000000000..687011741103c --- /dev/null +++ b/test/ExecutionEngine/MCJIT/remote/Inputs/cross-module-b.ll @@ -0,0 +1,7 @@ +declare i32 @FA() + +define i32 @FB() { + %r = call i32 @FA( ) ; [#uses=1] + ret i32 %r +} + diff --git a/test/ExecutionEngine/MCJIT/remote/Inputs/multi-module-b.ll b/test/ExecutionEngine/MCJIT/remote/Inputs/multi-module-b.ll new file mode 100644 index 0000000000000..103b601e7f088 --- /dev/null +++ b/test/ExecutionEngine/MCJIT/remote/Inputs/multi-module-b.ll @@ -0,0 +1,7 @@ +declare i32 @FC() + +define i32 @FB() { + %r = call i32 @FC( ) ; [#uses=1] + ret i32 %r +} + diff --git a/test/ExecutionEngine/MCJIT/remote/Inputs/multi-module-c.ll b/test/ExecutionEngine/MCJIT/remote/Inputs/multi-module-c.ll new file mode 100644 index 0000000000000..b39306be9e3be --- /dev/null +++ b/test/ExecutionEngine/MCJIT/remote/Inputs/multi-module-c.ll @@ -0,0 +1,4 @@ +define i32 @FC() { + ret i32 0 +} + diff --git a/test/ExecutionEngine/MCJIT/remote/cross-module-a.ll b/test/ExecutionEngine/MCJIT/remote/cross-module-a.ll new file mode 100644 index 0000000000000..094d362262c5c --- /dev/null +++ b/test/ExecutionEngine/MCJIT/remote/cross-module-a.ll @@ -0,0 +1,13 @@ +; RUN: %lli_mcjit -extra-module=%p/Inputs/cross-module-b.ll -disable-lazy-compilation=true -remote-mcjit -mcjit-remote-process=lli-child-target %s > /dev/null + +declare i32 @FB() + +define i32 @FA() { + ret i32 0 +} + +define i32 @main() { + %r = call i32 @FB( ) ; [#uses=1] + ret i32 %r +} + diff --git a/test/ExecutionEngine/MCJIT/remote/cross-module-sm-pic-a.ll b/test/ExecutionEngine/MCJIT/remote/cross-module-sm-pic-a.ll new file mode 100644 index 0000000000000..bdaa9a045c8f4 --- /dev/null +++ b/test/ExecutionEngine/MCJIT/remote/cross-module-sm-pic-a.ll @@ -0,0 +1,14 @@ +; RUN: %lli_mcjit -extra-module=%p/Inputs/cross-module-b.ll -disable-lazy-compilation=true -remote-mcjit -mcjit-remote-process=lli-child-target -relocation-model=pic -code-model=small %s > /dev/null +; XFAIL: mips, i686, i386, arm + +declare i32 @FB() + +define i32 @FA() { + ret i32 0 +} + +define i32 @main() { + %r = call i32 @FB( ) ; [#uses=1] + ret i32 %r +} + diff --git a/test/ExecutionEngine/MCJIT/remote/lit.local.cfg b/test/ExecutionEngine/MCJIT/remote/lit.local.cfg new file mode 100644 index 0000000000000..6b192ae44be70 --- /dev/null +++ b/test/ExecutionEngine/MCJIT/remote/lit.local.cfg @@ -0,0 +1,3 @@ +if 'armv4' in config.root.target_triple or \ + 'armv5' in config.root.target_triple: + config.unsupported = True diff --git a/test/ExecutionEngine/MCJIT/remote/multi-module-a.ll b/test/ExecutionEngine/MCJIT/remote/multi-module-a.ll new file mode 100644 index 0000000000000..91d0387376ca6 --- /dev/null +++ b/test/ExecutionEngine/MCJIT/remote/multi-module-a.ll @@ -0,0 +1,9 @@ +; RUN: %lli_mcjit -extra-module=%p/Inputs/multi-module-b.ll -extra-module=%p/Inputs/multi-module-c.ll -disable-lazy-compilation=true -remote-mcjit -mcjit-remote-process=lli-child-target %s > /dev/null + +declare i32 @FB() + +define i32 @main() { + %r = call i32 @FB( ) ; [#uses=1] + ret i32 %r +} + diff --git a/test/ExecutionEngine/MCJIT/remote/multi-module-sm-pic-a.ll b/test/ExecutionEngine/MCJIT/remote/multi-module-sm-pic-a.ll new file mode 100644 index 0000000000000..73228e458f044 --- /dev/null +++ b/test/ExecutionEngine/MCJIT/remote/multi-module-sm-pic-a.ll @@ -0,0 +1,10 @@ +; RUN: %lli_mcjit -extra-module=%p/Inputs/multi-module-b.ll -extra-module=%p/Inputs/multi-module-c.ll -disable-lazy-compilation=true -remote-mcjit -mcjit-remote-process=lli-child-target -relocation-model=pic -code-model=small %s > /dev/null +; XFAIL: mips, i686, i386, arm + +declare i32 @FB() + +define i32 @main() { + %r = call i32 @FB( ) ; [#uses=1] + ret i32 %r +} + diff --git a/test/ExecutionEngine/MCJIT/remote/simpletest-remote.ll b/test/ExecutionEngine/MCJIT/remote/simpletest-remote.ll new file mode 100644 index 0000000000000..d10a4117a0dda --- /dev/null +++ b/test/ExecutionEngine/MCJIT/remote/simpletest-remote.ll @@ -0,0 +1,10 @@ +; RUN: %lli_mcjit -remote-mcjit -mcjit-remote-process=lli-child-target %s > /dev/null + +define i32 @bar() { + ret i32 0 +} + +define i32 @main() { + %r = call i32 @bar( ) ; [#uses=1] + ret i32 %r +} diff --git a/test/ExecutionEngine/MCJIT/remote/stubs-remote.ll b/test/ExecutionEngine/MCJIT/remote/stubs-remote.ll new file mode 100644 index 0000000000000..97932bc389ac1 --- /dev/null +++ b/test/ExecutionEngine/MCJIT/remote/stubs-remote.ll @@ -0,0 +1,37 @@ +; RUN: %lli_mcjit -remote-mcjit -disable-lazy-compilation=false -mcjit-remote-process=lli-child-target %s +; XFAIL: * +; This test should fail until remote symbol resolution is supported. + +define i32 @main() nounwind { +entry: + call void @lazily_compiled_address_is_consistent() + ret i32 0 +} + +; Test PR3043: @test should have the same address before and after +; it's JIT-compiled. +@funcPtr = common global i1 ()* null, align 4 +@lcaic_failure = internal constant [46 x i8] c"@lazily_compiled_address_is_consistent failed\00" + +define void @lazily_compiled_address_is_consistent() nounwind { +entry: + store i1 ()* @test, i1 ()** @funcPtr + %pass = tail call i1 @test() ; [#uses=1] + br i1 %pass, label %pass_block, label %fail_block +pass_block: + ret void +fail_block: + call i32 @puts(i8* getelementptr([46 x i8]* @lcaic_failure, i32 0, i32 0)) + call void @exit(i32 1) + unreachable +} + +define i1 @test() nounwind { +entry: + %tmp = load i1 ()** @funcPtr + %eq = icmp eq i1 ()* %tmp, @test + ret i1 %eq +} + +declare i32 @puts(i8*) noreturn +declare void @exit(i32) noreturn diff --git a/test/ExecutionEngine/MCJIT/remote/stubs-sm-pic.ll b/test/ExecutionEngine/MCJIT/remote/stubs-sm-pic.ll new file mode 100644 index 0000000000000..88faf21adb1b7 --- /dev/null +++ b/test/ExecutionEngine/MCJIT/remote/stubs-sm-pic.ll @@ -0,0 +1,37 @@ +; RUN: %lli_mcjit -remote-mcjit -disable-lazy-compilation=false -relocation-model=pic -code-model=small %s +; XFAIL: * +; This function should fail until remote symbol resolution is supported. + +define i32 @main() nounwind { +entry: + call void @lazily_compiled_address_is_consistent() + ret i32 0 +} + +; Test PR3043: @test should have the same address before and after +; it's JIT-compiled. +@funcPtr = common global i1 ()* null, align 4 +@lcaic_failure = internal constant [46 x i8] c"@lazily_compiled_address_is_consistent failed\00" + +define void @lazily_compiled_address_is_consistent() nounwind { +entry: + store i1 ()* @test, i1 ()** @funcPtr + %pass = tail call i1 @test() ; [#uses=1] + br i1 %pass, label %pass_block, label %fail_block +pass_block: + ret void +fail_block: + call i32 @puts(i8* getelementptr([46 x i8]* @lcaic_failure, i32 0, i32 0)) + call void @exit(i32 1) + unreachable +} + +define i1 @test() nounwind { +entry: + %tmp = load i1 ()** @funcPtr + %eq = icmp eq i1 ()* %tmp, @test + ret i1 %eq +} + +declare i32 @puts(i8*) noreturn +declare void @exit(i32) noreturn diff --git a/test/ExecutionEngine/MCJIT/remote/test-common-symbols-remote.ll b/test/ExecutionEngine/MCJIT/remote/test-common-symbols-remote.ll new file mode 100644 index 0000000000000..63280895a9a3f --- /dev/null +++ b/test/ExecutionEngine/MCJIT/remote/test-common-symbols-remote.ll @@ -0,0 +1,88 @@ +; RUN: %lli_mcjit -remote-mcjit -O0 -disable-lazy-compilation=false -mcjit-remote-process=lli-child-target %s + +; 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/MCJIT/remote/test-data-align-remote.ll b/test/ExecutionEngine/MCJIT/remote/test-data-align-remote.ll new file mode 100644 index 0000000000000..6b2b97bc2d7e4 --- /dev/null +++ b/test/ExecutionEngine/MCJIT/remote/test-data-align-remote.ll @@ -0,0 +1,15 @@ +; RUN: %lli_mcjit -remote-mcjit -O0 -mcjit-remote-process=lli-child-target %s + +; Check that a variable is always aligned as specified. + +@var = global i32 0, align 32 +define i32 @main() { + %addr = ptrtoint i32* @var to i64 + %mask = and i64 %addr, 31 + %tst = icmp eq i64 %mask, 0 + br i1 %tst, label %good, label %bad +good: + ret i32 0 +bad: + ret i32 1 +} diff --git a/test/ExecutionEngine/MCJIT/remote/test-fp-no-external-funcs-remote.ll b/test/ExecutionEngine/MCJIT/remote/test-fp-no-external-funcs-remote.ll new file mode 100644 index 0000000000000..a8a93a8dc3bf3 --- /dev/null +++ b/test/ExecutionEngine/MCJIT/remote/test-fp-no-external-funcs-remote.ll @@ -0,0 +1,20 @@ +; RUN: %lli_mcjit -remote-mcjit -mcjit-remote-process=lli-child-target %s > /dev/null + +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/MCJIT/remote/test-global-init-nonzero-remote.ll b/test/ExecutionEngine/MCJIT/remote/test-global-init-nonzero-remote.ll new file mode 100644 index 0000000000000..4181fb08842c9 --- /dev/null +++ b/test/ExecutionEngine/MCJIT/remote/test-global-init-nonzero-remote.ll @@ -0,0 +1,34 @@ +; RUN: %lli_mcjit -remote-mcjit -mcjit-remote-process=lli-child-target %s > /dev/null + +@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/MCJIT/remote/test-global-init-nonzero-sm-pic.ll b/test/ExecutionEngine/MCJIT/remote/test-global-init-nonzero-sm-pic.ll new file mode 100644 index 0000000000000..29ab24b39336c --- /dev/null +++ b/test/ExecutionEngine/MCJIT/remote/test-global-init-nonzero-sm-pic.ll @@ -0,0 +1,35 @@ +; RUN: %lli_mcjit -remote-mcjit -relocation-model=pic -code-model=small %s > /dev/null +; XFAIL: mips, aarch64, arm, i686, i386 + +@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/MCJIT/remote/test-ptr-reloc-remote.ll b/test/ExecutionEngine/MCJIT/remote/test-ptr-reloc-remote.ll new file mode 100644 index 0000000000000..8b562972b5d18 --- /dev/null +++ b/test/ExecutionEngine/MCJIT/remote/test-ptr-reloc-remote.ll @@ -0,0 +1,15 @@ +; RUN: %lli_mcjit -remote-mcjit -O0 -mcjit-remote-process=lli-child-target %s + +@.str = private unnamed_addr constant [6 x i8] c"data1\00", align 1 +@ptr = global i8* getelementptr inbounds ([6 x i8]* @.str, i32 0, i32 0), align 4 +@.str1 = private unnamed_addr constant [6 x i8] c"data2\00", align 1 +@ptr2 = global i8* getelementptr inbounds ([6 x i8]* @.str1, i32 0, i32 0), align 4 + +define i32 @main(i32 %argc, i8** nocapture %argv) nounwind readonly { +entry: + %0 = load i8** @ptr, align 4 + %1 = load i8** @ptr2, align 4 + %cmp = icmp eq i8* %0, %1 + %. = zext i1 %cmp to i32 + ret i32 %. +} diff --git a/test/ExecutionEngine/MCJIT/remote/test-ptr-reloc-sm-pic.ll b/test/ExecutionEngine/MCJIT/remote/test-ptr-reloc-sm-pic.ll new file mode 100644 index 0000000000000..bad026fe7d4d2 --- /dev/null +++ b/test/ExecutionEngine/MCJIT/remote/test-ptr-reloc-sm-pic.ll @@ -0,0 +1,17 @@ +; RUN: %lli_mcjit -remote-mcjit -O0 -relocation-model=pic -code-model=small %s +; XFAIL: mips, aarch64, arm, i686, i386 + +@.str = private unnamed_addr constant [6 x i8] c"data1\00", align 1 +@ptr = global i8* getelementptr inbounds ([6 x i8]* @.str, i32 0, i32 0), align 4 +@.str1 = private unnamed_addr constant [6 x i8] c"data2\00", align 1 +@ptr2 = global i8* getelementptr inbounds ([6 x i8]* @.str1, i32 0, i32 0), align 4 + +define i32 @main(i32 %argc, i8** nocapture %argv) nounwind readonly { +entry: + %0 = load i8** @ptr, align 4 + %1 = load i8** @ptr2, align 4 + %cmp = icmp eq i8* %0, %1 + %. = zext i1 %cmp to i32 + ret i32 %. +} + diff --git a/test/ExecutionEngine/MCJIT/simpletest-remote.ll b/test/ExecutionEngine/MCJIT/simpletest-remote.ll deleted file mode 100644 index 9ceaf545c5e60..0000000000000 --- a/test/ExecutionEngine/MCJIT/simpletest-remote.ll +++ /dev/null @@ -1,12 +0,0 @@ -; RUN: %lli_mcjit -remote-mcjit %s > /dev/null -; XFAIL: arm, mips - -define i32 @bar() { - ret i32 0 -} - -define i32 @main() { - %r = call i32 @bar( ) ; [#uses=1] - ret i32 %r -} - diff --git a/test/ExecutionEngine/MCJIT/stubs-remote.ll b/test/ExecutionEngine/MCJIT/stubs-remote.ll deleted file mode 100644 index 15cb5d037efc6..0000000000000 --- a/test/ExecutionEngine/MCJIT/stubs-remote.ll +++ /dev/null @@ -1,36 +0,0 @@ -; RUN: %lli_mcjit -remote-mcjit -disable-lazy-compilation=false %s -; XFAIL: arm, mips - -define i32 @main() nounwind { -entry: - call void @lazily_compiled_address_is_consistent() - ret i32 0 -} - -; Test PR3043: @test should have the same address before and after -; it's JIT-compiled. -@funcPtr = common global i1 ()* null, align 4 -@lcaic_failure = internal constant [46 x i8] c"@lazily_compiled_address_is_consistent failed\00" - -define void @lazily_compiled_address_is_consistent() nounwind { -entry: - store i1 ()* @test, i1 ()** @funcPtr - %pass = tail call i1 @test() ; [#uses=1] - br i1 %pass, label %pass_block, label %fail_block -pass_block: - ret void -fail_block: - call i32 @puts(i8* getelementptr([46 x i8]* @lcaic_failure, i32 0, i32 0)) - call void @exit(i32 1) - unreachable -} - -define i1 @test() nounwind { -entry: - %tmp = load i1 ()** @funcPtr - %eq = icmp eq i1 ()* %tmp, @test - ret i1 %eq -} - -declare i32 @puts(i8*) noreturn -declare void @exit(i32) noreturn diff --git a/test/ExecutionEngine/MCJIT/stubs-sm-pic.ll b/test/ExecutionEngine/MCJIT/stubs-sm-pic.ll new file mode 100644 index 0000000000000..9e214f5d47530 --- /dev/null +++ b/test/ExecutionEngine/MCJIT/stubs-sm-pic.ll @@ -0,0 +1,36 @@ +; RUN: %lli_mcjit -disable-lazy-compilation=false -relocation-model=pic -code-model=small %s +; XFAIL: mips, i686, i386, aarch64, arm + +define i32 @main() nounwind { +entry: + call void @lazily_compiled_address_is_consistent() + ret i32 0 +} + +; Test PR3043: @test should have the same address before and after +; it's JIT-compiled. +@funcPtr = common global i1 ()* null, align 4 +@lcaic_failure = internal constant [46 x i8] c"@lazily_compiled_address_is_consistent failed\00" + +define void @lazily_compiled_address_is_consistent() nounwind { +entry: + store i1 ()* @test, i1 ()** @funcPtr + %pass = tail call i1 @test() ; [#uses=1] + br i1 %pass, label %pass_block, label %fail_block +pass_block: + ret void +fail_block: + call i32 @puts(i8* getelementptr([46 x i8]* @lcaic_failure, i32 0, i32 0)) + call void @exit(i32 1) + unreachable +} + +define i1 @test() nounwind { +entry: + %tmp = load i1 ()** @funcPtr + %eq = icmp eq i1 ()* %tmp, @test + ret i1 %eq +} + +declare i32 @puts(i8*) noreturn +declare void @exit(i32) noreturn diff --git a/test/ExecutionEngine/MCJIT/test-common-symbols-remote.ll b/test/ExecutionEngine/MCJIT/test-common-symbols-remote.ll deleted file mode 100644 index 3b8ee9dd1cce0..0000000000000 --- a/test/ExecutionEngine/MCJIT/test-common-symbols-remote.ll +++ /dev/null @@ -1,89 +0,0 @@ -; RUN: %lli_mcjit -remote-mcjit -O0 -disable-lazy-compilation=false %s -; XFAIL: arm, mips - -; 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/MCJIT/test-data-align-remote.ll b/test/ExecutionEngine/MCJIT/test-data-align-remote.ll deleted file mode 100644 index 9daf1684de816..0000000000000 --- a/test/ExecutionEngine/MCJIT/test-data-align-remote.ll +++ /dev/null @@ -1,16 +0,0 @@ -; RUN: %lli_mcjit -remote-mcjit -O0 %s -; XFAIL: armv7, mips - -; Check that a variable is always aligned as specified. - -@var = global i32 0, align 32 -define i32 @main() { - %addr = ptrtoint i32* @var to i64 - %mask = and i64 %addr, 31 - %tst = icmp eq i64 %mask, 0 - br i1 %tst, label %good, label %bad -good: - ret i32 0 -bad: - ret i32 1 -} diff --git a/test/ExecutionEngine/MCJIT/test-fp-no-external-funcs-remote.ll b/test/ExecutionEngine/MCJIT/test-fp-no-external-funcs-remote.ll deleted file mode 100644 index 847d2253a0edb..0000000000000 --- a/test/ExecutionEngine/MCJIT/test-fp-no-external-funcs-remote.ll +++ /dev/null @@ -1,22 +0,0 @@ -; RUN: %lli_mcjit -remote-mcjit %s > /dev/null -; XFAIL: arm, mips - -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/MCJIT/test-global-init-nonzero-remote.ll b/test/ExecutionEngine/MCJIT/test-global-init-nonzero-remote.ll deleted file mode 100644 index b8d94b50cfe28..0000000000000 --- a/test/ExecutionEngine/MCJIT/test-global-init-nonzero-remote.ll +++ /dev/null @@ -1,35 +0,0 @@ -; RUN: %lli_mcjit -remote-mcjit %s > /dev/null -; XFAIL: arm, mips - -@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/MCJIT/test-global-init-nonzero-sm-pic.ll b/test/ExecutionEngine/MCJIT/test-global-init-nonzero-sm-pic.ll new file mode 100644 index 0000000000000..eb031f2e4f457 --- /dev/null +++ b/test/ExecutionEngine/MCJIT/test-global-init-nonzero-sm-pic.ll @@ -0,0 +1,35 @@ +; RUN: %lli_mcjit -relocation-model=pic -code-model=small %s > /dev/null +; XFAIL: mips, aarch64, arm, i686, i386 + +@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/MCJIT/test-ptr-reloc-remote.ll b/test/ExecutionEngine/MCJIT/test-ptr-reloc-remote.ll deleted file mode 100644 index f2c2cd6199f77..0000000000000 --- a/test/ExecutionEngine/MCJIT/test-ptr-reloc-remote.ll +++ /dev/null @@ -1,17 +0,0 @@ -; RUN: %lli_mcjit -remote-mcjit -O0 %s -; XFAIL: arm, mips - -@.str = private unnamed_addr constant [6 x i8] c"data1\00", align 1 -@ptr = global i8* getelementptr inbounds ([6 x i8]* @.str, i32 0, i32 0), align 4 -@.str1 = private unnamed_addr constant [6 x i8] c"data2\00", align 1 -@ptr2 = global i8* getelementptr inbounds ([6 x i8]* @.str1, i32 0, i32 0), align 4 - -define i32 @main(i32 %argc, i8** nocapture %argv) nounwind readonly { -entry: - %0 = load i8** @ptr, align 4 - %1 = load i8** @ptr2, align 4 - %cmp = icmp eq i8* %0, %1 - %. = zext i1 %cmp to i32 - ret i32 %. -} - diff --git a/test/ExecutionEngine/MCJIT/test-ptr-reloc-sm-pic.ll b/test/ExecutionEngine/MCJIT/test-ptr-reloc-sm-pic.ll new file mode 100644 index 0000000000000..9e067422e3120 --- /dev/null +++ b/test/ExecutionEngine/MCJIT/test-ptr-reloc-sm-pic.ll @@ -0,0 +1,17 @@ +; RUN: %lli_mcjit -O0 -relocation-model=pic -code-model=small %s +; XFAIL: mips, aarch64, arm, i686, i386 + +@.str = private unnamed_addr constant [6 x i8] c"data1\00", align 1 +@ptr = global i8* getelementptr inbounds ([6 x i8]* @.str, i32 0, i32 0), align 4 +@.str1 = private unnamed_addr constant [6 x i8] c"data2\00", align 1 +@ptr2 = global i8* getelementptr inbounds ([6 x i8]* @.str1, i32 0, i32 0), align 4 + +define i32 @main(i32 %argc, i8** nocapture %argv) nounwind readonly { +entry: + %0 = load i8** @ptr, align 4 + %1 = load i8** @ptr2, align 4 + %cmp = icmp eq i8* %0, %1 + %. = zext i1 %cmp to i32 + ret i32 %. +} + diff --git a/test/ExecutionEngine/RuntimeDyld/Inputs/arm_secdiff_reloc.o b/test/ExecutionEngine/RuntimeDyld/Inputs/arm_secdiff_reloc.o new file mode 100644 index 0000000000000..5392266cf560c Binary files /dev/null and b/test/ExecutionEngine/RuntimeDyld/Inputs/arm_secdiff_reloc.o differ diff --git a/test/ExecutionEngine/RuntimeDyld/arm_secdiff_reloc.test b/test/ExecutionEngine/RuntimeDyld/arm_secdiff_reloc.test new file mode 100644 index 0000000000000..92e4dd793ccbe --- /dev/null +++ b/test/ExecutionEngine/RuntimeDyld/arm_secdiff_reloc.test @@ -0,0 +1 @@ +RUN: llvm-rtdyld -printline %p/Inputs/arm_secdiff_reloc.o diff --git a/test/ExecutionEngine/fma3-jit.ll b/test/ExecutionEngine/fma3-jit.ll new file mode 100644 index 0000000000000..25eaa65a538b3 --- /dev/null +++ b/test/ExecutionEngine/fma3-jit.ll @@ -0,0 +1,18 @@ +; RUN: %lli %s | FileCheck %s +; REQUIRES: fma3 +; CHECK: 12.000000 + +@msg_double = internal global [4 x i8] c"%f\0A\00" + +declare i32 @printf(i8*, ...) + +define i32 @main() { + %fma = tail call double @llvm.fma.f64(double 3.0, double 3.0, double 3.0) nounwind readnone + + %ptr1 = getelementptr [4 x i8]* @msg_double, i32 0, i32 0 + call i32 (i8*,...)* @printf(i8* %ptr1, double %fma) + + ret i32 0 +} + +declare double @llvm.fma.f64(double, double, double) nounwind readnone diff --git a/test/ExecutionEngine/lit.local.cfg b/test/ExecutionEngine/lit.local.cfg index b6945adf015aa..28c56ad9c5c24 100644 --- a/test/ExecutionEngine/lit.local.cfg +++ b/test/ExecutionEngine/lit.local.cfg @@ -1,14 +1,9 @@ -config.suffixes = ['.ll', '.c', '.cpp'] - -def getRoot(config): - if not config.parent: - return config - return getRoot(config.parent) - -root = getRoot(config) +if config.root.host_arch in ['PowerPC', 'AArch64', 'SystemZ']: + config.unsupported = True -if root.host_arch in ['PowerPC', 'AArch64', 'SystemZ']: +if 'hexagon' in config.root.target_triple: config.unsupported = True -if 'hexagon' in root.target_triple: +# ExecutionEngine tests are not expected to pass in a cross-compilation setup. +if 'native' not in config.available_features: config.unsupported = True diff --git a/test/ExecutionEngine/mov64zext32.ll b/test/ExecutionEngine/mov64zext32.ll new file mode 100644 index 0000000000000..f38c21a5698f9 --- /dev/null +++ b/test/ExecutionEngine/mov64zext32.ll @@ -0,0 +1,18 @@ +; RUN: %lli %s > /dev/null +; XFAIL: arm + +define i64 @foo() { + ret i64 42 +} + +define i32 @main() { + %val = call i64 @foo() + %is42 = icmp eq i64 %val, 42 + br i1 %is42, label %good, label %bad + +good: + ret i32 0 + +bad: + ret i32 1 +} diff --git a/test/ExecutionEngine/test-interp-vec-cast.ll b/test/ExecutionEngine/test-interp-vec-cast.ll new file mode 100644 index 0000000000000..3f9f66640fa12 --- /dev/null +++ b/test/ExecutionEngine/test-interp-vec-cast.ll @@ -0,0 +1,146 @@ +; RUN: %lli -force-interpreter=true %s > /dev/null + +define i32 @main() { + zext <2 x i1> to <2 x i8> + zext <3 x i1> to <3 x i8> + zext <2 x i1> to <2 x i16> + zext <3 x i1> to <3 x i16> + zext <2 x i1> to <2 x i32> + zext <3 x i1> to <3 x i32> + zext <2 x i1> to <2 x i64> + zext <3 x i1> to <3 x i64> + zext <3 x i8> to <3 x i16> + zext <2 x i8> to <2 x i16> + zext <3 x i8> to <3 x i32> + zext <2 x i8> to <2 x i32> + zext <3 x i8> to <3 x i64> + zext <2 x i8> to <2 x i64> + zext <3 x i16> to <3 x i32> + zext <2 x i16> to <2 x i32> + zext <3 x i16> to <3 x i64> + zext <2 x i16> to <2 x i64> + zext <3 x i32> to <3 x i64> + zext <2 x i32> to <2 x i64> + + + sext <2 x i1> to <2 x i8> + sext <3 x i1> to <3 x i8> + sext <2 x i1> to <2 x i16> + sext <3 x i1> to <3 x i16> + sext <2 x i1> to <2 x i32> + sext <3 x i1> to <3 x i32> + sext <2 x i1> to <2 x i64> + sext <3 x i1> to <3 x i64> + sext <3 x i8> to <3 x i16> + sext <2 x i8> to <2 x i16> + sext <3 x i8> to <3 x i32> + sext <2 x i8> to <2 x i32> + sext <3 x i8> to <3 x i64> + sext <2 x i8> to <2 x i64> + sext <3 x i16> to <3 x i32> + sext <2 x i16> to <2 x i32> + sext <3 x i16> to <3 x i64> + sext <2 x i16> to <2 x i64> + sext <3 x i32> to <3 x i64> + sext <2 x i32> to <2 x i64> + + + uitofp <3 x i1> to <3 x float> + uitofp <2 x i1> to <2 x double> + uitofp <3 x i8> to <3 x float> + uitofp <2 x i8> to <2 x double> + uitofp <3 x i16> to <3 x float> + uitofp <2 x i16> to <2 x double> + uitofp <3 x i32> to <3 x float> + uitofp <2 x i32> to <2 x double> + uitofp <3 x i64> to <3 x float> + uitofp <2 x i64> to <2 x double> + + + sitofp <3 x i1> to <3 x float> + sitofp <2 x i1> to <2 x double> + sitofp <3 x i8> to <3 x float> + sitofp <2 x i8> to <2 x double> + sitofp <3 x i16> to <3 x float> + sitofp <2 x i16> to <2 x double> + sitofp <3 x i32> to <3 x float> + sitofp <2 x i32> to <2 x double> + sitofp <3 x i64> to <3 x float> + sitofp <2 x i64> to <2 x double> + + trunc <2 x i16> to <2 x i8> + trunc <3 x i16> to <3 x i8> + trunc <2 x i32> to <2 x i8> + trunc <3 x i32> to <3 x i8> + trunc <2 x i32> to <2 x i16> + trunc <3 x i32> to <3 x i16> + trunc <2 x i64> to <2 x i8> + trunc <3 x i64> to <3 x i8> + trunc <2 x i64> to <2 x i16> + trunc <3 x i64> to <3 x i16> + trunc <2 x i64> to <2 x i32> + trunc <3 x i64> to <3 x i32> + + + fpext <2 x float> < float 0.000000e+00, float 1.0> to <2 x double> + fpext <3 x float> < float 0.000000e+00, float -1.0, float 1.0> to <3 x double> + + fptosi <2 x double> < double 0.000000e+00, double 1.0> to <2 x i8> + fptosi <3 x double> < double 0.000000e+00, double 1.0, double -1.0> to <3 x i8> + fptosi <2 x double> < double 0.000000e+00, double 1.0> to <2 x i16> + fptosi <3 x double> < double 0.000000e+00, double 1.0, double -1.0> to <3 x i16> + fptosi <2 x double> < double 0.000000e+00, double 1.0> to <2 x i32> + fptosi <3 x double> < double 0.000000e+00, double 1.0, double -1.0> to <3 x i32> + fptosi <2 x double> < double 0.000000e+00, double 1.0> to <2 x i64> + fptosi <3 x double> < double 0.000000e+00, double 1.0, double -1.0> to <3 x i64> + + fptoui <2 x double> < double 0.000000e+00, double 1.0> to <2 x i8> + fptoui <3 x double> < double 0.000000e+00, double 1.0, double -1.0> to <3 x i8> + fptoui <2 x double> < double 0.000000e+00, double 1.0> to <2 x i16> + fptoui <3 x double> < double 0.000000e+00, double 1.0, double -1.0> to <3 x i16> + fptoui <2 x double> < double 0.000000e+00, double 1.0> to <2 x i32> + fptoui <3 x double> < double 0.000000e+00, double 1.0, double -1.0> to <3 x i32> + fptoui <2 x double> < double 0.000000e+00, double 1.0> to <2 x i64> + fptoui <3 x double> < double 0.000000e+00, double 1.0, double -1.0> to <3 x i64> + + fptrunc <2 x double> < double 0.000000e+00, double 1.0> to <2 x float> + fptrunc <3 x double> < double 0.000000e+00, double 1.0, double -1.0> to <3 x float> + + bitcast <8 x i8> to <4 x i16> + bitcast <8 x i8> to <2 x i32> + bitcast <8 x i8> to i64 + bitcast <8 x i8> to <2 x float> + bitcast <8 x i8> to double + + bitcast <4 x i16> to <8 x i8> + bitcast <4 x i16> to <2 x i32> + bitcast <4 x i16> to i64 + bitcast <4 x i16> to <2 x float> + bitcast <4 x i16> to double + + bitcast <2 x i32> to <8 x i8> + bitcast <2 x i32> to <4 x i16> + bitcast <2 x i32> to i64 + bitcast <2 x i32> to <2 x float> + bitcast <2 x i32> to double + + bitcast i64 1 to <8 x i8> + bitcast i64 1 to <4 x i16> + bitcast i64 1 to <2 x i32> + bitcast i64 1 to <2 x float> + bitcast i64 1 to double + + bitcast <2 x float> to <8 x i8> + bitcast <2 x float> to <4 x i16> + bitcast <2 x float> to i64 + bitcast <2 x float> to <2 x i32> + bitcast <2 x float> to double + + bitcast double 1.0 to <8 x i8> + bitcast double 1.0 to <4 x i16> + bitcast double 1.0 to <2 x i32> + bitcast double 1.0 to <2 x float> + bitcast double 1.0 to i64 + + ret i32 0 +} diff --git a/test/ExecutionEngine/test-interp-vec-insertelement.ll b/test/ExecutionEngine/test-interp-vec-insertelement.ll new file mode 100644 index 0000000000000..814b90533d0cf --- /dev/null +++ b/test/ExecutionEngine/test-interp-vec-insertelement.ll @@ -0,0 +1,41 @@ + ; RUN: %lli -force-interpreter=true %s > /dev/null + +define i32 @main() { + %v0 = insertelement <2 x i8> zeroinitializer, i8 1, i32 1 + %v1 = insertelement <3 x i8> zeroinitializer, i8 2, i32 2 + %v2 = insertelement <4 x i8> zeroinitializer, i8 3, i32 3 + %v3 = insertelement <8 x i8> zeroinitializer, i8 4, i32 4 + %v4 = insertelement <16 x i8> zeroinitializer, i8 5, i32 7 + + %v5 = insertelement <2 x i16> zeroinitializer, i16 1, i32 1 + %v6 = insertelement <3 x i16> zeroinitializer, i16 2, i32 2 + %v7 = insertelement <4 x i16> zeroinitializer, i16 3, i32 3 + %v8 = insertelement <8 x i16> zeroinitializer, i16 4, i32 4 + %v9 = insertelement <16 x i16> zeroinitializer, i16 5, i32 7 + + %v10 = insertelement <2 x i32> zeroinitializer, i32 1, i32 1 + %v11 = insertelement <3 x i32> zeroinitializer, i32 2, i32 2 + %v12 = insertelement <4 x i32> zeroinitializer, i32 3, i32 3 + %v13 = insertelement <8 x i32> zeroinitializer, i32 4, i32 4 + %v14 = insertelement <16 x i32> zeroinitializer, i32 5, i32 7 + + %v15 = insertelement <2 x i64> zeroinitializer, i64 1, i32 1 + %v16 = insertelement <3 x i64> zeroinitializer, i64 2, i32 2 + %v17 = insertelement <4 x i64> zeroinitializer, i64 3, i32 3 + %v18 = insertelement <8 x i64> zeroinitializer, i64 4, i32 4 + %v19 = insertelement <16 x i64> zeroinitializer, i64 5, i32 7 + + %v20 = insertelement <2 x float> zeroinitializer, float 1.0, i32 1 + %v21 = insertelement <3 x float> zeroinitializer, float 2.0, i32 2 + %v22 = insertelement <4 x float> zeroinitializer, float 3.0, i32 3 + %v23 = insertelement <8 x float> zeroinitializer, float 4.0, i32 4 + %v24 = insertelement <16 x float> zeroinitializer, float 5.0, i32 7 + + %v25 = insertelement <2 x double> zeroinitializer, double 1.0, i32 1 + %v26 = insertelement <3 x double> zeroinitializer, double 2.0, i32 2 + %v27 = insertelement <4 x double> zeroinitializer, double 3.0, i32 3 + %v28 = insertelement <8 x double> zeroinitializer, double 4.0, i32 4 + %v29 = insertelement <16 x double> zeroinitializer, double 5.0, i32 7 + + ret i32 0 +} diff --git a/test/ExecutionEngine/test-interp-vec-insertextractvalue.ll b/test/ExecutionEngine/test-interp-vec-insertextractvalue.ll new file mode 100644 index 0000000000000..09fbf6abc3fd7 --- /dev/null +++ b/test/ExecutionEngine/test-interp-vec-insertextractvalue.ll @@ -0,0 +1,21 @@ + ; RUN: %lli -force-interpreter=true %s > /dev/null + +define i32 @main() { + + %s1 = insertvalue { i32, { float, double} } undef, i32 9, 0 + %s2 = insertvalue { i32, { float, double} } %s1, float 3.0, 1, 0 + %s3 = insertvalue { i32, { float, double} } %s2, double 5.0, 1, 1 + + %s4 = extractvalue { i32, { float, double} } %s3, 1 + + %a1 = extractvalue { i32, { float, double} } %s3, 0 + + %a2 = extractvalue { i32, { float, double} } %s3, 1, 0 + %a3 = extractvalue { i32, { float, double} } %s3, 1, 1 + %a4 = extractvalue { float, double} %s4, 0 + %a5 = extractvalue { float, double} %s4, 1 + + %aa = fpext float %a4 to double + + ret i32 0 +} diff --git a/test/ExecutionEngine/test-interp-vec-loadstore.ll b/test/ExecutionEngine/test-interp-vec-loadstore.ll index e5007114c0708..665a135d6bc9b 100644 --- a/test/ExecutionEngine/test-interp-vec-loadstore.ll +++ b/test/ExecutionEngine/test-interp-vec-loadstore.ll @@ -1,22 +1,11 @@ ; RUN: %lli -force-interpreter=true %s | FileCheck %s -; XFAIL: mips -; CHECK: 1 -; CHECK: 2 -; CHECK: 3 -; CHECK: 4 -; CHECK: 5.{{[0]+}}e+{{[0]+}} -; CHECK: 6.{{[0]+}}e+{{[0]+}} -; CHECK: 7.{{[0]+}}e+{{[0]+}} -; CHECK: 8.{{[0]+}}e+{{[0]+}} -; CHECK: 9.{{[0]+}}e+{{[0]+}} -; CHECK: 1.{{[0]+}}e+{{[0]+}}1 -; CHECK: 1.1{{[0]+}}e+{{[0]+}}1 -; CHECK: 1.2{{[0]+}}e+{{[0]+}}1 - -target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f80:128:128-v64:64:64-v128:128:128-a0:0:64-f80:32:32-n8:16:32" - -@format_i32 = internal global [4 x i8] c"%d\0A\00" -@format_float = internal global [4 x i8] c"%e\0A\00" +; CHECK: int test passed +; CHECK: double test passed +; CHECK: float test passed + +@msg_int = internal global [17 x i8] c"int test passed\0A\00" +@msg_double = internal global [20 x i8] c"double test passed\0A\00" +@msg_float = internal global [19 x i8] c"float test passed\0A\00" declare i32 @printf(i8*, ...) @@ -24,62 +13,157 @@ define i32 @main() { %a = alloca <4 x i32>, align 16 %b = alloca <4 x double>, align 16 %c = alloca <4 x float>, align 16 - + %pint_0 = alloca i32 + %pint_1 = alloca i32 + %pint_2 = alloca i32 + %pint_3 = alloca i32 + %pdouble_0 = alloca double + %pdouble_1 = alloca double + %pdouble_2 = alloca double + %pdouble_3 = alloca double + %pfloat_0 = alloca float + %pfloat_1 = alloca float + %pfloat_2 = alloca float + %pfloat_3 = alloca float + + ; store constants 1,2,3,4 as vector store <4 x i32> , <4 x i32>* %a, align 16 + ; store constants 1,2,3,4 as scalars + store i32 1, i32* %pint_0 + store i32 2, i32* %pint_1 + store i32 3, i32* %pint_2 + store i32 4, i32* %pint_3 + + ; load stored scalars + %val_int0 = load i32* %pint_0 + %val_int1 = load i32* %pint_1 + %val_int2 = load i32* %pint_2 + %val_int3 = load i32* %pint_3 + ; load stored vector %val0 = load <4 x i32> *%a, align 16 + ; extract integers from the loaded vector %res_i32_0 = extractelement <4 x i32> %val0, i32 0 %res_i32_1 = extractelement <4 x i32> %val0, i32 1 %res_i32_2 = extractelement <4 x i32> %val0, i32 2 %res_i32_3 = extractelement <4 x i32> %val0, i32 3 - - %ptr0 = getelementptr [4 x i8]* @format_i32, i32 0, i32 0 - call i32 (i8*,...)* @printf(i8* %ptr0, i32 %res_i32_0) - call i32 (i8*,...)* @printf(i8* %ptr0, i32 %res_i32_1) - call i32 (i8*,...)* @printf(i8* %ptr0, i32 %res_i32_2) - call i32 (i8*,...)* @printf(i8* %ptr0, i32 %res_i32_3) + ; compare extracted data with stored constants + %test_result_int_0 = icmp eq i32 %res_i32_0, %val_int0 + %test_result_int_1 = icmp eq i32 %res_i32_1, %val_int1 + %test_result_int_2 = icmp eq i32 %res_i32_2, %val_int2 + %test_result_int_3 = icmp eq i32 %res_i32_3, %val_int3 + + %test_result_int_4 = icmp eq i32 %res_i32_0, %val_int3 + %test_result_int_5 = icmp eq i32 %res_i32_1, %val_int2 + %test_result_int_6 = icmp eq i32 %res_i32_2, %val_int1 + %test_result_int_7 = icmp eq i32 %res_i32_3, %val_int0 + + ; it should be TRUE + %A_i = or i1 %test_result_int_0, %test_result_int_4 + %B_i = or i1 %test_result_int_1, %test_result_int_5 + %C_i = or i1 %test_result_int_2, %test_result_int_6 + %D_i = or i1 %test_result_int_3, %test_result_int_7 + %E_i = and i1 %A_i, %B_i + %F_i = and i1 %C_i, %D_i + %res_i = and i1 %E_i, %F_i + + ; if TRUE print message + br i1 %res_i, label %Print_int, label %Double +Print_int: + %ptr0 = getelementptr [17 x i8]* @msg_int, i32 0, i32 0 + call i32 (i8*,...)* @printf(i8* %ptr0) + br label %Double +Double: store <4 x double> , <4 x double>* %b, align 16 + ; store constants as scalars + store double 5.0, double* %pdouble_0 + store double 6.0, double* %pdouble_1 + store double 7.0, double* %pdouble_2 + store double 8.0, double* %pdouble_3 + ; load stored vector %val1 = load <4 x double> *%b, align 16 + ; load stored scalars + %val_double0 = load double* %pdouble_0 + %val_double1 = load double* %pdouble_1 + %val_double2 = load double* %pdouble_2 + %val_double3 = load double* %pdouble_3 %res_double_0 = extractelement <4 x double> %val1, i32 0 %res_double_1 = extractelement <4 x double> %val1, i32 1 %res_double_2 = extractelement <4 x double> %val1, i32 2 %res_double_3 = extractelement <4 x double> %val1, i32 3 - - %ptr1 = getelementptr [4 x i8]* @format_float, i32 0, i32 0 - call i32 (i8*,...)* @printf(i8* %ptr1, double %res_double_0) - call i32 (i8*,...)* @printf(i8* %ptr1, double %res_double_1) - call i32 (i8*,...)* @printf(i8* %ptr1, double %res_double_2) - call i32 (i8*,...)* @printf(i8* %ptr1, double %res_double_3) + %test_result_double_0 = fcmp oeq double %res_double_0, %val_double0 + %test_result_double_1 = fcmp oeq double %res_double_1, %val_double1 + %test_result_double_2 = fcmp oeq double %res_double_2, %val_double2 + %test_result_double_3 = fcmp oeq double %res_double_3, %val_double3 + + %test_result_double_4 = fcmp oeq double %res_double_0, %val_double3 + %test_result_double_5 = fcmp oeq double %res_double_1, %val_double2 + %test_result_double_6 = fcmp oeq double %res_double_2, %val_double1 + %test_result_double_7 = fcmp oeq double %res_double_3, %val_double0 + + %A_double = or i1 %test_result_double_0, %test_result_double_4 + %B_double = or i1 %test_result_double_1, %test_result_double_5 + %C_double = or i1 %test_result_double_2, %test_result_double_6 + %D_double = or i1 %test_result_double_3, %test_result_double_7 + %E_double = and i1 %A_double, %B_double + %F_double = and i1 %C_double, %D_double + %res_double = and i1 %E_double, %F_double + br i1 %res_double, label %Print_double, label %Float +Print_double: + %ptr1 = getelementptr [20 x i8]* @msg_double, i32 0, i32 0 + call i32 (i8*,...)* @printf(i8* %ptr1) + br label %Float +Float: store <4 x float> , <4 x float>* %c, align 16 - + + store float 9.0, float* %pfloat_0 + store float 10.0, float* %pfloat_1 + store float 11.0, float* %pfloat_2 + store float 12.0, float* %pfloat_3 + + ; load stored vector %val2 = load <4 x float> *%c, align 16 - - %ptr2 = getelementptr [4 x i8]* @format_float, i32 0, i32 0 + ; load stored scalars + %val_float0 = load float* %pfloat_0 + %val_float1 = load float* %pfloat_1 + %val_float2 = load float* %pfloat_2 + %val_float3 = load float* %pfloat_3 + + %res_float_0 = extractelement <4 x float> %val2, i32 0 + %res_float_1 = extractelement <4 x float> %val2, i32 1 + %res_float_2 = extractelement <4 x float> %val2, i32 2 + %res_float_3 = extractelement <4 x float> %val2, i32 3 + + %test_result_float_0 = fcmp oeq float %res_float_0, %val_float0 + %test_result_float_1 = fcmp oeq float %res_float_1, %val_float1 + %test_result_float_2 = fcmp oeq float %res_float_2, %val_float2 + %test_result_float_3 = fcmp oeq float %res_float_3, %val_float3 + + %test_result_float_4 = fcmp oeq float %res_float_0, %val_float3 + %test_result_float_5 = fcmp oeq float %res_float_1, %val_float2 + %test_result_float_6 = fcmp oeq float %res_float_2, %val_float1 + %test_result_float_7 = fcmp oeq float %res_float_3, %val_float0 + + %A_float = or i1 %test_result_float_0, %test_result_float_4 + %B_float = or i1 %test_result_float_1, %test_result_float_5 + %C_float = or i1 %test_result_float_2, %test_result_float_6 + %D_float = or i1 %test_result_float_3, %test_result_float_7 + %E_float = and i1 %A_float, %B_float + %F_float = and i1 %C_float, %D_float + %res_float = and i1 %E_float, %F_float + + br i1 %res_float, label %Print_float, label %Exit +Print_float: + %ptr2 = getelementptr [19 x i8]* @msg_float, i32 0, i32 0 + call i32 (i8*,...)* @printf(i8* %ptr2) + br label %Exit +Exit: - ; by some reason printf doesn't print float correctly, so - ; floats are casted to doubles and are printed as doubles - - %res_serv_0 = extractelement <4 x float> %val2, i32 0 - %res_float_0 = fpext float %res_serv_0 to double - %res_serv_1 = extractelement <4 x float> %val2, i32 1 - %res_float_1 = fpext float %res_serv_1 to double - %res_serv_2 = extractelement <4 x float> %val2, i32 2 - %res_float_2 = fpext float %res_serv_2 to double - %res_serv_3 = extractelement <4 x float> %val2, i32 3 - %res_float_3 = fpext float %res_serv_3 to double - - - call i32 (i8*,...)* @printf(i8* %ptr1, double %res_float_0) - call i32 (i8*,...)* @printf(i8* %ptr1, double %res_float_1) - call i32 (i8*,...)* @printf(i8* %ptr1, double %res_float_2) - call i32 (i8*,...)* @printf(i8* %ptr1, double %res_float_3) - - ret i32 0 } diff --git a/test/ExecutionEngine/test-interp-vec-select.ll b/test/ExecutionEngine/test-interp-vec-select.ll new file mode 100644 index 0000000000000..ce086e408dd43 --- /dev/null +++ b/test/ExecutionEngine/test-interp-vec-select.ll @@ -0,0 +1,118 @@ +; RUN: %lli -force-interpreter=true %s > /dev/null + +define i32 @main() { + + ; Vector values + %a2_i8 = add <2 x i8> zeroinitializer, + %a3_i8 = add <3 x i8> zeroinitializer, + %a4_i8 = add <4 x i8> zeroinitializer, + %a8_i8 = add <8 x i8> zeroinitializer, + %a16_i8 = add <16 x i8> zeroinitializer, + + %a2_i16 = add <2 x i16> zeroinitializer, + %a3_i16 = add <3 x i16> zeroinitializer, + %a4_i16 = add <4 x i16> zeroinitializer, + %a8_i16 = add <8 x i16> zeroinitializer, + %a16_i16 = add <16 x i16> zeroinitializer, + + %a2_i32 = add <2 x i32> zeroinitializer, + %a3_i32 = add <3 x i32> zeroinitializer, + %a4_i32 = add <4 x i32> zeroinitializer, + %a8_i32 = add <8 x i32> zeroinitializer, + %a16_i32 = add <16 x i32> zeroinitializer, + + %a2_i64 = add <2 x i64> zeroinitializer, + %a3_i64 = add <3 x i64> zeroinitializer, + %a4_i64 = add <4 x i64> zeroinitializer, + %a8_i64 = add <8 x i64> zeroinitializer, + %a16_i64 = add <16 x i64> zeroinitializer, + + %a2_float = fadd <2 x float> zeroinitializer, + %a3_float = fadd <3 x float> zeroinitializer, + %a4_float = fadd <4 x float> zeroinitializer, + %a8_float = fadd <8 x float> zeroinitializer, + %a16_float = fadd <16 x float> zeroinitializer, + + %a2_double = fadd <2 x double> zeroinitializer, + %a3_double = fadd <3 x double> zeroinitializer, + %a4_double = fadd <4 x double> zeroinitializer, + %a8_double = fadd <8 x double> zeroinitializer, + %a16_double = fadd <16 x double> zeroinitializer, + + %b2_i8 = sub <2 x i8> zeroinitializer, %a2_i8 + %b3_i8 = sub <3 x i8> zeroinitializer, %a3_i8 + %b4_i8 = sub <4 x i8> zeroinitializer, %a4_i8 + %b8_i8 = sub <8 x i8> zeroinitializer, %a8_i8 + %b16_i8 = sub <16 x i8> zeroinitializer, %a16_i8 + + %b2_i16 = sub <2 x i16> zeroinitializer, %a2_i16 + %b3_i16 = sub <3 x i16> zeroinitializer, %a3_i16 + %b4_i16 = sub <4 x i16> zeroinitializer, %a4_i16 + %b8_i16 = sub <8 x i16> zeroinitializer, %a8_i16 + %b16_i16 = sub <16 x i16> zeroinitializer, %a16_i16 + + %b2_i32 = sub <2 x i32> zeroinitializer, %a2_i32 + %b3_i32 = sub <3 x i32> zeroinitializer, %a3_i32 + %b4_i32 = sub <4 x i32> zeroinitializer, %a4_i32 + %b8_i32 = sub <8 x i32> zeroinitializer, %a8_i32 + %b16_i32 = sub <16 x i32> zeroinitializer, %a16_i32 + + %b2_i64 = sub <2 x i64> zeroinitializer, %a2_i64 + %b3_i64 = sub <3 x i64> zeroinitializer, %a3_i64 + %b4_i64 = sub <4 x i64> zeroinitializer, %a4_i64 + %b8_i64 = sub <8 x i64> zeroinitializer, %a8_i64 + %b16_i64 = sub <16 x i64> zeroinitializer, %a16_i64 + + %b2_float = fsub <2 x float> zeroinitializer, %a2_float + %b3_float = fsub <3 x float> zeroinitializer, %a3_float + %b4_float = fsub <4 x float> zeroinitializer, %a4_float + %b8_float = fsub <8 x float> zeroinitializer, %a8_float + %b16_float = fsub <16 x float> zeroinitializer, %a16_float + + %b2_double = fsub <2 x double> zeroinitializer, %a2_double + %b3_double = fsub <3 x double> zeroinitializer, %a3_double + %b4_double = fsub <4 x double> zeroinitializer, %a4_double + %b8_double = fsub <8 x double> zeroinitializer, %a8_double + %b16_double = fsub <16 x double> zeroinitializer, %a16_double + + + + %v0 = select <2 x i1> , <2 x i8> %a2_i8, <2 x i8> %b2_i8 + %v1 = select <3 x i1> , <3 x i8> %a3_i8, <3 x i8> %b3_i8 + %v2 = select <4 x i1> , <4 x i8> %a4_i8, <4 x i8> %b4_i8 + %v3 = select <8 x i1> , <8 x i8> %a8_i8, <8 x i8> %b8_i8 + %v4 = select <16 x i1> , <16 x i8> %a16_i8, <16 x i8> %b16_i8 + + %v5 = select <2 x i1> , <2 x i16> %a2_i16, <2 x i16> %b2_i16 + %v6 = select <3 x i1> , <3 x i16> %a3_i16, <3 x i16> %b3_i16 + %v7 = select <4 x i1> , <4 x i16> %a4_i16, <4 x i16> %b4_i16 + %v8 = select <8 x i1> , <8 x i16> %a8_i16, <8 x i16> %b8_i16 + %v9 = select <16 x i1> , <16 x i16> %a16_i16, <16 x i16> %b16_i16 + + %v10 = select <2 x i1> , <2 x i32> %a2_i32, <2 x i32> %b2_i32 + %v11 = select <3 x i1> , <3 x i32> %a3_i32, <3 x i32> %b3_i32 + %v12 = select <4 x i1> , <4 x i32> %a4_i32, <4 x i32> %b4_i32 + %v13 = select <8 x i1> , <8 x i32> %a8_i32, <8 x i32> %b8_i32 + %v14 = select <16 x i1> , <16 x i32> %a16_i32, <16 x i32> %b16_i32 + + %v15 = select <2 x i1> , <2 x i64> %a2_i64, <2 x i64> %b2_i64 + %v16 = select <3 x i1> , <3 x i64> %a3_i64, <3 x i64> %b3_i64 + %v17 = select <4 x i1> , <4 x i64> %a4_i64, <4 x i64> %b4_i64 + %v18 = select <8 x i1> , <8 x i64> %a8_i64, <8 x i64> %b8_i64 + %v19 = select <16 x i1> , <16 x i64> %a16_i64, <16 x i64> %b16_i64 + + %v20 = select <2 x i1> , <2 x float> %a2_float, <2 x float> %b2_float + %v21 = select <3 x i1> , <3 x float> %a3_float, <3 x float> %b3_float + %v22 = select <4 x i1> , <4 x float> %a4_float, <4 x float> %b4_float + %v23 = select <8 x i1> , <8 x float> %a8_float, <8 x float> %b8_float + %v24 = select <16 x i1> , <16 x float> %a16_float, <16 x float> %b16_float + + %v25 = select <2 x i1> , <2 x double> %a2_double, <2 x double> %b2_double + %v26 = select <3 x i1> , <3 x double> %a3_double, <3 x double> %b3_double + %v27 = select <4 x i1> , <4 x double> %a4_double, <4 x double> %b4_double + %v28 = select <8 x i1> , <8 x double> %a8_double, <8 x double> %b8_double + %v29 = select <16 x i1> , <16 x double> %a16_double, <16 x double> %b16_double + + + ret i32 0 +} diff --git a/test/ExecutionEngine/test-interp-vec-shift.ll b/test/ExecutionEngine/test-interp-vec-shift.ll new file mode 100644 index 0000000000000..3aa4f4e54f39f --- /dev/null +++ b/test/ExecutionEngine/test-interp-vec-shift.ll @@ -0,0 +1,32 @@ +; RUN: %lli -force-interpreter=true %s > /dev/null + +define i32 @main() { + %shamt = add <2 x i8> , + %shift.upgrd.1 = zext <2 x i8> %shamt to <2 x i32> + %t1.s = shl <2 x i32> , %shift.upgrd.1 + %t2.s = shl <2 x i32> , + %shift.upgrd.2 = zext <2 x i8> %shamt to <2 x i32> + %t1 = shl <2 x i32> , %shift.upgrd.2 + %t2 = shl <2 x i32> , + %t2.s.upgrd.3 = shl <2 x i64> , + %t2.upgrd.4 = shl <2 x i64> , + %shift.upgrd.5 = zext <2 x i8> %shamt to <2 x i32> + %tr1.s = ashr <2 x i32> , %shift.upgrd.5 + %tr2.s = ashr <2 x i32> , + %shift.upgrd.6 = zext <2 x i8> %shamt to <2 x i32> + %tr1 = lshr <2 x i32> , %shift.upgrd.6 + %tr2 = lshr <2 x i32> , + %tr1.l = ashr <2 x i64> , + %shift.upgrd.7 = zext <2 x i8> %shamt to <2 x i64> + %tr2.l = ashr <2 x i64> , %shift.upgrd.7 + %tr3.l = shl <2 x i64> , + %shift.upgrd.8 = zext <2 x i8> %shamt to <2 x i64> + %tr4.l = shl <2 x i64> , %shift.upgrd.8 + %tr1.u = lshr <2 x i64> , + %shift.upgrd.9 = zext <2 x i8> %shamt to <2 x i64> + %tr2.u = lshr <2 x i64> , %shift.upgrd.9 + %tr3.u = shl <2 x i64> , + %shift.upgrd.10 = zext <2 x i8> %shamt to <2 x i64> + %tr4.u = shl <2 x i64> , %shift.upgrd.10 + ret i32 0 +} diff --git a/test/ExecutionEngine/test-interp-vec-shuffle.ll b/test/ExecutionEngine/test-interp-vec-shuffle.ll new file mode 100644 index 0000000000000..e55fa99e3bb19 --- /dev/null +++ b/test/ExecutionEngine/test-interp-vec-shuffle.ll @@ -0,0 +1,81 @@ +; RUN: %lli -force-interpreter=true %s > /dev/null + +define i32 @main() { + + ; Vector values + %a2_i8 = add <2 x i8> zeroinitializer, + %a3_i8 = add <3 x i8> zeroinitializer, + %a4_i8 = add <4 x i8> zeroinitializer, + %a8_i8 = add <8 x i8> zeroinitializer, + %a16_i8 = add <16 x i8> zeroinitializer, + + %a2_i16 = add <2 x i16> zeroinitializer, + %a3_i16 = add <3 x i16> zeroinitializer, + %a4_i16 = add <4 x i16> zeroinitializer, + %a8_i16 = add <8 x i16> zeroinitializer, + %a16_i16 = add <16 x i16> zeroinitializer, + + %a2_i32 = add <2 x i32> zeroinitializer, + %a3_i32 = add <3 x i32> zeroinitializer, + %a4_i32 = add <4 x i32> zeroinitializer, + %a8_i32 = add <8 x i32> zeroinitializer, + %a16_i32 = add <16 x i32> zeroinitializer, + + %a2_i64 = add <2 x i64> zeroinitializer, + %a3_i64 = add <3 x i64> zeroinitializer, + %a4_i64 = add <4 x i64> zeroinitializer, + %a8_i64 = add <8 x i64> zeroinitializer, + %a16_i64 = add <16 x i64> zeroinitializer, + + %a2_float = fadd <2 x float> zeroinitializer, + %a3_float = fadd <3 x float> zeroinitializer, + %a4_float = fadd <4 x float> zeroinitializer, + %a8_float = fadd <8 x float> zeroinitializer, + %a16_float = fadd <16 x float> zeroinitializer, + + %a2_double = fadd <2 x double> zeroinitializer, + %a3_double = fadd <3 x double> zeroinitializer, + %a4_double = fadd <4 x double> zeroinitializer, + %a8_double = fadd <8 x double> zeroinitializer, + %a16_double = fadd <16 x double> zeroinitializer, + + + %v0 = shufflevector <2 x i8> %a2_i8, <2 x i8>undef, <2 x i32> + %v1 = shufflevector <3 x i8> %a3_i8, <3 x i8>undef, <3 x i32> + %v2 = shufflevector <4 x i8> %a4_i8, <4 x i8>undef, <4 x i32> + %v3 = shufflevector <8 x i8> %a8_i8, <8 x i8>undef, <8 x i32> + %v4 = shufflevector <16 x i8> %a16_i8, <16 x i8>undef, <16 x i32> + + %v5 = shufflevector <2 x i16> %a2_i16, <2 x i16>undef, <2 x i32> + %v6 = shufflevector <3 x i16> %a3_i16, <3 x i16>undef, <3 x i32> + %v7 = shufflevector <4 x i16> %a4_i16, <4 x i16>undef, <4 x i32> + %v8 = shufflevector <8 x i16> %a8_i16, <8 x i16>undef, <8 x i32> + %v9 = shufflevector <16 x i16> %a16_i16, <16 x i16>undef, <16 x i32> + + %v10 = shufflevector <2 x i32> %a2_i32, <2 x i32>undef, <2 x i32> + %v11 = shufflevector <3 x i32> %a3_i32, <3 x i32>undef, <3 x i32> + %v12 = shufflevector <4 x i32> %a4_i32, <4 x i32>undef, <4 x i32> + %v13 = shufflevector <8 x i32> %a8_i32, <8 x i32>undef, <8 x i32> + %v14 = shufflevector <16 x i32> %a16_i32, <16 x i32>undef, <16 x i32> + + %v15 = shufflevector <2 x i64> %a2_i64, <2 x i64>undef, <2 x i32> + %v16 = shufflevector <3 x i64> %a3_i64, <3 x i64>undef, <3 x i32> + %v17 = shufflevector <4 x i64> %a4_i64, <4 x i64>undef, <4 x i32> + %v18 = shufflevector <8 x i64> %a8_i64, <8 x i64>undef, <8 x i32> + %v19 = shufflevector <16 x i64> %a16_i64, <16 x i64>undef, <16 x i32> + + %v20 = shufflevector <2 x float> %a2_float, <2 x float>undef, <2 x i32> + %v21 = shufflevector <3 x float> %a3_float, <3 x float>undef, <3 x i32> + %v22 = shufflevector <4 x float> %a4_float, <4 x float>undef, <4 x i32> + %v23 = shufflevector <8 x float> %a8_float, <8 x float>undef, <8 x i32> + %v24 = shufflevector <16 x float> %a16_float, <16 x float>undef, <16 x i32> + + %v25 = shufflevector <2 x double> %a2_double, <2 x double>undef, <2 x i32> + %v26 = shufflevector <3 x double> %a3_double, <3 x double>undef, <3 x i32> + %v27 = shufflevector <4 x double> %a4_double, <4 x double>undef, <4 x i32> + %v28 = shufflevector <8 x double> %a8_double, <8 x double>undef, <8 x i32> + %v29 = shufflevector <16 x double> %a16_double, <16 x double>undef, <16 x i32> + + ret i32 0 +} + -- cgit v1.2.3