/* { dg-do compile } */
/* { dg-options "-O2 -msgx" } */
/* { dg-final { scan-assembler-times "enclu"  2 } } */
/* { dg-final { scan-assembler-times "encls"  2 } } */
/* { dg-final { scan-assembler-times "enclv"  2 } } */

#include <x86intrin.h>

extern unsigned int leaf;

#define SGX_EENTER 0x02
#define SGX_EBLOCK 0x09
#define SGX_EINCVIRTCHILD 0x01

int foo ()
{
  size_t test[3];
  test[0] = 4;
  test[1] = 5;
  test[2] = 6; 

  unsigned int res1 = _encls_u32 (leaf, test);
  unsigned int res2 = _enclu_u32 (leaf, test);
  unsigned int res5 = _enclv_u32 (leaf, test);
  
  unsigned int res3 = _encls_u32 (SGX_EBLOCK, test);
  unsigned int res4 = _enclu_u32 (SGX_EENTER, test);
  unsigned int res6 = _enclv_u32 (SGX_EINCVIRTCHILD, test);

  return 0;
}