llvm/test/CodeGen/M68k/CodeModel/medium-pic.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -O2 -mtriple=m68k -verify-machineinstrs \
   3 ; RUN:              -code-model=medium -relocation-model=pic \
   4 ; RUN:   | FileCheck %s
   5
   6 @ptr = external global i32*
   7 @dst = external global i32
   8 @src = external global i32
   9
  10 define void @test0() nounwind {
  11 ; CHECK-LABEL: test0:
  12 ; CHECK:       ; %bb.0: ; %entry
  13 ; CHECK-NEXT:    move.l (dst@GOTPCREL,%pc), %a0
  14 ; CHECK-NEXT:    move.l (ptr@GOTPCREL,%pc), %a1
  15 ; CHECK-NEXT:    move.l %a0, (%a1)
  16 ; CHECK-NEXT:    move.l (src@GOTPCREL,%pc), %a1
  17 ; CHECK-NEXT:    move.l (%a1), (%a0)
  18 ; CHECK-NEXT:    rts
  19 entry:
  20     store i32* @dst, i32** @ptr
  21     %tmp.s = load i32, i32* @src
  22     store i32 %tmp.s, i32* @dst
  23     ret void
  24 }
  25
  26 @ptr2 = global i32* null
  27 @dst2 = global i32 0
  28 @src2 = global i32 0
  29
  30 define void @test1() nounwind {
  31 ; CHECK-LABEL: test1:
  32 ; CHECK:       ; %bb.0: ; %entry
  33 ; CHECK-NEXT:    move.l (dst2@GOTPCREL,%pc), %a0
  34 ; CHECK-NEXT:    move.l (ptr2@GOTPCREL,%pc), %a1
  35 ; CHECK-NEXT:    move.l %a0, (%a1)
  36 ; CHECK-NEXT:    move.l (src2@GOTPCREL,%pc), %a1
  37 ; CHECK-NEXT:    move.l (%a1), (%a0)
  38 ; CHECK-NEXT:    rts
  39 entry:
  40     store i32* @dst2, i32** @ptr2
  41     %tmp.s = load i32, i32* @src2
  42     store i32 %tmp.s, i32* @dst2
  43     ret void
  44 }
  45
  46 declare i8* @malloc(i32)
  47
  48 define void @test2() nounwind {
  49 ; CHECK-LABEL: test2:
  50 ; CHECK:       ; %bb.0: ; %entry
  51 ; CHECK-NEXT:    suba.l #4, %sp
  52 ; CHECK-NEXT:    move.l #40, (%sp)
  53 ; CHECK-NEXT:    jsr (malloc@PLT,%pc)
  54 ; CHECK-NEXT:    adda.l #4, %sp
  55 ; CHECK-NEXT:    rts
  56 entry:
  57     %ptr = call i8* @malloc(i32 40)
  58     ret void
  59 }
  60
  61 @pfoo = external global void(...)*
  62 declare void(...)* @afoo(...)
  63
  64 define void @test3() nounwind {
  65 ; CHECK-LABEL: test3:
  66 ; CHECK:       ; %bb.0: ; %entry
  67 ; CHECK-NEXT:    suba.l #4, %sp
  68 ; CHECK-NEXT:    jsr (afoo@PLT,%pc)
  69 ; CHECK-NEXT:    move.l (pfoo@GOTPCREL,%pc), %a1
  70 ; CHECK-NEXT:    move.l %a0, (%a1)
  71 ; CHECK-NEXT:    jsr (%a0)
  72 ; CHECK-NEXT:    adda.l #4, %sp
  73 ; CHECK-NEXT:    rts
  74 entry:
  75     %tmp = call void(...)*(...) @afoo()
  76     store void(...)* %tmp, void(...)** @pfoo
  77     %tmp1 = load void(...)*, void(...)** @pfoo
  78     call void(...) %tmp1()
  79     ret void
  80 }
  81
  82 declare void @foo(...)
  83
  84 define void @test4() nounwind {
  85 ; CHECK-LABEL: test4:
  86 ; CHECK:       ; %bb.0: ; %entry
  87 ; CHECK-NEXT:    suba.l #4, %sp
  88 ; CHECK-NEXT:    jsr (foo@PLT,%pc)
  89 ; CHECK-NEXT:    adda.l #4, %sp
  90 ; CHECK-NEXT:    rts
  91 entry:
  92     call void(...) @foo()
  93     ret void
  94 }
  95
  96 @ptr6 = internal global i32* null
  97 @dst6 = internal global i32 0
  98 @src6 = internal global i32 0
  99
 100 define void @test5() nounwind {
 101 ; CHECK-LABEL: test5:
 102 ; CHECK:       ; %bb.0: ; %entry
 103 ; CHECK-NEXT:    lea (_GLOBAL_OFFSET_TABLE_@GOTPCREL,%pc), %a0
 104 ; CHECK-NEXT:    move.l %a0, %a1
 105 ; CHECK-NEXT:    adda.l #dst6@GOTOFF, %a1
 106 ; CHECK-NEXT:    move.l #ptr6@GOTOFF, %d0
 107 ; CHECK-NEXT:    move.l %a1, (0,%a0,%d0)
 108 ; CHECK-NEXT:    move.l #src6@GOTOFF, %d0
 109 ; CHECK-NEXT:    move.l #dst6@GOTOFF, %d1
 110 ; CHECK-NEXT:    move.l (0,%a0,%d0), (0,%a0,%d1)
 111 ; CHECK-NEXT:    rts
 112 entry:
 113     store i32* @dst6, i32** @ptr6
 114     %tmp.s = load i32, i32* @src6
 115     store i32 %tmp.s, i32* @dst6
 116     ret void
 117 }
 118
 119 define void @test7(i32 %n.u) nounwind {
 120 ; CHECK-LABEL: test7:
 121 ; CHECK:       ; %bb.0: ; %entry
 122 ; CHECK-NEXT:    move.l (4,%sp), %d0
 123 ; CHECK-NEXT:    add.l #-1, %d0
 124 ; CHECK-NEXT:    move.l %d0, %d1
 125 ; CHECK-NEXT:    sub.l #12, %d1
 126 ; CHECK-NEXT:    bhi .LBB6_12
 127 ; CHECK-NEXT:  ; %bb.1: ; %entry
 128 ; CHECK-NEXT:    lea (_GLOBAL_OFFSET_TABLE_@GOTPCREL,%pc), %a0
 129 ; CHECK-NEXT:    lsl.l #2, %d0
 130 ; CHECK-NEXT:    move.l %a0, %a1
 131 ; CHECK-NEXT:    adda.l #.LJTI6_0@GOTOFF, %a1
 132 ; CHECK-NEXT:    move.l %a0, %d1
 133 ; CHECK-NEXT:    add.l (0,%a1,%d0), %d1
 134 ; CHECK-NEXT:    move.l %d1, %a0
 135 ; CHECK-NEXT:    jmp (%a0)
 136 ; CHECK-NEXT:  .LBB6_12: ; %bb2
 137 ; CHECK-NEXT:    bra foo6@PLT ; TAILCALL
 138 ; CHECK-NEXT:  .LBB6_3: ; %bb6
 139 ; CHECK-NEXT:    bra foo1@PLT ; TAILCALL
 140 ; CHECK-NEXT:  .LBB6_8: ; %bb1
 141 ; CHECK-NEXT:    bra foo2@PLT ; TAILCALL
 142 ; CHECK-NEXT:  .LBB6_9: ; %bb3
 143 ; CHECK-NEXT:    bra foo3@PLT ; TAILCALL
 144 ; CHECK-NEXT:  .LBB6_10: ; %bb4
 145 ; CHECK-NEXT:    bra foo4@PLT ; TAILCALL
 146 ; CHECK-NEXT:  .LBB6_14: ; %bb11
 147 ; CHECK-NEXT:    bra foo5@PLT ; TAILCALL
 148 entry:
 149     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 ]
 150 bb:
 151     tail call void(...) @foo1()
 152     ret void
 153 bb1:
 154     tail call void(...) @foo2()
 155     ret void
 156 bb2:
 157     tail call void(...) @foo6()
 158     ret void
 159 bb3:
 160     tail call void(...) @foo3()
 161     ret void
 162 bb4:
 163     tail call void(...) @foo4()
 164     ret void
 165 bb5:
 166     tail call void(...) @foo5()
 167     ret void
 168 bb6:
 169     tail call void(...) @foo1()
 170     ret void
 171 bb7:
 172     tail call void(...) @foo2()
 173     ret void
 174 bb8:
 175     tail call void(...) @foo6()
 176     ret void
 177 bb9:
 178     tail call void(...) @foo3()
 179     ret void
 180 bb10:
 181     tail call void(...) @foo4()
 182     ret void
 183 bb11:
 184     tail call void(...) @foo5()
 185     ret void
 186 bb12:
 187     tail call void(...) @foo6()
 188     ret void
 189 }
 190
 191 declare void @foo1(...)
 192 declare void @foo2(...)
 193 declare void @foo6(...)
 194 declare void @foo3(...)
 195 declare void @foo4(...)
 196 declare void @foo5(...)