| # Test rel32 jump instructions with abs32 and .reloc obstructions. |
| |
| # Processor type |
| x86 |
| # .text start RVA and end RVA |
| 1000 |
| 3000 |
| # .reloc start RVA and end RVA |
| # Typically this won't overlap with .text. |
| # Note: If we use 1020, then the algorithm would never encounter it, so the |
| # .reloc does not get skipped! This edge case is not worth fixing right now. |
| 101F |
| 1030 |
| # End RVA |
| 5000 |
| |
| # Assume ImageBase = 00400000. This does not affect the test. |
| Program: |
| 00401000: 55 push ebp |
| 00401001: 8B EC mov ebp,esp |
| 00401003: E8 00 00 00 00 call 00401008 # Overlaps with abs32 |
| 00401008: E9 00 00 00 00 jmp 0040100D # Overlaps with abs32 |
| 0040100D: 0F 80 00 00 00 00 jo 00401013 |
| 00401013: 0F 81 00 00 00 00 jno 00401019 |
| 00401019: 0F 82 00 00 00 00 jb 0040101F |
| 0040101F: 0F 83 00 00 00 00 jae 00401025 # Overlaps with .reloc |
| 00401025: 0F 84 00 00 00 00 je 0040102B # Overlaps with .reloc |
| 0040102B: 0F 85 00 00 00 00 jne 00401031 # Overlaps with .reloc |
| 00401031: 0F 86 00 00 00 00 jbe 00401037 |
| 00401037: 0F 87 00 00 00 00 ja 0040103D |
| 0040103D: 0F 88 00 00 00 00 js 00401043 |
| 00401043: 0F 89 00 00 00 00 jns 00401049 |
| 00401049: 0F 8A 00 00 00 00 jp 0040104F # Ignored! |
| 0040104F: 0F 8B 00 00 00 00 jnp 00401055 # Ignored! |
| 00401055: 0F 8C 00 00 00 00 jl 0040105B # Overlaps with abs32 |
| 0040105B: 0F 8D 00 00 00 00 jge 00401061 # Overlaps with abs32 |
| 00401061: 0F 8E 00 00 00 00 jle 00401067 |
| 00401067: 0F 8F 00 00 00 00 jg 0040106D |
| 0040106D: 5D pop ebp |
| 0040106E: C3 ret |
| |
| Abs32: |
| 1004 |
| 1008 |
| 105A # Straddles across two instructions. |
| 105F # Same, but covers the op code (and not the target) of the second. |
| |
| Expected: |
| # 1004 |
| # 1009 |
| 100F |
| 1015 |
| 101B |
| # 1021 |
| # 1027 |
| # 102D |
| 1033 |
| 1039 |
| 103F |
| 1045 |
| # 1057 |
| # 105D |
| 1063 # Op code 0F 8E overlaps with abs32 105F, but still okay |
| 1069 |
