1  /* { dg-do compile } */
       2  /* { dg-options "-O3 -march=z14 -mzarch" } */
       3  /* { dg-do run { target { s390_z14_hw } } } */
       4  #include <assert.h>
       5  #include <stdint.h>
       6  
       7  int
       8  main (void)
       9  {
      10    long double res, x = 40., y = 2.;
      11    asm("axbr\t%0,%2" : "=f"(res) : "0"(x), "f"(y));
      12    assert (res == 42.);
      13  }