[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / BPF / rodata_2.ll
bloba7231f9635d383f5b4ecb40f83c4f72ec48bf10a
1 ; RUN: llc < %s -march=bpfel -verify-machineinstrs | FileCheck %s
2 ; RUN: llc < %s -march=bpfeb -verify-machineinstrs | FileCheck %s
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 ; }
23 %struct.test_t2 = type { i8, i8, [2 x %struct.test_t1], [2 x i32], i32 }
24 %struct.test_t1 = type { i8, i32 }
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
29 ; Function Attrs: nounwind
30 define i32 @test() local_unnamed_addr #0 {
31 ; CHECK-LABEL: test:
33 entry:
34     tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 getelementptr inbounds (%struct.test_t2, %struct.test_t2* @g, i64 0, i32 0), i8* align 4 getelementptr inbounds (%struct.test_t2, %struct.test_t2* @test.t2, i64 0, i32 0), i64 32, i1 false)
35 ; CHECK:  r1 = g
36 ; CHECK:  r2 = 0
37 ; CHECK:  *(u32 *)(r1 + 28) = r2
38 ; CHECK:  r3 = 3
39 ; CHECK:  *(u32 *)(r1 + 24) = r3
40 ; CHECK:  r3 = 2
41 ; CHECK:  *(u32 *)(r1 + 20) = r3
42 ; CHECK:  r3 = 1
43 ; CHECK:  *(u32 *)(r1 + 16) = r3
44       ret i32 0
46 ; CHECK: .section  .rodata.cst32,"aM",@progbits,32
48 declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture writeonly, i8* nocapture readonly, i64, i1) #1
50 attributes #0 = { nounwind }
51 attributes #1 = { argmemonly nounwind }