test/Transforms/LoopIdiom/bcmp-negative-tests.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -loop-idiom < %s -S | FileCheck %s
   3
   4 ; CHECK: source_filename
   5 ; CHECK-NOT; bcmp
   6 ; CHECK-NOT; memcmp
   7
   8 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
   9
  10 define i1 @three_blocks_and_two_latches_in_loop(i8* %ptr0, i8* %ptr1) {
  11 entry:
  12   br label %for.body
  13
  14 for.body:
  15   %i.08 = phi i64 [ 0, %entry ], [ %inc, %for.cond ], [ 0, %for.passthrough ]
  16   %arrayidx = getelementptr inbounds i8, i8* %ptr0, i64 %i.08
  17   %v0 = load i8, i8* %arrayidx
  18   %arrayidx1 = getelementptr inbounds i8, i8* %ptr1, i64 %i.08
  19   %v1 = load i8, i8* %arrayidx1
  20   %cmp3 = icmp eq i8 %v0, %v1
  21   %inc = add nuw nsw i64 %i.08, 1
  22   br i1 %cmp3, label %for.passthrough, label %cleanup
  23
  24 for.passthrough:
  25   br i1 true, label %for.cond, label %for.body
  26
  27 for.cond:
  28   %cmp = icmp ult i64 %inc, 8
  29   br i1 %cmp, label %for.body, label %cleanup
  30
  31 cleanup:
  32   %res = phi i1 [ false, %for.body ], [ true, %for.cond ]
  33   ret i1 %res
  34 }
  35
  36 define i1 @three_blocks_in_loop(i8* %ptr0, i8* %ptr1) {
  37 entry:
  38   br label %for.body
  39
  40 for.body:
  41   %i.08 = phi i64 [ 0, %entry ], [ %inc, %for.cond ]
  42   %arrayidx = getelementptr inbounds i8, i8* %ptr0, i64 %i.08
  43   %v0 = load i8, i8* %arrayidx
  44   %arrayidx1 = getelementptr inbounds i8, i8* %ptr1, i64 %i.08
  45   %v1 = load i8, i8* %arrayidx1
  46   %cmp3 = icmp eq i8 %v0, %v1
  47   %inc = add nuw nsw i64 %i.08, 1
  48   br i1 %cmp3, label %for.passthrough, label %cleanup
  49
  50 for.passthrough:
  51   br label %for.cond
  52
  53 for.cond:
  54   %cmp = icmp ult i64 %inc, 8
  55   br i1 %cmp, label %for.body, label %cleanup
  56
  57 cleanup:
  58   %res = phi i1 [ false, %for.body ], [ true, %for.cond ]
  59   ret i1 %res
  60 }
  61
  62 define i1 @exit_block_is_not_dedicated(i8* %ptr0, i8* %ptr1) {
  63 entry:
  64   br i1 true, label %for.body, label %cleanup
  65
  66 for.body:
  67   %i.08 = phi i64 [ 0, %entry ], [ %inc, %for.cond ]
  68   %arrayidx = getelementptr inbounds i8, i8* %ptr0, i64 %i.08
  69   %v0 = load i8, i8* %arrayidx
  70   %arrayidx1 = getelementptr inbounds i8, i8* %ptr1, i64 %i.08
  71   %v1 = load i8, i8* %arrayidx1
  72   %cmp3 = icmp eq i8 %v0, %v1
  73   %inc = add nuw nsw i64 %i.08, 1
  74   br i1 %cmp3, label %for.cond, label %cleanup
  75
  76 for.cond:
  77   %cmp = icmp ult i64 %inc, 8
  78   br i1 %cmp, label %for.body, label %cleanup
  79
  80 cleanup:
  81   %res = phi i1 [ false, %for.body ], [ true, %for.cond ], [ false, %entry ]
  82   ret i1 %res
  83 }
  84
  85 define i1 @body_cmp_is_not_equality(i8* %ptr0, i8* %ptr1) {
  86 entry:
  87   br label %for.body
  88
  89 for.body:
  90   %i.08 = phi i64 [ 0, %entry ], [ %inc, %for.cond ]
  91   %arrayidx = getelementptr inbounds i8, i8* %ptr0, i64 %i.08
  92   %v0 = load i8, i8* %arrayidx
  93   %arrayidx1 = getelementptr inbounds i8, i8* %ptr1, i64 %i.08
  94   %v1 = load i8, i8* %arrayidx1
  95   %cmp3 = icmp ult i8 %v0, %v1
  96   %inc = add nuw nsw i64 %i.08, 1
  97   br i1 %cmp3, label %for.cond, label %cleanup
  98
  99 for.cond:
 100   %cmp = icmp ult i64 %inc, 8
 101   br i1 %cmp, label %for.body, label %cleanup
 102
 103 cleanup:
 104   %res = phi i1 [ false, %for.body ], [ true, %for.cond ]
 105   ret i1 %res
 106 }
 107
 108 define i1 @only_one_load(i8* %ptr0, i8* %ptr1) {
 109 entry:
 110   br label %for.body
 111
 112 for.body:
 113   %i.08 = phi i64 [ 0, %entry ], [ %inc, %for.cond ]
 114   %arrayidx = getelementptr inbounds i8, i8* %ptr0, i64 %i.08
 115   %v0 = load i8, i8* %arrayidx
 116   %cmp3 = icmp eq i8 %v0, 0
 117   %inc = add nuw nsw i64 %i.08, 1
 118   br i1 %cmp3, label %for.cond, label %cleanup
 119
 120 for.cond:
 121   %cmp = icmp ult i64 %inc, 8
 122   br i1 %cmp, label %for.body, label %cleanup
 123
 124 cleanup:
 125   %res = phi i1 [ false, %for.body ], [ true, %for.cond ]
 126   ret i1 %res
 127 }
 128
 129 define i1 @loads_of_less_than_byte(i7* %ptr0, i7* %ptr1) {
 130 entry:
 131   br label %for.body
 132
 133 for.body:
 134   %i.08 = phi i64 [ 0, %entry ], [ %inc, %for.cond ]
 135   %arrayidx = getelementptr inbounds i7, i7* %ptr0, i64 %i.08
 136   %v0 = load i7, i7* %arrayidx
 137   %arrayidx1 = getelementptr inbounds i7, i7* %ptr1, i64 %i.08
 138   %v1 = load i7, i7* %arrayidx1
 139   %cmp3 = icmp ult i7 %v0, %v1
 140   %inc = add nuw nsw i64 %i.08, 1
 141   br i1 %cmp3, label %for.cond, label %cleanup
 142
 143 for.cond:
 144   %cmp = icmp ult i64 %inc, 8
 145   br i1 %cmp, label %for.body, label %cleanup
 146
 147 cleanup:
 148   %res = phi i1 [ false, %for.body ], [ true, %for.cond ]
 149   ret i1 %res
 150 }
 151
 152 define i1 @loads_of_not_multiple_of_a_byte(i9* %ptr0, i9* %ptr1) {
 153 entry:
 154   br label %for.body
 155
 156 for.body:
 157   %i.08 = phi i64 [ 0, %entry ], [ %inc, %for.cond ]
 158   %arrayidx = getelementptr inbounds i9, i9* %ptr0, i64 %i.08
 159   %v0 = load i9, i9* %arrayidx
 160   %arrayidx1 = getelementptr inbounds i9, i9* %ptr1, i64 %i.08
 161   %v1 = load i9, i9* %arrayidx1
 162   %cmp3 = icmp ult i9 %v0, %v1
 163   %inc = add nuw nsw i64 %i.08, 1
 164   br i1 %cmp3, label %for.cond, label %cleanup
 165
 166 for.cond:
 167   %cmp = icmp ult i64 %inc, 8
 168   br i1 %cmp, label %for.body, label %cleanup
 169
 170 cleanup:
 171   %res = phi i1 [ false, %for.body ], [ true, %for.cond ]
 172   ret i1 %res
 173 }
 174
 175 define i1 @loop_instruction_used_in_phi_node_outside_loop(i8* %ptr0, i8* %ptr1) {
 176 entry:
 177   br label %for.body
 178
 179 for.body:
 180   %i.08 = phi i64 [ 0, %entry ], [ %inc, %for.cond ]
 181   %arrayidx = getelementptr inbounds i8, i8* %ptr0, i64 %i.08
 182   %v0 = load i8, i8* %arrayidx
 183   %arrayidx1 = getelementptr inbounds i8, i8* %ptr1, i64 %i.08
 184   %v1 = load i8, i8* %arrayidx1
 185   %cmp3 = icmp eq i8 %v0, %v1
 186   %inc = add nuw nsw i64 %i.08, 1
 187   br i1 %cmp3, label %for.cond, label %cleanup
 188
 189 for.cond:
 190   %cmp = icmp ult i64 %inc, 8
 191   br i1 %cmp, label %for.body, label %cleanup
 192
 193 cleanup:
 194   %res = phi i1 [ %cmp3, %for.body ], [ true, %for.cond ]
 195   ret i1 %res
 196 }
 197
 198 define i1 @loop_has_write(i8* %ptr0, i8* %ptr1, i32* %write) {
 199 entry:
 200   br label %for.body
 201
 202 for.body:
 203   %i.08 = phi i64 [ 0, %entry ], [ %inc, %for.cond ]
 204   %arrayidx = getelementptr inbounds i8, i8* %ptr0, i64 %i.08
 205   %v0 = load i8, i8* %arrayidx
 206   %arrayidx1 = getelementptr inbounds i8, i8* %ptr1, i64 %i.08
 207   %v1 = load i8, i8* %arrayidx1
 208   %cmp3 = icmp eq i8 %v0, %v1
 209   %inc = add nuw nsw i64 %i.08, 1
 210   br i1 %cmp3, label %for.cond, label %cleanup
 211
 212 for.cond:
 213   %cmp = icmp ult i64 %inc, 8
 214   store i32 0, i32* %write
 215   br i1 %cmp, label %for.body, label %cleanup
 216
 217 cleanup:
 218   %res = phi i1 [ false, %for.body ], [ true, %for.cond ]
 219   ret i1 %res
 220 }
 221
 222 declare void @sink()
 223 define i1 @loop_has_call(i8* %ptr0, i8* %ptr1, i32* %load) {
 224 entry:
 225   br label %for.body
 226
 227 for.body:
 228   %i.08 = phi i64 [ 0, %entry ], [ %inc, %for.cond ]
 229   %arrayidx = getelementptr inbounds i8, i8* %ptr0, i64 %i.08
 230   %v0 = load i8, i8* %arrayidx
 231   %arrayidx1 = getelementptr inbounds i8, i8* %ptr1, i64 %i.08
 232   %v1 = load i8, i8* %arrayidx1
 233   %cmp3 = icmp eq i8 %v0, %v1
 234   %inc = add nuw nsw i64 %i.08, 1
 235   br i1 %cmp3, label %for.cond, label %cleanup
 236
 237 for.cond:
 238   %cmp = icmp ult i64 %inc, 8
 239   tail call void @sink()
 240   br i1 %cmp, label %for.body, label %cleanup
 241
 242 cleanup:
 243   %res = phi i1 [ false, %for.body ], [ true, %for.cond ]
 244   ret i1 %res
 245 }
 246
 247 define i1 @loop_has_atomic_load(i8* %ptr0, i8* %ptr1, i32* %load) {
 248 entry:
 249   br label %for.body
 250
 251 for.body:
 252   %i.08 = phi i64 [ 0, %entry ], [ %inc, %for.cond ]
 253   %arrayidx = getelementptr inbounds i8, i8* %ptr0, i64 %i.08
 254   %v0 = load i8, i8* %arrayidx
 255   %arrayidx1 = getelementptr inbounds i8, i8* %ptr1, i64 %i.08
 256   %v1 = load i8, i8* %arrayidx1
 257   %cmp3 = icmp eq i8 %v0, %v1
 258   %inc = add nuw nsw i64 %i.08, 1
 259   br i1 %cmp3, label %for.cond, label %cleanup
 260
 261 for.cond:
 262   %cmp = icmp ult i64 %inc, 8
 263   %tmp = load atomic i32, i32* %load unordered, align 1
 264   br i1 %cmp, label %for.body, label %cleanup
 265
 266 cleanup:
 267   %res = phi i1 [ false, %for.body ], [ true, %for.cond ]
 268   ret i1 %res
 269 }
 270
 271 define i1 @different_load_step(i8* %ptr) {
 272 entry:
 273   %add.ptr = getelementptr inbounds i8, i8* %ptr, i64 8
 274   br label %for.body
 275
 276 for.body:
 277   %i.015 = phi i64 [ 0, %entry ], [ %inc, %for.inc ]
 278   %ptr1.014 = phi i8* [ %add.ptr, %entry ], [ %add.ptr3, %for.inc ]
 279   %ptr0.013 = phi i8* [ %ptr, %entry ], [ %incdec.ptr, %for.inc ]
 280   %v0 = load i8, i8* %ptr0.013
 281   %v1 = load i8, i8* %ptr1.014
 282   %cmp2 = icmp eq i8 %v0, %v1
 283   br i1 %cmp2, label %for.inc, label %cleanup
 284
 285 for.inc:
 286   %inc = add nuw nsw i64 %i.015, 1
 287   %incdec.ptr = getelementptr inbounds i8, i8* %ptr0.013, i64 1
 288   %add.ptr3 = getelementptr inbounds i8, i8* %ptr1.014, i64 2
 289   %cmp = icmp ult i64 %inc, 16
 290   br i1 %cmp, label %for.body, label %cleanup
 291
 292 cleanup:
 293   %res = phi i1 [ false, %for.body ], [ true, %for.inc ]
 294   ret i1 %res
 295 }
 296
 297 define i1 @step_is_variable(i8* %ptr, i64 %step) {
 298 entry:
 299   %add.ptr = getelementptr inbounds i8, i8* %ptr, i64 8
 300   br label %for.body
 301
 302 for.body:
 303   %i.015 = phi i64 [ 0, %entry ], [ %inc, %for.inc ]
 304   %ptr1.014 = phi i8* [ %add.ptr, %entry ], [ %add.ptr3, %for.inc ]
 305   %ptr0.013 = phi i8* [ %ptr, %entry ], [ %incdec.ptr, %for.inc ]
 306   %v0 = load i8, i8* %ptr0.013
 307   %v1 = load i8, i8* %ptr1.014
 308   %cmp2 = icmp eq i8 %v0, %v1
 309   br i1 %cmp2, label %for.inc, label %cleanup
 310
 311 for.inc:
 312   %inc = add nuw nsw i64 %i.015, %step
 313   %incdec.ptr = getelementptr inbounds i8, i8* %ptr0.013, i64 1
 314   %add.ptr3 = getelementptr inbounds i8, i8* %ptr1.014, i64 1
 315   %cmp = icmp ult i64 %inc, 16
 316   br i1 %cmp, label %for.body, label %cleanup
 317
 318 cleanup:
 319   %res = phi i1 [ false, %for.body ], [ true, %for.inc ]
 320   ret i1 %res
 321 }
 322
 323 define i1 @load_step_is_variable(i8* %ptr, i64 %step) {
 324 entry:
 325   %add.ptr = getelementptr inbounds i8, i8* %ptr, i64 8
 326   br label %for.body
 327
 328 for.body:
 329   %i.015 = phi i64 [ 0, %entry ], [ %inc, %for.inc ]
 330   %ptr1.014 = phi i8* [ %add.ptr, %entry ], [ %add.ptr3, %for.inc ]
 331   %ptr0.013 = phi i8* [ %ptr, %entry ], [ %incdec.ptr, %for.inc ]
 332   %v0 = load i8, i8* %ptr0.013
 333   %v1 = load i8, i8* %ptr1.014
 334   %cmp2 = icmp eq i8 %v0, %v1
 335   br i1 %cmp2, label %for.inc, label %cleanup
 336
 337 for.inc:
 338   %inc = add nuw nsw i64 %i.015, 1
 339   %incdec.ptr = getelementptr inbounds i8, i8* %ptr0.013, i64 %step
 340   %add.ptr3 = getelementptr inbounds i8, i8* %ptr1.014, i64 %step
 341   %cmp = icmp ult i64 %inc, 16
 342   br i1 %cmp, label %for.body, label %cleanup
 343
 344 cleanup:
 345   %res = phi i1 [ false, %for.body ], [ true, %for.inc ]
 346   ret i1 %res
 347 }
 348
 349 define i1 @step_and_load_step_is_variable(i8* %ptr, i64 %step) {
 350 entry:
 351   %add.ptr = getelementptr inbounds i8, i8* %ptr, i64 8
 352   br label %for.body
 353
 354 for.body:
 355   %i.015 = phi i64 [ 0, %entry ], [ %inc, %for.inc ]
 356   %ptr1.014 = phi i8* [ %add.ptr, %entry ], [ %add.ptr3, %for.inc ]
 357   %ptr0.013 = phi i8* [ %ptr, %entry ], [ %incdec.ptr, %for.inc ]
 358   %v0 = load i8, i8* %ptr0.013
 359   %v1 = load i8, i8* %ptr1.014
 360   %cmp2 = icmp eq i8 %v0, %v1
 361   br i1 %cmp2, label %for.inc, label %cleanup
 362
 363 for.inc:
 364   %inc = add nuw nsw i64 %i.015, %step
 365   %incdec.ptr = getelementptr inbounds i8, i8* %ptr0.013, i64 %step
 366   %add.ptr3 = getelementptr inbounds i8, i8* %ptr1.014, i64 %step
 367   %cmp = icmp ult i64 %inc, 16
 368   br i1 %cmp, label %for.body, label %cleanup
 369
 370 cleanup:
 371   %res = phi i1 [ false, %for.body ], [ true, %for.inc ]
 372   ret i1 %res
 373 }
 374
 375 define i1 @load_step_not_affine(i8* %ptr) {
 376 entry:
 377   %add.ptr = getelementptr inbounds i8, i8* %ptr, i64 8
 378   br label %for.body
 379
 380 for.body:
 381   %i.018 = phi i64 [ 0, %entry ], [ %inc, %for.inc ]
 382   %ptr1.017 = phi i8* [ %add.ptr, %entry ], [ %add.ptr4, %for.inc ]
 383   %ptr0.016 = phi i8* [ %ptr, %entry ], [ %add.ptr3, %for.inc ]
 384   %v0 = load i8, i8* %ptr0.016
 385   %v1 = load i8, i8* %ptr1.017
 386   %cmp2 = icmp eq i8 %v0, %v1
 387   br i1 %cmp2, label %for.inc, label %cleanup
 388
 389 for.inc:
 390   %inc = add nuw nsw i64 %i.018, 1
 391   %add.ptr3 = getelementptr inbounds i8, i8* %ptr0.016, i64 %inc
 392   %add.ptr4 = getelementptr inbounds i8, i8* %ptr1.017, i64 %inc
 393   %cmp = icmp ult i64 %inc, 16
 394   br i1 %cmp, label %for.body, label %cleanup
 395
 396 cleanup:
 397   %res = phi i1 [ false, %for.body ], [ true, %for.inc ]
 398   ret i1 %res
 399 }
 400
 401 define i1 @no_overlap_between_loads(i8* %ptr) {
 402 entry:
 403   %add.ptr = getelementptr inbounds i8, i8* %ptr, i64 8
 404   br label %for.body
 405
 406 for.body:
 407   %i.016 = phi i64 [ 0, %entry ], [ %inc, %for.inc ]
 408   %ptr1.015 = phi i8* [ %add.ptr, %entry ], [ %add.ptr4, %for.inc ]
 409   %ptr0.014 = phi i8* [ %ptr, %entry ], [ %add.ptr3, %for.inc ]
 410   %v0 = load i8, i8* %ptr0.014
 411   %v1 = load i8, i8* %ptr1.015
 412   %cmp2 = icmp eq i8 %v0, %v1
 413   br i1 %cmp2, label %for.inc, label %cleanup
 414
 415 for.inc:
 416   %inc = add nuw nsw i64 %i.016, 1
 417   %add.ptr3 = getelementptr inbounds i8, i8* %ptr0.014, i64 2
 418   %add.ptr4 = getelementptr inbounds i8, i8* %ptr1.015, i64 2
 419   %cmp = icmp ult i64 %inc, 16
 420   br i1 %cmp, label %for.body, label %cleanup
 421
 422 cleanup:
 423   %res = phi i1 [ false, %for.body ], [ true, %for.inc ]
 424   ret i1 %res
 425 }
 426
 427 define i1 @volatile_loads(i8* %ptr) {
 428 entry:
 429   %add.ptr = getelementptr inbounds i8, i8* %ptr, i64 8
 430   br label %for.body
 431
 432 for.body:
 433   %i.016 = phi i64 [ 0, %entry ], [ %inc, %for.inc ]
 434   %ptr1.015 = phi i8* [ %add.ptr, %entry ], [ %add.ptr4, %for.inc ]
 435   %ptr0.014 = phi i8* [ %ptr, %entry ], [ %add.ptr3, %for.inc ]
 436   %v0 = load volatile i8, i8* %ptr0.014
 437   %v1 = load volatile i8, i8* %ptr1.015
 438   %cmp2 = icmp eq i8 %v0, %v1
 439   br i1 %cmp2, label %for.inc, label %cleanup
 440
 441 for.inc:
 442   %inc = add nuw nsw i64 %i.016, 1
 443   %add.ptr3 = getelementptr inbounds i8, i8* %ptr0.014, i64 1
 444   %add.ptr4 = getelementptr inbounds i8, i8* %ptr1.015, i64 1
 445   %cmp = icmp ult i64 %inc, 16
 446   br i1 %cmp, label %for.body, label %cleanup
 447
 448 cleanup:
 449   %res = phi i1 [ false, %for.body ], [ true, %for.inc ]
 450   ret i1 %res
 451 }
 452
 453 define i1 @atomic_loads(i8* %ptr) {
 454 entry:
 455   %add.ptr = getelementptr inbounds i8, i8* %ptr, i64 8
 456   br label %for.body
 457
 458 for.body:
 459   %i.016 = phi i64 [ 0, %entry ], [ %inc, %for.inc ]
 460   %ptr1.015 = phi i8* [ %add.ptr, %entry ], [ %add.ptr4, %for.inc ]
 461   %ptr0.014 = phi i8* [ %ptr, %entry ], [ %add.ptr3, %for.inc ]
 462   %v0 = load atomic i8, i8* %ptr0.014 unordered, align 1
 463   %v1 = load atomic i8, i8* %ptr1.015 unordered, align 1
 464   %cmp2 = icmp eq i8 %v0, %v1
 465   br i1 %cmp2, label %for.inc, label %cleanup
 466
 467 for.inc:
 468   %inc = add nuw nsw i64 %i.016, 1
 469   %add.ptr3 = getelementptr inbounds i8, i8* %ptr0.014, i64 1
 470   %add.ptr4 = getelementptr inbounds i8, i8* %ptr1.015, i64 1
 471   %cmp = icmp ult i64 %inc, 16
 472   br i1 %cmp, label %for.body, label %cleanup
 473
 474 cleanup:
 475   %res = phi i1 [ false, %for.body ], [ true, %for.inc ]
 476   ret i1 %res
 477 }
 478
 479 define i1 @address_space(i8 addrspace(1)* %ptr) {
 480 entry:
 481   %add.ptr = getelementptr inbounds i8, i8 addrspace(1)* %ptr, i64 8
 482   br label %for.body
 483
 484 for.body:
 485   %i.016 = phi i64 [ 0, %entry ], [ %inc, %for.inc ]
 486   %ptr1.015 = phi i8 addrspace(1)* [ %add.ptr, %entry ], [ %add.ptr4, %for.inc ]
 487   %ptr0.014 = phi i8 addrspace(1)* [ %ptr, %entry ], [ %add.ptr3, %for.inc ]
 488   %v0 = load i8, i8 addrspace(1)* %ptr0.014
 489   %v1 = load i8, i8 addrspace(1)* %ptr1.015
 490   %cmp2 = icmp eq i8 %v0, %v1
 491   br i1 %cmp2, label %for.inc, label %cleanup
 492
 493 for.inc:
 494   %inc = add nuw nsw i64 %i.016, 1
 495   %add.ptr3 = getelementptr inbounds i8, i8 addrspace(1)* %ptr0.014, i64 1
 496   %add.ptr4 = getelementptr inbounds i8, i8 addrspace(1)* %ptr1.015, i64 1
 497   %cmp = icmp ult i64 %inc, 16
 498   br i1 %cmp, label %for.body, label %cleanup
 499
 500 cleanup:
 501   %res = phi i1 [ false, %for.body ], [ true, %for.inc ]
 502   ret i1 %res
 503 }