llvm/test/CodeGen/BPF/cmp.ll

   1 ; RUN: llc < %s -march=bpf | FileCheck %s
   2
   3 ; Function Attrs: nounwind readnone uwtable
   4 define 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
  24 define 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
  44 define 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
  64 define 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
  84 define 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
  95 define 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
 104 define 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
 113 define 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 }