Reduce the number of uc_is_cased calls.

diff --git a/ChangeLog b/ChangeLog
index b1a7be2e5ab7cca381d74dfb5dbe974aa2a5afbb..da6acc744cd3959c77e309612a97e0a92ad64920 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,20 @@
+2009-06-30  Bruno Haible  <bruno@clisp.org>
+
+       Reduce the number of uc_is_cased calls.
+       * lib/unicase.h (casing_suffix_context_t): Add
+       'first_char_except_ignorable' field.
+       * lib/unicase/context.h (SCC_FINAL_SIGMA_MASK): Remove macro.
+       (SCC_MORE_ABOVE_MASK, SCC_BEFORE_DOT_MASK): Update.
+       * lib/unicase/empty-suffix-context.c (unicase_empty_suffix_context):
+       Update initializer.
+       * lib/unicase/u-casemap.h (FUNC): Don't invoke uc_is_cased on
+       case-ignorable characters.
+       * lib/unicase/u-ct-totitle.h (FUNC): Likewise.
+       * lib/unicase/u-suffix-context.h (FUNC2): Don't call uc_is_cased here.
+       * modules/unicase/u8-suffix-context (Depends-on): Remove unicase/cased.
+       * modules/unicase/u16-suffix-context (Depends-on): Likewise.
+       * modules/unicase/u32-suffix-context (Depends-on): Likewise.
+
 2009-06-30  Bruno Haible  <bruno@clisp.org>
 
        Tests for module 'unicase/ignorable'.

diff --git a/lib/unicase.h b/lib/unicase.h
index 32b495171883dc2baf59151e2b6969737b167bc8..cb2df95b6ea10fdc98ad3912a4d736c282dec285 100644 (file)
--- a/lib/unicase.h
+++ b/lib/unicase.h
@@ -167,8 +167,8 @@ extern casing_prefix_context_t
 typedef struct casing_suffix_context
        {
          /* These fields are private, undocumented.  */
+         uint32_t first_char_except_ignorable;
          uint32_t bits;
-         uint32_t unused_bits;
        }
        casing_suffix_context_t;
 /* The case-mapping context of the empty suffix string.  */

diff --git a/lib/unicase/context.h b/lib/unicase/context.h
index c51a5bd4363f7804a62fc4d18be0e0cbca5df275..6a35798d0219e04f5d4f47dce4a6211dccd6c1db 100644 (file)
--- a/lib/unicase/context.h
+++ b/lib/unicase/context.h
@@ -44,20 +44,22 @@
    casing_suffix_context_t contains the following fields:
 
      // For evaluating the FINAL_SIGMA condition:
-     // Bit 0 is set if the suffix starts with a sequence consisting of a
-     // case-ignorable sequence and then a cased letter.
-     //
+     //  First character that was not case-ignorable.
+     ucs4_t first_char_except_ignorable;
+
      // For evaluating the MORE_ABOVE condition:
-     // Bit 1 is set if the suffix contains a character of combining class
+     // Bit 0 is set if the suffix contains a character of combining class
      // 230 (Above) with no character of combining class 0 or 230 (Above)
      // before it.
      //
      // For evaluating the BEFORE_DOT condition:
-     // Bit 2 is set if the suffix contains a COMBINING DOT ABOVE (U+0307)
+     // Bit 1 is set if the suffix contains a COMBINING DOT ABOVE (U+0307)
      // with no character of combining class 0 or 230 (Above) before it.
      //
      uint32_t bits;
- */
-#define SCC_FINAL_SIGMA_MASK 1
-#define SCC_MORE_ABOVE_MASK  2
-#define SCC_BEFORE_DOT_MASK  4
+
+   Three bits would be sufficient to carry the context information, but
+   that would require to invoke uc_is_cased ahead of time, more often than
+   actually needed.  */
+#define SCC_MORE_ABOVE_MASK  1
+#define SCC_BEFORE_DOT_MASK  2

