Added optimization for string-length and bytes-length.

collects/tests/typed-scheme/optimizer/generic/string-length.rkt

@@ -0,0 +1,6 @@
+#lang typed/scheme #:optimize
+
+(require racket/unsafe/ops)
+
+(string-length "eh")
+(bytes-length #"eh")

collects/tests/typed-scheme/optimizer/hand-optimized/string-length.rkt

@@ -0,0 +1,6 @@
+#lang typed/scheme #:optimize
+
+(require racket/unsafe/ops)
+
+(unsafe-string-length "eh")
+(unsafe-bytes-length #"eh")

collects/tests/typed-scheme/optimizer/non-optimized/string-length.rkt

@@ -0,0 +1,6 @@
+#lang typed/scheme
+
+(require racket/unsafe/ops)
+
+(string-length "eh")
+(bytes-length #"eh")

collects/typed-scheme/optimizer/optimizer.rkt

@@ -2,10 +2,13 @@
 
 (require syntax/parse 
          syntax/id-table racket/dict
-         (for-template scheme/base scheme/flonum scheme/fixnum scheme/unsafe/ops racket/private/for)
+         (for-template scheme/base
+                       scheme/flonum scheme/fixnum scheme/unsafe/ops
+                       racket/private/for)
          "../utils/utils.rkt"
          (types abbrev type-table utils subtype)
-         (optimizer utils fixnum float inexact-complex vector pair sequence box struct dead-code))
+         (optimizer utils fixnum float inexact-complex vector string
+                    pair sequence box struct dead-code))
 
 (provide optimize-top)
 
@@ -22,6 +25,7 @@
   (pattern e:float-opt-expr           #:with opt #'e.opt)
   (pattern e:inexact-complex-opt-expr #:with opt #'e.opt)
   (pattern e:vector-opt-expr          #:with opt #'e.opt)
+  (pattern e:string-opt-expr          #:with opt #'e.opt)
   (pattern e:pair-opt-expr            #:with opt #'e.opt)
   (pattern e:sequence-opt-expr        #:with opt #'e.opt)
   (pattern e:box-opt-expr             #:with opt #'e.opt)

collects/typed-scheme/optimizer/sequence.rkt

@@ -7,7 +7,7 @@
          "../utils/utils.rkt" "../utils/tc-utils.rkt"
          (rep type-rep)
          (types abbrev type-table utils subtype)
-         (optimizer utils))
+         (optimizer utils string))
 
 (provide sequence-opt-expr)
 
@@ -29,15 +29,6 @@
                     [_ #f])
            #:with opt ((optimize) #'e)))
 
-(define-syntax-class string-expr
-  (pattern e:expr
-           #:when (isoftype? #'e -String)
-           #:with opt ((optimize) #'e)))
-(define-syntax-class bytes-expr
-  (pattern e:expr
-           #:when (isoftype? #'e -Bytes)
-           #:with opt ((optimize) #'e)))
-
 (define-syntax-class sequence-opt-expr
   ;; if we're iterating (with the for macros) over something we know is a list,
   ;; we can generate code that would be similar to if in-list had been used

collects/typed-scheme/optimizer/string.rkt

@@ -0,0 +1,28 @@
+#lang scheme/base
+
+(require syntax/parse
+         (for-template scheme/base scheme/flonum scheme/unsafe/ops)
+         "../utils/utils.rkt"
+         (types abbrev type-table utils subtype)
+         (optimizer utils))
+
+(provide string-opt-expr string-expr bytes-expr)
+
+(define-syntax-class string-expr
+  (pattern e:expr
+           #:when (isoftype? #'e -String)
+           #:with opt ((optimize) #'e)))
+(define-syntax-class bytes-expr
+  (pattern e:expr
+           #:when (isoftype? #'e -Bytes)
+           #:with opt ((optimize) #'e)))
+
+(define-syntax-class string-opt-expr
+  (pattern (#%plain-app (~literal string-length) s:string-expr)
+           #:with opt
+           (begin (log-optimization "string" #'op)
+                  #'(unsafe-string-length s.opt)))
+  (pattern (#%plain-app (~literal bytes-length) s:bytes-expr)
+           #:with opt
+           (begin (log-optimization "bytes" #'op)
+                  #'(unsafe-bytes-length s.opt))))