llvm/test/CodeGen/BPF/rodata_2.ll

   1 ; RUN: llc < %s -march=bpfel -verify-machineinstrs | FileCheck %s
   2 ; RUN: llc < %s -march=bpfeb -verify-machineinstrs | FileCheck %s
   3
   4 ; Source code:
   5 ; struct test_t1 {
   6 ;   char a;
   7 ;   int  b;
   8 ; };
   9 ; struct test_t2 {
  10 ;   char a, b;
  11 ;   struct test_t1 c[2];
  12 ;   int d[2];
  13 ;   int e;
  14 ; };
  15 ; struct test_t2 g;
  16 ; int test()
  17 ; {
  18 ;    struct test_t2 t2 = {.c = {{}, {.b = 1}}, .d = {2, 3}};
  19 ;    g = t2;
  20 ;    return 0;
  21 ; }
  22
  23 %struct.test_t2 = type { i8, i8, [2 x %struct.test_t1], [2 x i32], i32 }
  24 %struct.test_t1 = type { i8, i32 }
  25
  26 @test.t2 = private unnamed_addr constant %struct.test_t2 { i8 0, i8 0, [2 x %struct.test_t1] [%struct.test_t1 zeroinitializer, %struct.test_t1 { i8 0, i32 1 }], [2 x i32] [i32 2, i32 3], i32 0 }, align 4
  27 @g = common local_unnamed_addr global %struct.test_t2 zeroinitializer, align 4
  28
  29 ; Function Attrs: nounwind
  30 define i32 @test() local_unnamed_addr #0 {
  31 ; CHECK-LABEL: test:
  32
  33 entry:
  34     tail call void @llvm.memcpy.p0.p0.i64(ptr align 4 @g, ptr align 4 @test.t2, i64 32, i1 false)
  35 ; CHECK: r1 = g ll
  36 ; CHECK: r2 = 3
  37 ; CHECK: *(u32 *)(r1 + 24) = r2
  38 ; CHECK: r2 = 2
  39 ; CHECK: *(u32 *)(r1 + 20) = r2
  40 ; CHECK: r2 = 1
  41 ; CHECK: *(u32 *)(r1 + 16) = r2
  42 ; CHECK: r2 = 0
  43 ; CHECK: *(u32 *)(r1 + 28) = r2
  44 ; CHECK: *(u32 *)(r1 + 8) = r2
  45 ; CHECK: *(u32 *)(r1 + 4) = r2
  46 ; CHECK: *(u32 *)(r1 + 0) = r2
  47       ret i32 0
  48 }
  49 ; CHECK: .section  .rodata.cst32,"aM",@progbits,32
  50
  51 declare void @llvm.memcpy.p0.p0.i64(ptr nocapture writeonly, ptr nocapture readonly, i64, i1) #1
  52
  53 attributes #0 = { nounwind }
  54 attributes #1 = { argmemonly nounwind }