xref: /llvm-project/llvm/test/CodeGen/Mips/mirparser/target-flags-pic-mxgot-tls.mir (revision ae26f50aea4ef1a6c7058019f0db11a91bbcdade) 
1# RUN: llc -mtriple=mips64 -target-abi n64 -start-before=finalize-isel \
2# RUN:     -stop-after=finalize-isel -relocation-model=pic -mattr=+xgot \
3# RUN:     -o /dev/null %s
4
5# A simple test to show that we can parse the target specific flags: gpoff-hi,
6# gpoff-lo, tlsgd, tlsldm, dtprel-hi, dtprel-lo, got-hi, got-lo, call-hi,
7# call-lo.
8
9--- |
10  @v = global i32 0, align 4
11  @k = thread_local global i32 0, align 4
12  @j = external thread_local global i32, align 4
13  @__tls_guard = internal thread_local global i1 false, align 1
14  declare extern_weak void @_ZTH1j()
15
16  declare i32 @_Z1gi(i32 signext)
17
18  define i32 @_Z2k1i(i32 signext %asd) {
19  entry:
20    %call = tail call i32 @_Z1gi(i32 signext %asd)
21    %add = add nsw i32 %call, %asd
22    %0 = load i32, ptr @v, align 4
23    %add1 = add nsw i32 %add, %0
24    %.b.i.i = load i1, ptr @__tls_guard, align 1
25    br i1 %.b.i.i, label %entry._ZTW1k.exit_crit_edge, label %init.i.i
26
27  entry._ZTW1k.exit_crit_edge:
28    %.pre = load i32, ptr @k, align 4
29    br label %_ZTW1k.exit
30
31  init.i.i:
32    store i1 true, ptr @__tls_guard, align 1
33    %call.i.i.i = tail call i32 @_Z1gi(i32 signext 3)
34    store i32 %call.i.i.i, ptr @k, align 4
35    br label %_ZTW1k.exit
36
37  _ZTW1k.exit:
38    %1 = phi i32 [ %.pre, %entry._ZTW1k.exit_crit_edge ], [ %call.i.i.i, %init.i.i ]
39    %add2 = add nsw i32 %add1, %1
40    %cmp = icmp ne ptr @_ZTH1j, null
41    br i1 %cmp, label %2, label %_ZTW1j.exit
42
43  ; <label>:2:
44    tail call void @_ZTH1j()
45    br label %_ZTW1j.exit
46
47  _ZTW1j.exit:
48    %3 = load i32, ptr @j, align 4
49    %add3 = add nsw i32 %add2, %3
50    ret i32 %add3
51  }
52...
53---
54name:            _Z2k1i
55alignment:       8
56exposesReturnsTwice: false
57legalized:       false
58regBankSelected: false
59selected:        false
60tracksRegLiveness: true
61registers:
62  - { id: 0, class: gpr32, preferred-register: '' }
63  - { id: 1, class: gpr32, preferred-register: '' }
64  - { id: 2, class: gpr32, preferred-register: '' }
65  - { id: 3, class: gpr32, preferred-register: '' }
66  - { id: 4, class: gpr32, preferred-register: '' }
67  - { id: 5, class: gpr64, preferred-register: '' }
68  - { id: 6, class: gpr64, preferred-register: '' }
69  - { id: 7, class: gpr64, preferred-register: '' }
70  - { id: 8, class: gpr64, preferred-register: '' }
71  - { id: 9, class: gpr64, preferred-register: '' }
72  - { id: 10, class: gpr32, preferred-register: '' }
73  - { id: 11, class: gpr32, preferred-register: '' }
74  - { id: 12, class: gpr32, preferred-register: '' }
75  - { id: 13, class: gpr64, preferred-register: '' }
76  - { id: 14, class: gpr64, preferred-register: '' }
77  - { id: 15, class: gpr64, preferred-register: '' }
78  - { id: 16, class: gpr32, preferred-register: '' }
79  - { id: 17, class: gpr64, preferred-register: '' }
80  - { id: 18, class: gpr64, preferred-register: '' }
81  - { id: 19, class: gpr64, preferred-register: '' }
82  - { id: 20, class: gpr64, preferred-register: '' }
83  - { id: 21, class: gpr64, preferred-register: '' }
84  - { id: 22, class: gpr64, preferred-register: '' }
85  - { id: 23, class: gpr32, preferred-register: '' }
86  - { id: 24, class: gpr64, preferred-register: '' }
87  - { id: 25, class: gpr64, preferred-register: '' }
88  - { id: 26, class: gpr64, preferred-register: '' }
89  - { id: 27, class: gpr64, preferred-register: '' }
90  - { id: 28, class: gpr64, preferred-register: '' }
91  - { id: 29, class: gpr64, preferred-register: '' }
92  - { id: 30, class: gpr32, preferred-register: '' }
93  - { id: 31, class: gpr64, preferred-register: '' }
94  - { id: 32, class: gpr64, preferred-register: '' }
95  - { id: 33, class: gpr64, preferred-register: '' }
96  - { id: 34, class: gpr64, preferred-register: '' }
97  - { id: 35, class: gpr32, preferred-register: '' }
98  - { id: 36, class: gpr64, preferred-register: '' }
99  - { id: 37, class: gpr64, preferred-register: '' }
100  - { id: 38, class: gpr64, preferred-register: '' }
101  - { id: 39, class: gpr64, preferred-register: '' }
102  - { id: 40, class: gpr64, preferred-register: '' }
103  - { id: 41, class: gpr64, preferred-register: '' }
104  - { id: 42, class: gpr64, preferred-register: '' }
105  - { id: 43, class: gpr64, preferred-register: '' }
106  - { id: 44, class: gpr64, preferred-register: '' }
107  - { id: 45, class: gpr64, preferred-register: '' }
108  - { id: 46, class: gpr64, preferred-register: '' }
109  - { id: 47, class: gpr64, preferred-register: '' }
110  - { id: 48, class: gpr64, preferred-register: '' }
111  - { id: 49, class: gpr64, preferred-register: '' }
112  - { id: 50, class: gpr64, preferred-register: '' }
113  - { id: 51, class: gpr64, preferred-register: '' }
114  - { id: 52, class: gpr64, preferred-register: '' }
115  - { id: 53, class: gpr64, preferred-register: '' }
116  - { id: 54, class: gpr64, preferred-register: '' }
117  - { id: 55, class: gpr32, preferred-register: '' }
118  - { id: 56, class: gpr32, preferred-register: '' }
119  - { id: 57, class: gpr64, preferred-register: '' }
120  - { id: 58, class: gpr64, preferred-register: '' }
121liveins:
122  - { reg: '$a0_64', virtual-reg: '%5' }
123  - { reg: '$t9_64', virtual-reg: '' }
124frameInfo:
125  isFrameAddressTaken: false
126  isReturnAddressTaken: false
127  hasStackMap:     false
128  hasPatchPoint:   false
129  stackSize:       0
130  offsetAdjustment: 0
131  maxAlignment:    1
132  adjustsStack:    false
133  hasCalls:        true
134  stackProtector:  ''
135  maxCallFrameSize: 4294967295
136  hasOpaqueSPAdjustment: false
137  hasVAStart:      false
138  hasMustTailInVarArgFunc: false
139  savePoint:       ''
140  restorePoint:    ''
141fixedStack:
142stack:
143constants:
144body:             |
145  bb.0.entry:
146    successors: %bb.1.entry._ZTW1k.exit_crit_edge(0x7fe00000), %bb.2.init.i.i(0x00200000)
147    liveins: $a0_64, $t9_64
148
149    %57 = LUi64 target-flags(mips-gpoff-hi) @_Z2k1i
150    %58 = DADDu %57, $t9_64
151    %6 = DADDiu %58, target-flags(mips-gpoff-lo) @_Z2k1i
152    %5 = COPY $a0_64
153    ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
154    %7 = LUi64 target-flags(mips-call-hi16) @_Z1gi
155    %8 = DADDu killed %7, %6
156    %9 = LD killed %8, target-flags(mips-call-lo16) @_Z1gi :: (load (s64) from call-entry @_Z1gi)
157    $a0_64 = COPY %5
158    $gp_64 = COPY %6
159    JALR64Pseudo killed %9, csr_n64, implicit-def dead $ra, implicit $a0_64, implicit $gp_64, implicit-def $sp, implicit-def $v0
160    ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
161    %10 = COPY $v0
162    %11 = COPY %5.sub_32
163    %12 = ADDu %10, killed %11
164    %13 = LUi64 target-flags(mips-got-hi16) @v
165    %14 = DADDu killed %13, %6
166    %15 = LD killed %14, target-flags(mips-got-lo16) @v :: (load (s64) from got)
167    %16 = LW killed %15, 0 :: (dereferenceable load (s32) from @v)
168    %0 = ADDu killed %12, killed %16
169    ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
170    %17 = LUi64 target-flags(mips-call-hi16) &__tls_get_addr
171    %18 = DADDu killed %17, %6
172    %19 = LD killed %18, target-flags(mips-call-lo16) &__tls_get_addr :: (load (s64) from call-entry &__tls_get_addr)
173    %20 = DADDiu %6, target-flags(mips-tlsldm) @__tls_guard
174    $a0_64 = COPY %20
175    $gp_64 = COPY %6
176    JALR64Pseudo killed %19, csr_n64, implicit-def dead $ra, implicit $a0_64, implicit $gp_64, implicit-def $sp, implicit-def $v0_64
177    ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
178    %21 = COPY $v0_64
179    %22 = DADDiu %21, target-flags(mips-dtprel-hi) @__tls_guard
180    %23 = LBu killed %22, target-flags(mips-dtprel-lo) @__tls_guard :: (dereferenceable load (s8) from @__tls_guard)
181    BEQ killed %23, $zero, %bb.2.init.i.i, implicit-def dead $at
182    B %bb.1.entry._ZTW1k.exit_crit_edge, implicit-def dead $at
183
184  bb.1.entry._ZTW1k.exit_crit_edge:
185    successors: %bb.3._ZTW1k.exit(0x80000000)
186
187    ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
188    %39 = LUi64 target-flags(mips-call-hi16) &__tls_get_addr
189    %40 = DADDu killed %39, %6
190    %41 = LD killed %40, target-flags(mips-call-lo16) &__tls_get_addr :: (load (s64) from call-entry &__tls_get_addr)
191    %42 = DADDiu %6, target-flags(mips-tlsgd) @k
192    $a0_64 = COPY %42
193    $gp_64 = COPY %6
194    JALR64Pseudo killed %41, csr_n64, implicit-def dead $ra, implicit $a0_64, implicit $gp_64, implicit-def $sp, implicit-def $v0_64
195    ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
196    %43 = COPY $v0_64
197    %1 = LW %43, 0 :: (dereferenceable load (s32) from @k)
198    B %bb.3._ZTW1k.exit, implicit-def dead $at
199
200  bb.2.init.i.i:
201    successors: %bb.3._ZTW1k.exit(0x80000000)
202
203    ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
204    %24 = LUi64 target-flags(mips-call-hi16) &__tls_get_addr
205    %25 = DADDu killed %24, %6
206    %26 = LD %25, target-flags(mips-call-lo16) &__tls_get_addr :: (load (s64) from call-entry &__tls_get_addr)
207    %27 = DADDiu %6, target-flags(mips-tlsldm) @__tls_guard
208    $a0_64 = COPY %27
209    $gp_64 = COPY %6
210    JALR64Pseudo killed %26, csr_n64, implicit-def dead $ra, implicit $a0_64, implicit $gp_64, implicit-def $sp, implicit-def $v0_64
211    ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
212    %28 = COPY $v0_64
213    %29 = DADDiu %28, target-flags(mips-dtprel-hi) @__tls_guard
214    %30 = ADDiu $zero, 1
215    SB killed %30, killed %29, target-flags(mips-dtprel-lo) @__tls_guard :: (store (s8) into @__tls_guard)
216    ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
217    %31 = LUi64 target-flags(mips-call-hi16) @_Z1gi
218    %32 = DADDu killed %31, %6
219    %33 = DADDiu $zero_64, 3
220    %34 = LD killed %32, target-flags(mips-call-lo16) @_Z1gi :: (load (s64) from call-entry @_Z1gi)
221    $a0_64 = COPY %33
222    $gp_64 = COPY %6
223    JALR64Pseudo killed %34, csr_n64, implicit-def dead $ra, implicit $a0_64, implicit $gp_64, implicit-def $sp, implicit-def $v0
224    ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
225    %35 = COPY $v0
226    ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
227    %36 = LD %25, target-flags(mips-call-lo16) &__tls_get_addr :: (load (s64) from call-entry &__tls_get_addr)
228    %37 = DADDiu %6, target-flags(mips-tlsgd) @k
229    $a0_64 = COPY %37
230    $gp_64 = COPY %6
231    JALR64Pseudo killed %36, csr_n64, implicit-def dead $ra, implicit $a0_64, implicit $gp_64, implicit-def $sp, implicit-def $v0_64
232    ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
233    %38 = COPY $v0_64
234    SW %35, %38, 0 :: (store (s32) into @k)
235    %2 = COPY %35
236
237  bb.3._ZTW1k.exit:
238    successors: %bb.4(0x40000000), %bb.5._ZTW1j.exit(0x40000000)
239
240    %3 = PHI %2, %bb.2.init.i.i, %1, %bb.1.entry._ZTW1k.exit_crit_edge
241    %4 = ADDu %0, %3
242    %44 = LUi64 target-flags(mips-got-hi16) @_ZTH1j
243    %45 = DADDu killed %44, %6
244    %46 = LD killed %45, target-flags(mips-got-lo16) @_ZTH1j :: (load (s64) from got)
245    BEQ64 killed %46, $zero_64, %bb.5._ZTW1j.exit, implicit-def dead $at
246    B %bb.4, implicit-def dead $at
247
248  bb.4 (%ir-block.2):
249    successors: %bb.5._ZTW1j.exit(0x80000000)
250
251    ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
252    %47 = LUi64 target-flags(mips-call-hi16) @_ZTH1j
253    %48 = DADDu killed %47, %6
254    %49 = LD killed %48, target-flags(mips-call-lo16) @_ZTH1j :: (load (s64) from call-entry @_ZTH1j)
255    $gp_64 = COPY %6
256    JALR64Pseudo killed %49, csr_n64, implicit-def dead $ra, implicit $gp_64, implicit-def $sp
257    ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
258
259  bb.5._ZTW1j.exit:
260    ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
261    %50 = LUi64 target-flags(mips-call-hi16) &__tls_get_addr
262    %51 = DADDu killed %50, %6
263    %52 = LD killed %51, target-flags(mips-call-lo16) &__tls_get_addr :: (load (s64) from call-entry &__tls_get_addr)
264    %53 = DADDiu %6, target-flags(mips-tlsgd) @j
265    $a0_64 = COPY %53
266    $gp_64 = COPY %6
267    JALR64Pseudo killed %52, csr_n64, implicit-def dead $ra, implicit $a0_64, implicit $gp_64, implicit-def $sp, implicit-def $v0_64
268    ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
269    %54 = COPY $v0_64
270    %55 = LW %54, 0 :: (dereferenceable load (s32) from @j)
271    %56 = ADDu %4, killed %55
272    $v0 = COPY %56
273    RetRA implicit $v0
274
275...
276
277