c2a88c2 #PR6269 Optimized string matching

Authored and Committed by Luc Maranget 10 years ago
    #PR6269 Optimized string matching
    
    Noticed that I had to bootstrap to test on ARM, so I commit  a new bootstrap
    compiler.
    
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14479 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    
        
file modified
+61 -54
file modified
+2 -0
file modified
+1 -1
file modified
+1 -0
file modified
+1 -0
file modified
+32 -0
file modified
+54 -1
file modified
+13 -0
file modified
+633 -630
file modified
+0 -0
file modified
+0 -0
file modified
+0 -0
file modified
+11 -2
file modified
+10 -2
file modified
+3 -0
file modified
+117 -10
file modified
+8 -0
file modified
+12 -1
file modified
+25 -0
file modified
+281 -284
file modified
+6 -4
file modified
+26 -32
file modified
+15 -15
file modified
+60 -100
file modified
+10 -10
file modified
+5 -5
file modified
+10 -10
file modified
+23 -20
file modified
+400 -358
file modified
+9 -9
empty file added
file modified
+14 -16
file modified
+1 -1