File: 2007-02-04-OrAddrMode.ll

package info (click to toggle)
llvm-toolchain-3.5 1%3A3.5-10
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 282,028 kB
  • ctags: 310,872
  • sloc: cpp: 1,883,926; ansic: 310,731; objc: 86,612; python: 79,565; asm: 65,844; sh: 9,829; makefile: 6,057; perl: 5,589; ml: 5,254; pascal: 3,285; lisp: 1,640; xml: 686; cs: 239; csh: 117
file content (29 lines) | stat: -rw-r--r-- 730 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
; RUN: llc < %s -march=x86 | FileCheck %s

;; This example can't fold the or into an LEA.
define i32 @test(float ** %tmp2, i32 %tmp12) nounwind {
; CHECK-LABEL: test:
; CHECK-NOT: ret
; CHECK: orl $1, %{{.*}}
; CHECK: ret

	%tmp3 = load float** %tmp2
	%tmp132 = shl i32 %tmp12, 2		; <i32> [#uses=1]
	%tmp4 = bitcast float* %tmp3 to i8*		; <i8*> [#uses=1]
	%ctg2 = getelementptr i8* %tmp4, 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) nounwind {
; CHECK-LABEL: test2:
; CHECK-NOT: ret
; CHECK: leal 3(,%{{.*}},8)
; CHECK: ret

	%c = shl i32 %a, 3
	%d = or i32 %c, 3
	ret i32 %d
}