; RUN: llc < %s -march=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