1*006c0e44SFlorian Westphal // SPDX-License-Identifier: GPL-2.0 2*006c0e44SFlorian Westphal 3*006c0e44SFlorian Westphal #include <linux/bpf.h> 4*006c0e44SFlorian Westphal #include <bpf/bpf_helpers.h> 5*006c0e44SFlorian Westphal #include "bpf_misc.h" 6*006c0e44SFlorian Westphal 7*006c0e44SFlorian Westphal SEC("netfilter") 8*006c0e44SFlorian Westphal __description("bpf_exit with invalid return code. test1") 9*006c0e44SFlorian Westphal __failure __msg("R0 is not a known value") with_invalid_return_code_test1(void)10*006c0e44SFlorian Westphal__naked void with_invalid_return_code_test1(void) 11*006c0e44SFlorian Westphal { 12*006c0e44SFlorian Westphal asm volatile (" \ 13*006c0e44SFlorian Westphal r0 = *(u64*)(r1 + 0); \ 14*006c0e44SFlorian Westphal exit; \ 15*006c0e44SFlorian Westphal " ::: __clobber_all); 16*006c0e44SFlorian Westphal } 17*006c0e44SFlorian Westphal 18*006c0e44SFlorian Westphal SEC("netfilter") 19*006c0e44SFlorian Westphal __description("bpf_exit with valid return code. test2") 20*006c0e44SFlorian Westphal __success with_valid_return_code_test2(void)21*006c0e44SFlorian Westphal__naked void with_valid_return_code_test2(void) 22*006c0e44SFlorian Westphal { 23*006c0e44SFlorian Westphal asm volatile (" \ 24*006c0e44SFlorian Westphal r0 = 0; \ 25*006c0e44SFlorian Westphal exit; \ 26*006c0e44SFlorian Westphal " ::: __clobber_all); 27*006c0e44SFlorian Westphal } 28*006c0e44SFlorian Westphal 29*006c0e44SFlorian Westphal SEC("netfilter") 30*006c0e44SFlorian Westphal __description("bpf_exit with valid return code. test3") 31*006c0e44SFlorian Westphal __success with_valid_return_code_test3(void)32*006c0e44SFlorian Westphal__naked void with_valid_return_code_test3(void) 33*006c0e44SFlorian Westphal { 34*006c0e44SFlorian Westphal asm volatile (" \ 35*006c0e44SFlorian Westphal r0 = 1; \ 36*006c0e44SFlorian Westphal exit; \ 37*006c0e44SFlorian Westphal " ::: __clobber_all); 38*006c0e44SFlorian Westphal } 39*006c0e44SFlorian Westphal 40*006c0e44SFlorian Westphal SEC("netfilter") 41*006c0e44SFlorian Westphal __description("bpf_exit with invalid return code. test4") 42*006c0e44SFlorian Westphal __failure __msg("R0 has value (0x2; 0x0)") with_invalid_return_code_test4(void)43*006c0e44SFlorian Westphal__naked void with_invalid_return_code_test4(void) 44*006c0e44SFlorian Westphal { 45*006c0e44SFlorian Westphal asm volatile (" \ 46*006c0e44SFlorian Westphal r0 = 2; \ 47*006c0e44SFlorian Westphal exit; \ 48*006c0e44SFlorian Westphal " ::: __clobber_all); 49*006c0e44SFlorian Westphal } 50