diff --git a/llvm/lib/Target/BPF/BPFInstrInfo.td b/llvm/lib/Target/BPF/BPFInstrInfo.td
--- a/llvm/lib/Target/BPF/BPFInstrInfo.td
+++ b/llvm/lib/Target/BPF/BPFInstrInfo.td
@@ -392,6 +392,28 @@
   let BPFClass = BPF_LD;
 }
 
+class LOADU32<list<dag> Pattern>
+    : TYPE_LD_ST<BPF_MEM.Value, BPF_W.Value,
+                 (outs GPR:$dst),
+                 (ins GPR:$src, u64imm:$off),
+                 "$dst = *(u32 *)($src + $off)",
+                 Pattern> {
+  bits<4> src;
+  bits<4> dst;
+  bits<16> off;
+
+  let Inst{51-48} = dst;
+  let Inst{55-52} = src;
+  let Inst{47-32} = off;
+  let BPFClass = BPF_LDX;
+}
+
+// LOAD_U32_TO_PTR => LDW
+let isCodeGenOnly = 1 in {
+  def LOAD_U32_TO_PTR : LOADU32<[(set GPR:$dst,
+                                  (int_bpf_load_u32_to_ptr GPR:$src, imm:$off))]>;
+}
+
 // STORE instructions
 class STORE<BPFWidthModifer SizeOp, string OpcodeStr, list<dag> Pattern>
     : TYPE_LD_ST<BPF_MEM.Value, SizeOp.Value,
diff --git a/llvm/test/CodeGen/BPF/load_u32_to_ptr.ll b/llvm/test/CodeGen/BPF/load_u32_to_ptr.ll
new file mode 100644
--- /dev/null
+++ b/llvm/test/CodeGen/BPF/load_u32_to_ptr.ll
@@ -0,0 +1,18 @@
+; RUN: llc < %s -march=bpfel | FileCheck %s
+; RUN: llc < %s -march=bpfel -mattr=+alu32 | FileCheck %s
+
+%struct.t = type { i32, i32 }
+
+; Function Attrs: nounwind readonly
+define dso_local i8* @test(%struct.t* readonly %arg) local_unnamed_addr {
+entry:
+  %0 = bitcast %struct.t* %arg to i8*
+  %1 = tail call i8* @llvm.bpf.load.u32.to.ptr(i8* %0, i64 4)
+  ret i8* %1
+}
+
+; CHECK:        r0 = *(u32 *)(r{{[0-9]+}} + 4)
+; CHECK-NEXT:   exit
+
+; Function Attrs: nounwind readonly
+declare i8* @llvm.bpf.load.u32.to.ptr(i8*, i64) #1