llvm/test/CodeGen/BPF/rodata_1.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, b, c;
   7 ; };
   8 ; struct test_t2 {
   9 ;   int a, b, c, d, e;
  10 ; };
  11 ;
  12 ; struct test_t1 g1;
  13 ; struct test_t2 g2;
  14 ; int test()
  15 ; {
  16 ;   struct test_t1 t1 = {.c = 1};
  17 ;   struct test_t2 t2 = {.c = 1};
  18 ;   g1 = t1;
  19 ;   g2 = t2;
  20 ;   return 0;
  21 ; }
  22
  23 %struct.test_t1 = type { i8, i8, i8 }
  24 %struct.test_t2 = type { i32, i32, i32, i32, i32 }
  25
  26 @test.t1 = private unnamed_addr constant %struct.test_t1 { i8 0, i8 0, i8 1 }, align 1
  27 @test.t2 = private unnamed_addr constant %struct.test_t2 { i32 0, i32 0, i32 1, i32 0, i32 0 }, align 4
  28 @g1 = common local_unnamed_addr global %struct.test_t1 zeroinitializer, align 1
  29 @g2 = common local_unnamed_addr global %struct.test_t2 zeroinitializer, align 4
  30
  31 ; Function Attrs: nounwind
  32 define i32 @test() local_unnamed_addr #0 {
  33 ; CHECK-LABEL: test:
  34
  35 entry:
  36     tail call void @llvm.memcpy.p0.p0.i64(ptr @g1, ptr @test.t1, i64 3, i1 false)
  37     tail call void @llvm.memcpy.p0.p0.i64(ptr align 4 @g2, ptr align 4 @test.t2, i64 20, i1 false)
  38 ; CHECK:  r1 = g1
  39 ; CHECK:  r2 = 0
  40 ; CHECK:  *(u8 *)(r1 + 1) = r2
  41 ; CHECK:  r3 = 1
  42 ; CHECK:  *(u8 *)(r1 + 2) = r3
  43 ; CHECK:  r1 = g2
  44 ; CHECK:  *(u32 *)(r1 + 8) = r3
  45     ret i32 0
  46 }
  47 ; CHECK: .section  .rodata,"a",@progbits
  48
  49 declare void @llvm.memcpy.p0.p0.i64(ptr nocapture writeonly, ptr nocapture readonly, i64, i1) #1
  50
  51 attributes #0 = { nounwind }
  52 attributes #1 = { argmemonly nounwind }