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    .L1$pb
  17 ; LINUX-NEXT: .L1$pb:
  18 ; LINUX-NEXT:   popl
  19 ; LINUX:        addl    $_GLOBAL_OFFSET_TABLE_+(.Lpicbaseref1-.L1$pb),
  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    .L2$pb
  39 ; LINUX-NEXT: .L2$pb:
  40 ; LINUX-NEXT:   popl
  41 ; LINUX:        addl    $_GLOBAL_OFFSET_TABLE_+(.Lpicbaseref2-.L2$pb), %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    .L3$pb
  59 ; LINUX-NEXT: .L3$pb:
  60 ; LINUX-NEXT:   popl    %ebx
  61 ; LINUX:        addl    $_GLOBAL_OFFSET_TABLE_+(.Lpicbaseref3-.L3$pb), %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    .L4$pb
  80 ; LINUX-NEXT: .L4$pb:
  81 ; LINUX:        popl
  82 ; LINUX:        addl    $_GLOBAL_OFFSET_TABLE_+(.Lpicbaseref4-.L4$pb),
  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   .L5$pb
  96 ; LINUX: popl   %ebx
  97 ; LINUX: addl   $_GLOBAL_OFFSET_TABLE_+(.Lpicbaseref5-.L5$pb), %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    .L6$pb
 117 ; LINUX-NEXT: .L6$pb:
 118 ; LINUX-NEXT:   popl    %eax
 119 ; LINUX:        addl    $_GLOBAL_OFFSET_TABLE_+(.Lpicbaseref6-.L6$pb), %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
 127
 128 ;; Test constant pool references.
 129 define double @test7(i32 %a.u) nounwind {
 130 entry:
 131     %tmp = icmp eq i32 %a.u,0
 132     %retval = select i1 %tmp, double 4.561230e+02, double 1.234560e+02
 133     ret double %retval
 134
 135 ; LINUX: .LCPI7_0:
 136
 137 ; LINUX: test7:
 138 ; LINUX:    call .L7$pb
 139 ; LINUX: .L7$pb:
 140 ; LINUX:    addl        $_GLOBAL_OFFSET_TABLE_+(.Lpicbaseref7-.L7$pb),
 141 ; LINUX:    fldl        .LCPI7_0@GOTOFF(
 142 }
 143
 144
 145 ;; Test jump table references.
 146 define void @test8(i32 %n.u) nounwind {
 147 entry:
 148     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 ]
 149 bb:
 150     tail call void(...)* @foo1()
 151     ret void
 152 bb1:
 153     tail call void(...)* @foo2()
 154     ret void
 155 bb2:
 156     tail call void(...)* @foo6()
 157     ret void
 158 bb3:
 159     tail call void(...)* @foo3()
 160     ret void
 161 bb4:
 162     tail call void(...)* @foo4()
 163     ret void
 164 bb5:
 165     tail call void(...)* @foo5()
 166     ret void
 167 bb6:
 168     tail call void(...)* @foo1()
 169     ret void
 170 bb7:
 171     tail call void(...)* @foo2()
 172     ret void
 173 bb8:
 174     tail call void(...)* @foo6()
 175     ret void
 176 bb9:
 177     tail call void(...)* @foo3()
 178     ret void
 179 bb10:
 180     tail call void(...)* @foo4()
 181     ret void
 182 bb11:
 183     tail call void(...)* @foo5()
 184     ret void
 185 bb12:
 186     tail call void(...)* @foo6()
 187     ret void
 188
 189 ; LINUX: test8:
 190 ; LINUX:   call .L8$pb
 191 ; LINUX: .L8$pb:
 192 ; LINUX:   addl $_GLOBAL_OFFSET_TABLE_+(.Lpicbaseref8-.L8$pb),
 193 ; LINUX:   addl .LJTI8_0@GOTOFF(
 194 ; LINUX:   jmpl *%ecx
 195
 196 ; LINUX: .LJTI8_0:
 197 ; LINUX:   .long         .LBB8_2@GOTOFF
 198 ; LINUX:   .long         .LBB8_2@GOTOFF
 199 ; LINUX:   .long         .LBB8_7@GOTOFF
 200 ; LINUX:   .long         .LBB8_3@GOTOFF
 201 ; LINUX:   .long         .LBB8_7@GOTOFF
 202 }
 203
 204 declare void @foo1(...)
 205 declare void @foo2(...)
 206 declare void @foo6(...)
 207 declare void @foo3(...)
 208 declare void @foo4(...)
 209 declare void @foo5(...)