diff --git a/lib/unicase/empty-suffix-context.c b/lib/unicase/empty-suffix-context.c
index 747e65bea928cac390c9571784208164f2ffa850..4e00bffef7c9a6d5fdf6df628cc2c380862c4491 100644 (file)
--- a/lib/unicase/empty-suffix-context.c
+++ b/lib/unicase/empty-suffix-context.c
@@ -22,6 +22,6 @@
 
 const casing_suffix_context_t unicase_empty_suffix_context =
   {
-    0 /* bits */,
-    0 /* unused_bits */
+    0xFFFD /* first_char_except_ignorable */,
+    0 /* bits */
   };

diff --git a/lib/unicase/u-casemap.h b/lib/unicase/u-casemap.h
index d904eb432e051df0a8c8eb1f7f09b54825035a66..ea41444a1fcaae5fd404c361ec2cb653ec27a3ba 100644 (file)
--- a/lib/unicase/u-casemap.h
+++ b/lib/unicase/u-casemap.h
@@ -118,18 +118,20 @@ FUNC (const UNIT *s, size_t n,
                                  {
                                    ucs4_t uc2;
                                    int count2 = U_MBTOUC_UNSAFE (&uc2, s2, s_end - s2);
-                                   if (uc_is_cased (uc2))
+                                   /* Our uc_is_case_ignorable function is
+                                      known to return false for all cased
+                                      characters.  So we can call
+                                      uc_is_case_ignorable first.  */
+                                   if (!uc_is_case_ignorable (uc2))
                                      {
-                                       applies = false;
+                                       applies = ! uc_is_cased (uc2);
                                        break;
                                      }
-                                   if (!uc_is_case_ignorable (uc2))
-                                     break;
                                    s2 += count2;
                                  }
                                else
                                  {
-                                   applies = ((suffix_context.bits & SCC_FINAL_SIGMA_MASK) == 0);
+                                   applies = ! uc_is_cased (suffix_context.first_char_except_ignorable);
                                    break;
                                  }
                              }

diff --git a/lib/unicase/u-ct-totitle.h b/lib/unicase/u-ct-totitle.h
index 181e569bc0662779da727aef805740560aec6e5c..f0d4fd77360a019be534a7a70026af062831fa22 100644 (file)
--- a/lib/unicase/u-ct-totitle.h
+++ b/lib/unicase/u-ct-totitle.h
@@ -194,18 +194,20 @@ FUNC (const UNIT *s, size_t n,
                                  {
                                    ucs4_t uc2;
                                    int count2 = U_MBTOUC_UNSAFE (&uc2, s2, s_end - s2);
-                                   if (uc_is_cased (uc2))
+                                   /* Our uc_is_case_ignorable function is
+                                      known to return false for all cased
+                                      characters.  So we can call
+                                      uc_is_case_ignorable first.  */
+                                   if (!uc_is_case_ignorable (uc2))
                                      {
-                                       applies = false;
+                                       applies = ! uc_is_cased (uc2);
                                        break;
                                      }
-                                   if (!uc_is_case_ignorable (uc2))
-                                     break;
                                    s2 += count2;
                                  }
                                else
                                  {
-                                   applies = ((suffix_context.bits & SCC_FINAL_SIGMA_MASK) == 0);
+                                   applies = ! uc_is_cased (suffix_context.first_char_except_ignorable);
                                    break;
                                  }
                              }

diff --git a/lib/unicase/u-suffix-context.h b/lib/unicase/u-suffix-context.h
index 96c58dae933eee9327dc8528cddf42edf7ab0fc5..a8880953bf52a32d7785db6deae16a9bd1585494 100644 (file)
--- a/lib/unicase/u-suffix-context.h
+++ b/lib/unicase/u-suffix-context.h
@@ -28,7 +28,7 @@ FUNC2 (const UNIT *s, size_t n, casing_suffix_context_t a_context)
   /* Evaluate all three conditions in a single pass through the string S.
      The three variables are -1 as long as the value of the condition has
      not been determined.  */
-  int scc_FINAL_SIGMA = -1;
+  ucs4_t first_char_except_ignorable = (ucs4_t)(-1);
   int scc_MORE_ABOVE = -1;
   int scc_BEFORE_DOT = -1;
   const UNIT *s_end = s + n;
