Refactor rel32 searching process for x64 to make it more similar to x86.

courgette/testdata/rel32_x64_03.txt

Index: courgette/testdata/rel32_x64_03.txt
diff --git a/courgette/testdata/rel32_x64_03.txt b/courgette/testdata/rel32_x64_03.txt
new file mode 100644
index 0000000000000000000000000000000000000000..b28f425ffc0eedf48b18d961629beb4134a82f4f
--- /dev/null
+++ b/courgette/testdata/rel32_x64_03.txt
@@ -0,0 +1,61 @@
+# Test target validity: only accept target RVA in [1000, 3000).
+
+# .text start RVA and end RVA
+1000
+3000
+# .reloc start RVA and end RVA
+3800
+4000
+# 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 F8 EF FF FF        call    00400000  # RVA start, outside .text

[huangs, 2016/05/26 18:34:34]

Fix misalignments.

[etiennep, 2016/05/26 20:50:10]

Done.

+  00401008: E8 F3 FF FF FF            call        00401000
+  0040100D: E8 ED FF FF FF            call        00400FFF  # 1 byte before .text
+  00401012: 90                        nop                   # Padding so E8 & E9 ...
+  00401013: 90                        nop
+  00401014: E9 E7 FF FF FF            jmp         00401000  # ... don't appear here.
+  00401019: E9 E1 FF FF FF            jmp         00400FFF  # 1 byte before .text
+  0040101E: E8 DC 1F 00 00            call        00402FFF
+  00401023: E8 D8 1F 00 00            call        00403000  # 1 byte after .text
+  00401028: 0F 87 D1 1F 00 00         ja          00402FFF
+  0040102E: 0F 88 CC 1F 00 00         js          00403000  # 1 byte after .text
+  00401034: E8 C6 3F 00 00        call    00404FFF  # In image, outside .text
+  00401039: E8 C2 3F 00 00            call        00405000  # Outside image
+  0040103E: E8 BE 3F 00 00            call        00405001  # Outside image
+  00401043: E8 88 88 88 88            call        88C898D0  # Far away
+
+  00401048: FF 15 B1 EF FF FF     call        003FFFFF # 1 byte before image
+  0040104E: FF 15 AC EF FF FF     call        00400000 # In image
+  00401054: FF 15 A5 3F 00 00     call    00404FFF # 1 byte before end of image
+  0040105A: FF 15 A0 3F 00 00         call        00405000 # Outside image
+  00401060: FF 15 6A 88 C8 88         call        88C898D0 # Far away
+  00401066: FF 25 93 EF FF FF         jmp         003FFFFF
+  0040106C: FF 25 8E EF FF FF         jmp         00400000
+  00401072: FF 25 87 3F 00 00         jmp         00404FFF
+  00401078: FF 25 82 3F 00 00         jmp         00405000
+  0040107E: 8D 05 7B EF FF FF         lea         eax, 003FFFFF
+  00401084: 8D 05 76 EF FF FF         lea         eax, 00400000
+  0040108A: 8D 05 6F 3F 00 00         lea         eax, 00404FFF
+  00401090: 8D 05 6A 3F 00 00         lea         eax, 00405000
+
+  00401096: 5D                        pop         ebp
+  00401097: C3                        ret
+
+Abs32:
+
+Expected:
+1009
+1015
+101F
+102A
+1050
+1056
+106E
+1074
+1086
+108C