aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/CodeGen/BPF/remove_truncate_4.ll
blob: 5c5ecc45aead9ef5fe274d18fbfc0a63995ee4cc (plain)
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
; RUN: llc < %s -mtriple=bpf -verify-machineinstrs | FileCheck %s

; Source code:
;struct __sk_buff;
;unsigned long long
;load_byte(ptr skb, unsigned long long off) asm("llvm.bpf.load.byte");
;unsigned long long
;load_half(ptr skb, unsigned long long off) asm("llvm.bpf.load.half");
;typedef unsigned char      uint8_t;
;typedef unsigned short     uint16_t;
;
;int func_b(struct __sk_buff *skb)
;{
;    uint8_t t = load_byte(skb, 0);
;    return t;
;}
;
;int func_h(struct __sk_buff *skb)
;{
;    uint16_t t = load_half(skb, 0);
;    return t;
;}
;
;int func_w(struct __sk_buff *skb)
;{
;    uint32_t t = load_word(skb, 0);
;    return t;
;}

%struct.__sk_buff = type opaque

; Function Attrs: nounwind readonly
define i32 @func_b(ptr %skb) local_unnamed_addr #0 {
entry:
  %call = tail call i64 @llvm.bpf.load.byte(ptr %skb, i64 0)
  %conv = trunc i64 %call to i32
  %conv1 = and i32 %conv, 255
; CHECK-NOT:  r0 &= 255
  ret i32 %conv1
}

; Function Attrs: nounwind readonly
declare i64 @llvm.bpf.load.byte(ptr, i64) #1

; Function Attrs: nounwind readonly
define i32 @func_h(ptr %skb) local_unnamed_addr #0 {
entry:
  %call = tail call i64 @llvm.bpf.load.half(ptr %skb, i64 0)
  %conv = trunc i64 %call to i32
  %conv1 = and i32 %conv, 65535
; CHECK-NOT:  r0 &= 65535
  ret i32 %conv1
}

; Function Attrs: nounwind readonly
declare i64 @llvm.bpf.load.half(ptr, i64) #1