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 +}