58 lines · plain
1; RUN: llc -mtriple=bpfel -mcpu=v1 < %s | FileCheck --check-prefix=CHECK-V1 %s2; RUN: llc -mtriple=bpfel -mcpu=v4 < %s | FileCheck --check-prefix=CHECK-V4 %s3 4target triple = "bpf"5 6; struct S {7; int var[3];8; };9; int foo1 (struct S *a, struct S *b)10; {11; return a - b;12; }13define dso_local i32 @foo1(ptr noundef %a, ptr noundef %b) local_unnamed_addr {14entry:15 %sub.ptr.lhs.cast = ptrtoint ptr %a to i6416 %sub.ptr.rhs.cast = ptrtoint ptr %b to i6417 %sub.ptr.sub = sub i64 %sub.ptr.lhs.cast, %sub.ptr.rhs.cast18 %sub.ptr.div = sdiv exact i64 %sub.ptr.sub, 1219 %conv = trunc i64 %sub.ptr.div to i3220 ret i32 %conv21}22; CHECK-V1: r0 = r123; CHECK-V1: r0 -= r224; CHECK-V1: r0 s>>= 225; CHECK-V1: r1 = -6148914691236517205 ll26; CHECK-V1: r0 *= r127; CHECK-V1: exit28 29; CHECK-V4: r0 = r130; CHECK-V4: r0 -= r231; CHECK-V4: r0 >>= 232; CHECK-V4: w0 *= -143165576533; CHECK-V4: exit34 35define dso_local noundef range(i32 -143165576, 143165577) i32 @foo2(i32 noundef %a) local_unnamed_addr {36entry:37 %div = sdiv i32 %a, 1538 ret i32 %div39}40; CHECK-V1-NOT: r[[#]] s/= 1541; CHECK-V4-NOT: w[[#]] s/= 1542 43define dso_local noundef range(i32 -14, 15) i32 @foo3(i32 noundef %a) local_unnamed_addr {44entry:45 %rem = srem i32 %a, 1546 ret i32 %rem47}48; CHECK-V1-NOT: r[[#]] s%= 1549; CHECK-V4-NOT: w[[#]] s%= 1550 51define dso_local i64 @foo4(i64 noundef %a) local_unnamed_addr {52entry:53 %div = udiv exact i64 %a, 1554 ret i64 %div55}56; CHECK-V1-NOT: r[[#]] /= 1557; CHECK-V4-NOT: w[[#]] /= 1558