107 lines · plain
1; RUN: llc < %s -mtriple=bpf -mcpu=v1 -verify-machineinstrs | FileCheck %s2 3; Source code:4; struct xdp_md {5; unsigned data;6; unsigned data_end;7; };8;9; int gbl;10; int xdp_dummy(struct xdp_md *xdp)11; {12; char tmp;13; long addr;14;15; if (gbl) {16; long addr1 = (long)xdp->data;17; tmp = *(char *)addr1;18; if (tmp == 1)19; return 3;20; } else {21; tmp = *(volatile char *)(long)xdp->data_end;22; if (tmp == 1)23; return 2;24; }25; addr = (long)xdp->data;26; tmp = *(volatile char *)addr;27; if (tmp == 0)28; return 1;29; return 0;30; }31;32; unsigned int rol32(unsigned int word, unsigned int shift)33; {34; return (word << shift) | (word >> ((-shift) & 31));35; }36%struct.xdp_md = type { i32, i32 }37 38@gbl = common local_unnamed_addr global i32 0, align 439 40; Function Attrs: norecurse nounwind41define i32 @xdp_dummy(ptr nocapture readonly) local_unnamed_addr #0 {42 %2 = load i32, ptr @gbl, align 443 %3 = icmp eq i32 %2, 044 br i1 %3, label %11, label %445 46; <label>:4: ; preds = %147 %5 = getelementptr inbounds %struct.xdp_md, ptr %0, i64 0, i32 048 %6 = load i32, ptr %5, align 449 %7 = zext i32 %6 to i6450 %8 = inttoptr i64 %7 to ptr51 %9 = load i8, ptr %8, align 152 %10 = icmp eq i8 %9, 153 br i1 %10, label %28, label %2354; CHECK: r1 = *(u32 *)(r1 + 0)55; CHECK: r2 = *(u8 *)(r1 + 0)56 57; <label>:11: ; preds = %158 %12 = getelementptr inbounds %struct.xdp_md, ptr %0, i64 0, i32 159 %13 = load i32, ptr %12, align 460 %14 = zext i32 %13 to i6461; CHECK: r2 = *(u32 *)(r1 + 4)62 %15 = inttoptr i64 %14 to ptr63 %16 = load volatile i8, ptr %15, align 164; CHECK: r2 = *(u8 *)(r2 + 0)65 %17 = icmp eq i8 %16, 166 br i1 %17, label %28, label %1867 68; <label>:18: ; preds = %1169 %19 = getelementptr inbounds %struct.xdp_md, ptr %0, i64 0, i32 070 %20 = load i32, ptr %19, align 471 %21 = zext i32 %20 to i6472 %22 = inttoptr i64 %21 to ptr73 br label %2374; CHECK: r1 = *(u32 *)(r1 + 0)75 76; <label>:23: ; preds = %18, %477 %24 = phi ptr [ %22, %18 ], [ %8, %4 ]78; CHECK-NOT: r1 <<= 3279; CHECK-NOT: r1 >>= 3280 %25 = load volatile i8, ptr %24, align 181; CHECK: r1 = *(u8 *)(r1 + 0)82 %26 = icmp eq i8 %25, 083 %27 = zext i1 %26 to i3284 br label %2885 86; <label>:28: ; preds = %4, %23, %1187 %29 = phi i32 [ 3, %4 ], [ 2, %11 ], [ %27, %23 ]88 ret i32 %2989}90 91; Function Attrs: norecurse nounwind readnone92define i32 @rol32(i32, i32) local_unnamed_addr #1 {93 %3 = shl i32 %0, %194; CHECK: r1 <<= 3295; CHECK: r1 >>= 3296 %4 = sub i32 0, %197 %5 = and i32 %4, 3198 %6 = lshr i32 %0, %599; CHECK: r0 <<= 32100; CHECK: r0 >>= 32101 %7 = or i32 %6, %3102 ret i32 %7103}104 105attributes #0 = { norecurse nounwind }106attributes #1 = { norecurse nounwind readnone }107