1; RUN: llc < %s -march=bpf | FileCheck %s 2 3; Function Attrs: nounwind readnone uwtable 4define signext i8 @foo_cmp1(i8 signext %a, i8 signext %b) #0 { 5 %1 = icmp sgt i8 %a, %b 6 br i1 %1, label %2, label %4 7 8; <label>:2 ; preds = %0 9 %3 = mul i8 %b, %a 10 br label %6 11 12; <label>:4 ; preds = %0 13 %5 = shl i8 %b, 3 14 br label %6 15 16; <label>:6 ; preds = %4, %2 17 %.0 = phi i8 [ %3, %2 ], [ %5, %4 ] 18 ret i8 %.0 19; CHECK-LABEL:foo_cmp1: 20; CHECK: if r0 s>= r1 21} 22 23; Function Attrs: nounwind readnone uwtable 24define signext i8 @foo_cmp2(i8 signext %a, i8 signext %b) #0 { 25 %1 = icmp slt i8 %a, %b 26 br i1 %1, label %4, label %2 27 28; <label>:2 ; preds = %0 29 %3 = mul i8 %b, %a 30 br label %6 31 32; <label>:4 ; preds = %0 33 %5 = shl i8 %b, 3 34 br label %6 35 36; <label>:6 ; preds = %4, %2 37 %.0 = phi i8 [ %3, %2 ], [ %5, %4 ] 38 ret i8 %.0 39; CHECK-LABEL:foo_cmp2: 40; CHECK: if r0 s> r1 41} 42 43; Function Attrs: nounwind readnone uwtable 44define signext i8 @foo_cmp3(i8 signext %a, i8 signext %b) #0 { 45 %1 = icmp slt i8 %a, %b 46 br i1 %1, label %2, label %4 47 48; <label>:2 ; preds = %0 49 %3 = mul i8 %b, %a 50 br label %6 51 52; <label>:4 ; preds = %0 53 %5 = shl i8 %b, 3 54 br label %6 55 56; <label>:6 ; preds = %4, %2 57 %.0 = phi i8 [ %3, %2 ], [ %5, %4 ] 58 ret i8 %.0 59; CHECK-LABEL:foo_cmp3: 60; CHECK: if r1 s>= r0 61} 62 63; Function Attrs: nounwind readnone uwtable 64define signext i8 @foo_cmp4(i8 signext %a, i8 signext %b) #0 { 65 %1 = icmp sgt i8 %a, %b 66 br i1 %1, label %4, label %2 67 68; <label>:2 ; preds = %0 69 %3 = mul i8 %b, %a 70 br label %6 71 72; <label>:4 ; preds = %0 73 %5 = shl i8 %b, 3 74 br label %6 75 76; <label>:6 ; preds = %4, %2 77 %.0 = phi i8 [ %3, %2 ], [ %5, %4 ] 78 ret i8 %.0 79; CHECK-LABEL:foo_cmp4: 80; CHECK: if r1 s> r0 81} 82 83; Function Attrs: nounwind readnone uwtable 84define signext i8 @min(i8 signext %a, i8 signext %b) #0 { 85 %1 = icmp slt i8 %a, %b 86 %a.b = select i1 %1, i8 %a, i8 %b 87 ret i8 %a.b 88; CHECK-LABEL:min: 89; CHECK: r0 = r1 90; CHECK: if r2 s> r0 91; CHECK: r0 = r2 92} 93 94; Function Attrs: nounwind readnone uwtable 95define zeroext i8 @minu(i8 zeroext %a, i8 zeroext %b) #0 { 96 %1 = icmp ult i8 %a, 100 97 %a.b = select i1 %1, i8 %a, i8 %b 98 ret i8 %a.b 99; CHECK-LABEL:minu: 100; CHECK: if r{{[0-9]+}} {{<|>}} r{{[0-9]+}} 101} 102 103; Function Attrs: nounwind readnone uwtable 104define signext i8 @max(i8 signext %a, i8 signext %b) #0 { 105 %1 = icmp sgt i8 %a, %b 106 %a.b = select i1 %1, i8 %a, i8 %b 107 ret i8 %a.b 108; CHECK-LABEL:max: 109; CHECK: if r0 s> r2 110} 111 112; Function Attrs: nounwind readnone uwtable 113define signext i8 @meq(i8 signext %a, i8 signext %b, i8 signext %c) #0 { 114 %1 = icmp eq i8 %a, %b 115 %c.a = select i1 %1, i8 %c, i8 %a 116 ret i8 %c.a 117; CHECK-LABEL:meq: 118; CHECK: if r1 == r2 119} 120