2 Default exception handler
4 Copyright (c) 2008-2010, Apple Inc. All rights reserved.
6 All rights reserved. This program and the accompanying materials
7 are licensed and made available under the terms and conditions of the BSD License
8 which accompanies this distribution. The full text of the license may be found at
9 http://opensource.org/licenses/bsd-license.php
11 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
12 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
17 #include <Library/BaseLib.h>
18 #include <Library/PrintLib.h>
22 #define LOAD_STORE_FORMAT1 1
23 #define LOAD_STORE_FORMAT2 2
24 #define LOAD_STORE_FORMAT3 3
25 #define LOAD_STORE_FORMAT4 4
26 #define LOAD_STORE_MULTIPLE_FORMAT1 5
27 #define LOAD_STORE_MULTIPLE_FORMAT2 6
29 #define CONDITIONAL_BRANCH 8
30 #define UNCONDITIONAL_BRANCH 9
31 #define UNCONDITIONAL_BRANCH_SHORT 109
32 #define BRANCH_EXCHANGE 10
33 #define DATA_FORMAT1 11
34 #define DATA_FORMAT2 12
35 #define DATA_FORMAT3 13
36 #define DATA_FORMAT4 14
37 #define DATA_FORMAT5 15
38 #define DATA_FORMAT6_SP 16
39 #define DATA_FORMAT6_PC 116
40 #define DATA_FORMAT7 17
41 #define DATA_FORMAT8 19
43 #define ENDIAN_FORMAT 21
53 THUMB_INSTRUCTIONS gOpThumb
[] = {
54 // Thumb 16-bit instrucitons
56 { "ADC" , 0x4140, 0xffc0, DATA_FORMAT5
},
58 { "ADD" , 0x1c00, 0xfe00, DATA_FORMAT2
},
59 { "ADD" , 0x3000, 0xf800, DATA_FORMAT3
},
60 { "ADD" , 0x1800, 0xfe00, DATA_FORMAT1
},
61 { "ADD" , 0x4400, 0xff00, DATA_FORMAT8
}, // A8.6.9
62 { "ADD" , 0xa000, 0xf100, DATA_FORMAT6_PC
},
63 { "ADD" , 0xa100, 0xf100, DATA_FORMAT6_SP
},
64 { "ADD" , 0xb000, 0xff10, DATA_FORMAT7
},
66 { "AND" , 0x4000, 0xffc0, DATA_FORMAT5
},
68 { "ASR" , 0x1000, 0xf800, DATA_FORMAT4
},
69 { "ASR" , 0x4100, 0xffc0, DATA_FORMAT5
},
71 { "B" , 0xd000, 0xf000, CONDITIONAL_BRANCH
},
72 { "B" , 0xe000, 0xf100, UNCONDITIONAL_BRANCH_SHORT
},
73 { "BL" , 0xf100, 0xf100, UNCONDITIONAL_BRANCH
},
74 { "BLX" , 0xe100, 0xf100, UNCONDITIONAL_BRANCH
},
75 { "BLX" , 0x4780, 0xff80, BRANCH_EXCHANGE
},
76 { "BX" , 0x4700, 0xff80, BRANCH_EXCHANGE
},
78 { "BIC" , 0x4380, 0xffc0, DATA_FORMAT5
},
79 { "BKPT", 0xdf00, 0xff00, IMMED_8
},
80 { "CMN" , 0x42c0, 0xffc0, DATA_FORMAT5
},
82 { "CMP" , 0x2800, 0xf100, DATA_FORMAT3
},
83 { "CMP" , 0x4280, 0xffc0, DATA_FORMAT5
},
84 { "CMP" , 0x4500, 0xff00, DATA_FORMAT8
},
86 { "CPS" , 0xb660, 0xffe8, CPS_FORMAT
},
87 { "CPY" , 0x4600, 0xff00, DATA_FORMAT8
},
88 { "EOR" , 0x4040, 0xffc0, DATA_FORMAT5
},
90 { "LDMIA" , 0xc800, 0xf800, LOAD_STORE_MULTIPLE_FORMAT1
},
91 { "LDR" , 0x6800, 0xf800, LOAD_STORE_FORMAT1
},
92 { "LDR" , 0x5800, 0xfe00, LOAD_STORE_FORMAT2
},
93 { "LDR" , 0x4800, 0xf800, LOAD_STORE_FORMAT3
},
94 { "LDR" , 0x9800, 0xf800, LOAD_STORE_FORMAT4
},
95 { "LDRB" , 0x7800, 0xf800, LOAD_STORE_FORMAT1
},
96 { "LDRB" , 0x5c00, 0xfe00, LOAD_STORE_FORMAT2
},
97 { "LDRH" , 0x8800, 0xf800, LOAD_STORE_FORMAT1
},
98 { "LDRH" , 0x7a00, 0xfe00, LOAD_STORE_FORMAT2
},
99 { "LDRSB" , 0x5600, 0xfe00, LOAD_STORE_FORMAT2
},
100 { "LDRSH" , 0x5e00, 0xfe00, LOAD_STORE_FORMAT2
},
102 { "LSL" , 0x0000, 0xf800, DATA_FORMAT4
},
103 { "LSL" , 0x4080, 0xffc0, DATA_FORMAT5
},
104 { "LSR" , 0x0001, 0xf800, DATA_FORMAT4
},
105 { "LSR" , 0x40c0, 0xffc0, DATA_FORMAT5
},
107 { "MOV" , 0x2000, 0xf800, DATA_FORMAT3
},
108 { "MOV" , 0x1c00, 0xffc0, DATA_FORMAT3
},
109 { "MOV" , 0x4600, 0xff00, DATA_FORMAT8
},
111 { "MUL" , 0x4340, 0xffc0, DATA_FORMAT5
},
112 { "MVN" , 0x41c0, 0xffc0, DATA_FORMAT5
},
113 { "NEG" , 0x4240, 0xffc0, DATA_FORMAT5
},
114 { "ORR" , 0x4180, 0xffc0, DATA_FORMAT5
},
115 { "POP" , 0xbc00, 0xfe00, LOAD_STORE_MULTIPLE_FORMAT2
},
116 { "POP" , 0xe400, 0xfe00, LOAD_STORE_MULTIPLE_FORMAT2
},
118 { "REV" , 0xba00, 0xffc0, DATA_FORMAT5
},
119 { "REV16" , 0xba40, 0xffc0, DATA_FORMAT5
},
120 { "REVSH" , 0xbac0, 0xffc0, DATA_FORMAT5
},
122 { "ROR" , 0x41c0, 0xffc0, DATA_FORMAT5
},
123 { "SBC" , 0x4180, 0xffc0, DATA_FORMAT5
},
124 { "SETEND" , 0xb650, 0xfff0, ENDIAN_FORMAT
},
126 { "STMIA" , 0xc000, 0xf800, LOAD_STORE_MULTIPLE_FORMAT1
},
127 { "STR" , 0x6000, 0xf800, LOAD_STORE_FORMAT1
},
128 { "STR" , 0x5000, 0xfe00, LOAD_STORE_FORMAT2
},
129 { "STR" , 0x4000, 0xf800, LOAD_STORE_FORMAT3
},
130 { "STR" , 0x9000, 0xf800, LOAD_STORE_FORMAT4
},
131 { "STRB" , 0x7000, 0xf800, LOAD_STORE_FORMAT1
},
132 { "STRB" , 0x5800, 0xfe00, LOAD_STORE_FORMAT2
},
133 { "STRH" , 0x8000, 0xf800, LOAD_STORE_FORMAT1
},
134 { "STRH" , 0x5200, 0xfe00, LOAD_STORE_FORMAT2
},
136 { "SUB" , 0x1e00, 0xfe00, DATA_FORMAT2
},
137 { "SUB" , 0x3800, 0xf800, DATA_FORMAT3
},
138 { "SUB" , 0x1a00, 0xfe00, DATA_FORMAT1
},
139 { "SUB" , 0xb080, 0xff80, DATA_FORMAT7
},
141 { "SWI" , 0xdf00, 0xff00, IMMED_8
},
142 { "SXTB", 0xb240, 0xffc0, DATA_FORMAT5
},
143 { "SXTH", 0xb200, 0xffc0, DATA_FORMAT5
},
144 { "TST" , 0x4200, 0xffc0, DATA_FORMAT5
},
145 { "UXTB", 0xb2c0, 0xffc0, DATA_FORMAT5
},
146 { "UXTH", 0xb280, 0xffc0, DATA_FORMAT5
}
150 THUMB_INSTRUCTIONS gOpThumb2
[] = {
153 // 32-bit Thumb instructions op1 01
155 // 1110 100x x0xx xxxx xxxx xxxx xxxx xxxx Load/store multiple
156 { "SRSDB", 0xe80dc000, 0xffdffff0, SRS_FORMAT
}, // SRSDB<c> SP{!},#<mode>
157 { "SRS" , 0xe98dc000, 0xffdffff0, SRS_IA_FORMAT
}, // SRS{IA}<c> SP{!},#<mode>
158 { "RFEDB", 0xe810c000, 0xffd0ffff, RFE_FORMAT
}, // RFEDB<c> <Rn>{!}
159 { "RFE" , 0xe990c000, 0xffd0ffff, RFE_IA_FORMAT
}, // RFE{IA}<c> <Rn>{!}
161 { "STM" , 0xe8800000, 0xffd00000, STM_FORMAT
}, // STM<c>.W <Rn>{!},<registers>
162 { "LDM" , 0xe8900000, 0xffd00000, STM_FORMAT
}, // LDR<c>.W <Rt>,[<Rn>,<Rm>{,LSL #<imm2>}]
163 { "POP" , 0xe8bd0000, 0xffff2000, REGLIST_FORMAT
}, // POP<c>.W <registers> >1 register
164 { "POP" , 0xf85d0b04, 0xffff0fff, RT_FORMAT
}, // POP<c>.W <registers> 1 register
166 { "STMDB", 0xe9000000, 0xffd00000, STM_FORMAT
}, // STMDB
167 { "PUSH" , 0xe8bd0000, 0xffffa000, REGLIST_FORMAT
}, // PUSH<c>.W <registers> >1 register
168 { "PUSH" , 0xf84d0b04, 0xffff0fff, RT_FORMAT
}, // PUSH<c>.W <registers> 1 register
169 { "LDMDB", 0xe9102000, 0xffd02000, STM_FORMAT
}, // LDMDB<c> <Rn>{!},<registers>
171 // 1110 100x x1xx xxxx xxxx xxxx xxxx xxxx Load/store dual,
172 { "STREX" , 0xe0400000, 0xfff000f0, 3REG_IMM8_FORMAT
}, // STREX<c> <Rd>,<Rt>,[<Rn>{,#<imm>}]
173 { "STREXB", 0xe8c00f40, 0xfff00ff0, 3REG_FORMAT
}, // STREXB<c> <Rd>,<Rt>,[<Rn>]
174 { "STREXD", 0xe8c00070, 0xfff000f0, 4REG_FORMAT
}, // STREXD<c> <Rd>,<Rt>,<Rt2>,[<Rn>]
175 { "STREXH", 0xe8c00f70, 0xfff00ff0, 3REG_FORMAT
}, // STREXH<c> <Rd>,<Rt>,[<Rn>]
176 { "STRH", 0xf8c00000, 0xfff00000, 2REG_IMM8_FORMAT
}, // STRH<c>.W <Rt>,[<Rn>{,#<imm12>}]
177 { "STRH", 0xf8200000, 0xfff00000, }, // STRH<c>.W <Rt>,[<Rn>,<Rm>{,LSL #<imm2>}]
181 // 1110 101x xxxx xxxx xxxx xxxx xxxx xxxx Data-processing
182 // 1110 11xx xxxx xxxx xxxx xxxx xxxx xxxx Coprocessor
184 // 1111 0x0x xxxx xxxx 0xxx xxxx xxxx xxxx Data-processing modified immediate
185 // 1111 0x1x xxxx xxxx 0xxx xxxx xxxx xxxx Data-processing plain immediate
186 // 1111 0xxx xxxx xxxx 1xxx xxxx xxxx xxxx Branches
188 // 1111 1000 xxx0 xxxx xxxx xxxx xxxx xxxx Store single data item
189 // 1111 1001 xxx0 xxxx xxxx xxxx xxxx xxxx SIMD or load/store
190 // 1111 100x x001 xxxx xxxx xxxx xxxx xxxx Load byte, memory hints
191 // 1111 100x x011 xxxx xxxx xxxx xxxx xxxx Load halfword, memory hints
192 // 1111 100x x101 xxxx xxxx xxxx xxxx xxxx Load word
194 // 1111 1 010 xxxx xxxx xxxx xxxx xxxx xxxx Data-processing register
195 // 1111 1 011 0xxx xxxx xxxx xxxx xxxx xxxx Multiply
196 // 1111 1 011 1xxx xxxx xxxx xxxx xxxx xxxx Long Multiply
197 // 1111 1 1xx xxxx xxxx xxxx xxxx xxxx xxxx Coprocessor
201 CHAR8 mThumbMregListStr
[4*15 + 1];
208 UINTN Index
, Start
, End
;
212 Str
= mThumbMregListStr
;
214 AsciiStrCat (Str
, "{");
216 for (Index
= 0, First
= TRUE
; Index
<= 9; Index
++) {
217 if ((OpCode
& (1 << Index
)) != 0) {
219 for (Index
++; ((OpCode
& (1 << Index
)) != 0) && (Index
<= 9); Index
++) {
224 AsciiStrCat (Str
, ",");
230 AsciiStrCat (Str
, gReg
[(Start
== 9)?15:Start
]);
231 AsciiStrCat (Str
, ", ");
233 AsciiStrCat (Str
, gReg
[Start
]);
234 AsciiStrCat (Str
, "-");
235 AsciiStrCat (Str
, gReg
[(End
== 9)?15:End
]);
240 AsciiStrCat (Str
, "ERROR");
242 AsciiStrCat (Str
, "}");
244 // BugBug: Make caller pass in buffer it is cleaner
245 return mThumbMregListStr
;
257 Place a dissasembly of of **OpCodePtr into buffer, and update OpCodePtr to
258 point to next instructin.
260 We cheat and only decode instructions that access
261 memory. If the instruction is not found we dump the instruction in hex.
263 @param OpCodePtrPtr Pointer to pointer of ARM Thumb instruction to disassemble.
264 @param Buf Buffer to sprintf disassembly into.
265 @param Size Size of Buf in bytes.
266 @param Extended TRUE dump hex for instruction too.
270 DisassembleThumbInstruction (
271 IN UINT16
**OpCodePtrPtr
,
284 BOOLEAN H1
, H2
, imod
;
287 OpCodePtr
= *OpCodePtrPtr
;
288 OpCode
= **OpCodePtrPtr
;
290 // Thumb2 is a stream of 16-bit instructions not a 32-bit instruction.
291 OpCode32
= (OpCode
<< 16) | *(OpCodePtr
+ 1);
293 // These register names match branch form, but not others
295 Rn
= (OpCode
>> 3) & 0x7;
296 Rm
= (OpCode
>> 6) & 0x7;
297 H1
= (OpCode
& BIT7
) != 0;
298 H2
= (OpCode
& BIT6
) != 0;
299 imod
= (OpCode
& BIT4
) != 0;
300 PC
= (UINT32
)(UINTN
)*OpCodePtr
;
302 // Increment by the minimum instruction size, Thumb2 could be bigger
305 for (Index
= 0; Index
< sizeof (gOpThumb
)/sizeof (THUMB_INSTRUCTIONS
); Index
++) {
306 if ((OpCode
& gOpThumb
[Index
].Mask
) == gOpThumb
[Index
].OpCode
) {
308 Offset
= AsciiSPrint (Buf
, Size
, "0x%04x %a", OpCode
, gOpThumb
[Index
].Start
);
310 Offset
= AsciiSPrint (Buf
, Size
, "%a", gOpThumb
[Index
].Start
);
312 switch (gOpThumb
[Index
].AddressMode
) {
313 case LOAD_STORE_FORMAT1
:
314 // A6.5.1 <Rd>, [<Rn>, #<5_bit_offset>]
315 AsciiSPrint (&Buf
[Offset
], Size
- Offset
, " r%d, [r%d #0x%x]", Rd
, (OpCode
>> 7) & 7, (OpCode
>> 6) & 0x1f);
317 case LOAD_STORE_FORMAT2
:
318 // A6.5.1 <Rd>, [<Rn>, <Rm>]
319 AsciiSPrint (&Buf
[Offset
], Size
- Offset
, " r%d, [r%d, r%d]", Rd
, (OpCode
>> 3) & 7, Rm
);
321 case LOAD_STORE_FORMAT3
:
322 // A6.5.1 <Rd>, [PC, #<8_bit_offset>]
323 AsciiSPrint (&Buf
[Offset
], Size
- Offset
, " r%d, [pc, #0x%x]", (OpCode
>> 8) & 7, OpCode
& 0xff);
325 case LOAD_STORE_FORMAT4
:
327 AsciiSPrint (&Buf
[Offset
], Size
- Offset
, " r%d, [sp, #0x%x]", (OpCode
>> 8) & 7, OpCode
& 0xff);
330 case LOAD_STORE_MULTIPLE_FORMAT1
:
331 // <Rn>!, <registers>
332 AsciiSPrint (&Buf
[Offset
], Size
- Offset
, " r%d!, %a", (OpCode
>> 8) & 7, ThumbMRegList (!BIT8
& OpCode
));
334 case LOAD_STORE_MULTIPLE_FORMAT2
:
335 // <Rn>!, <registers>
337 AsciiSPrint (&Buf
[Offset
], Size
- Offset
, " r%d!, %a", (OpCode
>> 8) & 7, ThumbMRegList (OpCode
));
342 AsciiSPrint (&Buf
[Offset
], Size
- Offset
, " 0x%x", OpCode
& 0xff);
345 case CONDITIONAL_BRANCH
:
346 // A6.3.1 B<cond> <target_address>
347 AsciiSPrint (&Buf
[Offset
], Size
- Offset
, "%a 0x%04x", PC
+ 4 + SignExtend ((OpCode
& 0xff) << 1));
349 case UNCONDITIONAL_BRANCH_SHORT
:
350 // A6.3.2 B <target_address>
351 AsciiSPrint (&Buf
[Offset
], Size
- Offset
, " 0x%04x", PC
+ 4 + SignExtend ((OpCode
& 0x3ff) << 1));
353 case UNCONDITIONAL_BRANCH
:
354 // A6.3.2 BL|BLX <target_address> ; Produces two 16-bit instructions
355 target_addr
= *(OpCodePtr
- 1);
356 if ((target_addr
& 0xf800) == 0xf000) {
357 target_addr
= ((target_addr
& 0x3ff) << 12) | (OpCode
& 0x3ff);
359 target_addr
= OpCode
& 0x3ff;
361 // PC + 2 +/- target_addr
362 AsciiSPrint (&Buf
[Offset
], Size
- Offset
, " 0x%04x", PC
+ 2 + SignExtend (target_addr
));
364 case BRANCH_EXCHANGE
:
365 // A6.3.3 BX|BLX <Rm>
366 AsciiSPrint (&Buf
[Offset
], Size
- Offset
, " r%d", gReg
[Rn
| (H2
? 8:0)]);
370 // A6.4.3 <Rd>, <Rn>, <Rm>
371 AsciiSPrint (&Buf
[Offset
], Size
- Offset
, " r%d, r%d, r%d", Rd
, Rn
, Rm
);
374 // A6.4.3 <Rd>, <Rn>, #3_bit_immed
375 AsciiSPrint (&Buf
[Offset
], Size
- Offset
, " r%d, r%d, 0x%x", Rd
, Rn
, Rm
);
378 // A6.4.3 <Rd>|<Rn>, #8_bit_immed
379 AsciiSPrint (&Buf
[Offset
], Size
- Offset
, " r%d, r%d, 0x%x", (OpCode
>> 8) & 0x7, OpCode
& 0xff);
382 // A6.4.3 <Rd>|<Rm>, #immed_5
383 AsciiSPrint (&Buf
[Offset
], Size
- Offset
, " r%d, r%d, 0x%x", Rn
, Rd
, (OpCode
>> 6) & 0x1f);
386 // A6.4.3 <Rd>|<Rm>, <Rm>|<Rs>
387 AsciiSPrint (&Buf
[Offset
], Size
- Offset
, " r%d, r%d", Rd
, Rn
);
389 case DATA_FORMAT6_SP
:
390 // A6.4.3 <Rd>, <reg>, #<8_Bit_immed>
391 AsciiSPrint (&Buf
[Offset
], Size
- Offset
, " r%d, sp, 0x%x", (OpCode
>> 8) & 7, OpCode
& 0xff);
393 case DATA_FORMAT6_PC
:
394 // A6.4.3 <Rd>, <reg>, #<8_Bit_immed>
395 AsciiSPrint (&Buf
[Offset
], Size
- Offset
, " r%d, pc, 0x%x", (OpCode
>> 8) & 7, OpCode
& 0xff);
398 // A6.4.3 SP, SP, #<7_Bit_immed>
399 AsciiSPrint (&Buf
[Offset
], Size
- Offset
, " sp, sp 0x%x", (OpCode
& 0x7f)*4);
402 // A6.4.3 <Rd>|<Rn>, <Rm>
403 AsciiSPrint (&Buf
[Offset
], Size
- Offset
, " %a, %a", gReg
[Rd
| (H1
? 8:0)], gReg
[Rn
| (H2
? 8:0)]);
408 AsciiSPrint (&Buf
[Offset
], Size
- Offset
, "%a %a%a%a", imod
? "ID":"IE", ((OpCode
& BIT2
) == 0) ? "":"a", ((OpCode
& BIT1
) == 0) ? "":"i", ((OpCode
& BIT0
) == 0) ? "":"f");
413 AsciiSPrint (&Buf
[Offset
], Size
- Offset
, " %a", (OpCode
& BIT3
) == 0 ? "LE":"BE");
419 // Thumb2 are 32-bit instructions
421 for (Index
= 0; Index
< sizeof (gOpThumb2
)/sizeof (THUMB_INSTRUCTIONS
); Index
++) {
422 if ((OpCode32
& gOpThumb2
[Index
].Mask
) == gOpThumb2
[Index
].OpCode
) {
424 Offset
= AsciiSPrint (Buf
, Size
, "0x%04x %a", OpCode32
, gOpThumb2
[Index
].Start
);
426 Offset
= AsciiSPrint (Buf
, Size
, "%a", gOpThumb2
[Index
].Start
);
428 switch (gOpThumb2
[Index
].AddressMode
) {
433 // Unknown instruction is 16-bits
436 AsciiSPrint (Buf
, Size
, "0x%04x", OpCode
);
443 DisassembleArmInstruction (
444 IN UINT32
**OpCodePtr
,
452 Place a dissasembly of of **OpCodePtr into buffer, and update OpCodePtr to
453 point to next instructin.
455 We cheat and only decode instructions that access
456 memory. If the instruction is not found we dump the instruction in hex.
458 @param OpCodePtrPtr Pointer to pointer of ARM Thumb instruction to disassemble.
459 @param Thumb TRUE for Thumb(2), FALSE for ARM instruction stream
460 @param Extended TRUE dump hex for instruction too.
461 @param Buf Buffer to sprintf disassembly into.
462 @param Size Size of Buf in bytes.
466 DisassembleInstruction (
467 IN UINT8
**OpCodePtr
,
475 DisassembleThumbInstruction ((UINT16
**)OpCodePtr
, Buf
, Size
, Extended
);
477 DisassembleArmInstruction ((UINT32
**)OpCodePtr
, Buf
, Size
, Extended
);