1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
; RUN: llc < %s -march=bpf -verify-machineinstrs | FileCheck %s
;
; Source file:
; int b, c;
; int test() {
; int a = b;
; if (a)
; a = c;
; return a;
; }
@b = common local_unnamed_addr global i32 0, align 4
@c = common local_unnamed_addr global i32 0, align 4
; Function Attrs: norecurse nounwind readonly
define i32 @test() local_unnamed_addr #0 {
entry:
%0 = load i32, i32* @b, align 4
%tobool = icmp eq i32 %0, 0
%1 = load i32, i32* @c, align 4
%. = select i1 %tobool, i32 0, i32 %1
; CHECK: r1 = <MCOperand Expr:(b)>ll
; CHECK: r1 = *(u32 *)(r1 + 0)
; CHECK: if r1 == 0 goto
ret i32 %.
}
attributes #0 = { norecurse nounwind readonly }
; test immediate out of 32-bit range
; Source file:
; unsigned long long
; load_word(void *buf, unsigned long long off)
; asm("llvm.bpf.load.word");
;
; int
; foo(void *buf)
; {
; unsigned long long sum = 0;
;
; sum += load_word(buf, 100);
; sum += load_word(buf, 104);
;
; if (sum != 0x1ffffffffULL)
; return ~0U;
;
; return 0;
;}
; Function Attrs: nounwind readonly
define i32 @foo(i8*) local_unnamed_addr #0 {
%2 = tail call i64 @llvm.bpf.load.word(i8* %0, i64 100)
%3 = tail call i64 @llvm.bpf.load.word(i8* %0, i64 104)
%4 = add i64 %3, %2
%5 = icmp ne i64 %4, 8589934591
; CHECK: r{{[0-9]+}} = 8589934591ll
%6 = sext i1 %5 to i32
ret i32 %6
}
; Function Attrs: nounwind readonly
declare i64 @llvm.bpf.load.word(i8*, i64) #1
|
