| ; RUN: llc < %s -mcpu=generic -mtriple=i686-pc-linux-gnu -relocation-model=pic -asm-verbose=false -post-RA-scheduler=false -verify-machineinstrs | FileCheck %s -check-prefixes=CHECK,CHECK-I686 |
| ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-pc-linux-gnux32 -relocation-model=pic -asm-verbose=false -post-RA-scheduler=false -verify-machineinstrs | FileCheck %s -check-prefixes=CHECK,CHECK-X32 |
| ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-pc-linux-gnux32 -relocation-model=pic -asm-verbose=false -post-RA-scheduler=false -fast-isel -verify-machineinstrs | FileCheck %s -check-prefixes=CHECK,CHECK-X32 |
| |
| @ptr = external global i32* |
| @dst = external global i32 |
| @src = external global i32 |
| |
| define void @test0() nounwind { |
| entry: |
| store i32* @dst, i32** @ptr |
| %tmp.s = load i32, i32* @src |
| store i32 %tmp.s, i32* @dst |
| ret void |
| |
| ; CHECK-LABEL: test0: |
| ; CHECK-I686: calll .L0$pb |
| ; CHECK-I686-NEXT: .L0$pb: |
| ; CHECK-I686-NEXT: popl |
| ; CHECK-I686: addl $_GLOBAL_OFFSET_TABLE_+(.L{{.*}}-.L0$pb), |
| ; CHECK-I686: movl dst@GOT(%eax), |
| ; CHECK-I686: movl ptr@GOT(%eax), |
| ; CHECK-I686: movl src@GOT(%eax), |
| ; CHECK-I686: ret |
| ; CHECK-X32-DAG: movl dst@GOTPCREL(%rip), |
| ; CHECK-X32-DAG: movl ptr@GOTPCREL(%rip), |
| ; CHECK-X32-DAG: movl src@GOTPCREL(%rip), |
| ; CHECK-X32: retq |
| } |
| |
| @ptr2 = global i32* null |
| @dst2 = global i32 0 |
| @src2 = global i32 0 |
| |
| define void @test1() nounwind { |
| entry: |
| store i32* @dst2, i32** @ptr2 |
| %tmp.s = load i32, i32* @src2 |
| store i32 %tmp.s, i32* @dst2 |
| ret void |
| |
| ; CHECK-LABEL: test1: |
| ; CHECK-I686: calll .L1$pb |
| ; CHECK-I686-NEXT: .L1$pb: |
| ; CHECK-I686-NEXT: popl |
| ; CHECK-I686: addl $_GLOBAL_OFFSET_TABLE_+(.L{{.*}}-.L1$pb), %eax |
| ; CHECK-I686: movl dst2@GOT(%eax), |
| ; CHECK-I686: movl ptr2@GOT(%eax), |
| ; CHECK-I686: movl src2@GOT(%eax), |
| ; CHECK-I686: ret |
| ; CHECK-X32-DAG: movl dst2@GOTPCREL(%rip), |
| ; CHECK-X32-DAG: movl ptr2@GOTPCREL(%rip), |
| ; CHECK-X32-DAG: movl src2@GOTPCREL(%rip), |
| ; CHECK-X32: retq |
| |
| } |
| |
| declare i8* @malloc(i32) |
| |
| define void @test2() nounwind { |
| entry: |
| %ptr = call i8* @malloc(i32 40) |
| ret void |
| ; CHECK-LABEL: test2: |
| ; CHECK-I686: pushl %ebx |
| ; CHECK-I686-NEXT: subl $8, %esp |
| ; CHECK-I686-NEXT: calll .L2$pb |
| ; CHECK-I686-NEXT: .L2$pb: |
| ; CHECK-I686-NEXT: popl %ebx |
| ; CHECK-I686: addl $_GLOBAL_OFFSET_TABLE_+(.L{{.*}}-.L2$pb), %ebx |
| ; CHECK-I686: movl $40, (%esp) |
| ; CHECK-I686: calll malloc@PLT |
| ; CHECK-I686: addl $8, %esp |
| ; CHECK-I686: popl %ebx |
| ; CHECK-I686: ret |
| ; CHECK-X32: pushq %rax |
| ; CHECK-X32: movl $40, %edi |
| ; CHECK-X32: callq malloc@PLT |
| ; CHECK-X32: popq %rax |
| ; CHECK-X32: retq |
| |
| } |
| |
| @pfoo = external global void(...)* |
| |
| define void @test3() nounwind { |
| entry: |
| %tmp = call void(...)*(...) @afoo() |
| store void(...)* %tmp, void(...)** @pfoo |
| %tmp1 = load void(...)*, void(...)** @pfoo |
| call void(...) %tmp1() |
| ret void |
| ; CHECK-LABEL: test3: |
| ; CHECK-I686: calll .L3$pb |
| ; CHECK-I686-NEXT: .L3$pb: |
| ; CHECK-I686: popl |
| ; CHECK-I686: addl $_GLOBAL_OFFSET_TABLE_+(.L{{.*}}-.L3$pb), %[[REG3:e..]] |
| ; CHECK-I686: calll afoo@PLT |
| ; CHECK-I686: movl pfoo@GOT(%[[REG3]]), |
| ; CHECK-I686: calll * |
| ; CHECK-X32: callq afoo@PLT |
| ; CHECK-X32: movl pfoo@GOTPCREL(%rip), |
| ; CHECK-X32: callq * |
| } |
| |
| declare void(...)* @afoo(...) |
| |
| define void @test4() nounwind { |
| entry: |
| call void(...) @foo() |
| ret void |
| ; CHECK-LABEL: test4: |
| ; CHECK-I686: calll .L4$pb |
| ; CHECK-I686: popl %ebx |
| ; CHECK-I686: addl $_GLOBAL_OFFSET_TABLE_+(.L{{.*}}-.L4$pb), %ebx |
| ; CHECK-I686: calll foo@PLT |
| ; CHECK-X32: callq foo@PLT |
| |
| } |
| |
| declare void @foo(...) |
| |
| |
| @ptr6 = internal global i32* null |
| @dst6 = internal global i32 0 |
| @src6 = internal global i32 0 |
| |
| define void @test5() nounwind { |
| entry: |
| store i32* @dst6, i32** @ptr6 |
| %tmp.s = load i32, i32* @src6 |
| store i32 %tmp.s, i32* @dst6 |
| ret void |
| |
| ; CHECK-LABEL: test5: |
| ; CHECK-I686: calll .L5$pb |
| ; CHECK-I686-NEXT: .L5$pb: |
| ; CHECK-I686-NEXT: popl %eax |
| ; CHECK-I686: addl $_GLOBAL_OFFSET_TABLE_+(.L{{.*}}-.L5$pb), %eax |
| ; CHECK-I686: leal dst6@GOTOFF(%eax), %ecx |
| ; CHECK-I686: movl %ecx, ptr6@GOTOFF(%eax) |
| ; CHECK-I686: movl src6@GOTOFF(%eax), %ecx |
| ; CHECK-I686: movl %ecx, dst6@GOTOFF(%eax) |
| ; CHECK-I686: ret |
| ; CHECK-X32: leal dst6(%rip), %eax |
| ; CHECK-X32: movl %eax, ptr6(%rip) |
| ; CHECK-X32: movl src6(%rip), %eax |
| ; CHECK-X32: movl %eax, dst6(%rip) |
| ; CHECK-X32: retq |
| } |
| |
| |
| ;; Test constant pool references. |
| define double @test6(i32 %a.u) nounwind { |
| entry: |
| %tmp = icmp eq i32 %a.u,0 |
| %retval = select i1 %tmp, double 4.561230e+02, double 1.234560e+02 |
| ret double %retval |
| |
| ; CHECK: .LCPI6_0: |
| |
| ; CHECK-LABEL: test6: |
| ; CHECK-I686: calll .L6$pb |
| ; CHECK-I686: .L6$pb: |
| ; CHECK-I686: addl $_GLOBAL_OFFSET_TABLE_+(.L{{.*}}-.L6$pb), |
| ; CHECK-I686: fldl .LCPI6_0@GOTOFF( |
| ; CHECK-X32: .LCPI6_0(%rip), |
| } |
| |
| |
| ;; Test jump table references. |
| define void @test7(i32 %n.u) nounwind { |
| entry: |
| switch i32 %n.u, label %bb12 [i32 1, label %bb i32 2, label %bb6 i32 4, label %bb7 i32 5, label %bb8 i32 6, label %bb10 i32 7, label %bb1 i32 8, label %bb3 i32 9, label %bb4 i32 10, label %bb9 i32 11, label %bb2 i32 12, label %bb5 i32 13, label %bb11 ] |
| bb: |
| tail call void(...) @foo1() |
| ret void |
| bb1: |
| tail call void(...) @foo2() |
| ret void |
| bb2: |
| tail call void(...) @foo6() |
| ret void |
| bb3: |
| tail call void(...) @foo3() |
| ret void |
| bb4: |
| tail call void(...) @foo4() |
| ret void |
| bb5: |
| tail call void(...) @foo5() |
| ret void |
| bb6: |
| tail call void(...) @foo1() |
| ret void |
| bb7: |
| tail call void(...) @foo2() |
| ret void |
| bb8: |
| tail call void(...) @foo6() |
| ret void |
| bb9: |
| tail call void(...) @foo3() |
| ret void |
| bb10: |
| tail call void(...) @foo4() |
| ret void |
| bb11: |
| tail call void(...) @foo5() |
| ret void |
| bb12: |
| tail call void(...) @foo6() |
| ret void |
| |
| ; CHECK-LABEL: test7: |
| ; CHECK-I686: calll .L7$pb |
| ; CHECK-I686: .L7$pb: |
| ; CHECK-I686: addl $_GLOBAL_OFFSET_TABLE_+(.L{{.*}}-.L7$pb), |
| ; CHECK-I686: .LJTI7_0@GOTOFF( |
| ; CHECK-I686: jmpl * |
| ; CHECK-X32: leal .LJTI7_0(%rip), %eax |
| ; CHECK-X32: addl (%eax,%edi,4), %eax |
| ; CHECK-X32: jmpq *%rax |
| |
| ; CHECK: .p2align 2 |
| ; CHECK-NEXT: .LJTI7_0: |
| ; CHECK-I686: .long .LBB7_2@GOTOFF |
| ; CHECK-I686: .long .LBB7_8@GOTOFF |
| ; CHECK-I686: .long .LBB7_4@GOTOFF |
| ; CHECK-I686: .long .LBB7_6@GOTOFF |
| ; CHECK-I686: .long .LBB7_5@GOTOFF |
| ; CHECK-I686: .long .LBB7_8@GOTOFF |
| ; CHECK-I686: .long .LBB7_7@GOTOFF |
| ; CHECK-X32: .long .LBB7_3-.LJTI7_0 |
| ; CHECK-X32: .long .LBB7_3-.LJTI7_0 |
| ; CHECK-X32: .long .LBB7_12-.LJTI7_0 |
| ; CHECK-X32: .long .LBB7_8-.LJTI7_0 |
| ; CHECK-X32: .long .LBB7_12-.LJTI7_0 |
| ; CHECK-X32: .long .LBB7_10-.LJTI7_0 |
| ; CHECK-X32: .long .LBB7_8-.LJTI7_0 |
| ; CHECK-X32: .long .LBB7_9-.LJTI7_0 |
| ; CHECK-X32: .long .LBB7_10-.LJTI7_0 |
| ; CHECK-X32: .long .LBB7_9-.LJTI7_0 |
| ; CHECK-X32: .long .LBB7_12-.LJTI7_0 |
| ; CHECK-X32: .long .LBB7_14-.LJTI7_0 |
| ; CHECK-X32: .long .LBB7_14-.LJTI7_0 |
| } |
| |
| declare void @foo1(...) |
| declare void @foo2(...) |
| declare void @foo6(...) |
| declare void @foo3(...) |
| declare void @foo4(...) |
| declare void @foo5(...) |
| |
| ;; Check TLS references |
| @tlsptrgd = thread_local global i32* null |
| @tlsdstgd = thread_local global i32 0 |
| @tlssrcgd = thread_local global i32 0 |
| @tlsptrld = thread_local(localdynamic) global i32* null |
| @tlsdstld = thread_local(localdynamic) global i32 0 |
| @tlssrcld = thread_local(localdynamic) global i32 0 |
| @tlsptrie = thread_local(initialexec) global i32* null |
| @tlsdstie = thread_local(initialexec) global i32 0 |
| @tlssrcie = thread_local(initialexec) global i32 0 |
| @tlsptrle = thread_local(localexec) global i32* null |
| @tlsdstle = thread_local(localexec) global i32 0 |
| @tlssrcle = thread_local(localexec) global i32 0 |
| |
| define void @test8() nounwind { |
| entry: |
| store i32* @tlsdstgd, i32** @tlsptrgd |
| %tmp.s = load i32, i32* @tlssrcgd |
| store i32 %tmp.s, i32* @tlsdstgd |
| ret void |
| |
| ; CHECK-LABEL: test8: |
| ; CHECK-I686: calll .L8$pb |
| ; CHECK-I686-NEXT: .L8$pb: |
| ; CHECK-I686-NEXT: popl |
| ; CHECK-I686: addl $_GLOBAL_OFFSET_TABLE_+(.L{{.*}}-.L8$pb), %ebx |
| ; CHECK-I686-DAG: leal tlsdstgd@TLSGD(,%ebx), %eax |
| ; CHECK-I686-DAG: calll ___tls_get_addr@PLT |
| ; CHECK-I686-DAG: leal tlsptrgd@TLSGD(,%ebx), %eax |
| ; CHECK-I686-DAG: calll ___tls_get_addr@PLT |
| ; CHECK-I686-DAG: leal tlssrcgd@TLSGD(,%ebx), %eax |
| ; CHECK-I686-DAG: calll ___tls_get_addr@PLT |
| ; CHECK-X32-NOT: data16 |
| ; CHECK-X32-DAG: leaq tlsdstgd@TLSGD(%rip), %rdi |
| ; CHECK-X32-DAG: callq __tls_get_addr@PLT |
| ; CHECK-X32-DAG: leaq tlsptrgd@TLSGD(%rip), %rdi |
| ; CHECK-X32-DAG: callq __tls_get_addr@PLT |
| ; CHECK-X32-DAG: leaq tlssrcgd@TLSGD(%rip), %rdi |
| ; CHECK-X32-DAG: callq __tls_get_addr@PLT |
| ; CHECK-I686: ret |
| ; CHECK-X32: retq |
| } |
| |
| define void @test9() nounwind { |
| entry: |
| store i32* @tlsdstld, i32** @tlsptrld |
| %tmp.s = load i32, i32* @tlssrcld |
| store i32 %tmp.s, i32* @tlsdstld |
| ret void |
| |
| ; CHECK-LABEL: test9: |
| ; CHECK-I686: calll .L9$pb |
| ; CHECK-I686-NEXT: .L9$pb: |
| ; CHECK-I686-NEXT: popl |
| ; CHECK-I686: addl $_GLOBAL_OFFSET_TABLE_+(.L{{.*}}-.L9$pb), %ebx |
| ; CHECK-I686: leal tlsdstld@TLSLDM(%ebx), %eax |
| ; CHECK-X32: leaq tlsdstld@TLSLD(%rip), %rdi |
| ; CHECK-I686: calll ___tls_get_addr@PLT |
| ; CHECK-X32: callq __tls_get_addr@PLT |
| ; CHECK: leal tlsdstld@DTPOFF( |
| ; CHECK: movl {{%.*}}, tlsptrld@DTPOFF( |
| ; CHECK: movl tlssrcld@DTPOFF( |
| ; CHECK: movl {{%.*}}, tlsdstld@DTPOFF( |
| ; CHECK-I686: ret |
| ; CHECK-X32: retq |
| } |
| |
| define void @test10() nounwind { |
| entry: |
| store i32* @tlsdstie, i32** @tlsptrie |
| %tmp.s = load i32, i32* @tlssrcie |
| store i32 %tmp.s, i32* @tlsdstie |
| ret void |
| |
| ; CHECK-LABEL: test10: |
| ; CHECK-I686: calll .L10$pb |
| ; CHECK-I686-NEXT: .L10$pb: |
| ; CHECK-I686-NEXT: popl |
| ; CHECK-I686: addl $_GLOBAL_OFFSET_TABLE_+(.L{{.*}}-.L10$pb), |
| ; CHECK-I686-DAG: movl tlsdstie@GOTNTPOFF( |
| ; CHECK-I686-DAG: movl %gs:0, |
| ; CHECK-X32-DAG: movl tlsdstie@GOTTPOFF(%rip), |
| ; CHECK-X32-DAG: movl %fs:0, |
| ; CHECK-I686: addl |
| ; CHECK-X32: leal ({{%.*,%.*}}), |
| ; CHECK-I686: movl tlsptrie@GOTNTPOFF( |
| ; CHECK-X32: movl tlsptrie@GOTTPOFF(%rip), |
| ; CHECK-I686: movl {{%.*}}, %gs:( |
| ; CHECK-X32: movl {{%.*}}, ({{%.*,%.*}}) |
| ; CHECK-I686: movl tlssrcie@GOTNTPOFF( |
| ; CHECK-X32: movl tlssrcie@GOTTPOFF(%rip), |
| ; CHECK-I686: movl %gs:( |
| ; CHECK-X32: movl ({{%.*,%.*}}), |
| ; CHECK-I686: movl {{%.*}}, %gs:( |
| ; CHECK-X32: movl {{%.*}}, ({{%.*,%.*}}) |
| ; CHECK-I686: ret |
| ; CHECK-X32: retq |
| } |
| |
| define void @test11() nounwind { |
| entry: |
| store i32* @tlsdstle, i32** @tlsptrle |
| %tmp.s = load i32, i32* @tlssrcle |
| store i32 %tmp.s, i32* @tlsdstle |
| ret void |
| |
| ; CHECK-LABEL: test11: |
| ; CHECK-I686: movl %gs:0, |
| ; CHECK-X32: movl %fs:0, |
| ; CHECK-I686: leal tlsdstle@NTPOFF( |
| ; CHECK-X32: leal tlsdstle@TPOFF( |
| ; CHECK-I686: movl {{%.*}}, %gs:tlsptrle@NTPOFF |
| ; CHECK-X32: movl {{%.*}}, %fs:tlsptrle@TPOFF |
| ; CHECK-I686: movl %gs:tlssrcle@NTPOFF, |
| ; CHECK-X32: movl %fs:tlssrcle@TPOFF, |
| ; CHECK-I686: movl {{%.*}}, %gs:tlsdstle@NTPOFF |
| ; CHECK-X32: movl {{%.*}}, %fs:tlsdstle@TPOFF |
| ; CHECK-I686: ret |
| ; CHECK-X32: retq |
| } |