1; RUN: llc -mtriple=bpfel -mcpu=v1 < %s | FileCheck --check-prefix=CHECK-V1 %s 2; RUN: llc -mtriple=bpfel -mcpu=v4 < %s | FileCheck --check-prefix=CHECK-V4 %s 3 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 i64 16 %sub.ptr.rhs.cast = ptrtoint ptr %b to i64 17 %sub.ptr.sub = sub i64 %sub.ptr.lhs.cast, %sub.ptr.rhs.cast 18 %sub.ptr.div = sdiv exact i64 %sub.ptr.sub, 12 19 %conv = trunc i64 %sub.ptr.div to i32 20 ret i32 %conv 21} 22; CHECK-V1: r0 = r1 23; CHECK-V1: r0 -= r2 24; CHECK-V1: r0 s>>= 2 25; CHECK-V1: r1 = -6148914691236517205 ll 26; CHECK-V1: r0 *= r1 27; CHECK-V1: exit 28 29; CHECK-V4: r0 = r1 30; CHECK-V4: r0 -= r2 31; CHECK-V4: r0 >>= 2 32; CHECK-V4: w0 *= -1431655765 33; CHECK-V4: exit 34 35define dso_local noundef range(i32 -143165576, 143165577) i32 @foo2(i32 noundef %a) local_unnamed_addr { 36entry: 37 %div = sdiv i32 %a, 15 38 ret i32 %div 39} 40; CHECK-V1-NOT: r[[#]] s/= 15 41; CHECK-V4-NOT: w[[#]] s/= 15 42 43define dso_local noundef range(i32 -14, 15) i32 @foo3(i32 noundef %a) local_unnamed_addr { 44entry: 45 %rem = srem i32 %a, 15 46 ret i32 %rem 47} 48; CHECK-V1-NOT: r[[#]] s%= 15 49; CHECK-V4-NOT: w[[#]] s%= 15 50 51define dso_local i64 @foo4(i64 noundef %a) local_unnamed_addr { 52entry: 53 %div = udiv exact i64 %a, 15 54 ret i64 %div 55} 56; CHECK-V1-NOT: r[[#]] /= 15 57; CHECK-V4-NOT: w[[#]] /= 15 58