text: # 1 "point_aux.c"
  # 1 "<built-in>" 1
  # 1 "<built-in>" 3
  # 338 "<built-in>" 3
  # 1 "<command line>" 1
  # 1 "<built-in>" 2
  # 1 "/opt/Xilinx/Vitis/2020.1/common/technology/autopilot/etc/autopilot_ssdm_op.h" 1
  # 312 "/opt/Xilinx/Vitis/2020.1/common/technology/autopilot/etc/autopilot_ssdm_op.h"
      void _ssdm_op_IfRead() __attribute__ ((nothrow));
      void _ssdm_op_IfWrite() __attribute__ ((nothrow));
      unsigned int __attribute__ ((bitwidth(1))) _ssdm_op_IfNbRead() __attribute__ ((nothrow));
      unsigned int __attribute__ ((bitwidth(1))) _ssdm_op_IfNbWrite() __attribute__ ((nothrow));
      unsigned int __attribute__ ((bitwidth(1))) _ssdm_op_IfCanRead() __attribute__ ((nothrow));
      unsigned int __attribute__ ((bitwidth(1))) _ssdm_op_IfCanWrite() __attribute__ ((nothrow));
  
  
      void _ssdm_StreamRead() __attribute__ ((nothrow));
      void _ssdm_StreamWrite() __attribute__ ((nothrow));
      unsigned int __attribute__ ((bitwidth(1))) _ssdm_StreamNbRead() __attribute__ ((nothrow));
      unsigned int __attribute__ ((bitwidth(1))) _ssdm_StreamNbWrite() __attribute__ ((nothrow));
      unsigned int __attribute__ ((bitwidth(1))) _ssdm_StreamCanRead() __attribute__ ((nothrow));
      unsigned int __attribute__ ((bitwidth(1))) _ssdm_StreamCanWrite() __attribute__ ((nothrow));
      void _ssdm_op_ReadReq() __attribute__ ((nothrow));
      void _ssdm_op_Read() __attribute__ ((nothrow));
      void _ssdm_op_WriteReq() __attribute__ ((nothrow));
      void _ssdm_op_Write() __attribute__ ((nothrow));
  
  
  
  
      void _ssdm_op_MemShiftRead() __attribute__ ((nothrow));
  
      void _ssdm_op_Wait() __attribute__ ((nothrow));
      void _ssdm_op_Poll() __attribute__ ((nothrow));
  
      void _ssdm_op_Return() __attribute__ ((nothrow));
  
  
      void _ssdm_op_SpecSynModule() __attribute__ ((nothrow));
      void _ssdm_op_SpecTopModule() __attribute__ ((nothrow));
      void _ssdm_op_SpecProcessDecl() __attribute__ ((nothrow));
      void _ssdm_op_SpecProcessDef() __attribute__ ((nothrow));
      void _ssdm_op_SpecPort() __attribute__ ((nothrow));
      void _ssdm_op_SpecConnection() __attribute__ ((nothrow));
      void _ssdm_op_SpecChannel() __attribute__ ((nothrow));
      void _ssdm_op_SpecSensitive() __attribute__ ((nothrow));
      void _ssdm_op_SpecModuleInst() __attribute__ ((nothrow));
      void _ssdm_op_SpecPortMap() __attribute__ ((nothrow));
  
      void _ssdm_op_SpecReset() __attribute__ ((nothrow));
  
      void _ssdm_op_SpecPlatform() __attribute__ ((nothrow));
      void _ssdm_op_SpecClockDomain() __attribute__ ((nothrow));
      void _ssdm_op_SpecPowerDomain() __attribute__ ((nothrow));
  
      int _ssdm_op_SpecRegionBegin() __attribute__ ((nothrow));
      int _ssdm_op_SpecRegionEnd() __attribute__ ((nothrow));
  
      void _ssdm_op_SpecLoopName() __attribute__ ((nothrow));
  
      void _ssdm_op_SpecLoopTripCount() __attribute__ ((nothrow));
  
      int _ssdm_op_SpecStateBegin() __attribute__ ((nothrow));
      int _ssdm_op_SpecStateEnd() __attribute__ ((nothrow));
  
      void _ssdm_op_SpecInterface() __attribute__ ((nothrow));
  
      void _ssdm_op_SpecPipeline() __attribute__ ((nothrow));
      void _ssdm_op_SpecDataflowPipeline() __attribute__ ((nothrow));
  
  
      void _ssdm_op_SpecLatency() __attribute__ ((nothrow));
      void _ssdm_op_SpecParallel() __attribute__ ((nothrow));
      void _ssdm_op_SpecProtocol() __attribute__ ((nothrow));
      void _ssdm_op_SpecOccurrence() __attribute__ ((nothrow));
  
      void _ssdm_op_SpecResource() __attribute__ ((nothrow));
      void _ssdm_op_SpecResourceLimit() __attribute__ ((nothrow));
      void _ssdm_op_SpecCHCore() __attribute__ ((nothrow));
      void _ssdm_op_SpecFUCore() __attribute__ ((nothrow));
      void _ssdm_op_SpecIFCore() __attribute__ ((nothrow));
      void _ssdm_op_SpecIPCore() __attribute__ ((nothrow));
      void _ssdm_op_SpecKeepValue() __attribute__ ((nothrow));
      void _ssdm_op_SpecMemCore() __attribute__ ((nothrow));
  
      void _ssdm_op_SpecExt() __attribute__ ((nothrow));
  
  
  
  
      void _ssdm_SpecArrayDimSize() __attribute__ ((nothrow));
  
      void _ssdm_RegionBegin() __attribute__ ((nothrow));
      void _ssdm_RegionEnd() __attribute__ ((nothrow));
  
      void _ssdm_Unroll() __attribute__ ((nothrow));
      void _ssdm_UnrollRegion() __attribute__ ((nothrow));
  
      void _ssdm_InlineAll() __attribute__ ((nothrow));
      void _ssdm_InlineLoop() __attribute__ ((nothrow));
      void _ssdm_Inline() __attribute__ ((nothrow));
      void _ssdm_InlineSelf() __attribute__ ((nothrow));
      void _ssdm_InlineRegion() __attribute__ ((nothrow));
  
      void _ssdm_SpecArrayMap() __attribute__ ((nothrow));
      void _ssdm_SpecArrayPartition() __attribute__ ((nothrow));
      void _ssdm_SpecArrayReshape() __attribute__ ((nothrow));
  
      void _ssdm_SpecStream() __attribute__ ((nothrow));
  
      void _ssdm_op_SpecStable() __attribute__ ((nothrow));
      void _ssdm_op_SpecStableContent() __attribute__ ((nothrow));
  
      void _ssdm_op_SpecBindPort() __attribute__ ((nothrow));
  
      void _ssdm_op_SpecPipoDepth() __attribute__ ((nothrow));
  
      void _ssdm_SpecExpr() __attribute__ ((nothrow));
      void _ssdm_SpecExprBalance() __attribute__ ((nothrow));
  
      void _ssdm_SpecDependence() __attribute__ ((nothrow));
  
      void _ssdm_SpecLoopMerge() __attribute__ ((nothrow));
      void _ssdm_SpecLoopFlatten() __attribute__ ((nothrow));
      void _ssdm_SpecLoopRewind() __attribute__ ((nothrow));
  
      void _ssdm_SpecFuncInstantiation() __attribute__ ((nothrow));
      void _ssdm_SpecFuncBuffer() __attribute__ ((nothrow));
      void _ssdm_SpecFuncExtract() __attribute__ ((nothrow));
      void _ssdm_SpecConstant() __attribute__ ((nothrow));
  
      void _ssdm_DataPack() __attribute__ ((nothrow));
      void _ssdm_SpecDataPack() __attribute__ ((nothrow));
  
      void _ssdm_op_SpecBitsMap() __attribute__ ((nothrow));
      void _ssdm_op_SpecLicense() __attribute__ ((nothrow));
  # 2 "<built-in>" 2
  # 1 "point_aux.c" 2
  # 1 "/usr/include/stdio.h" 1 3 4
  # 27 "/usr/include/stdio.h" 3 4
  # 1 "/usr/include/bits/libc-header-start.h" 1 3 4
  # 33 "/usr/include/bits/libc-header-start.h" 3 4
  # 1 "/usr/include/features.h" 1 3 4
  # 402 "/usr/include/features.h" 3 4
  # 1 "/usr/include/stdc-predef.h" 1 3 4
  # 403 "/usr/include/features.h" 2 3 4
  # 424 "/usr/include/features.h" 3 4
  # 1 "/usr/include/sys/cdefs.h" 1 3 4
  # 427 "/usr/include/sys/cdefs.h" 3 4
  # 1 "/usr/include/bits/wordsize.h" 1 3 4
  # 428 "/usr/include/sys/cdefs.h" 2 3 4
  # 1 "/usr/include/bits/long-double.h" 1 3 4
  # 429 "/usr/include/sys/cdefs.h" 2 3 4
  # 425 "/usr/include/features.h" 2 3 4
  # 448 "/usr/include/features.h" 3 4
  # 1 "/usr/include/gnu/stubs.h" 1 3 4
  # 10 "/usr/include/gnu/stubs.h" 3 4
  # 1 "/usr/include/gnu/stubs-64.h" 1 3 4
  # 11 "/usr/include/gnu/stubs.h" 2 3 4
  # 449 "/usr/include/features.h" 2 3 4
  # 34 "/usr/include/bits/libc-header-start.h" 2 3 4
  # 28 "/usr/include/stdio.h" 2 3 4
  
  
  
  
  
  # 1 "/opt/Xilinx/Vitis/2020.1/lnx64/tools/clang-3.9-csynth/lib/clang/7.0.0/include/stddef.h" 1 3 4
  # 62 "/opt/Xilinx/Vitis/2020.1/lnx64/tools/clang-3.9-csynth/lib/clang/7.0.0/include/stddef.h" 3 4
  typedef long unsigned int size_t;
  # 34 "/usr/include/stdio.h" 2 3 4
  
  # 1 "/usr/include/bits/types.h" 1 3 4
  # 27 "/usr/include/bits/types.h" 3 4
  # 1 "/usr/include/bits/wordsize.h" 1 3 4
  # 28 "/usr/include/bits/types.h" 2 3 4
  
  
  typedef unsigned char __u_char;
  typedef unsigned short int __u_short;
  typedef unsigned int __u_int;
  typedef unsigned long int __u_long;
  
  
  typedef signed char __int8_t;
  typedef unsigned char __uint8_t;
  typedef signed short int __int16_t;
  typedef unsigned short int __uint16_t;
  typedef signed int __int32_t;
  typedef unsigned int __uint32_t;
  
  typedef signed long int __int64_t;
  typedef unsigned long int __uint64_t;
  
  
  
  
  
  
  
  typedef long int __quad_t;
  typedef unsigned long int __u_quad_t;
  
  
  
  
  
  
  
  typedef long int __intmax_t;
  typedef unsigned long int __uintmax_t;
  # 130 "/usr/include/bits/types.h" 3 4
  # 1 "/usr/include/bits/typesizes.h" 1 3 4
  # 131 "/usr/include/bits/types.h" 2 3 4
  
  
  typedef unsigned long int __dev_t;
  typedef unsigned int __uid_t;
  typedef unsigned int __gid_t;
  typedef unsigned long int __ino_t;
  typedef unsigned long int __ino64_t;
  typedef unsigned int __mode_t;
  typedef unsigned long int __nlink_t;
  typedef long int __off_t;
  typedef long int __off64_t;
  typedef int __pid_t;
  typedef struct { int __val[2]; } __fsid_t;
  typedef long int __clock_t;
  typedef unsigned long int __rlim_t;
  typedef unsigned long int __rlim64_t;
  typedef unsigned int __id_t;
  typedef long int __time_t;
  typedef unsigned int __useconds_t;
  typedef long int __suseconds_t;
  
  typedef int __daddr_t;
  typedef int __key_t;
  
  
  typedef int __clockid_t;
  
  
  typedef void * __timer_t;
  
  
  typedef long int __blksize_t;
  
  
  
  
  typedef long int __blkcnt_t;
  typedef long int __blkcnt64_t;
  
  
  typedef unsigned long int __fsblkcnt_t;
  typedef unsigned long int __fsblkcnt64_t;
  
  
  typedef unsigned long int __fsfilcnt_t;
  typedef unsigned long int __fsfilcnt64_t;
  
  
  typedef long int __fsword_t;
  
  typedef long int __ssize_t;
  
  
  typedef long int __syscall_slong_t;
  
  typedef unsigned long int __syscall_ulong_t;
  
  
  
  typedef __off64_t __loff_t;
  typedef char *__caddr_t;
  
  
  typedef long int __intptr_t;
  
  
  typedef unsigned int __socklen_t;
  
  
  
  
  typedef int __sig_atomic_t;
  # 36 "/usr/include/stdio.h" 2 3 4
  # 1 "/usr/include/bits/types/__FILE.h" 1 3 4
  
  
  
  struct _IO_FILE;
  typedef struct _IO_FILE __FILE;
  # 37 "/usr/include/stdio.h" 2 3 4
  # 1 "/usr/include/bits/types/FILE.h" 1 3 4
  
  
  
  struct _IO_FILE;
  
  
  typedef struct _IO_FILE FILE;
  # 38 "/usr/include/stdio.h" 2 3 4
  
  
  
  # 1 "/usr/include/bits/libio.h" 1 3 4
  # 35 "/usr/include/bits/libio.h" 3 4
  # 1 "/usr/include/bits/_G_config.h" 1 3 4
  # 19 "/usr/include/bits/_G_config.h" 3 4
  # 1 "/opt/Xilinx/Vitis/2020.1/lnx64/tools/clang-3.9-csynth/lib/clang/7.0.0/include/stddef.h" 1 3 4
  # 20 "/usr/include/bits/_G_config.h" 2 3 4
  
  # 1 "/usr/include/bits/types/__mbstate_t.h" 1 3 4
  # 13 "/usr/include/bits/types/__mbstate_t.h" 3 4
  typedef struct
  {
    int __count;
    union
    {
      unsigned int __wch;
      char __wchb[4];
    } __value;
  } __mbstate_t;
  # 22 "/usr/include/bits/_G_config.h" 2 3 4
  
  
  
  
  typedef struct
  {
    __off_t __pos;
    __mbstate_t __state;
  } _G_fpos_t;
  typedef struct
  {
    __off64_t __pos;
    __mbstate_t __state;
  } _G_fpos64_t;
  # 36 "/usr/include/bits/libio.h" 2 3 4
  # 53 "/usr/include/bits/libio.h" 3 4
  # 1 "/opt/Xilinx/Vitis/2020.1/lnx64/tools/clang-3.9-csynth/lib/clang/7.0.0/include/stdarg.h" 1 3 4
  # 30 "/opt/Xilinx/Vitis/2020.1/lnx64/tools/clang-3.9-csynth/lib/clang/7.0.0/include/stdarg.h" 3 4
  typedef __builtin_va_list va_list;
  # 48 "/opt/Xilinx/Vitis/2020.1/lnx64/tools/clang-3.9-csynth/lib/clang/7.0.0/include/stdarg.h" 3 4
  typedef __builtin_va_list __gnuc_va_list;
  # 54 "/usr/include/bits/libio.h" 2 3 4
  # 149 "/usr/include/bits/libio.h" 3 4
  struct _IO_jump_t; struct _IO_FILE;
  
  
  
  
  typedef void _IO_lock_t;
  
  
  
  
  
  struct _IO_marker {
    struct _IO_marker *_next;
    struct _IO_FILE *_sbuf;
  
  
  
    int _pos;
  # 177 "/usr/include/bits/libio.h" 3 4
  };
  
  
  enum __codecvt_result
  {
    __codecvt_ok,
    __codecvt_partial,
    __codecvt_error,
    __codecvt_noconv
  };
  # 245 "/usr/include/bits/libio.h" 3 4
  struct _IO_FILE {
    int _flags;
  
  
  
  
    char* _IO_read_ptr;
    char* _IO_read_end;
    char* _IO_read_base;
    char* _IO_write_base;
    char* _IO_write_ptr;
    char* _IO_write_end;
    char* _IO_buf_base;
    char* _IO_buf_end;
  
    char *_IO_save_base;
    char *_IO_backup_base;
    char *_IO_save_end;
  
    struct _IO_marker *_markers;
  
    struct _IO_FILE *_chain;
  
    int _fileno;
  
  
  
    int _flags2;
  
    __off_t _old_offset;
  
  
  
    unsigned short _cur_column;
    signed char _vtable_offset;
    char _shortbuf[1];
  
  
  
    _IO_lock_t *_lock;
  # 293 "/usr/include/bits/libio.h" 3 4
    __off64_t _offset;
  
  
  
  
  
  
  
    void *__pad1;
    void *__pad2;
    void *__pad3;
    void *__pad4;
  
    size_t __pad5;
    int _mode;
  
    char _unused2[15 * sizeof (int) - 4 * sizeof (void *) - sizeof (size_t)];
  
  };
  
  
  typedef struct _IO_FILE _IO_FILE;
  
  
  struct _IO_FILE_plus;
  
  extern struct _IO_FILE_plus _IO_2_1_stdin_;
  extern struct _IO_FILE_plus _IO_2_1_stdout_;
  extern struct _IO_FILE_plus _IO_2_1_stderr_;
  # 337 "/usr/include/bits/libio.h" 3 4
  typedef __ssize_t __io_read_fn (void *__cookie, char *__buf, size_t __nbytes);
  
  
  
  
  
  
  
  typedef __ssize_t __io_write_fn (void *__cookie, const char *__buf,
       size_t __n);
  
  
  
  
  
  
  
  typedef int __io_seek_fn (void *__cookie, __off64_t *__pos, int __w);
  
  
  typedef int __io_close_fn (void *__cookie);
  # 389 "/usr/include/bits/libio.h" 3 4
  extern int __underflow (_IO_FILE *);
  extern int __uflow (_IO_FILE *);
  extern int __overflow (_IO_FILE *, int);
  # 433 "/usr/include/bits/libio.h" 3 4
  extern int _IO_getc (_IO_FILE *__fp);
  extern int _IO_putc (int __c, _IO_FILE *__fp);
  extern int _IO_feof (_IO_FILE *__fp) __attribute__ ((__nothrow__ ));
  extern int _IO_ferror (_IO_FILE *__fp) __attribute__ ((__nothrow__ ));
  
  extern int _IO_peekc_locked (_IO_FILE *__fp);
  
  
  
  
  
  extern void _IO_flockfile (_IO_FILE *) __attribute__ ((__nothrow__ ));
  extern void _IO_funlockfile (_IO_FILE *) __attribute__ ((__nothrow__ ));
  extern int _IO_ftrylockfile (_IO_FILE *) __attribute__ ((__nothrow__ ));
  # 462 "/usr/include/bits/libio.h" 3 4
  extern int _IO_vfscanf (_IO_FILE * __restrict, const char * __restrict,
     __gnuc_va_list, int *__restrict);
  extern int _IO_vfprintf (_IO_FILE *__restrict, const char *__restrict,
      __gnuc_va_list);
  extern __ssize_t _IO_padn (_IO_FILE *, int, __ssize_t);
  extern size_t _IO_sgetn (_IO_FILE *, void *, size_t);
  
  extern __off64_t _IO_seekoff (_IO_FILE *, __off64_t, int, int);
  extern __off64_t _IO_seekpos (_IO_FILE *, __off64_t, int);
  
  extern void _IO_free_backup_area (_IO_FILE *) __attribute__ ((__nothrow__ ));
  # 42 "/usr/include/stdio.h" 2 3 4
  
  
  
  
  typedef __gnuc_va_list va_list;
  # 57 "/usr/include/stdio.h" 3 4
  typedef __off_t off_t;
  # 71 "/usr/include/stdio.h" 3 4
  typedef __ssize_t ssize_t;
  
  
  
  
  
  
  typedef _G_fpos_t fpos_t;
  # 131 "/usr/include/stdio.h" 3 4
  # 1 "/usr/include/bits/stdio_lim.h" 1 3 4
  # 132 "/usr/include/stdio.h" 2 3 4
  
  
  
  extern struct _IO_FILE *stdin;
  extern struct _IO_FILE *stdout;
  extern struct _IO_FILE *stderr;
  
  
  
  
  
  
  extern int remove (const char *__filename) __attribute__ ((__nothrow__ ));
  
  extern int rename (const char *__old, const char *__new) __attribute__ ((__nothrow__ ));
  
  
  
  extern int renameat (int __oldfd, const char *__old, int __newfd,
         const char *__new) __attribute__ ((__nothrow__ ));
  
  
  
  
  
  
  
  extern FILE *tmpfile (void) ;
  # 173 "/usr/include/stdio.h" 3 4
  extern char *tmpnam (char *__s) __attribute__ ((__nothrow__ )) ;
  
  
  
  
  extern char *tmpnam_r (char *__s) __attribute__ ((__nothrow__ )) ;
  # 190 "/usr/include/stdio.h" 3 4
  extern char *tempnam (const char *__dir, const char *__pfx)
       __attribute__ ((__nothrow__ )) __attribute__ ((__malloc__)) ;
  
  
  
  
  
  
  
  extern int fclose (FILE *__stream);
  
  
  
  
  extern int fflush (FILE *__stream);
  # 213 "/usr/include/stdio.h" 3 4
  extern int fflush_unlocked (FILE *__stream);
  # 232 "/usr/include/stdio.h" 3 4
  extern FILE *fopen (const char *__restrict __filename,
        const char *__restrict __modes) ;
  
  
  
  
  extern FILE *freopen (const char *__restrict __filename,
          const char *__restrict __modes,
          FILE *__restrict __stream) ;
  # 265 "/usr/include/stdio.h" 3 4
  extern FILE *fdopen (int __fd, const char *__modes) __attribute__ ((__nothrow__ )) ;
  # 278 "/usr/include/stdio.h" 3 4
  extern FILE *fmemopen (void *__s, size_t __len, const char *__modes)
    __attribute__ ((__nothrow__ )) ;
  
  
  
  
  extern FILE *open_memstream (char **__bufloc, size_t *__sizeloc) __attribute__ ((__nothrow__ )) ;
  
  
  
  
  
  extern void setbuf (FILE *__restrict __stream, char *__restrict __buf) __attribute__ ((__nothrow__ ));
  
  
  
  extern int setvbuf (FILE *__restrict __stream, char *__restrict __buf,
        int __modes, size_t __n) __attribute__ ((__nothrow__ ));
  
  
  
  
  extern void setbuffer (FILE *__restrict __stream, char *__restrict __buf,
           size_t __size) __attribute__ ((__nothrow__ ));
  
  
  extern void setlinebuf (FILE *__stream) __attribute__ ((__nothrow__ ));
  
  
  
  
  
  
  
  extern int fprintf (FILE *__restrict __stream,
        const char *__restrict __format, ...);
  
  
  
  
  extern int printf (const char *__restrict __format, ...);
  
  extern int sprintf (char *__restrict __s,
        const char *__restrict __format, ...) __attribute__ ((__nothrow__));
  
  
  
  
  
  extern int vfprintf (FILE *__restrict __s, const char *__restrict __format,
         __gnuc_va_list __arg);
  
  
  
  
  extern int vprintf (const char *__restrict __format, __gnuc_va_list __arg);
  
  extern int vsprintf (char *__restrict __s, const char *__restrict __format,
         __gnuc_va_list __arg) __attribute__ ((__nothrow__));
  
  
  
  extern int snprintf (char *__restrict __s, size_t __maxlen,
         const char *__restrict __format, ...)
       __attribute__ ((__nothrow__)) __attribute__ ((__format__ (__printf__, 3, 4)));
  
  extern int vsnprintf (char *__restrict __s, size_t __maxlen,
          const char *__restrict __format, __gnuc_va_list __arg)
       __attribute__ ((__nothrow__)) __attribute__ ((__format__ (__printf__, 3, 0)));
  # 365 "/usr/include/stdio.h" 3 4
  extern int vdprintf (int __fd, const char *__restrict __fmt,
         __gnuc_va_list __arg)
       __attribute__ ((__format__ (__printf__, 2, 0)));
  extern int dprintf (int __fd, const char *__restrict __fmt, ...)
       __attribute__ ((__format__ (__printf__, 2, 3)));
  
  
  
  
  
  
  
  extern int fscanf (FILE *__restrict __stream,
       const char *__restrict __format, ...) ;
  
  
  
  
  extern int scanf (const char *__restrict __format, ...) ;
  
  extern int sscanf (const char *__restrict __s,
       const char *__restrict __format, ...) __attribute__ ((__nothrow__ ));
  # 395 "/usr/include/stdio.h" 3 4
  extern int fscanf (FILE *__restrict __stream, const char *__restrict __format, ...) __asm__ ("" "__isoc99_fscanf") ;
  
  
  extern int scanf (const char *__restrict __format, ...) __asm__ ("" "__isoc99_scanf") ;
  
  extern int sscanf (const char *__restrict __s, const char *__restrict __format, ...) __asm__ ("" "__isoc99_sscanf") __attribute__ ((__nothrow__ ));
  # 420 "/usr/include/stdio.h" 3 4
  extern int vfscanf (FILE *__restrict __s, const char *__restrict __format,
        __gnuc_va_list __arg)
       __attribute__ ((__format__ (__scanf__, 2, 0))) ;
  
  
  
  
  
  extern int vscanf (const char *__restrict __format, __gnuc_va_list __arg)
       __attribute__ ((__format__ (__scanf__, 1, 0))) ;
  
  
  extern int vsscanf (const char *__restrict __s,
        const char *__restrict __format, __gnuc_va_list __arg)
       __attribute__ ((__nothrow__ )) __attribute__ ((__format__ (__scanf__, 2, 0)));
  # 443 "/usr/include/stdio.h" 3 4
  extern int vfscanf (FILE *__restrict __s, const char *__restrict __format, __gnuc_va_list __arg) __asm__ ("" "__isoc99_vfscanf")
  
  
  
       __attribute__ ((__format__ (__scanf__, 2, 0))) ;
  extern int vscanf (const char *__restrict __format, __gnuc_va_list __arg) __asm__ ("" "__isoc99_vscanf")
  
       __attribute__ ((__format__ (__scanf__, 1, 0))) ;
  extern int vsscanf (const char *__restrict __s, const char *__restrict __format, __gnuc_va_list __arg) __asm__ ("" "__isoc99_vsscanf") __attribute__ ((__nothrow__ ))
  
  
  
       __attribute__ ((__format__ (__scanf__, 2, 0)));
  # 477 "/usr/include/stdio.h" 3 4
  extern int fgetc (FILE *__stream);
  extern int getc (FILE *__stream);
  
  
  
  
  
  extern int getchar (void);
  # 495 "/usr/include/stdio.h" 3 4
  extern int getc_unlocked (FILE *__stream);
  extern int getchar_unlocked (void);
  # 506 "/usr/include/stdio.h" 3 4
  extern int fgetc_unlocked (FILE *__stream);
  # 517 "/usr/include/stdio.h" 3 4
  extern int fputc (int __c, FILE *__stream);
  extern int putc (int __c, FILE *__stream);
  
  
  
  
  
  extern int putchar (int __c);
  # 537 "/usr/include/stdio.h" 3 4
  extern int fputc_unlocked (int __c, FILE *__stream);
  
  
  
  
  
  
  
  extern int putc_unlocked (int __c, FILE *__stream);
  extern int putchar_unlocked (int __c);
  
  
  
  
  
  
  extern int getw (FILE *__stream);
  
  
  extern int putw (int __w, FILE *__stream);
  
  
  
  
  
  
  
  extern char *fgets (char *__restrict __s, int __n, FILE *__restrict __stream)
            ;
  # 577 "/usr/include/stdio.h" 3 4
  extern char *gets (char *__s) __attribute__ ((__deprecated__));
  # 603 "/usr/include/stdio.h" 3 4
  extern __ssize_t __getdelim (char **__restrict __lineptr,
            size_t *__restrict __n, int __delimiter,
            FILE *__restrict __stream) ;
  extern __ssize_t getdelim (char **__restrict __lineptr,
          size_t *__restrict __n, int __delimiter,
          FILE *__restrict __stream) ;
  
  
  
  
  
  
  
  extern __ssize_t getline (char **__restrict __lineptr,
         size_t *__restrict __n,
         FILE *__restrict __stream) ;
  
  
  
  
  
  
  
  extern int fputs (const char *__restrict __s, FILE *__restrict __stream);
  
  
  
  
  
  extern int puts (const char *__s);
  
  
  
  
  
  
  extern int ungetc (int __c, FILE *__stream);
  
  
  
  
  
  
  extern size_t fread (void *__restrict __ptr, size_t __size,
         size_t __n, FILE *__restrict __stream) ;
  
  
  
  
  extern size_t fwrite (const void *__restrict __ptr, size_t __size,
          size_t __n, FILE *__restrict __s);
  # 673 "/usr/include/stdio.h" 3 4
  extern size_t fread_unlocked (void *__restrict __ptr, size_t __size,
           size_t __n, FILE *__restrict __stream) ;
  extern size_t fwrite_unlocked (const void *__restrict __ptr, size_t __size,
            size_t __n, FILE *__restrict __stream);
  
  
  
  
  
  
  
  extern int fseek (FILE *__stream, long int __off, int __whence);
  
  
  
  
  extern long int ftell (FILE *__stream) ;
  
  
  
  
  extern void rewind (FILE *__stream);
  # 707 "/usr/include/stdio.h" 3 4
  extern int fseeko (FILE *__stream, __off_t __off, int __whence);
  
  
  
  
  extern __off_t ftello (FILE *__stream) ;
  # 731 "/usr/include/stdio.h" 3 4
  extern int fgetpos (FILE *__restrict __stream, fpos_t *__restrict __pos);
  
  
  
  
  extern int fsetpos (FILE *__stream, const fpos_t *__pos);
  # 757 "/usr/include/stdio.h" 3 4
  extern void clearerr (FILE *__stream) __attribute__ ((__nothrow__ ));
  
  extern int feof (FILE *__stream) __attribute__ ((__nothrow__ )) ;
  
  extern int ferror (FILE *__stream) __attribute__ ((__nothrow__ )) ;
  
  
  
  extern void clearerr_unlocked (FILE *__stream) __attribute__ ((__nothrow__ ));
  extern int feof_unlocked (FILE *__stream) __attribute__ ((__nothrow__ )) ;
  extern int ferror_unlocked (FILE *__stream) __attribute__ ((__nothrow__ )) ;
  
  
  
  
  
  
  
  extern void perror (const char *__s);
  
  
  
  
  
  
  # 1 "/usr/include/bits/sys_errlist.h" 1 3 4
  # 26 "/usr/include/bits/sys_errlist.h" 3 4
  extern int sys_nerr;
  extern const char *const sys_errlist[];
  # 782 "/usr/include/stdio.h" 2 3 4
  
  
  
  
  extern int fileno (FILE *__stream) __attribute__ ((__nothrow__ )) ;
  
  
  
  
  extern int fileno_unlocked (FILE *__stream) __attribute__ ((__nothrow__ )) ;
  # 800 "/usr/include/stdio.h" 3 4
  extern FILE *popen (const char *__command, const char *__modes) ;
  
  
  
  
  
  extern int pclose (FILE *__stream);
  
  
  
  
  
  extern char *ctermid (char *__s) __attribute__ ((__nothrow__ ));
  # 840 "/usr/include/stdio.h" 3 4
  extern void flockfile (FILE *__stream) __attribute__ ((__nothrow__ ));
  
  
  
  extern int ftrylockfile (FILE *__stream) __attribute__ ((__nothrow__ )) ;
  
  
  extern void funlockfile (FILE *__stream) __attribute__ ((__nothrow__ ));
  # 2 "point_aux.c" 2
  # 1 "./point_aux.h" 1
  # 12 "./point_aux.h"
  typedef unsigned char point_pix_t;
  typedef unsigned short point_dim_t;
  # 22 "./point_aux.h"
  typedef struct {
     point_pix_t data[3];
  } point_t;
  
  typedef struct {
     point_t points[1024];
     point_dim_t width;
     point_dim_t length;
  } pointcloud_t;
  
  void pointcloud_read(pointcloud_t *in_pointcloud, point_dim_t idx);
  
  void pointcloud_write(pointcloud_t *out_pointcloud, point_dim_t idx);
  # 3 "point_aux.c" 2
  
  
  void pointcloud_read (
    pointcloud_t *in_pointcloud,
    point_dim_t idx
        ) {
     point_dim_t width, length;
     int i;
     FILE *fp;
     char filename[80];
     int tmpx, tmpy, tmpz;
  
     sprintf(filename, "/home/hanmeng/Documents/tinyFPS/hls/FPS/source/%d.txt", idx);
  
     fp=fopen(filename,"r");
     if (fp == ((void*)0)){
         printf("file open failed\n");
     }
  
     width = 3;
     length = 1024;
  
     in_pointcloud->width = width;
     in_pointcloud->length = length;
  
     VITIS_LOOP_28_1: for (i=0;i<length;i++) {
      fscanf(fp, "%d %d %d", &tmpx, &tmpy, &tmpz);
         in_pointcloud->points[i].data[0] = (point_pix_t)tmpx;
         in_pointcloud->points[i].data[1] = (point_pix_t)tmpy;
         in_pointcloud->points[i].data[2] = (point_pix_t)tmpz;
     }
     fclose(fp);
  
  }
  
  
  void pointcloud_write (
        pointcloud_t *out_pointcloud,
     point_dim_t idx
        ) {
     FILE *fp;
     int i,j;
     point_dim_t width, length;
     point_pix_t tmpx, tmpy, tmpz;
  
  
  
  
     fp=fopen("/home/hanmeng/Documents/tinyFPS/hls/FPS/result/output.txt","w");
  
     if(fp == ((void*)0)){
      printf("file open failed\n");
     }
     width = out_pointcloud->width;
     fprintf(fp, "%d\n", width);
  
     length = out_pointcloud->length;
     fprintf(fp, "%d\n", length);
  
     VITIS_LOOP_62_1: for (i=0;i<length;i++) {
  
           tmpx = out_pointcloud->points[i].data[0];
           tmpy = out_pointcloud->points[i].data[1];
           tmpz = out_pointcloud->points[i].data[2];
           fprintf(fp, "%d %d %d\n", (int)tmpx, (int)tmpy, (int)tmpz);
     }
     fclose(fp);
  }
  