Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 1 | /* |
| 2 | * Copyright 2008 Vitaly Mayatskikh <vmayatsk@redhat.com> |
| 3 | * Copyright 2002 Andi Kleen, SuSE Labs. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 4 | * Subject to the GNU Public License v2. |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 5 | * |
| 6 | * Functions to copy from and to user space. |
| 7 | */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 8 | |
Jan Beulich | 8d379da | 2006-09-26 10:52:32 +0200 | [diff] [blame] | 9 | #include <linux/linkage.h> |
| 10 | #include <asm/dwarf2.h> |
| 11 | |
Andi Kleen | 7bcd3f3 | 2006-02-03 21:51:02 +0100 | [diff] [blame] | 12 | #define FIX_ALIGNMENT 1 |
| 13 | |
Andi Kleen | 3022d73 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 14 | #include <asm/current.h> |
| 15 | #include <asm/asm-offsets.h> |
| 16 | #include <asm/thread_info.h> |
| 17 | #include <asm/cpufeature.h> |
Fenghua Yu | 4307bec | 2011-05-17 15:29:15 -0700 | [diff] [blame] | 18 | #include <asm/alternative-asm.h> |
H. Peter Anvin | 9732da8 | 2012-04-20 12:19:51 -0700 | [diff] [blame^] | 19 | #include <asm/asm.h> |
Andi Kleen | 3022d73 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 20 | |
Fenghua Yu | 4307bec | 2011-05-17 15:29:15 -0700 | [diff] [blame] | 21 | /* |
| 22 | * By placing feature2 after feature1 in altinstructions section, we logically |
| 23 | * implement: |
| 24 | * If CPU has feature2, jmp to alt2 is used |
| 25 | * else if CPU has feature1, jmp to alt1 is used |
| 26 | * else jmp to orig is used. |
| 27 | */ |
| 28 | .macro ALTERNATIVE_JUMP feature1,feature2,orig,alt1,alt2 |
Andi Kleen | 3022d73 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 29 | 0: |
| 30 | .byte 0xe9 /* 32bit jump */ |
| 31 | .long \orig-1f /* by default jump to orig */ |
| 32 | 1: |
| 33 | .section .altinstr_replacement,"ax" |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 34 | 2: .byte 0xe9 /* near jump with 32bit immediate */ |
Fenghua Yu | 4307bec | 2011-05-17 15:29:15 -0700 | [diff] [blame] | 35 | .long \alt1-1b /* offset */ /* or alternatively to alt1 */ |
| 36 | 3: .byte 0xe9 /* near jump with 32bit immediate */ |
| 37 | .long \alt2-1b /* offset */ /* or alternatively to alt2 */ |
Andi Kleen | 3022d73 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 38 | .previous |
Fenghua Yu | 4307bec | 2011-05-17 15:29:15 -0700 | [diff] [blame] | 39 | |
Andi Kleen | 3022d73 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 40 | .section .altinstructions,"a" |
Fenghua Yu | 4307bec | 2011-05-17 15:29:15 -0700 | [diff] [blame] | 41 | altinstruction_entry 0b,2b,\feature1,5,5 |
| 42 | altinstruction_entry 0b,3b,\feature2,5,5 |
Andi Kleen | 3022d73 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 43 | .previous |
| 44 | .endm |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 45 | |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 46 | .macro ALIGN_DESTINATION |
| 47 | #ifdef FIX_ALIGNMENT |
| 48 | /* check for bad alignment of destination */ |
| 49 | movl %edi,%ecx |
| 50 | andl $7,%ecx |
| 51 | jz 102f /* already aligned */ |
| 52 | subl $8,%ecx |
| 53 | negl %ecx |
| 54 | subl %ecx,%edx |
| 55 | 100: movb (%rsi),%al |
| 56 | 101: movb %al,(%rdi) |
| 57 | incq %rsi |
| 58 | incq %rdi |
| 59 | decl %ecx |
| 60 | jnz 100b |
| 61 | 102: |
| 62 | .section .fixup,"ax" |
Vitaly Mayatskikh | afd962a | 2008-07-30 13:30:14 +0200 | [diff] [blame] | 63 | 103: addl %ecx,%edx /* ecx is zerorest also */ |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 64 | jmp copy_user_handle_tail |
| 65 | .previous |
| 66 | |
H. Peter Anvin | 9732da8 | 2012-04-20 12:19:51 -0700 | [diff] [blame^] | 67 | _ASM_EXTABLE(100b,103b) |
| 68 | _ASM_EXTABLE(101b,103b) |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 69 | #endif |
| 70 | .endm |
| 71 | |
| 72 | /* Standard copy_to_user with segment limit checking */ |
Frederic Weisbecker | 3c93ca0 | 2009-11-16 15:42:18 +0100 | [diff] [blame] | 73 | ENTRY(_copy_to_user) |
Jan Beulich | 8d379da | 2006-09-26 10:52:32 +0200 | [diff] [blame] | 74 | CFI_STARTPROC |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 75 | GET_THREAD_INFO(%rax) |
| 76 | movq %rdi,%rcx |
| 77 | addq %rdx,%rcx |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 78 | jc bad_to_user |
Glauber Costa | 26ccb8a | 2008-06-24 11:19:35 -0300 | [diff] [blame] | 79 | cmpq TI_addr_limit(%rax),%rcx |
Jiri Olsa | 26afb7c | 2011-05-12 16:30:30 +0200 | [diff] [blame] | 80 | ja bad_to_user |
Fenghua Yu | 4307bec | 2011-05-17 15:29:15 -0700 | [diff] [blame] | 81 | ALTERNATIVE_JUMP X86_FEATURE_REP_GOOD,X86_FEATURE_ERMS, \ |
| 82 | copy_user_generic_unrolled,copy_user_generic_string, \ |
| 83 | copy_user_enhanced_fast_string |
Jan Beulich | 8d379da | 2006-09-26 10:52:32 +0200 | [diff] [blame] | 84 | CFI_ENDPROC |
Frederic Weisbecker | 3c93ca0 | 2009-11-16 15:42:18 +0100 | [diff] [blame] | 85 | ENDPROC(_copy_to_user) |
Andi Kleen | 7bcd3f3 | 2006-02-03 21:51:02 +0100 | [diff] [blame] | 86 | |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 87 | /* Standard copy_from_user with segment limit checking */ |
Arjan van de Ven | 9f0cf4a | 2009-09-26 14:33:01 +0200 | [diff] [blame] | 88 | ENTRY(_copy_from_user) |
Jan Beulich | 8d379da | 2006-09-26 10:52:32 +0200 | [diff] [blame] | 89 | CFI_STARTPROC |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 90 | GET_THREAD_INFO(%rax) |
| 91 | movq %rsi,%rcx |
| 92 | addq %rdx,%rcx |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 93 | jc bad_from_user |
Glauber Costa | 26ccb8a | 2008-06-24 11:19:35 -0300 | [diff] [blame] | 94 | cmpq TI_addr_limit(%rax),%rcx |
Jiri Olsa | 26afb7c | 2011-05-12 16:30:30 +0200 | [diff] [blame] | 95 | ja bad_from_user |
Fenghua Yu | 4307bec | 2011-05-17 15:29:15 -0700 | [diff] [blame] | 96 | ALTERNATIVE_JUMP X86_FEATURE_REP_GOOD,X86_FEATURE_ERMS, \ |
| 97 | copy_user_generic_unrolled,copy_user_generic_string, \ |
| 98 | copy_user_enhanced_fast_string |
Jan Beulich | 8d379da | 2006-09-26 10:52:32 +0200 | [diff] [blame] | 99 | CFI_ENDPROC |
Arjan van de Ven | 9f0cf4a | 2009-09-26 14:33:01 +0200 | [diff] [blame] | 100 | ENDPROC(_copy_from_user) |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 101 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 102 | .section .fixup,"ax" |
| 103 | /* must zero dest */ |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 104 | ENTRY(bad_from_user) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 105 | bad_from_user: |
Jan Beulich | 8d379da | 2006-09-26 10:52:32 +0200 | [diff] [blame] | 106 | CFI_STARTPROC |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 107 | movl %edx,%ecx |
| 108 | xorl %eax,%eax |
| 109 | rep |
| 110 | stosb |
| 111 | bad_to_user: |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 112 | movl %edx,%eax |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 113 | ret |
Jan Beulich | 8d379da | 2006-09-26 10:52:32 +0200 | [diff] [blame] | 114 | CFI_ENDPROC |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 115 | ENDPROC(bad_from_user) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 116 | .previous |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 117 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 118 | /* |
Andi Kleen | 3022d73 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 119 | * copy_user_generic_unrolled - memory copy with exception handling. |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 120 | * This version is for CPUs like P4 that don't have efficient micro |
| 121 | * code for rep movsq |
| 122 | * |
| 123 | * Input: |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 124 | * rdi destination |
| 125 | * rsi source |
| 126 | * rdx count |
| 127 | * |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 128 | * Output: |
Lucas De Marchi | 0d2eb44 | 2011-03-17 16:24:16 -0300 | [diff] [blame] | 129 | * eax uncopied bytes or 0 if successful. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 130 | */ |
Andi Kleen | 3022d73 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 131 | ENTRY(copy_user_generic_unrolled) |
Jan Beulich | 8d379da | 2006-09-26 10:52:32 +0200 | [diff] [blame] | 132 | CFI_STARTPROC |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 133 | cmpl $8,%edx |
| 134 | jb 20f /* less then 8 bytes, go to byte copy loop */ |
| 135 | ALIGN_DESTINATION |
| 136 | movl %edx,%ecx |
| 137 | andl $63,%edx |
| 138 | shrl $6,%ecx |
| 139 | jz 17f |
| 140 | 1: movq (%rsi),%r8 |
| 141 | 2: movq 1*8(%rsi),%r9 |
| 142 | 3: movq 2*8(%rsi),%r10 |
| 143 | 4: movq 3*8(%rsi),%r11 |
| 144 | 5: movq %r8,(%rdi) |
| 145 | 6: movq %r9,1*8(%rdi) |
| 146 | 7: movq %r10,2*8(%rdi) |
| 147 | 8: movq %r11,3*8(%rdi) |
| 148 | 9: movq 4*8(%rsi),%r8 |
| 149 | 10: movq 5*8(%rsi),%r9 |
| 150 | 11: movq 6*8(%rsi),%r10 |
| 151 | 12: movq 7*8(%rsi),%r11 |
| 152 | 13: movq %r8,4*8(%rdi) |
| 153 | 14: movq %r9,5*8(%rdi) |
| 154 | 15: movq %r10,6*8(%rdi) |
| 155 | 16: movq %r11,7*8(%rdi) |
Andi Kleen | 7bcd3f3 | 2006-02-03 21:51:02 +0100 | [diff] [blame] | 156 | leaq 64(%rsi),%rsi |
| 157 | leaq 64(%rdi),%rdi |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 158 | decl %ecx |
| 159 | jnz 1b |
| 160 | 17: movl %edx,%ecx |
| 161 | andl $7,%edx |
Andi Kleen | 7bcd3f3 | 2006-02-03 21:51:02 +0100 | [diff] [blame] | 162 | shrl $3,%ecx |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 163 | jz 20f |
| 164 | 18: movq (%rsi),%r8 |
| 165 | 19: movq %r8,(%rdi) |
Andi Kleen | 7bcd3f3 | 2006-02-03 21:51:02 +0100 | [diff] [blame] | 166 | leaq 8(%rsi),%rsi |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 167 | leaq 8(%rdi),%rdi |
| 168 | decl %ecx |
| 169 | jnz 18b |
| 170 | 20: andl %edx,%edx |
| 171 | jz 23f |
Andi Kleen | 7bcd3f3 | 2006-02-03 21:51:02 +0100 | [diff] [blame] | 172 | movl %edx,%ecx |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 173 | 21: movb (%rsi),%al |
| 174 | 22: movb %al,(%rdi) |
Andi Kleen | 7bcd3f3 | 2006-02-03 21:51:02 +0100 | [diff] [blame] | 175 | incq %rsi |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 176 | incq %rdi |
Andi Kleen | 7bcd3f3 | 2006-02-03 21:51:02 +0100 | [diff] [blame] | 177 | decl %ecx |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 178 | jnz 21b |
| 179 | 23: xor %eax,%eax |
Andi Kleen | 7bcd3f3 | 2006-02-03 21:51:02 +0100 | [diff] [blame] | 180 | ret |
| 181 | |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 182 | .section .fixup,"ax" |
| 183 | 30: shll $6,%ecx |
| 184 | addl %ecx,%edx |
| 185 | jmp 60f |
Jeremy Fitzhardinge | 27cb0a7 | 2008-07-10 12:52:52 -0700 | [diff] [blame] | 186 | 40: lea (%rdx,%rcx,8),%rdx |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 187 | jmp 60f |
| 188 | 50: movl %ecx,%edx |
| 189 | 60: jmp copy_user_handle_tail /* ecx is zerorest also */ |
| 190 | .previous |
Andi Kleen | 7bcd3f3 | 2006-02-03 21:51:02 +0100 | [diff] [blame] | 191 | |
H. Peter Anvin | 9732da8 | 2012-04-20 12:19:51 -0700 | [diff] [blame^] | 192 | _ASM_EXTABLE(1b,30b) |
| 193 | _ASM_EXTABLE(2b,30b) |
| 194 | _ASM_EXTABLE(3b,30b) |
| 195 | _ASM_EXTABLE(4b,30b) |
| 196 | _ASM_EXTABLE(5b,30b) |
| 197 | _ASM_EXTABLE(6b,30b) |
| 198 | _ASM_EXTABLE(7b,30b) |
| 199 | _ASM_EXTABLE(8b,30b) |
| 200 | _ASM_EXTABLE(9b,30b) |
| 201 | _ASM_EXTABLE(10b,30b) |
| 202 | _ASM_EXTABLE(11b,30b) |
| 203 | _ASM_EXTABLE(12b,30b) |
| 204 | _ASM_EXTABLE(13b,30b) |
| 205 | _ASM_EXTABLE(14b,30b) |
| 206 | _ASM_EXTABLE(15b,30b) |
| 207 | _ASM_EXTABLE(16b,30b) |
| 208 | _ASM_EXTABLE(18b,40b) |
| 209 | _ASM_EXTABLE(19b,40b) |
| 210 | _ASM_EXTABLE(21b,50b) |
| 211 | _ASM_EXTABLE(22b,50b) |
Jan Beulich | 8d379da | 2006-09-26 10:52:32 +0200 | [diff] [blame] | 212 | CFI_ENDPROC |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 213 | ENDPROC(copy_user_generic_unrolled) |
Jan Beulich | 8d379da | 2006-09-26 10:52:32 +0200 | [diff] [blame] | 214 | |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 215 | /* Some CPUs run faster using the string copy instructions. |
| 216 | * This is also a lot simpler. Use them when possible. |
| 217 | * |
| 218 | * Only 4GB of copy is supported. This shouldn't be a problem |
| 219 | * because the kernel normally only writes from/to page sized chunks |
| 220 | * even if user space passed a longer buffer. |
| 221 | * And more would be dangerous because both Intel and AMD have |
| 222 | * errata with rep movsq > 4GB. If someone feels the need to fix |
| 223 | * this please consider this. |
| 224 | * |
| 225 | * Input: |
| 226 | * rdi destination |
| 227 | * rsi source |
| 228 | * rdx count |
| 229 | * |
| 230 | * Output: |
| 231 | * eax uncopied bytes or 0 if successful. |
| 232 | */ |
Andi Kleen | 3022d73 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 233 | ENTRY(copy_user_generic_string) |
Jan Beulich | 8d379da | 2006-09-26 10:52:32 +0200 | [diff] [blame] | 234 | CFI_STARTPROC |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 235 | andl %edx,%edx |
| 236 | jz 4f |
| 237 | cmpl $8,%edx |
| 238 | jb 2f /* less than 8 bytes, go to byte copy loop */ |
| 239 | ALIGN_DESTINATION |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 240 | movl %edx,%ecx |
| 241 | shrl $3,%ecx |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 242 | andl $7,%edx |
| 243 | 1: rep |
Andi Kleen | 3022d73 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 244 | movsq |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 245 | 2: movl %edx,%ecx |
| 246 | 3: rep |
| 247 | movsb |
| 248 | 4: xorl %eax,%eax |
Andi Kleen | 7bcd3f3 | 2006-02-03 21:51:02 +0100 | [diff] [blame] | 249 | ret |
Andi Kleen | 3022d73 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 250 | |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 251 | .section .fixup,"ax" |
Jeremy Fitzhardinge | 27cb0a7 | 2008-07-10 12:52:52 -0700 | [diff] [blame] | 252 | 11: lea (%rdx,%rcx,8),%rcx |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 253 | 12: movl %ecx,%edx /* ecx is zerorest also */ |
| 254 | jmp copy_user_handle_tail |
| 255 | .previous |
Andi Kleen | 2cbc9ee | 2006-01-11 22:44:45 +0100 | [diff] [blame] | 256 | |
H. Peter Anvin | 9732da8 | 2012-04-20 12:19:51 -0700 | [diff] [blame^] | 257 | _ASM_EXTABLE(1b,11b) |
| 258 | _ASM_EXTABLE(3b,12b) |
Vitaly Mayatskikh | ad2fc2c | 2008-07-02 15:53:13 +0200 | [diff] [blame] | 259 | CFI_ENDPROC |
| 260 | ENDPROC(copy_user_generic_string) |
Fenghua Yu | 4307bec | 2011-05-17 15:29:15 -0700 | [diff] [blame] | 261 | |
| 262 | /* |
| 263 | * Some CPUs are adding enhanced REP MOVSB/STOSB instructions. |
| 264 | * It's recommended to use enhanced REP MOVSB/STOSB if it's enabled. |
| 265 | * |
| 266 | * Input: |
| 267 | * rdi destination |
| 268 | * rsi source |
| 269 | * rdx count |
| 270 | * |
| 271 | * Output: |
| 272 | * eax uncopied bytes or 0 if successful. |
| 273 | */ |
| 274 | ENTRY(copy_user_enhanced_fast_string) |
| 275 | CFI_STARTPROC |
| 276 | andl %edx,%edx |
| 277 | jz 2f |
| 278 | movl %edx,%ecx |
| 279 | 1: rep |
| 280 | movsb |
| 281 | 2: xorl %eax,%eax |
| 282 | ret |
| 283 | |
| 284 | .section .fixup,"ax" |
| 285 | 12: movl %ecx,%edx /* ecx is zerorest also */ |
| 286 | jmp copy_user_handle_tail |
| 287 | .previous |
| 288 | |
H. Peter Anvin | 9732da8 | 2012-04-20 12:19:51 -0700 | [diff] [blame^] | 289 | _ASM_EXTABLE(1b,12b) |
Fenghua Yu | 4307bec | 2011-05-17 15:29:15 -0700 | [diff] [blame] | 290 | CFI_ENDPROC |
| 291 | ENDPROC(copy_user_enhanced_fast_string) |