diff options
| author | Galen Williamson <galen@vector35.com> | 2025-07-23 13:56:24 -0400 |
|---|---|---|
| committer | Galen Williamson <galen@vector35.com> | 2025-08-14 14:06:49 -0400 |
| commit | d6e13c753b30260b182cfe433e4e275244a4ab78 (patch) | |
| tree | e5872f325dc26012646d999af94d937942ada0f8 /arch/armv7/thumb2_disasm/spec.txt | |
| parent | ce38990dae2d88d96793715d40544c7e5ece524d (diff) | |
[armv7/thumb2] Fix Lifting for PC-relative vldr instruction does not align PC when calculating address #6947
Updated thumb2 pcode parser used by disassembler generator to use Tatsu instead of deprecated Grako
Diffstat (limited to 'arch/armv7/thumb2_disasm/spec.txt')
| -rw-r--r-- | arch/armv7/thumb2_disasm/spec.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arch/armv7/thumb2_disasm/spec.txt b/arch/armv7/thumb2_disasm/spec.txt index ebb5932d..eaffbfce 100644 --- a/arch/armv7/thumb2_disasm/spec.txt +++ b/arch/armv7/thumb2_disasm/spec.txt @@ -5526,7 +5526,7 @@ fmt VCVTR<c>.S32.F64 <Sd>,<Dm> extract32 1110,11101,D.1,11,1,opc1.1,opc2.1,opc3.1,Vd.4,101,sz.1,op.1,1,M.1,0,Vm.4 pcode_start to_integer = (opc1 == '1'); dp_operation = (sz == 1); -unsigned = (op == '0'); +unsigned = (opc3 == '0'); m = UInt(Vm:M); d = if dp_operation then UInt(D:Vd) else UInt(Vd:D); if (to_integer) then unsigned = (opc1 == '0'); |