[ViewVC] Diff of: cebix/BasiliskII/src/Unix/sigsegv.cpp

Comparing BasiliskII/src/Unix/sigsegv.cpp (file contents):
Revision 1.70 by gbeauche, 2007-12-31T18:07:01Z vs.
Revision 1.79 by gbeauche, 2008-01-12T23:01:40Z

#	Line 10 \| Line 10
10		* tjw@omnigroup.com Sun, 4 Jun 2000
11		* www.omnigroup.com/mailman/archive/macosx-dev/2000-June/002030.html
12		*
13	<	* Basilisk II (C) 1997-2005 Christian Bauer
13	>	* Basilisk II (C) 1997-2008 Christian Bauer
14		*
15		* This program is free software; you can redistribute it and/or modify
16		* it under the terms of the GNU General Public License as published by
#	Line 49 \| Line 49 \| using std::list;
49		#define RETSIGTYPE void
50		#endif
51
52	+	// Size of an unsigned integer large enough to hold all bits of a pointer
53	+	// NOTE: this can be different than SIGSEGV_REGISTER_TYPE. In
54	+	// particular, on ILP32 systems with a 64-bit kernel (HP-UX/ia64?)
55	+	#ifdef HAVE_WIN32_VM
56	+	// Windows is either ILP32 or LLP64
57	+	typedef UINT_PTR sigsegv_uintptr_t;
58	+	#else
59	+	// Other systems are sane enough to follow ILP32 or LP64 models
60	+	typedef unsigned long sigsegv_uintptr_t;
61	+	#endif
62	+
63		// Type of the system signal handler
64		typedef RETSIGTYPE (*signal_handler)(int);
65
#	Line 70 \| Line 81 \| static bool sigsegv_do_install_handler(i
81		enum transfer_type_t {
82		SIGSEGV_TRANSFER_UNKNOWN = 0,
83		SIGSEGV_TRANSFER_LOAD = 1,
84	<	SIGSEGV_TRANSFER_STORE = 2,
84	>	SIGSEGV_TRANSFER_STORE = 2
85		};
86
87		// Transfer size
#	Line 79 \| Line 90 \| enum transfer_size_t {
90		SIZE_BYTE,
91		SIZE_WORD, // 2 bytes
92		SIZE_LONG, // 4 bytes
93	<	SIZE_QUAD, // 8 bytes
93	>	SIZE_QUAD // 8 bytes
94		};
95
96		#if (defined(powerpc) \|\| defined(__powerpc__) \|\| defined(__ppc__) \|\| defined(__ppc64__))
#	Line 264 \| Line 275 \| static void powerpc_decode_instruction(i
275		#include <sys/regset.h>
276		#define SIGSEGV_CONTEXT_REGS (((ucontext_t *)scp)->uc_mcontext.gregs)
277		#define SIGSEGV_FAULT_INSTRUCTION SIGSEGV_CONTEXT_REGS[EIP]
278	<	#define SIGSEGV_REGISTER_FILE (unsigned long *)SIGSEGV_CONTEXT_REGS
278	>	#define SIGSEGV_REGISTER_FILE (SIGSEGV_REGISTER_TYPE *)SIGSEGV_CONTEXT_REGS
279		#define SIGSEGV_SKIP_INSTRUCTION ix86_skip_instruction
280		#endif
281		#endif
282		#if defined(__FreeBSD__) \|\| defined(__OpenBSD__)
283		#if (defined(i386) \|\| defined(__i386__))
284		#define SIGSEGV_FAULT_INSTRUCTION (((struct sigcontext *)scp)->sc_eip)
285	<	#define SIGSEGV_REGISTER_FILE ((unsigned long )&(((struct sigcontext )scp)->sc_edi)) /* EDI is the first GPR (even below EIP) in sigcontext */
285	>	#define SIGSEGV_REGISTER_FILE ((SIGSEGV_REGISTER_TYPE )&(((struct sigcontext )scp)->sc_edi)) /* EDI is the first GPR (even below EIP) in sigcontext */
286		#define SIGSEGV_SKIP_INSTRUCTION ix86_skip_instruction
287		#endif
288		#endif
#	Line 280 \| Line 291 \| static void powerpc_decode_instruction(i
291		#include <sys/ucontext.h>
292		#define SIGSEGV_CONTEXT_REGS (((ucontext_t *)scp)->uc_mcontext.__gregs)
293		#define SIGSEGV_FAULT_INSTRUCTION SIGSEGV_CONTEXT_REGS[_REG_EIP]
294	<	#define SIGSEGV_REGISTER_FILE (unsigned long *)SIGSEGV_CONTEXT_REGS
294	>	#define SIGSEGV_REGISTER_FILE (SIGSEGV_REGISTER_TYPE *)SIGSEGV_CONTEXT_REGS
295		#define SIGSEGV_SKIP_INSTRUCTION ix86_skip_instruction
296		#endif
297		#if (defined(powerpc) \|\| defined(__powerpc__))
#	Line 296 \| Line 307 \| static void powerpc_decode_instruction(i
307		#include <sys/ucontext.h>
308		#define SIGSEGV_CONTEXT_REGS (((ucontext_t *)scp)->uc_mcontext.gregs)
309		#define SIGSEGV_FAULT_INSTRUCTION SIGSEGV_CONTEXT_REGS[14] /* should use REG_EIP instead */
310	<	#define SIGSEGV_REGISTER_FILE (unsigned long *)SIGSEGV_CONTEXT_REGS
310	>	#define SIGSEGV_REGISTER_FILE (SIGSEGV_REGISTER_TYPE *)SIGSEGV_CONTEXT_REGS
311		#define SIGSEGV_SKIP_INSTRUCTION ix86_skip_instruction
312		#endif
313		#if (defined(x86_64) \|\| defined(__x86_64__))
314		#include <sys/ucontext.h>
315		#define SIGSEGV_CONTEXT_REGS (((ucontext_t *)scp)->uc_mcontext.gregs)
316		#define SIGSEGV_FAULT_INSTRUCTION SIGSEGV_CONTEXT_REGS[16] /* should use REG_RIP instead */
317	<	#define SIGSEGV_REGISTER_FILE (unsigned long *)SIGSEGV_CONTEXT_REGS
317	>	#define SIGSEGV_REGISTER_FILE (SIGSEGV_REGISTER_TYPE *)SIGSEGV_CONTEXT_REGS
318		#define SIGSEGV_SKIP_INSTRUCTION ix86_skip_instruction
319		#endif
320		#if (defined(ia64) \|\| defined(__ia64__))
321	<	#define SIGSEGV_FAULT_INSTRUCTION (((struct sigcontext )scp)->sc_ip & ~0x3ULL) / slot number is in bits 0 and 1 */
321	>	#define SIGSEGV_CONTEXT_REGS ((struct sigcontext *)scp)
322	>	#define SIGSEGV_FAULT_INSTRUCTION (SIGSEGV_CONTEXT_REGS->sc_ip & ~0x3ULL) /* slot number is in bits 0 and 1 */
323	>	#define SIGSEGV_REGISTER_FILE SIGSEGV_CONTEXT_REGS
324	>	#define SIGSEGV_SKIP_INSTRUCTION ia64_skip_instruction
325		#endif
326		#if (defined(powerpc) \|\| defined(__powerpc__))
327		#include <sys/ucontext.h>
#	Line 348 \| Line 362 \| static void powerpc_decode_instruction(i
362		#define SIGSEGV_FAULT_HANDLER_ARGS &scs
363		#define SIGSEGV_FAULT_ADDRESS scp->cr2
364		#define SIGSEGV_FAULT_INSTRUCTION scp->eip
365	<	#define SIGSEGV_REGISTER_FILE (unsigned long *)scp
365	>	#define SIGSEGV_REGISTER_FILE (SIGSEGV_REGISTER_TYPE *)scp
366		#define SIGSEGV_SKIP_INSTRUCTION ix86_skip_instruction
367		#endif
368		#if (defined(sparc) \|\| defined(__sparc__))
#	Line 469 \| Line 483 \| static sigsegv_address_t get_fault_addre
483		#define SIGSEGV_FAULT_HANDLER_ARGS sig, code, scp, addr
484		#define SIGSEGV_FAULT_ADDRESS addr
485		#define SIGSEGV_FAULT_INSTRUCTION scp->sc_eip
486	<	#define SIGSEGV_REGISTER_FILE ((unsigned long *)&scp->sc_edi)
486	>	#define SIGSEGV_REGISTER_FILE ((SIGSEGV_REGISTER_TYPE *)&scp->sc_edi)
487		#define SIGSEGV_SKIP_INSTRUCTION ix86_skip_instruction
488		#endif
489		#if (defined(alpha) \|\| defined(__alpha__))
#	Line 532 \| Line 546 \| static sigsegv_address_t get_fault_addre
546		#include <windows.h>
547		#include <winerror.h>
548
549	+	#if defined(_M_IX86)
550		#define SIGSEGV_FAULT_HANDLER_ARGLIST EXCEPTION_POINTERS *ExceptionInfo
551		#define SIGSEGV_FAULT_HANDLER_ARGS ExceptionInfo
552		#define SIGSEGV_FAULT_ADDRESS ExceptionInfo->ExceptionRecord->ExceptionInformation[1]
553		#define SIGSEGV_CONTEXT_REGS ExceptionInfo->ContextRecord
554		#define SIGSEGV_FAULT_INSTRUCTION SIGSEGV_CONTEXT_REGS->Eip
555	<	#define SIGSEGV_REGISTER_FILE ((unsigned long *)&SIGSEGV_CONTEXT_REGS->Edi)
555	>	#define SIGSEGV_REGISTER_FILE ((SIGSEGV_REGISTER_TYPE *)&SIGSEGV_CONTEXT_REGS->Edi)
556		#define SIGSEGV_SKIP_INSTRUCTION ix86_skip_instruction
557		#endif
558	+	#if defined(_M_X64)
559	+	#define SIGSEGV_FAULT_HANDLER_ARGLIST EXCEPTION_POINTERS *ExceptionInfo
560	+	#define SIGSEGV_FAULT_HANDLER_ARGS ExceptionInfo
561	+	#define SIGSEGV_FAULT_ADDRESS ExceptionInfo->ExceptionRecord->ExceptionInformation[1]
562	+	#define SIGSEGV_CONTEXT_REGS ExceptionInfo->ContextRecord
563	+	#define SIGSEGV_FAULT_INSTRUCTION SIGSEGV_CONTEXT_REGS->Rip
564	+	#define SIGSEGV_REGISTER_FILE ((SIGSEGV_REGISTER_TYPE *)&SIGSEGV_CONTEXT_REGS->Rax)
565	+	#define SIGSEGV_SKIP_INSTRUCTION ix86_skip_instruction
566	+	#endif
567	+	#endif
568
569		#if HAVE_MACH_EXCEPTIONS
570
#	Line 605 \| Line 630 \| if (ret != KERN_SUCCESS) { \
630		#define SIGSEGV_EXCEPTION_STATE_TYPE ppc_exception_state_t
631		#define SIGSEGV_EXCEPTION_STATE_FLAVOR PPC_EXCEPTION_STATE
632		#define SIGSEGV_EXCEPTION_STATE_COUNT PPC_EXCEPTION_STATE_COUNT
633	<	#define SIGSEGV_FAULT_ADDRESS sip->exc_state.dar
633	>	#define SIGSEGV_FAULT_ADDRESS SIP->exc_state.dar
634		#define SIGSEGV_THREAD_STATE_TYPE ppc_thread_state_t
635		#define SIGSEGV_THREAD_STATE_FLAVOR PPC_THREAD_STATE
636		#define SIGSEGV_THREAD_STATE_COUNT PPC_THREAD_STATE_COUNT
637	<	#define SIGSEGV_FAULT_INSTRUCTION sip->thr_state.srr0
637	>	#define SIGSEGV_FAULT_INSTRUCTION SIP->thr_state.srr0
638		#define SIGSEGV_SKIP_INSTRUCTION powerpc_skip_instruction
639	<	#define SIGSEGV_REGISTER_FILE (unsigned long )&sip->thr_state.srr0, (unsigned long )&sip->thr_state.r0
639	>	#define SIGSEGV_REGISTER_FILE (unsigned long )&SIP->thr_state.srr0, (unsigned long )&SIP->thr_state.r0
640		#endif
641		#ifdef __ppc64__
642		#define SIGSEGV_EXCEPTION_STATE_TYPE ppc_exception_state64_t
643		#define SIGSEGV_EXCEPTION_STATE_FLAVOR PPC_EXCEPTION_STATE64
644		#define SIGSEGV_EXCEPTION_STATE_COUNT PPC_EXCEPTION_STATE64_COUNT
645	<	#define SIGSEGV_FAULT_ADDRESS sip->exc_state.dar
645	>	#define SIGSEGV_FAULT_ADDRESS SIP->exc_state.dar
646		#define SIGSEGV_THREAD_STATE_TYPE ppc_thread_state64_t
647		#define SIGSEGV_THREAD_STATE_FLAVOR PPC_THREAD_STATE64
648		#define SIGSEGV_THREAD_STATE_COUNT PPC_THREAD_STATE64_COUNT
649	<	#define SIGSEGV_FAULT_INSTRUCTION sip->thr_state.srr0
649	>	#define SIGSEGV_FAULT_INSTRUCTION SIP->thr_state.srr0
650		#define SIGSEGV_SKIP_INSTRUCTION powerpc_skip_instruction
651	<	#define SIGSEGV_REGISTER_FILE (unsigned long )&sip->thr_state.srr0, (unsigned long )&sip->thr_state.r0
651	>	#define SIGSEGV_REGISTER_FILE (unsigned long )&SIP->thr_state.srr0, (unsigned long )&SIP->thr_state.r0
652		#endif
653		#ifdef __i386__
654		#define SIGSEGV_EXCEPTION_STATE_TYPE struct i386_exception_state
655		#define SIGSEGV_EXCEPTION_STATE_FLAVOR i386_EXCEPTION_STATE
656		#define SIGSEGV_EXCEPTION_STATE_COUNT i386_EXCEPTION_STATE_COUNT
657	<	#define SIGSEGV_FAULT_ADDRESS sip->exc_state.faultvaddr
657	>	#define SIGSEGV_FAULT_ADDRESS SIP->exc_state.faultvaddr
658		#define SIGSEGV_THREAD_STATE_TYPE struct i386_thread_state
659		#define SIGSEGV_THREAD_STATE_FLAVOR i386_THREAD_STATE
660		#define SIGSEGV_THREAD_STATE_COUNT i386_THREAD_STATE_COUNT
661	<	#define SIGSEGV_FAULT_INSTRUCTION sip->thr_state.eip
661	>	#define SIGSEGV_FAULT_INSTRUCTION SIP->thr_state.eip
662		#define SIGSEGV_SKIP_INSTRUCTION ix86_skip_instruction
663	<	#define SIGSEGV_REGISTER_FILE ((unsigned long )&sip->thr_state.eax) / EAX is the first GPR we consider */
663	>	#define SIGSEGV_REGISTER_FILE ((SIGSEGV_REGISTER_TYPE )&SIP->thr_state.eax) / EAX is the first GPR we consider */
664		#endif
665		#ifdef __x86_64__
666		#define SIGSEGV_EXCEPTION_STATE_TYPE struct x86_exception_state64
667		#define SIGSEGV_EXCEPTION_STATE_FLAVOR x86_EXCEPTION_STATE64
668		#define SIGSEGV_EXCEPTION_STATE_COUNT x86_EXCEPTION_STATE64_COUNT
669	<	#define SIGSEGV_FAULT_ADDRESS sip->exc_state.faultvaddr
669	>	#define SIGSEGV_FAULT_ADDRESS SIP->exc_state.faultvaddr
670		#define SIGSEGV_THREAD_STATE_TYPE struct x86_thread_state64
671		#define SIGSEGV_THREAD_STATE_FLAVOR x86_THREAD_STATE64
672		#define SIGSEGV_THREAD_STATE_COUNT x86_THREAD_STATE64_COUNT
673	<	#define SIGSEGV_FAULT_INSTRUCTION sip->thr_state.rip
673	>	#define SIGSEGV_FAULT_INSTRUCTION SIP->thr_state.rip
674		#define SIGSEGV_SKIP_INSTRUCTION ix86_skip_instruction
675	<	#define SIGSEGV_REGISTER_FILE ((unsigned long )&sip->thr_state.rax) / RAX is the first GPR we consider */
675	>	#define SIGSEGV_REGISTER_FILE ((SIGSEGV_REGISTER_TYPE )&SIP->thr_state.rax) / RAX is the first GPR we consider */
676		#endif
677		#define SIGSEGV_FAULT_ADDRESS_FAST code[1]
678		#define SIGSEGV_FAULT_INSTRUCTION_FAST SIGSEGV_INVALID_ADDRESS
#	Line 705 \| Line 730 \| *handleExceptions(void priv)**
730		* Instruction skipping
731		*/
732
733	+	#ifndef SIGSEGV_REGISTER_TYPE
734	+	#define SIGSEGV_REGISTER_TYPE sigsegv_uintptr_t
735	+	#endif
736	+
737		#ifdef HAVE_SIGSEGV_SKIP_INSTRUCTION
738		// Decode and skip X86 instruction
739	<	#if (defined(i386) \|\| defined(__i386__)) \|\| defined(__x86_64__)
739	>	#if (defined(i386) \|\| defined(__i386__)) \|\| (defined(__x86_64__) \|\| defined(_M_X64))
740		#if defined(__linux__)
741		enum {
742		#if (defined(i386) \|\| defined(__i386__))
#	Line 858 \| Line 887 \| enum {
887		#endif
888		#if defined(_WIN32)
889		enum {
890	<	#if (defined(i386) \|\| defined(__i386__))
890	>	#if defined(_M_IX86)
891		X86_REG_EIP = 7,
892		X86_REG_EAX = 5,
893		X86_REG_ECX = 4,
#	Line 869 \| Line 898 \| enum {
898		X86_REG_ESI = 1,
899		X86_REG_EDI = 0
900		#endif
901	+	#if defined(_M_X64)
902	+	X86_REG_EAX = 0,
903	+	X86_REG_ECX = 1,
904	+	X86_REG_EDX = 2,
905	+	X86_REG_EBX = 3,
906	+	X86_REG_ESP = 4,
907	+	X86_REG_EBP = 5,
908	+	X86_REG_ESI = 6,
909	+	X86_REG_EDI = 7,
910	+	X86_REG_R8 = 8,
911	+	X86_REG_R9 = 9,
912	+	X86_REG_R10 = 10,
913	+	X86_REG_R11 = 11,
914	+	X86_REG_R12 = 12,
915	+	X86_REG_R13 = 13,
916	+	X86_REG_R14 = 14,
917	+	X86_REG_R15 = 15,
918	+	X86_REG_EIP = 16
919	+	#endif
920		};
921		#endif
922		// FIXME: this is partly redundant with the instruction decoding phase
#	Line 905 \| Line 953 \| static inline int ix86_step_over_modrm(u
953		return offset;
954		}
955
956	<	static bool ix86_skip_instruction(unsigned long * regs)
956	>	static bool ix86_skip_instruction(SIGSEGV_REGISTER_TYPE * regs)
957		{
958		unsigned char * eip = (unsigned char *)regs[X86_REG_EIP];
959
#	Line 941 \| Line 989 \| static bool ix86_skip_instruction(unsign
989		}
990
991		// REX prefix
992	<	#if defined(__x86_64__)
992	>	#if defined(__x86_64__) \|\| defined(_M_X64)
993		struct rex_t {
994		unsigned char W;
995		unsigned char R;
#	Line 993 \| Line 1041 \| static bool ix86_skip_instruction(unsign
1041		goto do_transfer_load;
1042		}
1043		break;
1044	<	#if defined(__x86_64__)
1044	>	#if defined(__x86_64__) \|\| defined(_M_X64)
1045		case 0x63: // MOVSXD r64, r/m32
1046		if (has_rex && rex.W) {
1047		transfer_size = SIZE_LONG;
#	Line 1064 \| Line 1112 \| static bool ix86_skip_instruction(unsign
1112		return false;
1113		}
1114
1115	<	#if defined(__x86_64__)
1115	>	#if defined(__x86_64__) \|\| defined(_M_X64)
1116		if (rex.R)
1117		reg += 8;
1118		#endif
#	Line 1073 \| Line 1121 \| static bool ix86_skip_instruction(unsign
1121		static const int x86_reg_map[] = {
1122		X86_REG_EAX, X86_REG_ECX, X86_REG_EDX, X86_REG_EBX,
1123		X86_REG_ESP, X86_REG_EBP, X86_REG_ESI, X86_REG_EDI,
1124	<	#if defined(__x86_64__)
1124	>	#if defined(__x86_64__) \|\| defined(_M_X64)
1125		X86_REG_R8, X86_REG_R9, X86_REG_R10, X86_REG_R11,
1126		X86_REG_R12, X86_REG_R13, X86_REG_R14, X86_REG_R15,
1127		#endif
#	Line 1160 \| Line 1208 \| static bool ix86_skip_instruction(unsign
1208		}
1209		#endif
1210
1211	+	// Decode and skip IA-64 instruction
1212	+	#if defined(__ia64__)
1213	+	#if defined(__linux__)
1214	+	// We can directly patch the slot number
1215	+	#define IA64_CAN_PATCH_IP_SLOT 1
1216	+	// Helper macros to access the machine context
1217	+	#define IA64_CONTEXT_TYPE struct sigcontext *
1218	+	#define IA64_CONTEXT scp
1219	+	#define IA64_GET_IP() (IA64_CONTEXT->sc_ip)
1220	+	#define IA64_SET_IP(V) (IA64_CONTEXT->sc_ip = (V))
1221	+	#define IA64_GET_PR(P) ((IA64_CONTEXT->sc_pr >> (P)) & 1)
1222	+	#define IA64_GET_NAT(I) ((IA64_CONTEXT->sc_nat >> (I)) & 1)
1223	+	#define IA64_SET_NAT(I,V) (IA64_CONTEXT->sc_nat= (IA64_CONTEXT->sc_nat & ~(1ul << (I))) \| (((unsigned long)!!(V)) << (I)))
1224	+	#define IA64_GET_GR(R) (IA64_CONTEXT->sc_gr[(R)])
1225	+	#define IA64_SET_GR(R,V) (IA64_CONTEXT->sc_gr[(R)] = (V))
1226	+	#endif
1227	+
1228	+	// Instruction operations
1229	+	enum {
1230	+	IA64_INST_UNKNOWN = 0,
1231	+	IA64_INST_LD1, // ld1 op0=[op1]
1232	+	IA64_INST_LD1_UPDATE, // ld1 op0=[op1],op2
1233	+	IA64_INST_LD2, // ld2 op0=[op1]
1234	+	IA64_INST_LD2_UPDATE, // ld2 op0=[op1],op2
1235	+	IA64_INST_LD4, // ld4 op0=[op1]
1236	+	IA64_INST_LD4_UPDATE, // ld4 op0=[op1],op2
1237	+	IA64_INST_LD8, // ld8 op0=[op1]
1238	+	IA64_INST_LD8_UPDATE, // ld8 op0=[op1],op2
1239	+	IA64_INST_ST1, // st1 [op0]=op1
1240	+	IA64_INST_ST1_UPDATE, // st1 [op0]=op1,op2
1241	+	IA64_INST_ST2, // st2 [op0]=op1
1242	+	IA64_INST_ST2_UPDATE, // st2 [op0]=op1,op2
1243	+	IA64_INST_ST4, // st4 [op0]=op1
1244	+	IA64_INST_ST4_UPDATE, // st4 [op0]=op1,op2
1245	+	IA64_INST_ST8, // st8 [op0]=op1
1246	+	IA64_INST_ST8_UPDATE, // st8 [op0]=op1,op2
1247	+	IA64_INST_ADD, // add op0=op1,op2,op3
1248	+	IA64_INST_SUB, // sub op0=op1,op2,op3
1249	+	IA64_INST_SHLADD, // shladd op0=op1,op3,op2
1250	+	IA64_INST_AND, // and op0=op1,op2
1251	+	IA64_INST_ANDCM, // andcm op0=op1,op2
1252	+	IA64_INST_OR, // or op0=op1,op2
1253	+	IA64_INST_XOR, // xor op0=op1,op2
1254	+	IA64_INST_SXT1, // sxt1 op0=op1
1255	+	IA64_INST_SXT2, // sxt2 op0=op1
1256	+	IA64_INST_SXT4, // sxt4 op0=op1
1257	+	IA64_INST_ZXT1, // zxt1 op0=op1
1258	+	IA64_INST_ZXT2, // zxt2 op0=op1
1259	+	IA64_INST_ZXT4, // zxt4 op0=op1
1260	+	IA64_INST_NOP // nop op0
1261	+	};
1262	+
1263	+	const int IA64_N_OPERANDS = 4;
1264	+
1265	+	// Decoded operand type
1266	+	struct ia64_operand_t {
1267	+	unsigned char commit; // commit result of operation to register file?
1268	+	unsigned char valid; // XXX: not really used, can be removed (debug)
1269	+	signed char index; // index of GPR, or -1 if immediate value
1270	+	unsigned char nat; // NaT state before operation
1271	+	unsigned long value; // register contents or immediate value
1272	+	};
1273	+
1274	+	// Decoded instruction type
1275	+	struct ia64_instruction_t {
1276	+	unsigned char mnemo; // operation to perform
1277	+	unsigned char pred; // predicate register to check
1278	+	unsigned char no_memory; // used to emulated main fault instruction
1279	+	unsigned long inst; // the raw instruction bits (41-bit wide)
1280	+	ia64_operand_t operands[IA64_N_OPERANDS];
1281	+	};
1282	+
1283	+	// Get immediate sign-bit
1284	+	static inline int ia64_inst_get_sbit(unsigned long inst)
1285	+	{
1286	+	return (inst >> 36) & 1;
1287	+	}
1288	+
1289	+	// Get 8-bit immediate value (A3, A8, I27, M30)
1290	+	static inline unsigned long ia64_inst_get_imm8(unsigned long inst)
1291	+	{
1292	+	unsigned long value = (inst >> 13) & 0x7ful;
1293	+	if (ia64_inst_get_sbit(inst))
1294	+	value \|= ~0x7ful;
1295	+	return value;
1296	+	}
1297	+
1298	+	// Get 9-bit immediate value (M3)
1299	+	static inline unsigned long ia64_inst_get_imm9b(unsigned long inst)
1300	+	{
1301	+	unsigned long value = (((inst >> 27) & 1) << 7) \| ((inst >> 13) & 0x7f);
1302	+	if (ia64_inst_get_sbit(inst))
1303	+	value \|= ~0xfful;
1304	+	return value;
1305	+	}
1306	+
1307	+	// Get 9-bit immediate value (M5)
1308	+	static inline unsigned long ia64_inst_get_imm9a(unsigned long inst)
1309	+	{
1310	+	unsigned long value = (((inst >> 27) & 1) << 7) \| ((inst >> 6) & 0x7f);
1311	+	if (ia64_inst_get_sbit(inst))
1312	+	value \|= ~0xfful;
1313	+	return value;
1314	+	}
1315	+
1316	+	// Get 14-bit immediate value (A4)
1317	+	static inline unsigned long ia64_inst_get_imm14(unsigned long inst)
1318	+	{
1319	+	unsigned long value = (((inst >> 27) & 0x3f) << 7) \| (inst & 0x7f);
1320	+	if (ia64_inst_get_sbit(inst))
1321	+	value \|= ~0x1fful;
1322	+	return value;
1323	+	}
1324	+
1325	+	// Get 22-bit immediate value (A5)
1326	+	static inline unsigned long ia64_inst_get_imm22(unsigned long inst)
1327	+	{
1328	+	unsigned long value = ((((inst >> 22) & 0x1f) << 16) \|
1329	+	(((inst >> 27) & 0x1ff) << 7) \|
1330	+	(inst & 0x7f));
1331	+	if (ia64_inst_get_sbit(inst))
1332	+	value \|= ~0x1ffffful;
1333	+	return value;
1334	+	}
1335	+
1336	+	// Get 21-bit immediate value (I19)
1337	+	static inline unsigned long ia64_inst_get_imm21(unsigned long inst)
1338	+	{
1339	+	return (((inst >> 36) & 1) << 20) \| ((inst >> 6) & 0xfffff);
1340	+	}
1341	+
1342	+	// Get 2-bit count value (A2)
1343	+	static inline int ia64_inst_get_count2(unsigned long inst)
1344	+	{
1345	+	return (inst >> 27) & 0x3;
1346	+	}
1347	+
1348	+	// Get bundle template
1349	+	static inline unsigned int ia64_get_template(unsigned long raw_ip)
1350	+	{
1351	+	unsigned long ip = (unsigned long )(raw_ip & ~3ul);
1352	+	return ip[0] & 0x1f;
1353	+	}
1354	+
1355	+	// Get specified instruction in bundle
1356	+	static unsigned long ia64_get_instruction(unsigned long raw_ip, int slot)
1357	+	{
1358	+	unsigned long inst;
1359	+	unsigned long ip = (unsigned long )(raw_ip & ~3ul);
1360	+	#if DEBUG
1361	+	printf("Bundle: %016lx%016lx\n", ip[1], ip[0]);
1362	+	#endif
1363	+
1364	+	switch (slot) {
1365	+	case 0:
1366	+	inst = (ip[0] >> 5) & 0x1fffffffffful;
1367	+	break;
1368	+	case 1:
1369	+	inst = ((ip[1] & 0x7ffffful) << 18) \| ((ip[0] >> 46) & 0x3fffful);
1370	+	break;
1371	+	case 2:
1372	+	inst = (ip[1] >> 23) & 0x1fffffffffful;
1373	+	break;
1374	+	case 3:
1375	+	fprintf(stderr, "ERROR: ia64_get_instruction(), invalid slot number %d\n", slot);
1376	+	abort();
1377	+	break;
1378	+	}
1379	+
1380	+	#if DEBUG
1381	+	printf(" Instruction %d: 0x%016lx\n", slot, inst);
1382	+	#endif
1383	+	return inst;
1384	+	}
1385	+
1386	+	// Decode group 0 instructions
1387	+	static bool ia64_decode_instruction_0(ia64_instruction_t *inst, IA64_CONTEXT_TYPE IA64_CONTEXT)
1388	+	{
1389	+	const int r1 = (inst->inst >> 6) & 0x7f;
1390	+	const int r3 = (inst->inst >> 20) & 0x7f;
1391	+
1392	+	const int x3 = (inst->inst >> 33) & 0x07;
1393	+	const int x6 = (inst->inst >> 27) & 0x3f;
1394	+	const int x2 = (inst->inst >> 31) & 0x03;
1395	+	const int x4 = (inst->inst >> 27) & 0x0f;
1396	+
1397	+	if (x3 == 0) {
1398	+	switch (x6) {
1399	+	case 0x01: // nop.i (I19)
1400	+	inst->mnemo = IA64_INST_NOP;
1401	+	inst->operands[0].valid = true;
1402	+	inst->operands[0].index = -1;
1403	+	inst->operands[0].value = ia64_inst_get_imm21(inst->inst);
1404	+	return true;
1405	+	case 0x14: // sxt1 (I29)
1406	+	case 0x15: // sxt2 (I29)
1407	+	case 0x16: // sxt4 (I29)
1408	+	case 0x10: // zxt1 (I29)
1409	+	case 0x11: // zxt2 (I29)
1410	+	case 0x12: // zxt4 (I29)
1411	+	switch (x6) {
1412	+	case 0x14: inst->mnemo = IA64_INST_SXT1; break;
1413	+	case 0x15: inst->mnemo = IA64_INST_SXT2; break;
1414	+	case 0x16: inst->mnemo = IA64_INST_SXT4; break;
1415	+	case 0x10: inst->mnemo = IA64_INST_ZXT1; break;
1416	+	case 0x11: inst->mnemo = IA64_INST_ZXT2; break;
1417	+	case 0x12: inst->mnemo = IA64_INST_ZXT4; break;
1418	+	default: abort();
1419	+	}
1420	+	inst->operands[0].valid = true;
1421	+	inst->operands[0].index = r1;
1422	+	inst->operands[1].valid = true;
1423	+	inst->operands[1].index = r3;
1424	+	inst->operands[1].value = IA64_GET_GR(r3);
1425	+	inst->operands[1].nat = IA64_GET_NAT(r3);
1426	+	return true;
1427	+	}
1428	+	}
1429	+	return false;
1430	+	}
1431	+
1432	+	// Decode group 4 instructions (load/store instructions)
1433	+	static bool ia64_decode_instruction_4(ia64_instruction_t *inst, IA64_CONTEXT_TYPE IA64_CONTEXT)
1434	+	{
1435	+	const int r1 = (inst->inst >> 6) & 0x7f;
1436	+	const int r2 = (inst->inst >> 13) & 0x7f;
1437	+	const int r3 = (inst->inst >> 20) & 0x7f;
1438	+
1439	+	const int m = (inst->inst >> 36) & 1;
1440	+	const int x = (inst->inst >> 27) & 1;
1441	+	const int x6 = (inst->inst >> 30) & 0x3f;
1442	+
1443	+	switch (x6) {
1444	+	case 0x00:
1445	+	case 0x01:
1446	+	case 0x02:
1447	+	case 0x03:
1448	+	if (x == 0) {
1449	+	inst->operands[0].valid = true;
1450	+	inst->operands[0].index = r1;
1451	+	inst->operands[1].valid = true;
1452	+	inst->operands[1].index = r3;
1453	+	inst->operands[1].value = IA64_GET_GR(r3);
1454	+	inst->operands[1].nat = IA64_GET_NAT(r3);
1455	+	if (m == 0) {
1456	+	switch (x6) {
1457	+	case 0x00: inst->mnemo = IA64_INST_LD1; break;
1458	+	case 0x01: inst->mnemo = IA64_INST_LD2; break;
1459	+	case 0x02: inst->mnemo = IA64_INST_LD4; break;
1460	+	case 0x03: inst->mnemo = IA64_INST_LD8; break;
1461	+	}
1462	+	}
1463	+	else {
1464	+	inst->operands[2].valid = true;
1465	+	inst->operands[2].index = r2;
1466	+	inst->operands[2].value = IA64_GET_GR(r2);
1467	+	inst->operands[2].nat = IA64_GET_NAT(r2);
1468	+	switch (x6) {
1469	+	case 0x00: inst->mnemo = IA64_INST_LD1_UPDATE; break;
1470	+	case 0x01: inst->mnemo = IA64_INST_LD2_UPDATE; break;
1471	+	case 0x02: inst->mnemo = IA64_INST_LD4_UPDATE; break;
1472	+	case 0x03: inst->mnemo = IA64_INST_LD8_UPDATE; break;
1473	+	}
1474	+	}
1475	+	return true;
1476	+	}
1477	+	break;
1478	+	case 0x30:
1479	+	case 0x31:
1480	+	case 0x32:
1481	+	case 0x33:
1482	+	if (m == 0 && x == 0) {
1483	+	inst->operands[0].valid = true;
1484	+	inst->operands[0].index = r3;
1485	+	inst->operands[0].value = IA64_GET_GR(r3);
1486	+	inst->operands[0].nat = IA64_GET_NAT(r3);
1487	+	inst->operands[1].valid = true;
1488	+	inst->operands[1].index = r2;
1489	+	inst->operands[1].value = IA64_GET_GR(r2);
1490	+	inst->operands[1].nat = IA64_GET_NAT(r2);
1491	+	switch (x6) {
1492	+	case 0x30: inst->mnemo = IA64_INST_ST1; break;
1493	+	case 0x31: inst->mnemo = IA64_INST_ST2; break;
1494	+	case 0x32: inst->mnemo = IA64_INST_ST4; break;
1495	+	case 0x33: inst->mnemo = IA64_INST_ST8; break;
1496	+	}
1497	+	return true;
1498	+	}
1499	+	break;
1500	+	}
1501	+	return false;
1502	+	}
1503	+
1504	+	// Decode group 5 instructions (load/store instructions)
1505	+	static bool ia64_decode_instruction_5(ia64_instruction_t *inst, IA64_CONTEXT_TYPE IA64_CONTEXT)
1506	+	{
1507	+	const int r1 = (inst->inst >> 6) & 0x7f;
1508	+	const int r2 = (inst->inst >> 13) & 0x7f;
1509	+	const int r3 = (inst->inst >> 20) & 0x7f;
1510	+
1511	+	const int x6 = (inst->inst >> 30) & 0x3f;
1512	+
1513	+	switch (x6) {
1514	+	case 0x00:
1515	+	case 0x01:
1516	+	case 0x02:
1517	+	case 0x03:
1518	+	inst->operands[0].valid = true;
1519	+	inst->operands[0].index = r1;
1520	+	inst->operands[1].valid = true;
1521	+	inst->operands[1].index = r3;
1522	+	inst->operands[1].value = IA64_GET_GR(r3);
1523	+	inst->operands[1].nat = IA64_GET_NAT(r3);
1524	+	inst->operands[2].valid = true;
1525	+	inst->operands[2].index = -1;
1526	+	inst->operands[2].value = ia64_inst_get_imm9b(inst->inst);
1527	+	inst->operands[2].nat = 0;
1528	+	switch (x6) {
1529	+	case 0x00: inst->mnemo = IA64_INST_LD1_UPDATE; break;
1530	+	case 0x01: inst->mnemo = IA64_INST_LD2_UPDATE; break;
1531	+	case 0x02: inst->mnemo = IA64_INST_LD4_UPDATE; break;
1532	+	case 0x03: inst->mnemo = IA64_INST_LD8_UPDATE; break;
1533	+	}
1534	+	return true;
1535	+	case 0x30:
1536	+	case 0x31:
1537	+	case 0x32:
1538	+	case 0x33:
1539	+	inst->operands[0].valid = true;
1540	+	inst->operands[0].index = r3;
1541	+	inst->operands[0].value = IA64_GET_GR(r3);
1542	+	inst->operands[0].nat = IA64_GET_NAT(r3);
1543	+	inst->operands[1].valid = true;
1544	+	inst->operands[1].index = r2;
1545	+	inst->operands[1].value = IA64_GET_GR(r2);
1546	+	inst->operands[1].nat = IA64_GET_NAT(r2);
1547	+	inst->operands[2].valid = true;
1548	+	inst->operands[2].index = -1;
1549	+	inst->operands[2].value = ia64_inst_get_imm9a(inst->inst);
1550	+	inst->operands[2].nat = 0;
1551	+	switch (x6) {
1552	+	case 0x30: inst->mnemo = IA64_INST_ST1_UPDATE; break;
1553	+	case 0x31: inst->mnemo = IA64_INST_ST2_UPDATE; break;
1554	+	case 0x32: inst->mnemo = IA64_INST_ST4_UPDATE; break;
1555	+	case 0x33: inst->mnemo = IA64_INST_ST8_UPDATE; break;
1556	+	}
1557	+	return true;
1558	+	}
1559	+	return false;
1560	+	}
1561	+
1562	+	// Decode group 8 instructions (ALU integer)
1563	+	static bool ia64_decode_instruction_8(ia64_instruction_t *inst, IA64_CONTEXT_TYPE IA64_CONTEXT)
1564	+	{
1565	+	const int r1 = (inst->inst >> 6) & 0x7f;
1566	+	const int r2 = (inst->inst >> 13) & 0x7f;
1567	+	const int r3 = (inst->inst >> 20) & 0x7f;
1568	+
1569	+	const int x2a = (inst->inst >> 34) & 0x3;
1570	+	const int x2b = (inst->inst >> 27) & 0x3;
1571	+	const int x4 = (inst->inst >> 29) & 0xf;
1572	+	const int ve = (inst->inst >> 33) & 0x1;
1573	+
1574	+	// destination register (r1) is always valid in this group
1575	+	inst->operands[0].valid = true;
1576	+	inst->operands[0].index = r1;
1577	+
1578	+	// source register (r3) is always valid in this group
1579	+	inst->operands[2].valid = true;
1580	+	inst->operands[2].index = r3;
1581	+	inst->operands[2].value = IA64_GET_GR(r3);
1582	+	inst->operands[2].nat = IA64_GET_NAT(r3);
1583	+
1584	+	if (x2a == 0 && ve == 0) {
1585	+	inst->operands[1].valid = true;
1586	+	inst->operands[1].index = r2;
1587	+	inst->operands[1].value = IA64_GET_GR(r2);
1588	+	inst->operands[1].nat = IA64_GET_NAT(r2);
1589	+	switch (x4) {
1590	+	case 0x0: // add (A1)
1591	+	inst->mnemo = IA64_INST_ADD;
1592	+	inst->operands[3].valid = true;
1593	+	inst->operands[3].index = -1;
1594	+	inst->operands[3].value = x2b == 1;
1595	+	return true;
1596	+	case 0x1: // add (A1)
1597	+	inst->mnemo = IA64_INST_SUB;
1598	+	inst->operands[3].valid = true;
1599	+	inst->operands[3].index = -1;
1600	+	inst->operands[3].value = x2b == 0;
1601	+	return true;
1602	+	case 0x4: // shladd (A2)
1603	+	inst->mnemo = IA64_INST_SHLADD;
1604	+	inst->operands[3].valid = true;
1605	+	inst->operands[3].index = -1;
1606	+	inst->operands[3].value = ia64_inst_get_count2(inst->inst);
1607	+	return true;
1608	+	case 0x9:
1609	+	if (x2b == 1) {
1610	+	inst->mnemo = IA64_INST_SUB;
1611	+	inst->operands[1].index = -1;
1612	+	inst->operands[1].value = ia64_inst_get_imm8(inst->inst);
1613	+	inst->operands[1].nat = 0;
1614	+	return true;
1615	+	}
1616	+	break;
1617	+	case 0xb:
1618	+	inst->operands[1].index = -1;
1619	+	inst->operands[1].value = ia64_inst_get_imm8(inst->inst);
1620	+	inst->operands[1].nat = 0;
1621	+	// fall-through
1622	+	case 0x3:
1623	+	switch (x2b) {
1624	+	case 0: inst->mnemo = IA64_INST_AND; break;
1625	+	case 1: inst->mnemo = IA64_INST_ANDCM; break;
1626	+	case 2: inst->mnemo = IA64_INST_OR; break;
1627	+	case 3: inst->mnemo = IA64_INST_XOR; break;
1628	+	}
1629	+	return true;
1630	+	}
1631	+	}
1632	+	return false;
1633	+	}
1634	+
1635	+	// Decode instruction
1636	+	static bool ia64_decode_instruction(ia64_instruction_t *inst, IA64_CONTEXT_TYPE IA64_CONTEXT)
1637	+	{
1638	+	const int major = (inst->inst >> 37) & 0xf;
1639	+
1640	+	inst->mnemo = IA64_INST_UNKNOWN;
1641	+	inst->pred = inst->inst & 0x3f;
1642	+	memset(&inst->operands[0], 0, sizeof(inst->operands));
1643	+
1644	+	switch (major) {
1645	+	case 0x0: return ia64_decode_instruction_0(inst, IA64_CONTEXT);
1646	+	case 0x4: return ia64_decode_instruction_4(inst, IA64_CONTEXT);
1647	+	case 0x5: return ia64_decode_instruction_5(inst, IA64_CONTEXT);
1648	+	case 0x8: return ia64_decode_instruction_8(inst, IA64_CONTEXT);
1649	+	}
1650	+	return false;
1651	+	}
1652	+
1653	+	static bool ia64_emulate_instruction(ia64_instruction_t *inst, IA64_CONTEXT_TYPE IA64_CONTEXT)
1654	+	{
1655	+	// XXX: handle Register NaT Consumption fault?
1656	+	// XXX: this simple emulator assumes instructions in a bundle
1657	+	// don't depend on effects of other instructions in the same
1658	+	// bundle. It probably would be simpler to JIT-generate code to be
1659	+	// executed natively but probably more costly (inject/extract CPU state)
1660	+	if (inst->mnemo == IA64_INST_UNKNOWN)
1661	+	return false;
1662	+	if (inst->pred && !IA64_GET_PR(inst->pred))
1663	+	return true;
1664	+
1665	+	unsigned char nat, nat2;
1666	+	unsigned long dst, dst2, src1, src2, src3;
1667	+
1668	+	switch (inst->mnemo) {
1669	+	case IA64_INST_NOP:
1670	+	break;
1671	+	case IA64_INST_ADD:
1672	+	case IA64_INST_SUB:
1673	+	case IA64_INST_SHLADD:
1674	+	src3 = inst->operands[3].value;
1675	+	// fall-through
1676	+	case IA64_INST_AND:
1677	+	case IA64_INST_ANDCM:
1678	+	case IA64_INST_OR:
1679	+	case IA64_INST_XOR:
1680	+	src1 = inst->operands[1].value;
1681	+	src2 = inst->operands[2].value;
1682	+	switch (inst->mnemo) {
1683	+	case IA64_INST_ADD: dst = src1 + src2 + src3; break;
1684	+	case IA64_INST_SUB: dst = src1 - src2 - src3; break;
1685	+	case IA64_INST_SHLADD: dst = (src1 << src3) + src2; break;
1686	+	case IA64_INST_AND: dst = src1 & src2; break;
1687	+	case IA64_INST_ANDCM: dst = src1 &~ src2; break;
1688	+	case IA64_INST_OR: dst = src1 \| src2; break;
1689	+	case IA64_INST_XOR: dst = src1 ^ src2; break;
1690	+	}
1691	+	inst->operands[0].commit = true;
1692	+	inst->operands[0].value = dst;
1693	+	inst->operands[0].nat = inst->operands[1].nat \| inst->operands[2].nat;
1694	+	break;
1695	+	case IA64_INST_SXT1:
1696	+	case IA64_INST_SXT2:
1697	+	case IA64_INST_SXT4:
1698	+	case IA64_INST_ZXT1:
1699	+	case IA64_INST_ZXT2:
1700	+	case IA64_INST_ZXT4:
1701	+	src1 = inst->operands[1].value;
1702	+	switch (inst->mnemo) {
1703	+	case IA64_INST_SXT1: dst = (signed long)(signed char)src1; break;
1704	+	case IA64_INST_SXT2: dst = (signed long)(signed short)src1; break;
1705	+	case IA64_INST_SXT4: dst = (signed long)(signed int)src1; break;
1706	+	case IA64_INST_ZXT1: dst = (unsigned char)src1; break;
1707	+	case IA64_INST_ZXT2: dst = (unsigned short)src1; break;
1708	+	case IA64_INST_ZXT4: dst = (unsigned int)src1; break;
1709	+	}
1710	+	inst->operands[0].commit = true;
1711	+	inst->operands[0].value = dst;
1712	+	inst->operands[0].nat = inst->operands[1].nat;
1713	+	break;
1714	+	case IA64_INST_LD1_UPDATE:
1715	+	case IA64_INST_LD2_UPDATE:
1716	+	case IA64_INST_LD4_UPDATE:
1717	+	case IA64_INST_LD8_UPDATE:
1718	+	inst->operands[1].commit = true;
1719	+	dst2 = inst->operands[1].value + inst->operands[2].value;
1720	+	nat2 = inst->operands[2].nat ? inst->operands[2].nat : 0;
1721	+	// fall-through
1722	+	case IA64_INST_LD1:
1723	+	case IA64_INST_LD2:
1724	+	case IA64_INST_LD4:
1725	+	case IA64_INST_LD8:
1726	+	src1 = inst->operands[1].value;
1727	+	if (inst->no_memory)
1728	+	dst = 0;
1729	+	else {
1730	+	switch (inst->mnemo) {
1731	+	case IA64_INST_LD1: case IA64_INST_LD1_UPDATE: dst = ((unsigned char )src1); break;
1732	+	case IA64_INST_LD2: case IA64_INST_LD2_UPDATE: dst = ((unsigned short )src1); break;
1733	+	case IA64_INST_LD4: case IA64_INST_LD4_UPDATE: dst = ((unsigned int )src1); break;
1734	+	case IA64_INST_LD8: case IA64_INST_LD8_UPDATE: dst = ((unsigned long )src1); break;
1735	+	}
1736	+	}
1737	+	inst->operands[0].commit = true;
1738	+	inst->operands[0].value = dst;
1739	+	inst->operands[0].nat = 0;
1740	+	inst->operands[1].value = dst2;
1741	+	inst->operands[1].nat = nat2;
1742	+	break;
1743	+	case IA64_INST_ST1_UPDATE:
1744	+	case IA64_INST_ST2_UPDATE:
1745	+	case IA64_INST_ST4_UPDATE:
1746	+	case IA64_INST_ST8_UPDATE:
1747	+	inst->operands[0].commit = 0;
1748	+	dst2 = inst->operands[0].value + inst->operands[2].value;
1749	+	nat2 = inst->operands[2].nat ? inst->operands[2].nat : 0;
1750	+	// fall-through
1751	+	case IA64_INST_ST1:
1752	+	case IA64_INST_ST2:
1753	+	case IA64_INST_ST4:
1754	+	case IA64_INST_ST8:
1755	+	dst = inst->operands[0].value;
1756	+	src1 = inst->operands[1].value;
1757	+	if (!inst->no_memory) {
1758	+	switch (inst->mnemo) {
1759	+	case IA64_INST_ST1: case IA64_INST_ST1_UPDATE: ((unsigned char )dst) = src1; break;
1760	+	case IA64_INST_ST2: case IA64_INST_ST2_UPDATE: ((unsigned short )dst) = src1; break;
1761	+	case IA64_INST_ST4: case IA64_INST_ST4_UPDATE: ((unsigned int )dst) = src1; break;
1762	+	case IA64_INST_ST8: case IA64_INST_ST8_UPDATE: ((unsigned long )dst) = src1; break;
1763	+	}
1764	+	}
1765	+	inst->operands[0].value = dst2;
1766	+	inst->operands[0].nat = nat2;
1767	+	break;
1768	+	default:
1769	+	return false;
1770	+	}
1771	+
1772	+	for (int i = 0; i < IA64_N_OPERANDS; i++) {
1773	+	ia64_operand_t const & op = inst->operands[i];
1774	+	if (!op.commit)
1775	+	continue;
1776	+	if (op.index == -1)
1777	+	return false; // XXX: internal error
1778	+	IA64_SET_GR(op.index, op.value);
1779	+	IA64_SET_NAT(op.index, op.nat);
1780	+	}
1781	+	return true;
1782	+	}
1783	+
1784	+	static bool ia64_emulate_instruction(unsigned long raw_inst, IA64_CONTEXT_TYPE IA64_CONTEXT)
1785	+	{
1786	+	ia64_instruction_t inst;
1787	+	memset(&inst, 0, sizeof(inst));
1788	+	inst.inst = raw_inst;
1789	+	if (!ia64_decode_instruction(&inst, IA64_CONTEXT))
1790	+	return false;
1791	+	return ia64_emulate_instruction(&inst, IA64_CONTEXT);
1792	+	}
1793	+
1794	+	static bool ia64_skip_instruction(IA64_CONTEXT_TYPE IA64_CONTEXT)
1795	+	{
1796	+	unsigned long ip = IA64_GET_IP();
1797	+	#if DEBUG
1798	+	printf("IP: 0x%016lx\n", ip);
1799	+	#if 0
1800	+	printf(" Template 0x%02x\n", ia64_get_template(ip));
1801	+	ia64_get_instruction(ip, 0);
1802	+	ia64_get_instruction(ip, 1);
1803	+	ia64_get_instruction(ip, 2);
1804	+	#endif
1805	+	#endif
1806	+
1807	+	// Select which decode switch to use
1808	+	ia64_instruction_t inst;
1809	+	inst.inst = ia64_get_instruction(ip, ip & 3);
1810	+	if (!ia64_decode_instruction(&inst, IA64_CONTEXT)) {
1811	+	fprintf(stderr, "ERROR: ia64_skip_instruction(): could not decode instruction\n");
1812	+	return false;
1813	+	}
1814	+
1815	+	transfer_type_t transfer_type = SIGSEGV_TRANSFER_UNKNOWN;
1816	+	transfer_size_t transfer_size = SIZE_UNKNOWN;
1817	+
1818	+	switch (inst.mnemo) {
1819	+	case IA64_INST_LD1:
1820	+	case IA64_INST_LD2:
1821	+	case IA64_INST_LD4:
1822	+	case IA64_INST_LD8:
1823	+	case IA64_INST_LD1_UPDATE:
1824	+	case IA64_INST_LD2_UPDATE:
1825	+	case IA64_INST_LD4_UPDATE:
1826	+	case IA64_INST_LD8_UPDATE:
1827	+	transfer_type = SIGSEGV_TRANSFER_LOAD;
1828	+	break;
1829	+	case IA64_INST_ST1:
1830	+	case IA64_INST_ST2:
1831	+	case IA64_INST_ST4:
1832	+	case IA64_INST_ST8:
1833	+	case IA64_INST_ST1_UPDATE:
1834	+	case IA64_INST_ST2_UPDATE:
1835	+	case IA64_INST_ST4_UPDATE:
1836	+	case IA64_INST_ST8_UPDATE:
1837	+	transfer_type = SIGSEGV_TRANSFER_STORE;
1838	+	break;
1839	+	}
1840	+
1841	+	if (transfer_type == SIGSEGV_TRANSFER_UNKNOWN) {
1842	+	// Unknown machine code, let it crash. Then patch the decoder
1843	+	fprintf(stderr, "ERROR: ia64_skip_instruction(): not a load/store instruction\n");
1844	+	return false;
1845	+	}
1846	+
1847	+	switch (inst.mnemo) {
1848	+	case IA64_INST_LD1:
1849	+	case IA64_INST_LD1_UPDATE:
1850	+	case IA64_INST_ST1:
1851	+	case IA64_INST_ST1_UPDATE:
1852	+	transfer_size = SIZE_BYTE;
1853	+	break;
1854	+	case IA64_INST_LD2:
1855	+	case IA64_INST_LD2_UPDATE:
1856	+	case IA64_INST_ST2:
1857	+	case IA64_INST_ST2_UPDATE:
1858	+	transfer_size = SIZE_WORD;
1859	+	break;
1860	+	case IA64_INST_LD4:
1861	+	case IA64_INST_LD4_UPDATE:
1862	+	case IA64_INST_ST4:
1863	+	case IA64_INST_ST4_UPDATE:
1864	+	transfer_size = SIZE_LONG;
1865	+	break;
1866	+	case IA64_INST_LD8:
1867	+	case IA64_INST_LD8_UPDATE:
1868	+	case IA64_INST_ST8:
1869	+	case IA64_INST_ST8_UPDATE:
1870	+	transfer_size = SIZE_QUAD;
1871	+	break;
1872	+	}
1873	+
1874	+	if (transfer_size == SIZE_UNKNOWN) {
1875	+	// Unknown machine code, let it crash. Then patch the decoder
1876	+	fprintf(stderr, "ERROR: ia64_skip_instruction(): unknown transfer size\n");
1877	+	return false;
1878	+	}
1879	+
1880	+	inst.no_memory = true;
1881	+	if (!ia64_emulate_instruction(&inst, IA64_CONTEXT)) {
1882	+	fprintf(stderr, "ERROR: ia64_skip_instruction(): could not emulate fault instruction\n");
1883	+	return false;
1884	+	}
1885	+
1886	+	int slot = ip & 3;
1887	+	bool emulate_next = false;
1888	+	switch (slot) {
1889	+	case 0:
1890	+	switch (ia64_get_template(ip)) {
1891	+	case 0x2: // MI;I
1892	+	case 0x3: // MI;I;
1893	+	emulate_next = true;
1894	+	slot = 2;
1895	+	break;
1896	+	case 0xa: // M;MI
1897	+	case 0xb: // M;MI;
1898	+	emulate_next = true;
1899	+	slot = 1;
1900	+	break;
1901	+	}
1902	+	break;
1903	+	}
1904	+	if (emulate_next && !IA64_CAN_PATCH_IP_SLOT) {
1905	+	while (slot < 3) {
1906	+	if (!ia64_emulate_instruction(ia64_get_instruction(ip, slot), IA64_CONTEXT)) {
1907	+	fprintf(stderr, "ERROR: ia64_skip_instruction(): could not emulate instruction\n");
1908	+	return false;
1909	+	}
1910	+	++slot;
1911	+	}
1912	+	}
1913	+
1914	+	#if IA64_CAN_PATCH_IP_SLOT
1915	+	if ((slot = ip & 3) < 2)
1916	+	IA64_SET_IP((ip & ~3ul) + (slot + 1));
1917	+	else
1918	+	#endif
1919	+	IA64_SET_IP((ip & ~3ul) + 16);
1920	+	#if DEBUG
1921	+	printf("IP: 0x%016lx\n", IA64_GET_IP());
1922	+	#endif
1923	+	return true;
1924	+	}
1925	+	#endif
1926	+
1927		// Decode and skip PPC instruction
1928		#if (defined(powerpc) \|\| defined(__powerpc__) \|\| defined(__ppc__) \|\| defined(__ppc64__))
1929		static bool powerpc_skip_instruction(unsigned long * nip_p, unsigned long * regs)
#	Line 1677 \| Line 2441 \| struct sigsegv_info_t {
2441		};
2442
2443		#ifdef HAVE_MACH_EXCEPTIONS
2444	<	static void mach_get_exception_state(sigsegv_info_t *sip)
2444	>	static void mach_get_exception_state(sigsegv_info_t *SIP)
2445		{
2446	<	sip->exc_state_count = SIGSEGV_EXCEPTION_STATE_COUNT;
2447	<	kern_return_t krc = thread_get_state(sip->thread,
2446	>	SIP->exc_state_count = SIGSEGV_EXCEPTION_STATE_COUNT;
2447	>	kern_return_t krc = thread_get_state(SIP->thread,
2448		SIGSEGV_EXCEPTION_STATE_FLAVOR,
2449	<	(natural_t *)&sip->exc_state,
2450	<	&sip->exc_state_count);
2449	>	(natural_t *)&SIP->exc_state,
2450	>	&SIP->exc_state_count);
2451		MACH_CHECK_ERROR(thread_get_state, krc);
2452	<	sip->has_exc_state = true;
2452	>	SIP->has_exc_state = true;
2453		}
2454
2455	<	static void mach_get_thread_state(sigsegv_info_t *sip)
2455	>	static void mach_get_thread_state(sigsegv_info_t *SIP)
2456		{
2457	<	sip->thr_state_count = SIGSEGV_THREAD_STATE_COUNT;
2458	<	kern_return_t krc = thread_get_state(sip->thread,
2457	>	SIP->thr_state_count = SIGSEGV_THREAD_STATE_COUNT;
2458	>	kern_return_t krc = thread_get_state(SIP->thread,
2459		SIGSEGV_THREAD_STATE_FLAVOR,
2460	<	(natural_t *)&sip->thr_state,
2461	<	&sip->thr_state_count);
2460	>	(natural_t *)&SIP->thr_state,
2461	>	&SIP->thr_state_count);
2462		MACH_CHECK_ERROR(thread_get_state, krc);
2463	<	sip->has_thr_state = true;
2463	>	SIP->has_thr_state = true;
2464		}
2465
2466	<	static void mach_set_thread_state(sigsegv_info_t *sip)
2466	>	static void mach_set_thread_state(sigsegv_info_t *SIP)
2467		{
2468	<	kern_return_t krc = thread_set_state(sip->thread,
2468	>	kern_return_t krc = thread_set_state(SIP->thread,
2469		SIGSEGV_THREAD_STATE_FLAVOR,
2470	<	(natural_t *)&sip->thr_state,
2471	<	sip->thr_state_count);
2470	>	(natural_t *)&SIP->thr_state,
2471	>	SIP->thr_state_count);
2472		MACH_CHECK_ERROR(thread_set_state, krc);
2473		}
2474		#endif
2475
2476		// Return the address of the invalid memory reference
2477	<	sigsegv_address_t sigsegv_get_fault_address(sigsegv_info_t *sip)
2477	>	sigsegv_address_t sigsegv_get_fault_address(sigsegv_info_t *SIP)
2478		{
2479		#ifdef HAVE_MACH_EXCEPTIONS
2480		static int use_fast_path = -1;
2481	<	if (use_fast_path != 1 && !sip->has_exc_state) {
2482	<	mach_get_exception_state(sip);
2481	>	if (use_fast_path != 1 && !SIP->has_exc_state) {
2482	>	mach_get_exception_state(SIP);
2483
2484		sigsegv_address_t addr = (sigsegv_address_t)SIGSEGV_FAULT_ADDRESS;
2485	<	if (use_fast_path < 0)
2486	<	use_fast_path = addr == sip->addr;
2487	<	sip->addr = addr;
2485	>	if (use_fast_path < 0) {
2486	>	const char *machfault = getenv("SIGSEGV_MACH_FAULT");
2487	>	if (machfault) {
2488	>	if (strcmp(machfault, "fast") == 0)
2489	>	use_fast_path = 1;
2490	>	else if (strcmp(machfault, "slow") == 0)
2491	>	use_fast_path = 0;
2492	>	}
2493	>	if (use_fast_path < 0)
2494	>	use_fast_path = addr == SIP->addr;
2495	>	}
2496	>	SIP->addr = addr;
2497		}
2498		#endif
2499	<	return sip->addr;
2499	>	return SIP->addr;
2500		}
2501
2502		// Return the address of the instruction that caused the fault, or
2503		// SIGSEGV_INVALID_ADDRESS if we could not retrieve this information
2504	<	sigsegv_address_t sigsegv_get_fault_instruction_address(sigsegv_info_t *sip)
2504	>	sigsegv_address_t sigsegv_get_fault_instruction_address(sigsegv_info_t *SIP)
2505		{
2506		#ifdef HAVE_MACH_EXCEPTIONS
2507	<	if (!sip->has_thr_state) {
2508	<	mach_get_thread_state(sip);
2507	>	if (!SIP->has_thr_state) {
2508	>	mach_get_thread_state(SIP);
2509
2510	<	sip->pc = (sigsegv_address_t)SIGSEGV_FAULT_INSTRUCTION;
2510	>	SIP->pc = (sigsegv_address_t)SIGSEGV_FAULT_INSTRUCTION;
2511		}
2512		#endif
2513	<	return sip->pc;
2513	>	return SIP->pc;
2514		}
2515
2516		// This function handles the badaccess to memory.
2517		// It is called from the signal handler or the exception handler.
2518		static bool handle_badaccess(SIGSEGV_FAULT_HANDLER_ARGLIST_1)
2519		{
2520	<	sigsegv_info_t si;
2521	<	si.addr = (sigsegv_address_t)SIGSEGV_FAULT_ADDRESS_FAST;
2522	<	si.pc = (sigsegv_address_t)SIGSEGV_FAULT_INSTRUCTION_FAST;
2520	>	sigsegv_info_t SI;
2521	>	SI.addr = (sigsegv_address_t)SIGSEGV_FAULT_ADDRESS_FAST;
2522	>	SI.pc = (sigsegv_address_t)SIGSEGV_FAULT_INSTRUCTION_FAST;
2523		#ifdef HAVE_MACH_EXCEPTIONS
2524	<	si.thread = thread;
2525	<	si.has_exc_state = false;
2526	<	si.has_thr_state = false;
2524	>	SI.thread = thread;
2525	>	SI.has_exc_state = false;
2526	>	SI.has_thr_state = false;
2527		#endif
2528	<	sigsegv_info_t * const sip = &si;
2528	>	sigsegv_info_t * const SIP = &SI;
2529
2530		// Call user's handler and reinstall the global handler, if required
2531	<	switch (SIGSEGV_FAULT_HANDLER_INVOKE(sip)) {
2531	>	switch (SIGSEGV_FAULT_HANDLER_INVOKE(SIP)) {
2532		case SIGSEGV_RETURN_SUCCESS:
2533		return true;
2534
#	Line 1764 \| Line 2537 \| static bool handle_badaccess(SIGSEGV_FAU
2537		// Call the instruction skipper with the register file
2538		// available
2539		#ifdef HAVE_MACH_EXCEPTIONS
2540	<	if (!sip->has_thr_state)
2541	<	mach_get_thread_state(sip);
2540	>	if (!SIP->has_thr_state)
2541	>	mach_get_thread_state(SIP);
2542		#endif
2543		if (SIGSEGV_SKIP_INSTRUCTION(SIGSEGV_REGISTER_FILE)) {
2544		#ifdef HAVE_MACH_EXCEPTIONS
#	Line 1773 \| Line 2546 \| static bool handle_badaccess(SIGSEGV_FAU
2546		// is modified off of the stack, in Mach we
2547		// need to actually call thread_set_state to
2548		// have the register values updated.
2549	<	mach_set_thread_state(sip);
2549	>	mach_set_thread_state(SIP);
2550		#endif
2551		return true;
2552		}
#	Line 1782 \| Line 2555 \| static bool handle_badaccess(SIGSEGV_FAU
2555		case SIGSEGV_RETURN_FAILURE:
2556		// We can't do anything with the fault_address, dump state?
2557		if (sigsegv_state_dumper != 0)
2558	<	sigsegv_state_dumper(sip);
2558	>	sigsegv_state_dumper(SIP);
2559		break;
2560		}
2561
#	Line 2248 \| Line 3021 \| void sigsegv_set_dump_state(sigsegv_stat
3021		const int REF_INDEX = 123;
3022		const int REF_VALUE = 45;
3023
3024	<	static int page_size;
3024	>	static sigsegv_uintptr_t page_size;
3025		static volatile char * page = 0;
3026		static volatile int handler_called = 0;
3027
#	Line 2286 \| Line 3059 \| static sigsegv_return_t sigsegv_test_han
3059		(instruction_address >= (sigsegv_address_t)e_region)))
3060		exit(11);
3061		#endif
3062	<	if (vm_protect((char *)((unsigned long)fault_address & -page_size), page_size, VM_PAGE_READ \| VM_PAGE_WRITE) != 0)
3062	>	if (vm_protect((char *)((sigsegv_uintptr_t)fault_address & -page_size), page_size, VM_PAGE_READ \| VM_PAGE_WRITE) != 0)
3063		exit(12);
3064		return SIGSEGV_RETURN_SUCCESS;
3065		}
#	Line 2299 \| Line 3072 \| static sigsegv_return_t sigsegv_insn_han
3072		#if DEBUG
3073		printf("sigsegv_insn_handler(%p, %p)\n", fault_address, instruction_address);
3074		#endif
3075	<	if (((unsigned long)fault_address - (unsigned long)page) < page_size) {
3075	>	if (((sigsegv_uintptr_t)fault_address - (sigsegv_uintptr_t)page) < page_size) {
3076		#ifdef __GNUC__
3077		// Make sure reported fault instruction address falls into
3078		// expected code range
#	Line 2317 \| Line 3090 \| static sigsegv_return_t sigsegv_insn_han
3090		// More sophisticated tests for instruction skipper
3091		static bool arch_insn_skipper_tests()
3092		{
3093	<	#if (defined(i386) \|\| defined(__i386__)) \|\| defined(__x86_64__)
3093	>	#if (defined(i386) \|\| defined(__i386__)) \|\| (defined(__x86_64__) \|\| defined(_M_X64))
3094		static const unsigned char code[] = {
3095		0x8a, 0x00, // mov (%eax),%al
3096		0x8a, 0x2c, 0x18, // mov (%eax,%ebx,1),%ch
#	Line 2331 \| Line 3104 \| static bool arch_insn_skipper_tests()
3104		0x8b, 0x0c, 0x18, // mov (%eax,%ebx,1),%ecx
3105		0x89, 0x00, // mov %eax,(%eax)
3106		0x89, 0x0c, 0x18, // mov %ecx,(%eax,%ebx,1)
3107	<	#if defined(__x86_64__)
3107	>	#if defined(__x86_64__) \|\| defined(_M_X64)
3108		0x44, 0x8a, 0x00, // mov (%rax),%r8b
3109		0x44, 0x8a, 0x20, // mov (%rax),%r12b
3110		0x42, 0x8a, 0x3c, 0x10, // mov (%rax,%r10,1),%dil
#	Line 2360 \| Line 3133 \| static bool arch_insn_skipper_tests()
3133		0 // end
3134		};
3135		const int N_REGS = 20;
3136	<	unsigned long regs[N_REGS];
3136	>	SIGSEGV_REGISTER_TYPE regs[N_REGS];
3137		for (int i = 0; i < N_REGS; i++)
3138		regs[i] = i;
3139	<	const unsigned long start_code = (unsigned long)&code;
3139	>	const sigsegv_uintptr_t start_code = (sigsegv_uintptr_t)&code;
3140		regs[X86_REG_EIP] = start_code;
3141		while ((regs[X86_REG_EIP] - start_code) < (sizeof(code) - 1)
3142		&& ix86_skip_instruction(regs))
#	Line 2389 \| Line 3162 \| int main(void)
3162
3163		if (!sigsegv_install_handler(sigsegv_test_handler))
3164		return 4;
3165	<
3165	>
3166		#ifdef __GNUC__
3167		b_region = &&L_b_region1;
3168		e_region = &&L_e_region1;
3169		#endif
3170	<	L_b_region1:
3171	<	page[REF_INDEX] = REF_VALUE;
3172	<	if (page[REF_INDEX] != REF_VALUE)
3173	<	exit(20);
3174	<	page[REF_INDEX] = REF_VALUE;
3175	<	BARRIER();
3176	<	L_e_region1:
3170	>	/* This is a really awful hack but otherwise gcc is smart enough
3171	>	* (or bug'ous enough?) to optimize the labels and place them
3172	>	* e.g. at the "main" entry point, which is wrong.
3173	>	*/
3174	>	volatile int label_hack = 1;
3175	>	switch (label_hack) {
3176	>	case 1:
3177	>	L_b_region1:
3178	>	page[REF_INDEX] = REF_VALUE;
3179	>	if (page[REF_INDEX] != REF_VALUE)
3180	>	exit(20);
3181	>	page[REF_INDEX] = REF_VALUE;
3182	>	BARRIER();
3183	>	// fall-through
3184	>	case 2:
3185	>	L_e_region1:
3186	>	BARRIER();
3187	>	break;
3188	>	}
3189
3190		if (handler_called != 1)
3191		return 5;
#	Line 2431 \| Line 3216 \| int main(void)
3216		b_region = &&L_b_region2;
3217		e_region = &&L_e_region2;
3218		#endif
3219	<	L_b_region2:
3220	<	TEST_SKIP_INSTRUCTION(unsigned char);
3221	<	TEST_SKIP_INSTRUCTION(unsigned short);
3222	<	TEST_SKIP_INSTRUCTION(unsigned int);
3223	<	TEST_SKIP_INSTRUCTION(unsigned long);
3224	<	TEST_SKIP_INSTRUCTION(signed char);
3225	<	TEST_SKIP_INSTRUCTION(signed short);
3226	<	TEST_SKIP_INSTRUCTION(signed int);
3227	<	TEST_SKIP_INSTRUCTION(signed long);
3228	<	BARRIER();
3229	<	L_e_region2:
3230	<
3219	>	switch (label_hack) {
3220	>	case 1:
3221	>	L_b_region2:
3222	>	TEST_SKIP_INSTRUCTION(unsigned char);
3223	>	TEST_SKIP_INSTRUCTION(unsigned short);
3224	>	TEST_SKIP_INSTRUCTION(unsigned int);
3225	>	TEST_SKIP_INSTRUCTION(unsigned long);
3226	>	TEST_SKIP_INSTRUCTION(signed char);
3227	>	TEST_SKIP_INSTRUCTION(signed short);
3228	>	TEST_SKIP_INSTRUCTION(signed int);
3229	>	TEST_SKIP_INSTRUCTION(signed long);
3230	>	BARRIER();
3231	>	// fall-through
3232	>	case 2:
3233	>	L_e_region2:
3234	>	BARRIER();
3235	>	break;
3236	>	}
3237		if (!arch_insn_skipper_tests())
3238		return 20;
3239		#endif

Diff Legend

-–
+Removed lines
-+
+Added lines
-<
+Changed lines
->
+Changed lines

Comparing BasiliskII/src/Unix/sigsegv.cpp (file contents): Revision 1.70 by gbeauche, 2007-12-31T18:07:01Z vs. Revision 1.79 by gbeauche, 2008-01-12T23:01:40Z

Diff Legend

Comparing BasiliskII/src/Unix/sigsegv.cpp (file contents):
Revision 1.70 by gbeauche, 2007-12-31T18:07:01Z vs.
Revision 1.79 by gbeauche, 2008-01-12T23:01:40Z