lld/test/MachO/objc-category-conflicts.s

   1 # REQUIRES: x86
   2 # RUN: rm -rf %t; split-file %s %t
   3 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos11.0 -I %t %t/cat1.s -o %t/cat1.o
   4 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos11.0 -I %t %t/cat2.s -o %t/cat2.o
   5 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos11.0 -I %t %t/klass.s -o %t/klass.o
   6 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos11.0 -I %t %t/cat1.s --defsym MAKE_LOAD_METHOD=1 -o %t/cat1-with-load.o
   7 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos11.0 -I %t %t/cat2.s --defsym MAKE_LOAD_METHOD=1 -o %t/cat2-with-load.o
   8 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos11.0 -I %t %t/klass.s --defsym MAKE_LOAD_METHOD=1 -o %t/klass-with-load.o
   9 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos11.0 -I %t %t/klass-with-no-rodata.s -o %t/klass-with-no-rodata.o
  10 # RUN: %lld -dylib -lobjc %t/klass.o -o %t/libklass.dylib
  11
  12 # RUN: %no-fatal-warnings-lld --check-category-conflicts -dylib -lobjc %t/klass.o %t/cat1.o %t/cat2.o -o \
  13 # RUN:   /dev/null 2>&1 | FileCheck %s --check-prefixes=CATCLS,CATCAT
  14 # RUN: %no-fatal-warnings-lld --check-category-conflicts -dylib -lobjc %t/libklass.dylib %t/cat1.o \
  15 # RUN:   %t/cat2.o -o /dev/null 2>&1 | FileCheck %s --check-prefix=CATCAT
  16
  17 ## Check that we don't emit spurious warnings around the +load method while
  18 ## still emitting the other warnings. Note that we have made separate
  19 ## `*-with-load.s` files for ease of comparison with ld64; ld64 will not warn
  20 ## at all if multiple +load methods are present.
  21 # RUN: %no-fatal-warnings-lld --check-category-conflicts -dylib -lobjc %t/klass-with-load.o \
  22 # RUN:   %t/cat1-with-load.o %t/cat2-with-load.o -o /dev/null 2>&1 | \
  23 # RUN:   FileCheck %s --check-prefixes=CATCLS,CATCAT --implicit-check-not '+load'
  24
  25 ## Regression test: Check that we don't crash.
  26 # RUN: %no-fatal-warnings-lld --check-category-conflicts -dylib -lobjc %t/klass-with-no-rodata.o -o /dev/null
  27
  28 ## Check that we don't emit any warnings without --check-category-conflicts.
  29 # RUN: %no-fatal-warnings-lld -dylib -lobjc %t/klass.o %t/cat1.o %t/cat2.o -o \
  30 # RUN:   /dev/null 2>&1 | FileCheck %s --implicit-check-not 'warning' --allow-empty
  31
  32 # CATCLS:      warning: method '+s1' has conflicting definitions:
  33 # CATCLS-NEXT: >>> defined in category Cat1 from {{.*}}cat1{{.*}}.o
  34 # CATCLS-NEXT: >>> defined in class Foo from {{.*}}klass{{.*}}.o
  35
  36 # CATCLS:      warning: method '-m1' has conflicting definitions:
  37 # CATCLS-NEXT: >>> defined in category Cat1 from {{.*}}cat1{{.*}}.o
  38 # CATCLS-NEXT: >>> defined in class Foo from {{.*}}klass{{.*}}.o
  39
  40 # CATCAT:      warning: method '+s2' has conflicting definitions:
  41 # CATCAT-NEXT: >>> defined in category Cat2 from {{.*}}cat2{{.*}}.o
  42 # CATCAT-NEXT: >>> defined in category Cat1 from {{.*}}cat1{{.*}}.o
  43
  44 # CATCAT:      warning: method '-m2' has conflicting definitions:
  45 # CATCAT-NEXT: >>> defined in category Cat2 from {{.*}}cat2{{.*}}.o
  46 # CATCAT-NEXT: >>> defined in category Cat1 from {{.*}}cat1{{.*}}.o
  47
  48 #--- cat1.s
  49
  50 .include "objc-macros.s"
  51
  52 ## @interface Foo(Cat1)
  53 ## -(void) m1;
  54 ## -(void) m2;
  55 ## +(void) s1;
  56 ## +(void) s2;
  57 ## @end
  58 ##
  59 ## @implementation Foo(Cat1)
  60 ## -(void) m1 {}
  61 ## -(void) m2 {}
  62 ## +(void) s1 {}
  63 ## +(void) s2 {}
  64 ## @end
  65
  66 .section __DATA,__objc_catlist,regular,no_dead_strip
  67   .quad __OBJC_$_CATEGORY_Foo_$_Cat1
  68
  69 .ifdef MAKE_LOAD_METHOD
  70 .section __DATA,__objc_nlcatlist,regular,no_dead_strip
  71   .quad __OBJC_$_CATEGORY_Foo_$_Cat1
  72 .endif
  73
  74 .section __DATA,__objc_const
  75 __OBJC_$_CATEGORY_Foo_$_Cat1:
  76   .objc_classname "Cat1"
  77   .quad _OBJC_CLASS_$_Foo
  78   .quad __OBJC_$_CATEGORY_INSTANCE_METHODS_Foo_$_Cat1
  79   .quad __OBJC_$_CATEGORY_CLASS_METHODS_Foo_$_Cat1
  80   .quad 0
  81   .quad 0
  82   .quad 0
  83   .long 64
  84   .space 4
  85
  86 __OBJC_$_CATEGORY_INSTANCE_METHODS_Foo_$_Cat1:
  87   .long 24 # size of method entry
  88   .long 2 # number of methods
  89   .empty_objc_method "m1", "v16@0:8", "-[Foo(Cat1) m1]"
  90   .empty_objc_method "m2", "v16@0:8", "-[Foo(Cat2) m2]"
  91
  92 __OBJC_$_CATEGORY_CLASS_METHODS_Foo_$_Cat1:
  93   .long 24
  94 .ifdef MAKE_LOAD_METHOD
  95   .long 3
  96   .empty_objc_method "load", "v16@0:8", "+[Foo(Cat1) load]"
  97 .else
  98   .long 2
  99 .endif
 100   .empty_objc_method "s1", "v16@0:8", "+[Foo(Cat1) s1]"
 101   .empty_objc_method "s2", "v16@0:8", "+[Foo(Cat1) s2]"
 102
 103 .section __DATA,__objc_imageinfo,regular,no_dead_strip
 104   .long 0
 105   .long 64
 106
 107 .subsections_via_symbols
 108
 109 #--- cat2.s
 110
 111 .include "objc-macros.s"
 112
 113 ## @interface Foo(Cat2)
 114 ## -(void) m2;
 115 ## +(void) s2;
 116 ## @end
 117 ##
 118 ## @implementation Foo(Cat2)
 119 ## -(void) m2 {}
 120 ## +(void) s2 {}
 121 ## @end
 122
 123 .section __DATA,__objc_catlist,regular,no_dead_strip
 124   .quad __OBJC_$_CATEGORY_Foo_$_Cat2
 125
 126 .ifdef MAKE_LOAD_METHOD
 127 .section __DATA,__objc_nlcatlist,regular,no_dead_strip
 128   .quad __OBJC_$_CATEGORY_Foo_$_Cat2
 129 .endif
 130
 131 .section __DATA,__objc_const
 132 __OBJC_$_CATEGORY_Foo_$_Cat2:
 133   .objc_classname "Cat2"
 134   .quad _OBJC_CLASS_$_Foo
 135   .quad __OBJC_$_CATEGORY_INSTANCE_METHODS_Foo_$_Cat2
 136   .quad __OBJC_$_CATEGORY_CLASS_METHODS_Foo_$_Cat2
 137   .quad 0
 138   .quad 0
 139   .quad 0
 140   .long 64
 141   .space 4
 142
 143 __OBJC_$_CATEGORY_INSTANCE_METHODS_Foo_$_Cat2:
 144   .long 24
 145   .long 1
 146   .empty_objc_method "m2", "v16@0:8", "-[Foo(Cat2) m2]"
 147
 148 __OBJC_$_CATEGORY_CLASS_METHODS_Foo_$_Cat2:
 149   .long 24
 150 .ifdef MAKE_LOAD_METHOD
 151   .long 2
 152   .empty_objc_method "load", "v16@0:8", "+[Foo(Cat2) load]"
 153 .else
 154   .long 1
 155 .endif
 156   .empty_objc_method "s2", "v16@0:8", "+[Foo(Cat2) m2]"
 157
 158 .section __DATA,__objc_imageinfo,regular,no_dead_strip
 159   .long 0
 160   .long 64
 161
 162 .subsections_via_symbols
 163
 164 #--- klass.s
 165
 166 .include "objc-macros.s"
 167
 168 ## @interface Foo
 169 ## -(void) m1;
 170 ## +(void) s1;
 171 ## @end
 172 ##
 173 ## @implementation Foo
 174 ## -(void) m1 {}
 175 ## +(void) s1 {}
 176 ## @end
 177
 178 .globl _OBJC_CLASS_$_Foo, _OBJC_METACLASS_$_Foo
 179
 180 .section __DATA,__objc_data
 181 _OBJC_CLASS_$_Foo:
 182   .quad _OBJC_METACLASS_$_Foo
 183   .quad 0
 184   .quad __objc_empty_cache
 185   .quad 0
 186   .quad __OBJC_CLASS_RO_$_Foo
 187
 188 _OBJC_METACLASS_$_Foo:
 189   .quad _OBJC_METACLASS_$_Foo
 190   .quad _OBJC_CLASS_$_Foo
 191   .quad __objc_empty_cache
 192   .quad 0
 193   .quad __OBJC_METACLASS_RO_$_Foo
 194
 195 .section __DATA,__objc_const
 196 __OBJC_METACLASS_RO_$_Foo:
 197   .long 3
 198   .long 40
 199   .long 40
 200   .space 4
 201   .quad 0
 202   .objc_classname "Foo"
 203   .quad __OBJC_$_CLASS_METHODS_Foo
 204   .quad 0
 205   .quad 0
 206   .quad 0
 207   .quad 0
 208
 209 __OBJC_CLASS_RO_$_Foo:
 210   .long 2
 211   .long 0
 212   .long 0
 213   .space 4
 214   .quad 0
 215   .objc_classname "Foo"
 216   .quad __OBJC_$_INSTANCE_METHODS_Foo
 217   .quad 0
 218   .quad 0
 219   .quad 0
 220   .quad 0
 221
 222 __OBJC_$_CLASS_METHODS_Foo:
 223   .long 24
 224 .ifdef MAKE_LOAD_METHOD
 225   .long 2
 226   .empty_objc_method "load", "v16@0:8", "+[Foo load]"
 227 .else
 228   .long 1
 229 .endif
 230   .empty_objc_method "s1", "v16@0:8", "+[Foo s1]"
 231
 232 __OBJC_$_INSTANCE_METHODS_Foo:
 233   .long 24
 234   .long 1
 235   .empty_objc_method "m1", "v16@0:8", "-[Foo m1]"
 236
 237 .section __DATA,__objc_classlist,regular,no_dead_strip
 238   .quad _OBJC_CLASS_$_Foo
 239
 240 .ifdef MAKE_LOAD_METHOD
 241 .section __DATA,__objc_nlclslist,regular,no_dead_strip
 242   .quad _OBJC_CLASS_$_Foo
 243 .endif
 244
 245 .section __DATA,__objc_imageinfo,regular,no_dead_strip
 246   .long 0
 247   .long 64
 248
 249 .subsections_via_symbols
 250
 251 #--- klass-with-no-rodata.s
 252
 253 .include "objc-macros.s"
 254
 255 ## swiftc generates some classes without a statically-linked rodata. Not
 256 ## entirely sure what the corresponding Swift inputs are required for this to
 257 ## happen; this test merely checks that we can gracefully handle this case
 258 ## without crashing.
 259 ## FIXME: It would be better if this test used the output of some real Swift
 260 ## code.
 261
 262 .globl _$s11FooAACfD
 263
 264 .section __DATA,__objc_data
 265 _$s11FooAACfD:
 266   .quad _$s11FooAACfD
 267   .quad 0
 268   .quad __objc_empty_cache
 269   .quad 0
 270   .quad __objc_empty_cache
 271
 272 .section __DATA,__objc_catlist,regular,no_dead_strip
 273   .quad __CATEGORY_METAFoo_$_Foo20
 274
 275 .section __DATA,__objc_const
 276 __CATEGORY_METAFoo_$_Foo20:
 277   .objc_classname "Foo20"
 278   .quad _$s11FooAACfD
 279   .quad 0
 280   .quad 0
 281   .quad 0
 282   .quad 0
 283   .quad 0
 284   .long 64
 285   .space 4
 286
 287 #--- objc-macros.s
 288
 289 # Macros for taking some of the boilerplate out of defining objc structs.
 290
 291 # NOTE: \@ below is a variable that gets auto-incremented by the assembler on
 292 # each macro invocation. It serves as a mechanism for generating unique symbol
 293 # names for each macro call.
 294
 295 .macro .objc_classname name
 296
 297   .section __TEXT,__objc_classname,cstring_literals
 298   L_OBJC_CLASS_NAME_.\@:
 299     .asciz "\name"
 300
 301   .section __DATA,__objc_const
 302   .quad L_OBJC_CLASS_NAME_.\@
 303
 304 .endm
 305
 306 # struct method_t {
 307 #   const char *name;
 308 #   const char *type;
 309 #   void *impl;
 310 # }
 311 .macro .objc_method name, type, impl
 312
 313   .section __TEXT,__objc_methname,cstring_literals
 314   L_OBJC_METH_VAR_NAME_.\@:
 315     .asciz "\name"
 316
 317   .section __TEXT,__objc_methtype,cstring_literals
 318   L_OBJC_METH_VAR_TYPE_.\@:
 319     .asciz "\type"
 320
 321   .section __DATA,__objc_const
 322     .quad L_OBJC_METH_VAR_NAME_.\@
 323     .quad L_OBJC_METH_VAR_TYPE_.\@
 324     .quad "\impl"
 325
 326 .endm
 327
 328 # Generate a method_t with a basic impl that just contains `ret`.
 329 .macro .empty_objc_method name, type, impl
 330
 331   .text
 332   "\impl":
 333     ret
 334
 335   .objc_method "\name", "\type", "\impl"
 336
 337 .endm