tools/testing/selftests/bpf/progs/verifier_precision.c

   1 // SPDX-License-Identifier: GPL-2.0
   2 /* Copyright (C) 2023 SUSE LLC */
   3 #include <linux/bpf.h>
   4 #include <bpf/bpf_helpers.h>
   5 #include "bpf_misc.h"
   6
   7 SEC("?raw_tp")
   8 __success __log_level(2)
   9 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10")
  10 __msg("mark_precise: frame0: regs=r2 stack= before 2: (55) if r2 != 0xfffffff8 goto pc+2")
  11 __msg("mark_precise: frame0: regs=r2 stack= before 1: (87) r2 = -r2")
  12 __msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 8")
  13 __naked int bpf_neg(void)
  14 {
  15         asm volatile (
  16                 "r2 = 8;"
  17                 "r2 = -r2;"
  18                 "if r2 != -8 goto 1f;"
  19                 "r1 = r10;"
  20                 "r1 += r2;"
  21         "1:"
  22                 "r0 = 0;"
  23                 "exit;"
  24                 ::: __clobber_all);
  25 }
  26
  27 SEC("?raw_tp")
  28 __success __log_level(2)
  29 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10")
  30 __msg("mark_precise: frame0: regs=r2 stack= before 2: (55) if r2 != 0x0 goto pc+2")
  31 __msg("mark_precise: frame0: regs=r2 stack= before 1: (d4) r2 = le16 r2")
  32 __msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 0")
  33 __naked int bpf_end_to_le(void)
  34 {
  35         asm volatile (
  36                 "r2 = 0;"
  37                 "r2 = le16 r2;"
  38                 "if r2 != 0 goto 1f;"
  39                 "r1 = r10;"
  40                 "r1 += r2;"
  41         "1:"
  42                 "r0 = 0;"
  43                 "exit;"
  44                 ::: __clobber_all);
  45 }
  46
  47
  48 SEC("?raw_tp")
  49 __success __log_level(2)
  50 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10")
  51 __msg("mark_precise: frame0: regs=r2 stack= before 2: (55) if r2 != 0x0 goto pc+2")
  52 __msg("mark_precise: frame0: regs=r2 stack= before 1: (dc) r2 = be16 r2")
  53 __msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 0")
  54 __naked int bpf_end_to_be(void)
  55 {
  56         asm volatile (
  57                 "r2 = 0;"
  58                 "r2 = be16 r2;"
  59                 "if r2 != 0 goto 1f;"
  60                 "r1 = r10;"
  61                 "r1 += r2;"
  62         "1:"
  63                 "r0 = 0;"
  64                 "exit;"
  65                 ::: __clobber_all);
  66 }
  67
  68 #if (defined(__TARGET_ARCH_arm64) || defined(__TARGET_ARCH_x86) || \
  69         (defined(__TARGET_ARCH_riscv) && __riscv_xlen == 64) || \
  70         defined(__TARGET_ARCH_arm) || defined(__TARGET_ARCH_s390)) && \
  71         __clang_major__ >= 18
  72
  73 SEC("?raw_tp")
  74 __success __log_level(2)
  75 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10")
  76 __msg("mark_precise: frame0: regs=r2 stack= before 2: (55) if r2 != 0x0 goto pc+2")
  77 __msg("mark_precise: frame0: regs=r2 stack= before 1: (d7) r2 = bswap16 r2")
  78 __msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 0")
  79 __naked int bpf_end_bswap(void)
  80 {
  81         asm volatile (
  82                 "r2 = 0;"
  83                 "r2 = bswap16 r2;"
  84                 "if r2 != 0 goto 1f;"
  85                 "r1 = r10;"
  86                 "r1 += r2;"
  87         "1:"
  88                 "r0 = 0;"
  89                 "exit;"
  90                 ::: __clobber_all);
  91 }
  92
  93 #endif /* v4 instruction */
  94
  95 SEC("?raw_tp")
  96 __success __log_level(2)
  97 /*
  98  * Without the bug fix there will be no history between "last_idx 3 first_idx 3"
  99  * and "parent state regs=" lines. "R0_w=6" parts are here to help anchor
 100  * expected log messages to the one specific mark_chain_precision operation.
 101  *
 102  * This is quite fragile: if verifier checkpointing heuristic changes, this
 103  * might need adjusting.
 104  */
 105 __msg("2: (07) r0 += 1                       ; R0_w=6")
 106 __msg("3: (35) if r0 >= 0xa goto pc+1")
 107 __msg("mark_precise: frame0: last_idx 3 first_idx 3 subseq_idx -1")
 108 __msg("mark_precise: frame0: regs=r0 stack= before 2: (07) r0 += 1")
 109 __msg("mark_precise: frame0: regs=r0 stack= before 1: (07) r0 += 1")
 110 __msg("mark_precise: frame0: regs=r0 stack= before 4: (05) goto pc-4")
 111 __msg("mark_precise: frame0: regs=r0 stack= before 3: (35) if r0 >= 0xa goto pc+1")
 112 __msg("mark_precise: frame0: parent state regs= stack=:  R0_rw=P4")
 113 __msg("3: R0_w=6")
 114 __naked int state_loop_first_last_equal(void)
 115 {
 116         asm volatile (
 117                 "r0 = 0;"
 118         "l0_%=:"
 119                 "r0 += 1;"
 120                 "r0 += 1;"
 121                 /* every few iterations we'll have a checkpoint here with
 122                  * first_idx == last_idx, potentially confusing precision
 123                  * backtracking logic
 124                  */
 125                 "if r0 >= 10 goto l1_%=;"       /* checkpoint + mark_precise */
 126                 "goto l0_%=;"
 127         "l1_%=:"
 128                 "exit;"
 129                 ::: __clobber_common
 130         );
 131 }
 132
 133 char _license[] SEC("license") = "GPL";