// autogenerated by syzkaller (https://github.com/google/syzkaller)

#define _GNU_SOURCE

#include <endian.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <sys/mman.h>
#include <sys/syscall.h>
#include <sys/types.h>
#include <unistd.h>

#ifndef __NR_io_uring_enter
#define __NR_io_uring_enter 426
#endif
#ifndef __NR_io_uring_setup
#define __NR_io_uring_setup 425
#endif

#define SIZEOF_IO_URING_SQE 64
#define SIZEOF_IO_URING_CQE 16
#define SQ_HEAD_OFFSET 0
#define SQ_TAIL_OFFSET 64
#define SQ_RING_MASK_OFFSET 256
#define SQ_RING_ENTRIES_OFFSET 264
#define SQ_FLAGS_OFFSET 276
#define SQ_DROPPED_OFFSET 272
#define CQ_HEAD_OFFSET 128
#define CQ_TAIL_OFFSET 192
#define CQ_RING_MASK_OFFSET 260
#define CQ_RING_ENTRIES_OFFSET 268
#define CQ_RING_OVERFLOW_OFFSET 284
#define CQ_FLAGS_OFFSET 280
#define CQ_CQES_OFFSET 320

struct io_sqring_offsets {
  uint32_t head;
  uint32_t tail;
  uint32_t ring_mask;
  uint32_t ring_entries;
  uint32_t flags;
  uint32_t dropped;
  uint32_t array;
  uint32_t resv1;
  uint64_t resv2;
};

struct io_cqring_offsets {
  uint32_t head;
  uint32_t tail;
  uint32_t ring_mask;
  uint32_t ring_entries;
  uint32_t overflow;
  uint32_t cqes;
  uint64_t resv[2];
};

struct io_uring_params {
  uint32_t sq_entries;
  uint32_t cq_entries;
  uint32_t flags;
  uint32_t sq_thread_cpu;
  uint32_t sq_thread_idle;
  uint32_t features;
  uint32_t resv[4];
  struct io_sqring_offsets sq_off;
  struct io_cqring_offsets cq_off;
};

#define IORING_OFF_SQ_RING 0
#define IORING_OFF_SQES 0x10000000ULL
#define IORING_SETUP_SQE128 (1U << 10)
#define IORING_SETUP_CQE32 (1U << 11)

static long syz_io_uring_setup(volatile long a0, volatile long a1,
                               volatile long a2, volatile long a3)
{
  uint32_t entries = (uint32_t)a0;
  struct io_uring_params* setup_params = (struct io_uring_params*)a1;
  void** ring_ptr_out = (void**)a2;
  void** sqes_ptr_out = (void**)a3;
  setup_params->flags &= ~(IORING_SETUP_CQE32 | IORING_SETUP_SQE128);
  uint32_t fd_io_uring = syscall(__NR_io_uring_setup, entries, setup_params);
  uint32_t sq_ring_sz =
      setup_params->sq_off.array + setup_params->sq_entries * sizeof(uint32_t);
  uint32_t cq_ring_sz = setup_params->cq_off.cqes +
                        setup_params->cq_entries * SIZEOF_IO_URING_CQE;
  uint32_t ring_sz = sq_ring_sz > cq_ring_sz ? sq_ring_sz : cq_ring_sz;
  *ring_ptr_out =
      mmap(0, ring_sz, PROT_READ | PROT_WRITE, MAP_SHARED | MAP_POPULATE,
           fd_io_uring, IORING_OFF_SQ_RING);
  uint32_t sqes_sz = setup_params->sq_entries * SIZEOF_IO_URING_SQE;
  *sqes_ptr_out = mmap(0, sqes_sz, PROT_READ | PROT_WRITE,
                       MAP_SHARED | MAP_POPULATE, fd_io_uring, IORING_OFF_SQES);
  uint32_t* array =
      (uint32_t*)((uintptr_t)*ring_ptr_out + setup_params->sq_off.array);
  for (uint32_t index = 0; index < entries; index++)
    array[index] = index;
  return fd_io_uring;
}

static long syz_io_uring_submit(volatile long a0, volatile long a1,
                                volatile long a2)
{
  char* ring_ptr = (char*)a0;
  char* sqes_ptr = (char*)a1;
  char* sqe = (char*)a2;
  uint32_t sq_ring_mask = *(uint32_t*)(ring_ptr + SQ_RING_MASK_OFFSET);
  uint32_t* sq_tail_ptr = (uint32_t*)(ring_ptr + SQ_TAIL_OFFSET);
  uint32_t sq_tail = *sq_tail_ptr & sq_ring_mask;
  char* sqe_dest = sqes_ptr + sq_tail * SIZEOF_IO_URING_SQE;
  memcpy(sqe_dest, sqe, SIZEOF_IO_URING_SQE);
  uint32_t sq_tail_next = *sq_tail_ptr + 1;
  __atomic_store_n(sq_tail_ptr, sq_tail_next, __ATOMIC_RELEASE);
  return 0;
}

uint64_t r[3] = {0xffffffffffffffff, 0x0, 0x0};

