Fix miscompilation found in Fhourstones by bugpoint

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5993 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2003-05-03 03:39:35 +00:00
parent 1d06fbe893
commit bc8e9c6f56

View File

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