From bc8e9c6f56bfa7b7bef437742be8c3036934a757 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Sat, 3 May 2003 03:39:35 +0000 Subject: [PATCH] Fix miscompilation found in Fhourstones by bugpoint git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5993 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/LICM/2003-05-02-LoadHoist.ll | 21 ++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 test/Transforms/LICM/2003-05-02-LoadHoist.ll diff --git a/test/Transforms/LICM/2003-05-02-LoadHoist.ll b/test/Transforms/LICM/2003-05-02-LoadHoist.ll new file mode 100644 index 00000000000..5488974536c --- /dev/null +++ b/test/Transforms/LICM/2003-05-02-LoadHoist.ll @@ -0,0 +1,21 @@ +; This testcase tests for a problem where LICM hoists loads out of a loop +; despite the fact that calls to unknown functions may modify what is being +; loaded from. Basically if the load gets hoisted, the subtract gets turned +; into a constant zero. +; +; RUN: as < %s | opt -licm -load-vn -gcse -instcombine | llvm-dis | grep load + +%X = global int 7 +declare void %foo() + +int %test(bool %c) { + %A = load int *%X + br label %Loop +Loop: + call void %foo() + %B = load int *%X ;; Should not hoist this load! + br bool %c, label %Loop, label %Out +Out: + %C = sub int %A, %B + ret int %C +}