@@ -38,12 +38,10 @@ FUNC2 (const UNIT *s, size_t n, casing_suffix_context_t a_context)
       ucs4_t uc;
       int count = U_MBTOUC_UNSAFE (&uc, s, s_end - s);
 
-      if (scc_FINAL_SIGMA < 0)
+      if (first_char_except_ignorable == (ucs4_t)(-1))
        {
-         if (uc_is_cased (uc))
-           scc_FINAL_SIGMA = SCC_FINAL_SIGMA_MASK;
-         else if (!uc_is_case_ignorable (uc))
-           scc_FINAL_SIGMA = 0;
+         if (!uc_is_case_ignorable (uc))
+           first_char_except_ignorable = uc;
        }
 
       if (scc_MORE_ABOVE < 0)
@@ -67,7 +65,8 @@ FUNC2 (const UNIT *s, size_t n, casing_suffix_context_t a_context)
            }
        }
 
-      if ((scc_FINAL_SIGMA | scc_MORE_ABOVE | scc_BEFORE_DOT) >= 0)
+      if (first_char_except_ignorable != (ucs4_t)(-1)
+         && (scc_MORE_ABOVE | scc_BEFORE_DOT) >= 0)
        /* All conditions have been determined.  */
        break;
 
@@ -76,13 +75,14 @@ FUNC2 (const UNIT *s, size_t n, casing_suffix_context_t a_context)
 
   /* For those conditions that have not been determined so far, use the
      value from the argument context.  */
+  context.first_char_except_ignorable =
+    (first_char_except_ignorable != (ucs4_t)(-1)
+     ? first_char_except_ignorable
+     : a_context.first_char_except_ignorable);
   context.bits =
-    (scc_FINAL_SIGMA >= 0
-     ? scc_FINAL_SIGMA
-     : a_context.bits & SCC_FINAL_SIGMA_MASK)
-    | (scc_MORE_ABOVE >= 0
-       ? scc_MORE_ABOVE
-       : a_context.bits & SCC_MORE_ABOVE_MASK)
+    (scc_MORE_ABOVE >= 0
+     ? scc_MORE_ABOVE
+     : a_context.bits & SCC_MORE_ABOVE_MASK)
     | (scc_BEFORE_DOT >= 0
        ? scc_BEFORE_DOT
        : a_context.bits & SCC_BEFORE_DOT_MASK);

diff --git a/modules/unicase/u16-suffix-context b/modules/unicase/u16-suffix-context
index c31c58ec7e4f7e45c3b0de68744a8e02dd84d881..512ab2b2163da779c7d8b392fa7121199aa3e98b 100644 (file)
--- a/modules/unicase/u16-suffix-context
+++ b/modules/unicase/u16-suffix-context
@@ -9,7 +9,6 @@ lib/unicase/context.h
 Depends-on:
 unicase/base
 unicase/empty-prefix-context
-unicase/cased
 unicase/ignorable
 unictype/combining-class
 unistr/u16-mbtouc-unsafe

diff --git a/modules/unicase/u32-suffix-context b/modules/unicase/u32-suffix-context
index 98ffcfc77112c0b760ba3182dfc06803646152fa..3ab0c63099875f8b4e6881867315c640cfc07113 100644 (file)
--- a/modules/unicase/u32-suffix-context
+++ b/modules/unicase/u32-suffix-context
@@ -9,7 +9,6 @@ lib/unicase/context.h
 Depends-on:
 unicase/base
 unicase/empty-prefix-context
-unicase/cased
 unicase/ignorable
 unictype/combining-class
 unistr/u32-mbtouc-unsafe

diff --git a/modules/unicase/u8-suffix-context b/modules/unicase/u8-suffix-context
index eaa9cad1dca55e3c9e76d8c9a6bdd7283e6c67c3..02f7772550dcde7c2059dad90d46fa8697263500 100644 (file)
--- a/modules/unicase/u8-suffix-context
+++ b/modules/unicase/u8-suffix-context
@@ -9,7 +9,6 @@ lib/unicase/context.h
 Depends-on:
 unicase/base
 unicase/empty-prefix-context
-unicase/cased
 unicase/ignorable
 unictype/combining-class
 unistr/u8-mbtouc-unsafe