2011-07-02 22:42:20 +02:00
|
|
|
; RUN: llc < %s -relocation-model=pic -mtriple=i386-linux-gnu -asm-verbose=false \
|
|
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-LINUX
|
2012-09-25 01:06:27 +02:00
|
|
|
; RUN: llc < %s -relocation-model=pic -mark-data-regions -mtriple=i686-apple-darwin -asm-verbose=false \
|
|
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-DATA
|
2011-07-02 22:42:20 +02:00
|
|
|
; RUN: llc < %s -relocation-model=pic -mtriple=i686-apple-darwin -asm-verbose=false \
|
|
|
|
; RUN: | FileCheck %s
|
2009-09-09 01:54:48 +02:00
|
|
|
; RUN: llc < %s -mtriple=x86_64-apple-darwin | not grep 'lJTI'
|
2009-06-18 22:37:15 +02:00
|
|
|
; rdar://6971437
|
2010-04-13 01:07:17 +02:00
|
|
|
; rdar://7738756
|
2006-10-05 05:12:36 +02:00
|
|
|
|
Fix a x86-64 codegen deficiency. Allow gv + offset when using rip addressing mode.
Before:
_main:
subq $8, %rsp
leaq _X(%rip), %rax
movsd 8(%rax), %xmm1
movss _X(%rip), %xmm0
call _t
xorl %ecx, %ecx
movl %ecx, %eax
addq $8, %rsp
ret
Now:
_main:
subq $8, %rsp
movsd _X+8(%rip), %xmm1
movss _X(%rip), %xmm0
call _t
xorl %ecx, %ecx
movl %ecx, %eax
addq $8, %rsp
ret
Notice there is another idiotic codegen issue that needs to be fixed asap:
xorl %ecx, %ecx
movl %ecx, %eax
llvm-svn: 46850
2008-02-07 09:53:49 +01:00
|
|
|
declare void @_Z3bari(i32)
|
2006-10-05 05:12:36 +02:00
|
|
|
|
2011-07-02 22:42:20 +02:00
|
|
|
; CHECK-LINUX: .text._Z3fooILi1EEvi,"axG",@progbits,_Z3fooILi1EEvi,comdat
|
2009-06-25 23:48:17 +02:00
|
|
|
define linkonce void @_Z3fooILi1EEvi(i32 %Y) nounwind {
|
2006-10-05 05:12:36 +02:00
|
|
|
entry:
|
2010-04-17 18:29:15 +02:00
|
|
|
; CHECK: L0$pb
|
2010-04-13 01:07:17 +02:00
|
|
|
; CHECK-NOT: leal
|
2010-04-17 18:29:15 +02:00
|
|
|
; CHECK: Ltmp0 = LJTI0_0-L0$pb
|
2010-04-13 01:07:17 +02:00
|
|
|
; CHECK-NEXT: addl Ltmp0(%eax,%ecx,4)
|
|
|
|
; CHECK-NEXT: jmpl *%eax
|
2012-09-25 01:06:27 +02:00
|
|
|
|
|
|
|
;; When data-in-code markers are enabled, we should see them around the jump
|
|
|
|
;; table.
|
|
|
|
; CHECK-DATA: .data_region jt32
|
|
|
|
; CHECK-DATA: LJTI0_0
|
|
|
|
; CHECK-DATA: .end_data_region
|
|
|
|
|
|
|
|
;; When they're not enabled, make sure we don't see them at all.
|
|
|
|
; CHECK-NOT: .data_region
|
|
|
|
; CHECK-LINUX-NOT: .data_region
|
Fix a x86-64 codegen deficiency. Allow gv + offset when using rip addressing mode.
Before:
_main:
subq $8, %rsp
leaq _X(%rip), %rax
movsd 8(%rax), %xmm1
movss _X(%rip), %xmm0
call _t
xorl %ecx, %ecx
movl %ecx, %eax
addq $8, %rsp
ret
Now:
_main:
subq $8, %rsp
movsd _X+8(%rip), %xmm1
movss _X(%rip), %xmm0
call _t
xorl %ecx, %ecx
movl %ecx, %eax
addq $8, %rsp
ret
Notice there is another idiotic codegen issue that needs to be fixed asap:
xorl %ecx, %ecx
movl %ecx, %eax
llvm-svn: 46850
2008-02-07 09:53:49 +01:00
|
|
|
%Y_addr = alloca i32 ; <i32*> [#uses=2]
|
|
|
|
%"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0]
|
|
|
|
store i32 %Y, i32* %Y_addr
|
|
|
|
%tmp = load i32* %Y_addr ; <i32> [#uses=1]
|
|
|
|
switch i32 %tmp, label %bb10 [
|
|
|
|
i32 0, label %bb3
|
|
|
|
i32 1, label %bb
|
|
|
|
i32 2, label %bb
|
|
|
|
i32 3, label %bb
|
|
|
|
i32 4, label %bb
|
|
|
|
i32 5, label %bb
|
|
|
|
i32 6, label %bb
|
|
|
|
i32 7, label %bb
|
|
|
|
i32 8, label %bb
|
|
|
|
i32 9, label %bb
|
|
|
|
i32 10, label %bb
|
|
|
|
i32 12, label %bb1
|
|
|
|
i32 13, label %bb5
|
|
|
|
i32 14, label %bb6
|
|
|
|
i32 16, label %bb2
|
|
|
|
i32 17, label %bb4
|
|
|
|
i32 23, label %bb8
|
|
|
|
i32 27, label %bb7
|
|
|
|
i32 34, label %bb9
|
2006-10-05 05:12:36 +02:00
|
|
|
]
|
|
|
|
|
|
|
|
bb: ; preds = %entry, %entry, %entry, %entry, %entry, %entry, %entry, %entry, %entry, %entry
|
|
|
|
br label %bb1
|
|
|
|
|
|
|
|
bb1: ; preds = %bb, %entry
|
|
|
|
br label %bb2
|
|
|
|
|
|
|
|
bb2: ; preds = %bb1, %entry
|
Fix a x86-64 codegen deficiency. Allow gv + offset when using rip addressing mode.
Before:
_main:
subq $8, %rsp
leaq _X(%rip), %rax
movsd 8(%rax), %xmm1
movss _X(%rip), %xmm0
call _t
xorl %ecx, %ecx
movl %ecx, %eax
addq $8, %rsp
ret
Now:
_main:
subq $8, %rsp
movsd _X+8(%rip), %xmm1
movss _X(%rip), %xmm0
call _t
xorl %ecx, %ecx
movl %ecx, %eax
addq $8, %rsp
ret
Notice there is another idiotic codegen issue that needs to be fixed asap:
xorl %ecx, %ecx
movl %ecx, %eax
llvm-svn: 46850
2008-02-07 09:53:49 +01:00
|
|
|
call void @_Z3bari( i32 1 )
|
2006-10-05 05:12:36 +02:00
|
|
|
br label %bb11
|
|
|
|
|
|
|
|
bb3: ; preds = %entry
|
|
|
|
br label %bb4
|
|
|
|
|
|
|
|
bb4: ; preds = %bb3, %entry
|
|
|
|
br label %bb5
|
|
|
|
|
|
|
|
bb5: ; preds = %bb4, %entry
|
|
|
|
br label %bb6
|
|
|
|
|
|
|
|
bb6: ; preds = %bb5, %entry
|
Fix a x86-64 codegen deficiency. Allow gv + offset when using rip addressing mode.
Before:
_main:
subq $8, %rsp
leaq _X(%rip), %rax
movsd 8(%rax), %xmm1
movss _X(%rip), %xmm0
call _t
xorl %ecx, %ecx
movl %ecx, %eax
addq $8, %rsp
ret
Now:
_main:
subq $8, %rsp
movsd _X+8(%rip), %xmm1
movss _X(%rip), %xmm0
call _t
xorl %ecx, %ecx
movl %ecx, %eax
addq $8, %rsp
ret
Notice there is another idiotic codegen issue that needs to be fixed asap:
xorl %ecx, %ecx
movl %ecx, %eax
llvm-svn: 46850
2008-02-07 09:53:49 +01:00
|
|
|
call void @_Z3bari( i32 2 )
|
2006-10-05 05:12:36 +02:00
|
|
|
br label %bb11
|
|
|
|
|
|
|
|
bb7: ; preds = %entry
|
|
|
|
br label %bb8
|
|
|
|
|
|
|
|
bb8: ; preds = %bb7, %entry
|
|
|
|
br label %bb9
|
|
|
|
|
|
|
|
bb9: ; preds = %bb8, %entry
|
Fix a x86-64 codegen deficiency. Allow gv + offset when using rip addressing mode.
Before:
_main:
subq $8, %rsp
leaq _X(%rip), %rax
movsd 8(%rax), %xmm1
movss _X(%rip), %xmm0
call _t
xorl %ecx, %ecx
movl %ecx, %eax
addq $8, %rsp
ret
Now:
_main:
subq $8, %rsp
movsd _X+8(%rip), %xmm1
movss _X(%rip), %xmm0
call _t
xorl %ecx, %ecx
movl %ecx, %eax
addq $8, %rsp
ret
Notice there is another idiotic codegen issue that needs to be fixed asap:
xorl %ecx, %ecx
movl %ecx, %eax
llvm-svn: 46850
2008-02-07 09:53:49 +01:00
|
|
|
call void @_Z3bari( i32 3 )
|
2006-10-05 05:12:36 +02:00
|
|
|
br label %bb11
|
|
|
|
|
|
|
|
bb10: ; preds = %entry
|
|
|
|
br label %bb11
|
|
|
|
|
|
|
|
bb11: ; preds = %bb10, %bb9, %bb6, %bb2
|
|
|
|
br label %return
|
|
|
|
|
|
|
|
return: ; preds = %bb11
|
|
|
|
ret void
|
|
|
|
}
|