1  /* { dg-do compile } */
       2  /* { dg-options "-O3 -march=z14 -mzarch" } */
       3  #include "long-double-wf.h"
       4  
       5  LONG_DOUBLE_WF (SIGNALING_IFEQUAL);
       6  
       7  /* { dg-final { scan-assembler {\n\twfkxb\t} } } */
       8  /* jne == brc 0b0111, ...  */
       9  /* { dg-final { scan-assembler {\n\tjne\t} } } */