1  /* PR target/53187 */
       2  /* { dg-do compile } */
       3  /* { dg-skip-if "no support for hard-float VFP ABI" { arm_thumb1 } { "-march=*" } { "" } } */
       4  /* { dg-skip-if "do not override -mfloat-abi" { *-*-* } { "-mfloat-abi=*" } { "-mfloat-abi=hard" } } */
       5  /* { dg-skip-if "-mpure-code supports M-profile only" { *-*-* } { "-mpure-code" } } */
       6  /* { dg-options "-march=armv7-a+fp -mfloat-abi=hard -O2" } */
       7  
       8  void bar (int);
       9  
      10  void
      11  foo (int x, double y, double z)
      12  {
      13    _Bool t = z >= y;
      14    if (!t || x)
      15      bar (t ? 1 : 16);
      16  }