1/* Copyright (C) 1999-2021 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