/* PR target/88938 */
/* { dg-do compile } */
/* { dg-options "-Og -fno-tree-ccp -fno-tree-fre -mtbm" } */

#include "tbm-bextri-1.c"