[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / BPF / rodata_4.ll
blob6e7b289d005a06e82d03ac7da39d688bd30615a2
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 ; {
7 ;   short a;
8 ;   short b;
9 ;   char c;
10 ; };
12 ; struct test_t1 g;
13 ; int test()
14 ; {
15 ;   struct test_t1 t1[] = {{50, 500, 5}, {60, 600, 6}, {70, 700, 7}, {80, 800, 8} };
17 ;   g = t1[1];
18 ;   return 0;
19 ; }
21 %struct.test_t1 = type { i16, i16, i8 }
23 @test.t1 = private unnamed_addr constant [4 x %struct.test_t1] [%struct.test_t1 { i16 50, i16 500, i8 5 }, %struct.test_t1 { i16 60, i16 600, i8 6 }, %struct.test_t1 { i16 70, i16 700, i8 7 }, %struct.test_t1 { i16 80, i16 800, i8 8 }], align 2
24 @g = common local_unnamed_addr global %struct.test_t1 zeroinitializer, align 2
26 ; Function Attrs: nounwind
27 define i32 @test() local_unnamed_addr #0 {
28 ; CHECK-LABEL: test:
29 entry:
30   tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 2 bitcast (%struct.test_t1* @g to i8*), i8* align 2 bitcast (%struct.test_t1* getelementptr inbounds ([4 x %struct.test_t1], [4 x %struct.test_t1]* @test.t1, i64 0, i64 1) to i8*), i64 6, i1 false)
31 ; CHECK:  r2 = 600
32 ; CHECK:  *(u16 *)(r1 + 2) = r2
33 ; CHECK:  r2 = 60
34 ; CHECK:  *(u16 *)(r1 + 0) = r2
35   ret i32 0
37 ; CHECK  .section  .rodata,"a",@progbits
39 ; Function Attrs: argmemonly nounwind
40 declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture writeonly, i8* nocapture readonly, i64, i1) #1
42 attributes #0 = { nounwind }
43 attributes #1 = { argmemonly nounwind }