llvm/test/CodeGen/AVR/rust-trait-object.ll

   1 ; RUN: llc < %s -mtriple=avr -filetype=asm | FileCheck %s -check-prefix=CHECK-ASM
   2 ; RUN: llc < %s -mtriple=avr -filetype=obj | llvm-objdump -Dr - \
   3 ; RUN:                                   | FileCheck %s -check-prefix=CHECK-OBJ
   4
   5 ; Somewhat pruned test case from rustc using trait objects
   6
   7 %TraitObjectA = type {}
   8
   9 ; CHECK-ASM-LABEL: vtable.0:
  10 ; CHECK-ASM-NEXT: .short pm(drop_in_place2)
  11 ; CHECK-ASM-NEXT: .short 0
  12 ; CHECK-ASM-NEXT: .short 1
  13 ; CHECK-ASM-NEXT: .short pm(trait_fn2)
  14
  15 ; CHECK-OBJ-LABEL: <vtable.0>:
  16 ; CHECK-OBJ-NEXT: 00 00
  17 ; CHECK-OBJ-NEXT: R_AVR_16_PM  .text
  18 ; CHECK-OBJ-NEXT: 00 00
  19 ; CHECK-OBJ-NEXT: 01 00 00 00
  20 ; CHECK-OBJ-NEXT: R_AVR_16_PM  .text
  21 @vtable.0 = private constant {
  22     ptr addrspace(1),
  23     i16,
  24     i16,
  25     ptr addrspace(1)
  26   } {
  27     ptr addrspace(1)
  28       @drop_in_place2,
  29     i16 0,
  30     i16 1,
  31     ptr addrspace(1)
  32       @trait_fn2
  33   }, align 1
  34
  35 ; CHECK-ASM-LABEL: vtable.1:
  36 ; CHECK-ASM-NEXT: .short pm(drop_in_place1)
  37 ; CHECK-ASM-NEXT: .short 0
  38 ; CHECK-ASM-NEXT: .short 1
  39 ; CHECK-ASM-NEXT: .short pm(trait_fn1)
  40
  41 ; CHECK-OBJ-LABEL: <vtable.1>:
  42 ; CHECK-OBJ-NEXT: 00 00
  43 ; CHECK-OBJ-NEXT: R_AVR_16_PM  .text
  44 ; CHECK-OBJ-NEXT: 00 00
  45 ; CHECK-OBJ-NEXT: 01 00 00 00
  46 ; CHECK-OBJ-NEXT: R_AVR_16_PM  .text
  47 @vtable.1 = private constant {
  48     ptr addrspace(1),
  49     i16,
  50     i16,
  51     ptr addrspace(1)
  52   } {
  53     ptr addrspace(1)
  54       @drop_in_place1,
  55     i16 0,
  56     i16 1,
  57     ptr addrspace(1)
  58       @trait_fn1
  59   }, align 1
  60
  61 define internal fastcc i8 @TraitObjectA_method(i1 zeroext %choice) addrspace(1) {
  62 start:
  63   %b = alloca %TraitObjectA, align 1
  64
  65   %c = select i1 %choice, ptr @vtable.0,
  66     ptr @vtable.1
  67   %b2 = bitcast ptr %b to ptr
  68
  69   %res = call fastcc addrspace(1) i8 @call_trait_object(ptr nonnull align 1 %b2, ptr noalias readonly align 1 dereferenceable(6) %c)
  70   ret i8 %res
  71 }
  72
  73 define internal fastcc i8 @call_trait_object(ptr nonnull align 1 %a, ptr noalias nocapture readonly align 1 dereferenceable(6) %b) addrspace(1) {
  74 start:
  75   %b2 = getelementptr inbounds [3 x i16], ptr %b, i16 0, i16 3
  76   %c = bitcast ptr %b2 to ptr
  77   %d = load ptr addrspace(1), ptr %c, align 1, !invariant.load !1, !nonnull !1
  78   %res = tail call addrspace(1) i8 %d(ptr nonnull align 1 %a)
  79   ret i8 %res
  80 }
  81
  82 define internal void @drop_in_place1(ptr nocapture %a) addrspace(1) {
  83 start:
  84   ret void
  85 }
  86
  87 define internal i8 @trait_fn1(ptr noalias nocapture nonnull readonly align 1 %self) addrspace(1) {
  88 start:
  89   ret i8 89
  90 }
  91
  92 define internal void @drop_in_place2(ptr nocapture %a) addrspace(1) {
  93 start:
  94   ret void
  95 }
  96
  97 define internal i8 @trait_fn2(ptr noalias nocapture nonnull readonly align 1 %self) addrspace(1) {
  98 start:
  99   ret i8 79
 100 }
 101
 102 !1 = !{}