[llvm-commits] CVS: llvm/test/CodeGen/X86/2007-02-04-OrAddrMode.ll

[Chris Lattner]

Changes in directory llvm/test/CodeGen/X86:

2007-02-04-OrAddrMode.ll added (r1.1)
---
Log message:

new testcase for x86 backend miscompilation


---
Diffs of the changes:  (+21 -0)

 2007-02-04-OrAddrMode.ll |   21 +++++++++++++++++++++
 1 files changed, 21 insertions(+)


Index: llvm/test/CodeGen/X86/2007-02-04-OrAddrMode.ll
diff -c /dev/null llvm/test/CodeGen/X86/2007-02-04-OrAddrMode.ll:1.1
*** /dev/null	Sun Feb  4 14:15:25 2007
--- llvm/test/CodeGen/X86/2007-02-04-OrAddrMode.ll	Sun Feb  4 14:15:15 2007
***************
*** 0 ****
--- 1,21 ----
+ ; RUN: llvm-as < %s | llc -march=x86 | grep 'orl $1, %eax' &&
+ ; RUN: llvm-as < %s | llc -march=x86 | grep 'leal 3(,%eax,8)'
+ 
+ ;; This example can't fold the or into an LEA.
+ define i32 @test(float ** %tmp2, i32 %tmp12) {
+ 	%tmp3 = load float** %tmp2
+ 	%tmp132 = shl i32 %tmp12, 2		; <i32> [#uses=1]
+ 	%tmp3 = bitcast float* %tmp3 to i8*		; <i8*> [#uses=1]
+ 	%ctg2 = getelementptr i8* %tmp3, i32 %tmp132		; <i8*> [#uses=1]
+ 	%tmp6 = ptrtoint i8* %ctg2 to i32		; <i32> [#uses=1]
+ 	%tmp14 = or i32 %tmp6, 1		; <i32> [#uses=1]
+ 	ret i32 %tmp14
+ }
+ 
+ 
+ ;; This can!
+ define i32 @test2(i32 %a, i32 %b) {
+ 	%c = shl i32 %a, 3
+ 	%d = or i32 %c, 3
+ 	ret i32 %d
+ }