mirror of
https://github.com/RPCS3/llvm.git
synced 2024-12-16 00:17:32 +00:00
bc5bb8c0ae
since bpf instruction set was introduced people learned to read and understand kernel verifier output whereas llvm asm output stayed obscure and unknown. Convert llvm to emit assembler text similar to kernel to avoid this discrepancy Signed-off-by: Alexei Starovoitov <ast@kernel.org> git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@287300 91177308-0d34-0410-b5e6-96231b3b80d8
120 lines
3.0 KiB
LLVM
120 lines
3.0 KiB
LLVM
; RUN: llc < %s -march=bpf | FileCheck %s
|
|
|
|
; Function Attrs: nounwind readnone uwtable
|
|
define signext i8 @foo_cmp1(i8 signext %a, i8 signext %b) #0 {
|
|
%1 = icmp sgt i8 %a, %b
|
|
br i1 %1, label %2, label %4
|
|
|
|
; <label>:2 ; preds = %0
|
|
%3 = mul i8 %b, %a
|
|
br label %6
|
|
|
|
; <label>:4 ; preds = %0
|
|
%5 = shl i8 %b, 3
|
|
br label %6
|
|
|
|
; <label>:6 ; preds = %4, %2
|
|
%.0 = phi i8 [ %3, %2 ], [ %5, %4 ]
|
|
ret i8 %.0
|
|
; CHECK-LABEL:foo_cmp1:
|
|
; CHECK: if r2 s>= r1
|
|
}
|
|
|
|
; Function Attrs: nounwind readnone uwtable
|
|
define signext i8 @foo_cmp2(i8 signext %a, i8 signext %b) #0 {
|
|
%1 = icmp slt i8 %a, %b
|
|
br i1 %1, label %4, label %2
|
|
|
|
; <label>:2 ; preds = %0
|
|
%3 = mul i8 %b, %a
|
|
br label %6
|
|
|
|
; <label>:4 ; preds = %0
|
|
%5 = shl i8 %b, 3
|
|
br label %6
|
|
|
|
; <label>:6 ; preds = %4, %2
|
|
%.0 = phi i8 [ %3, %2 ], [ %5, %4 ]
|
|
ret i8 %.0
|
|
; CHECK-LABEL:foo_cmp2:
|
|
; CHECK: if r2 s> r1
|
|
}
|
|
|
|
; Function Attrs: nounwind readnone uwtable
|
|
define signext i8 @foo_cmp3(i8 signext %a, i8 signext %b) #0 {
|
|
%1 = icmp slt i8 %a, %b
|
|
br i1 %1, label %2, label %4
|
|
|
|
; <label>:2 ; preds = %0
|
|
%3 = mul i8 %b, %a
|
|
br label %6
|
|
|
|
; <label>:4 ; preds = %0
|
|
%5 = shl i8 %b, 3
|
|
br label %6
|
|
|
|
; <label>:6 ; preds = %4, %2
|
|
%.0 = phi i8 [ %3, %2 ], [ %5, %4 ]
|
|
ret i8 %.0
|
|
; CHECK-LABEL:foo_cmp3:
|
|
; CHECK: if r1 s>= r2
|
|
}
|
|
|
|
; Function Attrs: nounwind readnone uwtable
|
|
define signext i8 @foo_cmp4(i8 signext %a, i8 signext %b) #0 {
|
|
%1 = icmp sgt i8 %a, %b
|
|
br i1 %1, label %4, label %2
|
|
|
|
; <label>:2 ; preds = %0
|
|
%3 = mul i8 %b, %a
|
|
br label %6
|
|
|
|
; <label>:4 ; preds = %0
|
|
%5 = shl i8 %b, 3
|
|
br label %6
|
|
|
|
; <label>:6 ; preds = %4, %2
|
|
%.0 = phi i8 [ %3, %2 ], [ %5, %4 ]
|
|
ret i8 %.0
|
|
; CHECK-LABEL:foo_cmp4:
|
|
; CHECK: if r1 s> r2
|
|
}
|
|
|
|
; Function Attrs: nounwind readnone uwtable
|
|
define signext i8 @min(i8 signext %a, i8 signext %b) #0 {
|
|
%1 = icmp slt i8 %a, %b
|
|
%a.b = select i1 %1, i8 %a, i8 %b
|
|
ret i8 %a.b
|
|
; CHECK-LABEL:min:
|
|
; CHECK: if r2 s> r1
|
|
; CHECK: r1 = r2
|
|
; CHECK: r0 = r1
|
|
}
|
|
|
|
; Function Attrs: nounwind readnone uwtable
|
|
define zeroext i8 @minu(i8 zeroext %a, i8 zeroext %b) #0 {
|
|
%1 = icmp ult i8 %a, 100
|
|
%a.b = select i1 %1, i8 %a, i8 %b
|
|
ret i8 %a.b
|
|
; CHECK-LABEL:minu:
|
|
; CHECK: if r3 > r1
|
|
}
|
|
|
|
; Function Attrs: nounwind readnone uwtable
|
|
define signext i8 @max(i8 signext %a, i8 signext %b) #0 {
|
|
%1 = icmp sgt i8 %a, %b
|
|
%a.b = select i1 %1, i8 %a, i8 %b
|
|
ret i8 %a.b
|
|
; CHECK-LABEL:max:
|
|
; CHECK: if r1 s> r2
|
|
}
|
|
|
|
; Function Attrs: nounwind readnone uwtable
|
|
define signext i8 @meq(i8 signext %a, i8 signext %b, i8 signext %c) #0 {
|
|
%1 = icmp eq i8 %a, %b
|
|
%c.a = select i1 %1, i8 %c, i8 %a
|
|
ret i8 %c.a
|
|
; CHECK-LABEL:meq:
|
|
; CHECK: if r1 == r2
|
|
}
|