Yonghong Song ddfb9993af bpf: fix bug on silently truncating 64-bit immediate ...

We came across an llvm bug when compiling some testcases that 64-bit
immediates are silently truncated into 32-bit and then packed into
BPF_JMP | BPF_K encoding.  This caused comparison with wrong value.

This bug looks to be introduced by r308080 (llvm 5.0). The Select_Ri pattern is
supposed to be lowered into J*_Ri while the latter only support 32-bit
immediate encoding, therefore Select_Ri should have similar immediate
predicate check as what J*_Ri are doing.

The bug is fixed by
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@315889 91177308-0d34-0410-b5e6-96231b3b80d8
in llvm 6.0.

This patch is largely the same as the fix in llvm 6.0 except
one minor adjustment for the test case.

Reported-by: John Fastabend <john.fastabend@gmail.com>
Reported-by: Jakub Kicinski <jakub.kicinski@netronome.com>
Signed-off-by: Jiong Wang <jiong.wang@netronome.com>
Reviewed-by: Yonghong Song <yhs@fb.com>



git-svn-id: https://llvm.org/svn/llvm-project/llvm/branches/release_50@319633 91177308-0d34-0410-b5e6-96231b3b80d8

2017-12-03 19:02:03 +00:00

..

alu8.ll

convert bpf assembler to look like kernel verifier output

2016-11-18 02:32:35 +00:00

atomics.ll

[bpf] add BPF disassembler

2016-11-20 02:25:00 +00:00

basictest.ll

convert bpf assembler to look like kernel verifier output

2016-11-18 02:32:35 +00:00

byval.ll

Revert "Change memcpy/memset/memmove to have dest and source alignments."

2015-11-19 05:56:52 +00:00

cc_args_be.ll

[bpf] error when unknown bpf helper is called

2017-01-17 07:26:17 +00:00

cc_args.ll

[bpf] error when unknown bpf helper is called

2017-01-17 07:26:17 +00:00

cc_ret.ll

[bpf] error when unknown bpf helper is called

2017-01-17 07:26:17 +00:00

cmp.ll

convert bpf assembler to look like kernel verifier output

2016-11-18 02:32:35 +00:00

dwarfdump.ll

[bpf] fix a bug which causes incorrect big endian reloc fixup

2017-05-05 18:05:00 +00:00

ex1.ll

convert bpf assembler to look like kernel verifier output

2016-11-18 02:32:35 +00:00

fi_ri.ll

[bpf] error when unknown bpf helper is called

2017-01-17 07:26:17 +00:00

intrinsics.ll

[bpf] error when unknown bpf helper is called

2017-01-17 07:26:17 +00:00

lit.local.cfg

…

load.ll

convert bpf assembler to look like kernel verifier output

2016-11-18 02:32:35 +00:00

loops.ll

convert bpf assembler to look like kernel verifier output

2016-11-18 02:32:35 +00:00

many_args1.ll

[BPF] Remove exit-on-error flag in test (PR27766)

2016-05-23 14:57:19 +00:00

many_args2.ll

[BPF] Remove exit-on-error flag in test (PR27767)

2016-05-26 15:23:50 +00:00

mem_offset_be.ll

[bpf] add bigendian support to disassembler

2017-04-28 16:51:01 +00:00

mem_offset.ll

[bpf] Fix memory offset check for loads and stores

2017-04-13 22:24:13 +00:00

objdump_atomics.ll

[bpf] add BPF disassembler

2016-11-20 02:25:00 +00:00

objdump_intrinsics.ll

[bpf] error when unknown bpf helper is called

2017-01-17 07:26:17 +00:00

objdump_trivial.ll

[bpf] error when unknown bpf helper is called

2017-01-17 07:26:17 +00:00

reloc.ll

[bpf] add relocation support

2017-05-03 17:30:56 +00:00

remove_truncate_1.ll

bpf: remove unnecessary truncate operation

2017-06-29 15:18:54 +00:00

remove_truncate_2.ll

bpf: remove unnecessary truncate operation

2017-06-29 15:18:54 +00:00

rodata_1.ll

bpf: avoid load from read-only sections

2017-06-16 15:41:16 +00:00

rodata_2.ll

bpf: avoid load from read-only sections

2017-06-16 15:41:16 +00:00

rodata_3.ll

bpf: avoid load from read-only sections

2017-06-16 15:41:16 +00:00

rodata_4.ll

bpf: avoid load from read-only sections

2017-06-16 15:41:16 +00:00

sanity.ll

[bpf] error when unknown bpf helper is called

2017-01-17 07:26:17 +00:00

sdiv_error.ll

BPF: emit an error message for unsupported signed division operation

2016-03-18 22:02:47 +00:00

select_ri.ll

bpf: fix bug on silently truncating 64-bit immediate

2017-12-03 19:02:03 +00:00

setcc.ll

bpf: generate better lowering code for certain select/setcc instructions

2017-07-15 05:41:42 +00:00

shifts.ll

convert bpf assembler to look like kernel verifier output

2016-11-18 02:32:35 +00:00

sockex2.ll

convert bpf assembler to look like kernel verifier output

2016-11-18 02:32:35 +00:00

struct_ret1.ll

[BPF] Remove exit-on-error from tests (PR27768, PR27769)

2016-05-30 08:28:34 +00:00

struct_ret2.ll

[BPF] Remove exit-on-error from tests (PR27768, PR27769)

2016-05-30 08:28:34 +00:00

undef.ll

Rewrite areNonVolatileConsecutiveLoads to use BaseIndexOffset

2017-07-05 01:21:23 +00:00

vararg1.ll

…

warn-call.ll

[bpf] error when unknown bpf helper is called

2017-01-17 07:26:17 +00:00

warn-stack.ll

Add address space mangling to lifetime intrinsics

2017-04-10 20:18:21 +00:00