blob: 1d33e57de789d900bcb89ceb9cf8104be15eb4c4 [file] [log] [blame]
Alexei Starovoitove6ddac02016-11-20 02:25:00 +00001; RUN: llc -march=bpfel -filetype=obj -o - %s | llvm-objdump -d - | FileCheck %s
2
3; Function Attrs: nounwind uwtable
4define i32 @ld_b(i64 %foo, i64* nocapture %bar, i8* %ctx, i8* %ctx2) #0 {
5 %1 = tail call i64 @llvm.bpf.load.byte(i8* %ctx, i64 123) #2
6 %2 = add i64 %1, %foo
7 %3 = load volatile i64, i64* %bar, align 8
8 %4 = add i64 %2, %3
9 %5 = tail call i64 @llvm.bpf.load.byte(i8* %ctx2, i64 %foo) #2
10 %6 = add i64 %4, %5
11 %7 = load volatile i64, i64* %bar, align 8
12 %8 = add i64 %6, %7
13 %9 = trunc i64 %8 to i32
14 ret i32 %9
15; CHECK-LABEL: ld_b:
16; CHECK: r0 = *(u8 *)skb[123]
17; CHECK: r0 = *(u8 *)skb[r
18}
19
20declare i64 @llvm.bpf.load.byte(i8*, i64) #1
21
22; Function Attrs: nounwind uwtable
23define i32 @ld_h(i8* %ctx, i8* %ctx2, i32 %foo) #0 {
24 %1 = tail call i64 @llvm.bpf.load.half(i8* %ctx, i64 123) #2
25 %2 = sext i32 %foo to i64
26 %3 = tail call i64 @llvm.bpf.load.half(i8* %ctx2, i64 %2) #2
27 %4 = add i64 %3, %1
28 %5 = trunc i64 %4 to i32
29 ret i32 %5
30; CHECK-LABEL: ld_h:
31; CHECK: r0 = *(u16 *)skb[r
32; CHECK: r0 = *(u16 *)skb[123]
33}
34
35declare i64 @llvm.bpf.load.half(i8*, i64) #1
36
37; Function Attrs: nounwind uwtable
38define i32 @ld_w(i8* %ctx, i8* %ctx2, i32 %foo) #0 {
39 %1 = tail call i64 @llvm.bpf.load.word(i8* %ctx, i64 123) #2
40 %2 = sext i32 %foo to i64
41 %3 = tail call i64 @llvm.bpf.load.word(i8* %ctx2, i64 %2) #2
42 %4 = add i64 %3, %1
43 %5 = trunc i64 %4 to i32
44 ret i32 %5
45; CHECK-LABEL: ld_w:
46; CHECK: r0 = *(u32 *)skb[r
47; CHECK: r0 = *(u32 *)skb[123]
48}
49
50declare i64 @llvm.bpf.load.word(i8*, i64) #1
51
52define i32 @ld_pseudo() #0 {
53entry:
54 %call = tail call i64 @llvm.bpf.pseudo(i64 2, i64 3)
Alexei Starovoitove4975482017-01-17 07:26:17 +000055 tail call void inttoptr (i64 4 to void (i64, i32)*)(i64 %call, i32 4) #2
Alexei Starovoitove6ddac02016-11-20 02:25:00 +000056 ret i32 0
57; CHECK-LABEL: ld_pseudo:
58; CHECK: ld_pseudo r1, 2, 3
59}
60
Alexei Starovoitove6ddac02016-11-20 02:25:00 +000061declare i64 @llvm.bpf.pseudo(i64, i64) #2
62
63define i32 @bswap(i64 %a, i64 %b, i64 %c) #0 {
64entry:
65 %0 = tail call i64 @llvm.bswap.i64(i64 %a)
66 %conv = trunc i64 %b to i32
67 %1 = tail call i32 @llvm.bswap.i32(i32 %conv)
68 %conv1 = zext i32 %1 to i64
69 %add = add i64 %conv1, %0
70 %conv2 = trunc i64 %c to i16
71 %2 = tail call i16 @llvm.bswap.i16(i16 %conv2)
72 %conv3 = zext i16 %2 to i64
73 %add4 = add i64 %add, %conv3
74 %conv5 = trunc i64 %add4 to i32
75 ret i32 %conv5
76; CHECK-LABEL: bswap:
77; CHECK: bswap64 r1
78; CHECK: bswap32 r2
79; CHECK: r2 += r1
80; CHECK: bswap16 r3
81; CHECK: r2 += r3
82}
83
84declare i64 @llvm.bswap.i64(i64) #1
85declare i32 @llvm.bswap.i32(i32) #1
86declare i16 @llvm.bswap.i16(i16) #1