[$] LLVM improvements for BPF verification

Alan Jowett gave a remote presentation at the 2024Linux Storage,Filesystem, Memory Management, and BPF Summit about what features could beadded to LLVM to make writing BPF programs easier. While there is nothing specificto LLVM about BPF code (and the next session in the track was led by GCCdeveloper Jose Marchesi about better support for that compiler), LLVM is currently the mostcommon way to turn C code into BPF bytecode. That translation, however, runsinto problems when the BPF verifier cannot understand the code LLVM'soptimizations produce.