1/* Copyright (C) 1999-2022 Free Software Foundation, Inc.
2
3 The GNU C Library is free software; you can redistribute it and/or
4 modify it under the terms of the GNU Lesser General Public
5 License as published by the Free Software Foundation; either
6 version 2.1 of the License, or (at your option) any later version.
7
8 The GNU C Library is distributed in the hope that it will be useful,
9 but WITHOUT ANY WARRANTY; without even the implied warranty of
10 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
11 Lesser General Public License for more details.
12
13 You should have received a copy of the GNU Lesser General Public
14 License along with the GNU C Library; if not, see
15 <https://www.gnu.org/licenses/>.
16
17 Note that __sigsetjmp() did NOT flush the register stack. Instead,
18 we do it here since __longjmp() is usually much less frequently
19 invoked than __sigsetjmp(). The only difficulty is that __sigsetjmp()
20 didn't (and wouldn't be able to) save ar.rnat either. This is a problem
21 because if we're not careful, we could end up loading random NaT bits.
22 There are two cases:
23
24 (i) ar.bsp < ia64_rse_rnat_addr(jmpbuf.ar_bsp)
25 ar.rnat contains the desired bits---preserve ar.rnat
26 across loadrs and write to ar.bspstore
27
28 (ii) ar.bsp >= ia64_rse_rnat_addr(jmpbuf.ar_bsp)
29 The desired ar.rnat is stored in
30 ia64_rse_rnat_addr(jmpbuf.ar_bsp). Load those
31 bits into ar.rnat after setting ar.bspstore. */
32
33#include <sysdep.h>
34#include <features.h>
35
36# define pPos p6 /* is rotate count positive? */
37# define pNeg p7 /* is rotate count negative? */
38
39
40 /* __longjmp(__jmp_buf buf, int val) */
41
42LEAF(__longjmp)
43#ifdef CHECK_RSP
44 alloc r8=ar.pfs,2,1,3,0
45 CHECK_RSP
46#else
47 alloc r8=ar.pfs,2,0,0,0
48#endif
49 mov r27=ar.rsc
50 add r2=0x98,in0 // r2 <- &jmpbuf.orig_jmp_buf_addr
51 ;;
52 ld8 r8=[r2],-16 // r8 <- orig_jmp_buf_addr
53 mov r10=ar.bsp
54 and r11=~0x3,r27 // clear ar.rsc.mode
55 ;;
56 flushrs // flush dirty regs to backing store (must be first in insn grp)
57 ld8 r23=[r2],8 // r23 <- jmpbuf.ar_bsp
58 sub r8=r8,in0 // r8 <- &orig_jmpbuf - &jmpbuf
59 ;;
60 ld8 r25=[r2] // r25 <- jmpbuf.ar_unat
61 extr.u r8=r8,3,6 // r8 <- (&orig_jmpbuf - &jmpbuf)/8 & 0x3f
62 ;;
63 cmp.lt pNeg,pPos=r8,r0
64 mov r2=in0
65 ;;
66(pPos) mov r16=r8
67(pNeg) add r16=64,r8
68(pPos) sub r17=64,r8
69(pNeg) sub r17=r0,r8
70 ;;
71 mov ar.rsc=r11 // put RSE in enforced lazy mode
72 shr.u r8=r25,r16
73 add r3=8,in0 // r3 <- &jmpbuf.r1
74 shl r9=r25,r17
75 ;;
76 ld8.fill.nta r28=[r2],16 // r28 <- jmpbuf.sp
77 or r25=r8,r9
78 ;;
79 mov r26=ar.rnat
80 mov ar.unat=r25 // setup ar.unat (NaT bits for r1, r4-r7, and r12)
81 ;;
82 ld8.fill.nta gp=[r3],32 // r1 (gp)
83 dep r11=-1,r23,3,6 // r11 <- ia64_rse_rnat_addr(jmpbuf.ar_bsp)
84 mov sp=r28 // r12 (sp)
85 ;;
86 ld8.nta r16=[r2],16 // caller's unat
87// ld8.nta r17=[r3],16 // fpsr
88 ;;
89 ld8.fill.nta r4=[r2],16 // r4
90 ld8.fill.nta r5=[r3],16 // r5 (gp)
91 cmp.geu p8,p0=r10,r11 // p8 <- (ar.bsp >= jmpbuf.ar_bsp)
92 ;;
93 ld8.fill.nta r6=[r2],16 // r6
94 ld8.fill.nta r7=[r3],16 // r7
95 ;;
96 mov ar.unat=r16 // restore caller's unat
97// mov ar.fpsr=r17 // restore fpsr
98 ;;
99 ld8.nta r16=[r2],16 // b0
100 ld8.nta r17=[r3],16 // b1
101 ;;
102(p8) ld8 r26=[r11] // r26 <- *ia64_rse_rnat_addr(jmpbuf.ar_bsp)
103 mov ar.bspstore=r23 // restore ar.bspstore
104 ;;
105 ld8.nta r18=[r2],16 // b2
106 ld8.nta r19=[r3],16 // b3
107 ;;
108#ifdef PTR_DEMANGLE
109 PTR_DEMANGLE (r16, r24)
110#endif
111 ld8.nta r20=[r2],16 // b4
112 ld8.nta r21=[r3],16 // b5
113 ;;
114 ld8.nta r11=[r2],16 // ar.pfs
115 ld8.nta r22=[r3],56 // ar.lc
116 ;;
117 ld8.nta r24=[r2],32 // pr
118 mov b0=r16
119 ;;
120 ldf.fill.nta f2=[r2],32
121 ldf.fill.nta f3=[r3],32
122 mov b1=r17
123 ;;
124 ldf.fill.nta f4=[r2],32
125 ldf.fill.nta f5=[r3],32
126 mov b2=r18
127 ;;
128 ldf.fill.nta f16=[r2],32
129 ldf.fill.nta f17=[r3],32
130 mov b3=r19
131 ;;
132 ldf.fill.nta f18=[r2],32
133 ldf.fill.nta f19=[r3],32
134 mov b4=r20
135 ;;
136 ldf.fill.nta f20=[r2],32
137 ldf.fill.nta f21=[r3],32
138 mov b5=r21
139 ;;
140 ldf.fill.nta f22=[r2],32
141 ldf.fill.nta f23=[r3],32
142 mov ar.lc=r22
143 ;;
144 ldf.fill.nta f24=[r2],32
145 ldf.fill.nta f25=[r3],32
146 cmp.eq p8,p9=0,in1
147 ;;
148 ldf.fill.nta f26=[r2],32
149 ldf.fill.nta f27=[r3],32
150 mov ar.pfs=r11
151 ;;
152 ldf.fill.nta f28=[r2],32
153 ldf.fill.nta f29=[r3],32
154 ;;
155 ldf.fill.nta f30=[r2]
156 ldf.fill.nta f31=[r3]
157(p8) mov r8=1
158
159 mov ar.rnat=r26 // restore ar.rnat
160 ;;
161 mov ar.rsc=r27 // restore ar.rsc
162(p9) mov r8=in1
163
164 invala // virt. -> phys. regnum mapping may change
165 mov pr=r24,-1
166 ret
167END(__longjmp)
168

source code of glibc/sysdeps/unix/sysv/linux/ia64/__longjmp.S