Page MenuHomePhabricator
Differential D102712 Diff 347153 llvm/test/CodeGen/BPF/reloc-2.ll

Changeset View

Standalone View

View Options

llvm/test/CodeGen/BPF/reloc-2.ll

  • This file was added.
; RUN: llc -march=bpfel -filetype=obj -o %t.el < %s
; RUN: llvm-objdump -r %t.el | FileCheck --check-prefix=RELOC %s
MaskRayUnsubmitted
Not Done
ReplyInline Actions

For REL -r is not sufficient for testing. You should check the implicit addends as well.

MaskRay: For REL `-r` is not sufficient for testing. You should check the implicit addends as well.
yonghong-songAuthorUnsubmitted
Done
ReplyInline Actions

okay. Will check the instruction as well.

yonghong-song: okay. Will check the instruction as well.
; RUN: llvm-objdump -d --no-show-raw-insn %t.el | FileCheck --check-prefix=DUMP %s
; RUN: llc -march=bpfeb -filetype=obj -o %t.eb < %s
; RUN: llvm-objdump -r %t.eb | FileCheck --check-prefix=RELOC %s
; RUN: llvm-objdump -d --no-show-raw-insn %t.eb | FileCheck --check-prefix=DUMP %s
; source code:
; static __attribute__((noinline)) __attribute__((section("sec1")))
; int add(int a, int b) {
; return a + b;
; }
; static __attribute__((noinline))
; int sub(int a, int b) {
; return a - b;
; }
; int test(int a, int b) {
; return add(a, b) + sub(a, b);
; }
; compilation flag:
; clang -target bpf -O2 -emit-llvm -S test.c
define dso_local i32 @test(i32 %a, i32 %b) local_unnamed_addr #0 {
entry:
%call = tail call fastcc i32 @add(i32 %a, i32 %b)
%call1 = tail call fastcc i32 @sub(i32 %a, i32 %b)
%add = add nsw i32 %call1, %call
ret i32 %add
}
define internal fastcc i32 @add(i32 %a, i32 %b) unnamed_addr #1 section "sec1" {
entry:
%add = add nsw i32 %b, %a
ret i32 %add
}
; Function Attrs: nofree noinline norecurse nosync nounwind readnone willreturn mustprogress
define internal fastcc i32 @sub(i32 %a, i32 %b) unnamed_addr #1 {
entry:
%sub = sub nsw i32 %a, %b
ret i32 %sub
}
; DUMP: .text:
; DUMP-EMPTY:
; DUMP-NEXT: <test>
; DUMP-NEXT: r[[#]] = r[[#]]
; DUMP-NEXT: r[[#]] = r[[#]]
; DUMP-NEXT: call -1
; DUMP: sec1:
; DUMP-EMPTY:
; DUMP-NEXT: <add>
; RELOC: RELOCATION RECORDS FOR [.text]:
; RELOC: R_BPF_64_32 sec1
; RELOC-NOT: R_BPF_64_32
attributes #0 = { nofree norecurse nosync nounwind readnone willreturn mustprogress "frame-pointer"="all" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }
attributes #1 = { nofree noinline norecurse nosync nounwind readnone willreturn mustprogress "frame-pointer"="all" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }