[llvm-commits] CVS: llvm/test/Regression/Transforms/LICM/2003-05-02-LoadHoist.ll

[Chris Lattner]

Changes in directory llvm/test/Regression/Transforms/LICM:

2003-05-02-LoadHoist.ll added (r1.1)

---
Log message:

Fix miscompilation found in Fhourstones by bugpoint


---
Diffs of the changes:

Index: llvm/test/Regression/Transforms/LICM/2003-05-02-LoadHoist.ll
diff -c /dev/null llvm/test/Regression/Transforms/LICM/2003-05-02-LoadHoist.ll:1.1
*** /dev/null	Fri May  2 22:39:45 2003
--- llvm/test/Regression/Transforms/LICM/2003-05-02-LoadHoist.ll	Fri May  2 22:39:35 2003
***************
*** 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
+ }