75 lines · plain
1; RUN: llc -mtriple=bpfel -mattr=+alu32 < %s | FileCheck %s2; Source:3; struct env_t {4; unsigned data;5; unsigned data_end;6; };7; extern int work(struct env_t *skb, unsigned offset);8; int test(struct env_t *skb)9; {10; ptr cursor, *data_end;11; struct env_t *srh, *ip;12;13; data_end = (ptr)(long)skb->data_end;14; cursor = (ptr)(long)skb->data;15;16; ip = cursor; cursor += sizeof(*ip);17; if ((ptr)ip + sizeof(*ip) > data_end)18; return 0;19;20; srh = cursor; cursor += sizeof(*srh);21; if ((ptr)srh + sizeof(*srh) > data_end)22; return 0;23;24; return work(skb, (char *)srh - (char *)(long)skb->data);25; }26; Compilation flag:27; clang -target bpf -O2 -emit-llvm -S test.c28 29%struct.env_t = type { i32, i32 }30 31; Function Attrs: nounwind32define dso_local i32 @test(ptr %skb) local_unnamed_addr {33entry:34 %data_end1 = getelementptr inbounds %struct.env_t, ptr %skb, i64 0, i32 135 %0 = load i32, ptr %data_end1, align 4, !tbaa !236 %conv = zext i32 %0 to i6437 %1 = inttoptr i64 %conv to ptr38 %2 = load i32, ptr %skb, align 4, !tbaa !739 %conv2 = zext i32 %2 to i6440 %3 = inttoptr i64 %conv2 to ptr41 %add.ptr = getelementptr i8, ptr %3, i64 842 %cmp = icmp ugt ptr %add.ptr, %143 %add.ptr6 = getelementptr i8, ptr %3, i64 1644 %cmp7 = icmp ugt ptr %add.ptr6, %145 %or.cond = or i1 %cmp, %cmp746 br i1 %or.cond, label %cleanup, label %if.end1047 48if.end10: ; preds = %entry49 %sub.ptr.lhs.cast = ptrtoint ptr %add.ptr to i6450 %4 = trunc i64 %sub.ptr.lhs.cast to i3251 %conv13 = sub i32 %4, %252 %call = tail call i32 @work(ptr nonnull %skb, i32 %conv13)53 br label %cleanup54 55cleanup: ; preds = %entry, %if.end1056 %retval.0 = phi i32 [ %call, %if.end10 ], [ 0, %entry ]57 ret i32 %retval.058}59 60; CHECK: w{{[0-9]+}} = *(u32 *)(r{{[0-9]+}} + 0)61 62declare dso_local i32 @work(ptr, i32) local_unnamed_addr63 64!llvm.module.flags = !{!0}65!llvm.ident = !{!1}66 67!0 = !{i32 1, !"wchar_size", i32 4}68!1 = !{!"clang version 11.0.0 (https://github.com/llvm/llvm-project.git 016d3ce1f4b07ee3056f7c10fedb24c441c4870f)"}69!2 = !{!3, !4, i64 4}70!3 = !{!"env_t", !4, i64 0, !4, i64 4}71!4 = !{!"int", !5, i64 0}72!5 = !{!"omnipotent char", !6, i64 0}73!6 = !{!"Simple C/C++ TBAA"}74!7 = !{!3, !4, i64 0}75