Compare.hs revision 8f943afc22a6a683b78271836c8ddc462b4824a9 
1
2module Main where
3
4import Char ( isSpace )
5
6{- Compares a .sorted file with a raw printout of instructions
7   and shows differences.
8
9   First file (REF) is has lines of format
10
11      hex-digits  SPACEs  insn(possibly with spaces)
12
13   Second file (TEST) has lines of format
14
15      insn(possibly with spaces)
16
17   Purpose is to extract the insn (text), remove spaces, and compare.
18
19   How to use:
20(cd .. && make) && (../vex test1.orig | grep LALALA | cut -b 22- > out.txt)
21/home/sewardj/Tools/HugsInst/bin/runhugs Compare.hs | grep FAIL 
22-}
23
24main = mayn "test2.sorted" "out.txt"
25
26mayn :: String -> String -> IO ()
27
28mayn sorted_fn dump_fn
29   = do sorted <- readFile sorted_fn
30        dump   <- readFile dump_fn
31        let ress = zipWith check (lines (deTab sorted))
32                                 (lines (deTab dump))
33        putStrLn (unlines ress)
34
35
36check :: String -> String -> String
37check ref test 
38   = let ref_clean = dropWhile isHex ref
39         ok        = compere ref_clean test
40         summary   = grok ("REF: " ++ trim ref_clean) 
41                     ++ "   " ++ grok ("TEST: " ++ trim test)
42     in
43     if  ok
44     then "pass:    " ++ summary
45     else "FAIL:    " ++ summary
46
47trim = reverse . dropWhile isSpace . reverse . dropWhile isSpace
48
49compere s1 s2 = filter (not . isSpace) s1 == filter (not . isSpace) s2
50
51isHex c = c `elem` "ABCDEF0123456789abcdef"
52
53grok str 
54   = let n = length str
55         limit = 40
56     in
57     if   n >= limit
58     then str
59     else take limit (str ++ repeat ' ')
60
61deTab [] = []
62deTab (c:cs) = if c == '\t' then "  " ++ deTab cs
63               else c: deTab cs
64