test/CodeGen/X86/pic.ll

   1 ; RUN: llc < %s -mtriple=i686-pc-linux-gnu -relocation-model=pic | FileCheck %s -check-prefix=LINUX
   2
   3 @ptr = external global i32*
   4 @dst = external global i32
   5 @src = external global i32
   6
   7 define void @test1() nounwind {
   8 entry:
   9     store i32* @dst, i32** @ptr
  10     %tmp.s = load i32* @src
  11     store i32 %tmp.s, i32* @dst
  12     ret void
  13
  14 ; LINUX:    test1:
  15 ; LINUX: .LBB1_0:
  16 ; LINUX:        call    .Lllvm$1.$piclabel
  17 ; LINUX-NEXT: .Lllvm$1.$piclabel:
  18 ; LINUX-NEXT:   popl
  19 ; LINUX:        addl    $_GLOBAL_OFFSET_TABLE_+(.Lpicbaseref1-.Lllvm$1.$piclabel),
  20 ; LINUX:        movl    dst@GOT(%eax),
  21 ; LINUX:        movl    ptr@GOT(%eax),
  22 ; LINUX:        movl    src@GOT(%eax),
  23 ; LINUX:        ret
  24 }
  25
  26 @ptr2 = global i32* null
  27 @dst2 = global i32 0
  28 @src2 = global i32 0
  29
  30 define void @test2() nounwind {
  31 entry:
  32     store i32* @dst2, i32** @ptr2
  33     %tmp.s = load i32* @src2
  34     store i32 %tmp.s, i32* @dst2
  35     ret void
  36
  37 ; LINUX: test2:
  38 ; LINUX:        call    .Lllvm$2.$piclabel
  39 ; LINUX-NEXT: .Lllvm$2.$piclabel:
  40 ; LINUX-NEXT:   popl
  41 ; LINUX:        addl    $_GLOBAL_OFFSET_TABLE_+(.Lpicbaseref2-.Lllvm$2.$piclabel), %eax
  42 ; LINUX:        movl    dst2@GOT(%eax),
  43 ; LINUX:        movl    ptr2@GOT(%eax),
  44 ; LINUX:        movl    src2@GOT(%eax),
  45 ; LINUX:        ret
  46
  47 }
  48
  49 declare i8* @malloc(i32)
  50
  51 define void @test3() nounwind {
  52 entry:
  53     %ptr = call i8* @malloc(i32 40)
  54     ret void
  55 ; LINUX: test3:
  56 ; LINUX:        pushl   %ebx
  57 ; LINUX-NEXT:   subl    $8, %esp
  58 ; LINUX-NEXT:   call    .Lllvm$3.$piclabel
  59 ; LINUX-NEXT: .Lllvm$3.$piclabel:
  60 ; LINUX-NEXT:   popl    %ebx
  61 ; LINUX:        addl    $_GLOBAL_OFFSET_TABLE_+(.Lpicbaseref3-.Lllvm$3.$piclabel), %ebx
  62 ; LINUX:        movl    $40, (%esp)
  63 ; LINUX:        call    malloc@PLT
  64 ; LINUX:        addl    $8, %esp
  65 ; LINUX:        popl    %ebx
  66 ; LINUX:        ret
  67 }
  68
  69 @pfoo = external global void(...)*
  70
  71 define void @test4() nounwind {
  72 entry:
  73     %tmp = call void(...)*(...)* @afoo()
  74     store void(...)* %tmp, void(...)** @pfoo
  75     %tmp1 = load void(...)** @pfoo
  76     call void(...)* %tmp1()
  77     ret void
  78 ; LINUX: test4:
  79 ; LINUX:        call    .Lllvm$4.$piclabel
  80 ; LINUX-NEXT: .Lllvm$4.$piclabel:
  81 ; LINUX:        popl
  82 ; LINUX:        addl    $_GLOBAL_OFFSET_TABLE_+(.Lpicbaseref4-.Lllvm$4.$piclabel),
  83 ; LINUX:        movl    pfoo@GOT(%esi),
  84 ; LINUX:        call    afoo@PLT
  85 ; LINUX:        call    *
  86 }
  87
  88 declare void(...)* @afoo(...)
  89
  90 define void @test5() nounwind {
  91 entry:
  92     call void(...)* @foo()
  93     ret void
  94 ; LINUX: test5:
  95 ; LINUX: call   .Lllvm$5.$piclabel
  96 ; LINUX: popl   %ebx
  97 ; LINUX: addl   $_GLOBAL_OFFSET_TABLE_+(.Lpicbaseref5-.Lllvm$5.$piclabel), %ebx
  98 ; LINUX: call   foo@PLT
  99 }
 100
 101 declare void @foo(...)
 102
 103
 104 @ptr6 = internal global i32* null
 105 @dst6 = internal global i32 0
 106 @src6 = internal global i32 0
 107
 108 define void @test6() nounwind {
 109 entry:
 110     store i32* @dst6, i32** @ptr6
 111     %tmp.s = load i32* @src6
 112     store i32 %tmp.s, i32* @dst6
 113     ret void
 114
 115 ; LINUX: test6:
 116 ; LINUX:        call    .Lllvm$6.$piclabel
 117 ; LINUX-NEXT: .Lllvm$6.$piclabel:
 118 ; LINUX-NEXT:   popl    %eax
 119 ; LINUX:        addl    $_GLOBAL_OFFSET_TABLE_+(.Lpicbaseref6-.Lllvm$6.$piclabel), %eax
 120 ; LINUX:        leal    dst6@GOTOFF(%eax), %ecx
 121 ; LINUX:        movl    %ecx, ptr6@GOTOFF(%eax)
 122 ; LINUX:        movl    src6@GOTOFF(%eax), %ecx
 123 ; LINUX:        movl    %ecx, dst6@GOTOFF(%eax)
 124 ; LINUX:        ret
 125 }
 126