int main(void)
{
  syscall(__NR_mmap, /*addr=*/0x1ffffffff000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x200000000000ul, /*len=*/0x1000000ul,
          /*prot=PROT_WRITE|PROT_READ|PROT_EXEC*/ 7ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x200001000000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0ul);
  const char* reason;
  (void)reason;
  intptr_t res = 0;
  if (write(1, "executing program\n", sizeof("executing program\n") - 1)) {
  }
  //  openat$ptmx arguments: [
  //    fd: const = 0xffffffffffffff9c (8 bytes)
  //    file: ptr[in, buffer] {
  //      buffer: {2f 64 65 76 2f 70 74 6d 78 00} (length 0xa)
  //    }
  //    flags: open_flags = 0x441 (4 bytes)
  //    mode: const = 0x0 (2 bytes)
  //  ]
  //  returns fd_tty
  memcpy((void*)0x2000000001c0, "/dev/ptmx\000", 10);
  syscall(__NR_openat, /*fd=*/0xffffffffffffff9cul, /*file=*/0x2000000001c0ul,
          /*flags=O_CREAT|O_APPEND|O_WRONLY*/ 0x441, /*mode=*/0);
  //  syz_io_uring_setup arguments: [
  //    entries: int32 = 0x3e00 (4 bytes)
  //    params: ptr[inout, io_uring_params] {
  //      io_uring_params {
  //        sq_entries: int32 = 0x0 (4 bytes)
  //        cq_entries: int32 = 0x100002 (4 bytes)
  //        flags: io_uring_setup_flags = 0x10300 (4 bytes)
  //        sq_thread_cpu: int32 = 0x2 (4 bytes)
  //        sq_thread_idle: int32 = 0xffffffff (4 bytes)
  //        features: int32 = 0x0 (4 bytes)
  //        wq_fd: fd_io_uring (resource)
  //        resv: buffer: {00 00 00 00 00 00 00 00 00 00 00 00} (length 0xc)
  //        sq_off: array[int32] {
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //        }
  //        cq_off: array[int32] {
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //        }
  //      }
  //    }
  //    ring_ptr: ptr[out, ring_ptr] {
  //      ring_ptr (resource)
  //    }
  //    sqes_ptr: ptr[out, sqes_ptr] {
  //      sqes_ptr (resource)
  //    }
  //  ]
  //  returns fd_io_uring
  *(uint32_t*)0x200000000404 = 0x100002;
  *(uint32_t*)0x200000000408 = 0x10300;
  *(uint32_t*)0x20000000040c = 2;
  *(uint32_t*)0x200000000410 = -1;
  *(uint32_t*)0x200000000418 = -1;
  memset((void*)0x20000000041c, 0, 12);
  res = -1;
  res = syz_io_uring_setup(/*entries=*/0x3e00, /*params=*/0x200000000400,
                           /*ring_ptr=*/0x200000000100,
                           /*sqes_ptr=*/0x200000000080);
  if (res != -1) {
    r[0] = res;
    r[1] = *(uint64_t*)0x200000000100;
    r[2] = *(uint64_t*)0x200000000080;
  }
  //  syz_io_uring_submit arguments: [
  //    ring_ptr: ring_ptr (resource)
  //    sqes_ptr: sqes_ptr (resource)
  //    sqe: ptr[in, io_uring_sqe_u] {
  //      union io_uring_sqe_u {
  //        IORING_OP_POLL_ADD: io_uring_sqe[IORING_OP_POLL_ADD, const[0,
  //        int16], fd_or_fixed_fd_index, const[0, int64], const[0, int64],
  //        const[0, int32], io_uring_sqe_poll_add_misc_flags,
  //        sqe_user_data_not_openat, personality_only_misc] {
  //          opcode: const = 0x6 (1 bytes)
  //          flags: iosqe_flags = 0x0 (1 bytes)
  //          ioprio: const = 0x0 (2 bytes)
  //          fd: union fd_or_fixed_fd_index {
  //            fd_index: int32 = 0x3 (4 bytes)
  //          }
  //          off: const = 0x0 (8 bytes)
  //          addr: const = 0x0 (8 bytes)
  //          len: const = 0x0 (4 bytes)
  //          misc_flags: io_uring_sqe_poll_add_misc_flags {
  //            misc_flags: pollfd_events = 0x0 (2 bytes)
  //            fill_flags_union: const = 0x0 (2 bytes)
  //          }
  //          user_data: sqe_user_data_not_openat = 0x0 (8 bytes)
  //          misc: personality_only_misc {
  //            buf_index_unused: const = 0x0 (2 bytes)
  //            ioring_personality_id: ioring_personality_id (resource)
  //            pad_unused: buffer: {00 00 00 00 00 00 00 00 00 00 00 00 00 00
  //            00 00 00 00 00 00} (length 0x14)
  //          }
  //        }
  //      }
  //    }
  //  ]
  *(uint8_t*)0x2000000001c0 = 6;
  *(uint8_t*)0x2000000001c1 = 0;
  *(uint16_t*)0x2000000001c2 = 0;
  *(uint32_t*)0x2000000001c4 = 3;
  *(uint64_t*)0x2000000001c8 = 0;
  *(uint64_t*)0x2000000001d0 = 0;
  *(uint32_t*)0x2000000001d8 = 0;
  *(uint16_t*)0x2000000001dc = 0;
  *(uint16_t*)0x2000000001de = 0;
  *(uint64_t*)0x2000000001e0 = 0;
  *(uint16_t*)0x2000000001e8 = 0;
  *(uint16_t*)0x2000000001ea = 0;
  memset((void*)0x2000000001ec, 0, 20);
  syz_io_uring_submit(/*ring_ptr=*/r[1], /*sqes_ptr=*/r[2],
                      /*sqe=*/0x2000000001c0);
  //  io_uring_enter arguments: [
  //    fd: fd_io_uring (resource)
  //    to_submit: int32 = 0xa3d (4 bytes)
  //    min_complete: int32 = 0x0 (4 bytes)
  //    flags: io_uring_enter_flags = 0x0 (8 bytes)
  //    sigmask: nil
  //    size: len = 0xff39 (8 bytes)
  //  ]
  syscall(__NR_io_uring_enter, /*fd=*/r[0], /*to_submit=*/0xa3d,
          /*min_complete=*/0, /*flags=*/0ul, /*sigmask=*/0ul,
          /*size=*/0xff39ul);
  return 0;
}