	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.section	__TEXT,__literal8,8byte_literals
	.p2align	3                               ## -- Begin function main
LCPI0_0:
	.quad	0x4016000000000000              ## double 5.5
LCPI0_1:
	.quad	0x401a000000000000              ## double 6.5
LCPI0_2:
	.quad	0x401e000000000000              ## double 7.5
LCPI0_3:
	.quad	0x4021000000000000              ## double 8.5
LCPI0_4:
	.quad	0x4023000000000000              ## double 9.5
LCPI0_5:
	.quad	0x4025000000000000              ## double 10.5
	.section	__TEXT,__text,regular,pure_instructions
	.globl	_main
	.p2align	4, 0x90
_main:                                  ## @main
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	pushq	%r15
	pushq	%r14
	pushq	%r13
	pushq	%r12
	pushq	%rbx
	subq	$72, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	_JERRY_INIT_EMPTY@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_jerry_init
	xorl	%eax, %eax
	callq	_jerry_create_object
	movl	%eax, %r14d
	leaq	L_.str(%rip), %rdi
	callq	_jerry_create_string
	movl	%eax, -76(%rbp)                 ## 4-byte Spill
	leaq	L_.str.1(%rip), %rdi
	callq	_jerry_create_string
	movl	%eax, -72(%rbp)                 ## 4-byte Spill
	movq	_JERRY_FEATURE_SYMBOL@GOTPCREL(%rip), %r15
	movl	(%r15), %edi
	callq	_jerry_is_feature_enabled
	testq	%rax, %rax
	je	LBB0_2
## %bb.1:
	leaq	L_.str.2(%rip), %rdi
	callq	_jerry_create_string
	movl	%eax, %ebx
	movl	%eax, %edi
	callq	_jerry_create_symbol
	movl	%eax, -56(%rbp)                 ## 4-byte Spill
	movl	%ebx, %edi
	callq	_jerry_release_value
	jmp	LBB0_3
LBB0_2:
	leaq	L_.str.3(%rip), %rdi
	callq	_jerry_create_string
	movl	%eax, -56(%rbp)                 ## 4-byte Spill
LBB0_3:
	leaq	L_.str.4(%rip), %rdi
	callq	_jerry_create_string
	movl	%eax, -60(%rbp)                 ## 4-byte Spill
	leaq	L_.str.5(%rip), %rdi
	callq	_jerry_create_string
	movl	%eax, -52(%rbp)                 ## 4-byte Spill
	movl	(%r15), %edi
	callq	_jerry_is_feature_enabled
	testq	%rax, %rax
	je	LBB0_5
## %bb.4:
	leaq	L_.str.2(%rip), %rdi
	callq	_jerry_create_string
	movl	%eax, %ebx
	movl	%eax, %edi
	callq	_jerry_create_symbol
	movl	%eax, -68(%rbp)                 ## 4-byte Spill
	movl	%ebx, %edi
	callq	_jerry_release_value
	jmp	LBB0_6
LBB0_5:
	leaq	L_.str.6(%rip), %rdi
	callq	_jerry_create_string
	movl	%eax, -68(%rbp)                 ## 4-byte Spill
LBB0_6:
	movsd	LCPI0_0(%rip), %xmm0            ## xmm0 = mem[0],zero
	callq	_jerry_create_number
	movl	%eax, %ebx
	movsd	LCPI0_1(%rip), %xmm0            ## xmm0 = mem[0],zero
	callq	_jerry_create_number
	movl	%eax, %r12d
	movsd	LCPI0_2(%rip), %xmm0            ## xmm0 = mem[0],zero
	callq	_jerry_create_number
	movl	%eax, %r13d
	movsd	LCPI0_3(%rip), %xmm0            ## xmm0 = mem[0],zero
	callq	_jerry_create_number
	movl	%eax, -96(%rbp)                 ## 4-byte Spill
	movsd	LCPI0_4(%rip), %xmm0            ## xmm0 = mem[0],zero
	callq	_jerry_create_number
	movl	%eax, -92(%rbp)                 ## 4-byte Spill
	movsd	LCPI0_5(%rip), %xmm0            ## xmm0 = mem[0],zero
	callq	_jerry_create_number
	movl	%eax, -88(%rbp)                 ## 4-byte Spill
	movl	%r14d, %edi
	movl	-76(%rbp), %esi                 ## 4-byte Reload
	movl	%ebx, -108(%rbp)                ## 4-byte Spill
	movl	%ebx, %edx
	callq	_jerry_set_property
	movl	%eax, %r15d
	movl	%r14d, %edi
	movl	-72(%rbp), %esi                 ## 4-byte Reload
	movl	%r12d, -104(%rbp)               ## 4-byte Spill
	movl	%r12d, %edx
	callq	_jerry_set_property
	movl	%eax, %r12d
	movl	%r14d, %edi
	movl	-56(%rbp), %esi                 ## 4-byte Reload
	movl	%r13d, -100(%rbp)               ## 4-byte Spill
	movl	%r13d, %edx
	callq	_jerry_set_property
	movl	%eax, %ebx
	movl	%r15d, %edi
	callq	_TEST_ASSERT
	movl	%r12d, %edi
	callq	_TEST_ASSERT
	movl	%ebx, %edi
	callq	_TEST_ASSERT
	movl	%r14d, %edi
	movl	-60(%rbp), %esi                 ## 4-byte Reload
	movl	-96(%rbp), %edx                 ## 4-byte Reload
	callq	_jerry_set_internal_property
	movl	%eax, %r15d
	movl	%r14d, %edi
	movl	-52(%rbp), %esi                 ## 4-byte Reload
	movl	-92(%rbp), %edx                 ## 4-byte Reload
	callq	_jerry_set_internal_property
	movl	%eax, %r12d
	movl	%r14d, %edi
	movl	-68(%rbp), %r13d                ## 4-byte Reload
	movl	%r13d, %esi
	movl	-88(%rbp), %edx                 ## 4-byte Reload
	callq	_jerry_set_internal_property
	movl	%eax, %ebx
	movl	%r15d, %edi
	callq	_TEST_ASSERT
	movl	%r12d, %edi
	callq	_TEST_ASSERT
	movl	%ebx, %edi
	callq	_TEST_ASSERT
	movl	%r14d, %edi
	movl	-76(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_has_property
	movl	%eax, %r15d
	movl	%r14d, %edi
	movl	-72(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_has_property
	movl	%eax, -44(%rbp)                 ## 4-byte Spill
	movl	%r14d, %edi
	movl	-56(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_has_property
	movl	%eax, -48(%rbp)                 ## 4-byte Spill
	movl	%r14d, %edi
	movl	-60(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_has_property
	movl	%eax, -64(%rbp)                 ## 4-byte Spill
	movl	%r14d, %edi
	movl	-52(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_has_property
	movl	%eax, -84(%rbp)                 ## 4-byte Spill
	movl	%r14d, %edi
	movl	%r13d, %esi
	callq	_jerry_has_property
	movl	%eax, %r12d
	movl	%r15d, %edi
	callq	_jerry_value_is_boolean
	xorl	%r13d, %r13d
	movl	$0, %edi
	testq	%rax, %rax
	je	LBB0_8
## %bb.7:
	movl	%r15d, %edi
	callq	_jerry_get_boolean_value
	xorl	%edi, %edi
	testq	%rax, %rax
	setne	%dil
LBB0_8:
	movl	%r12d, -80(%rbp)                ## 4-byte Spill
	callq	_TEST_ASSERT
	movl	-44(%rbp), %ebx                 ## 4-byte Reload
	movl	%ebx, %edi
	callq	_jerry_value_is_boolean
	testq	%rax, %rax
	je	LBB0_10
## %bb.9:
	movl	%ebx, %edi
	callq	_jerry_get_boolean_value
	xorl	%r13d, %r13d
	testq	%rax, %rax
	setne	%r13b
LBB0_10:
	movl	%r13d, %edi
	callq	_TEST_ASSERT
	movl	-48(%rbp), %ebx                 ## 4-byte Reload
	movl	%ebx, %edi
	callq	_jerry_value_is_boolean
	xorl	%r12d, %r12d
	movl	$0, %edi
	testq	%rax, %rax
	je	LBB0_12
## %bb.11:
	movl	%ebx, %edi
	callq	_jerry_get_boolean_value
	xorl	%edi, %edi
	testq	%rax, %rax
	setne	%dil
LBB0_12:
	callq	_TEST_ASSERT
	movl	-64(%rbp), %ebx                 ## 4-byte Reload
	movl	%ebx, %edi
	callq	_jerry_value_is_boolean
	testq	%rax, %rax
	movl	%r15d, %r13d
	je	LBB0_14
## %bb.13:
	movl	%ebx, %edi
	callq	_jerry_get_boolean_value
	xorl	%r12d, %r12d
	testq	%rax, %rax
	sete	%r12b
LBB0_14:
	movl	%r12d, %edi
	callq	_TEST_ASSERT
	movl	-84(%rbp), %r15d                ## 4-byte Reload
	movl	%r15d, %edi
	callq	_jerry_value_is_boolean
	xorl	%ebx, %ebx
	movl	$0, %edi
	testq	%rax, %rax
	je	LBB0_16
## %bb.15:
	movl	%r15d, %edi
	callq	_jerry_get_boolean_value
	xorl	%edi, %edi
	testq	%rax, %rax
	sete	%dil
LBB0_16:
	callq	_TEST_ASSERT
	movl	-80(%rbp), %r12d                ## 4-byte Reload
	movl	%r12d, %edi
	callq	_jerry_value_is_boolean
	testq	%rax, %rax
	je	LBB0_18
## %bb.17:
	movl	%r12d, %edi
	callq	_jerry_get_boolean_value
	xorl	%ebx, %ebx
	testq	%rax, %rax
	sete	%bl
LBB0_18:
	movl	%ebx, %edi
	callq	_TEST_ASSERT
	movl	%r13d, %edi
	callq	_jerry_release_value
	movl	-44(%rbp), %edi                 ## 4-byte Reload
	callq	_jerry_release_value
	movl	-48(%rbp), %edi                 ## 4-byte Reload
	callq	_jerry_release_value
	movl	-64(%rbp), %edi                 ## 4-byte Reload
	callq	_jerry_release_value
	movl	%r15d, %edi
	callq	_jerry_release_value
	movl	%r12d, %edi
	callq	_jerry_release_value
	movl	%r14d, %edi
	movl	-76(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_has_internal_property
	movl	%eax, %r12d
	movl	%r14d, %edi
	movl	-72(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_has_internal_property
	movl	%eax, %r15d
	movl	%r14d, %edi
	movl	-56(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_has_internal_property
	movl	%eax, %r13d
	movl	%r14d, %edi
	movl	-60(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_has_internal_property
	movl	%eax, -44(%rbp)                 ## 4-byte Spill
	movl	%r14d, %edi
	movl	-52(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_has_internal_property
	movl	%eax, -48(%rbp)                 ## 4-byte Spill
	movl	%r14d, %edi
	movl	-68(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_has_internal_property
	movl	%eax, %ebx
	xorl	%edi, %edi
	testl	%r12d, %r12d
	sete	%dil
	callq	_TEST_ASSERT
	xorl	%edi, %edi
	testl	%r15d, %r15d
	sete	%dil
	callq	_TEST_ASSERT
	xorl	%edi, %edi
	testl	%r13d, %r13d
	sete	%dil
	callq	_TEST_ASSERT
	movl	-44(%rbp), %edi                 ## 4-byte Reload
	callq	_TEST_ASSERT
	movl	-48(%rbp), %edi                 ## 4-byte Reload
	callq	_TEST_ASSERT
	movl	%ebx, %edi
	callq	_TEST_ASSERT
	movl	%r14d, %edi
	movl	-76(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_get_property
	movl	%eax, %r15d
	movl	%r14d, %edi
	movl	-72(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_get_property
	movl	%eax, %r12d
	movl	%r14d, %edi
	movl	-56(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_get_property
	movl	%eax, %r13d
	movl	%r14d, %edi
	movl	-60(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_get_property
	movl	%eax, -44(%rbp)                 ## 4-byte Spill
	movl	%r14d, %edi
	movl	-52(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_get_property
	movl	%eax, -48(%rbp)                 ## 4-byte Spill
	movl	%r14d, %edi
	movl	-68(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_get_property
	movl	%eax, -84(%rbp)                 ## 4-byte Spill
	movl	%r15d, %edi
	callq	_jerry_value_is_number
	xorl	%ebx, %ebx
	movl	$0, %edi
	testq	%rax, %rax
	je	LBB0_20
## %bb.19:
	movl	%r15d, %edi
	callq	_jerry_get_number_value
	cmpeqsd	LCPI0_0(%rip), %xmm0
	movq	%xmm0, %rdi
	andl	$1, %edi
LBB0_20:
                                        ## kill: def $edi killed $edi killed $rdi
	callq	_TEST_ASSERT
	movl	%r12d, %edi
	callq	_jerry_value_is_number
	testq	%rax, %rax
	je	LBB0_22
## %bb.21:
	movl	%r12d, %edi
	callq	_jerry_get_number_value
	cmpeqsd	LCPI0_1(%rip), %xmm0
	movq	%xmm0, %rbx
	andl	$1, %ebx
LBB0_22:
	movl	%r12d, -64(%rbp)                ## 4-byte Spill
	movl	%r15d, -80(%rbp)                ## 4-byte Spill
	movl	%ebx, %edi
	callq	_TEST_ASSERT
	movl	%r13d, %edi
	callq	_jerry_value_is_number
	movl	$0, %edi
	testq	%rax, %rax
	je	LBB0_24
## %bb.23:
	movl	%r13d, %edi
	callq	_jerry_get_number_value
	cmpeqsd	LCPI0_2(%rip), %xmm0
	movq	%xmm0, %rdi
	andl	$1, %edi
LBB0_24:
                                        ## kill: def $edi killed $edi killed $rdi
	callq	_TEST_ASSERT
	movl	-44(%rbp), %ebx                 ## 4-byte Reload
	movl	%ebx, %edi
	callq	_jerry_value_is_undefined
	movl	%eax, %edi
	callq	_TEST_ASSERT
	movl	-48(%rbp), %r15d                ## 4-byte Reload
	movl	%r15d, %edi
	callq	_jerry_value_is_undefined
	movl	%eax, %edi
	callq	_TEST_ASSERT
	movl	%r13d, %r12d
	movl	-84(%rbp), %r13d                ## 4-byte Reload
	movl	%r13d, %edi
	callq	_jerry_value_is_undefined
	movl	%eax, %edi
	callq	_TEST_ASSERT
	movl	-80(%rbp), %edi                 ## 4-byte Reload
	callq	_jerry_release_value
	movl	-64(%rbp), %edi                 ## 4-byte Reload
	callq	_jerry_release_value
	movl	%r12d, %edi
	callq	_jerry_release_value
	movl	%ebx, %edi
	callq	_jerry_release_value
	movl	%r15d, %edi
	callq	_jerry_release_value
	movl	%r13d, %edi
	callq	_jerry_release_value
	movl	%r14d, %edi
	movl	-76(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_get_internal_property
	movl	%eax, %ebx
	movl	%r14d, %edi
	movl	-72(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_get_internal_property
	movl	%eax, %r15d
	movl	%r14d, %edi
	movl	-56(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_get_internal_property
	movl	%eax, %r13d
	movl	%r14d, %edi
	movl	-60(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_get_internal_property
	movl	%eax, %r12d
	movl	%r14d, %edi
	movl	-52(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_get_internal_property
	movl	%eax, -64(%rbp)                 ## 4-byte Spill
	movl	%r14d, %edi
	movl	-68(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_get_internal_property
	movl	%eax, -84(%rbp)                 ## 4-byte Spill
	movl	%ebx, -44(%rbp)                 ## 4-byte Spill
	movl	%ebx, %edi
	callq	_jerry_value_is_undefined
	movl	%eax, %edi
	callq	_TEST_ASSERT
	movl	%r15d, -48(%rbp)                ## 4-byte Spill
	movl	%r15d, %edi
	callq	_jerry_value_is_undefined
	movl	%eax, %edi
	callq	_TEST_ASSERT
	movl	%r13d, -80(%rbp)                ## 4-byte Spill
	movl	%r13d, %edi
	callq	_jerry_value_is_undefined
	movl	%eax, %edi
	callq	_TEST_ASSERT
	movl	%r12d, %edi
	callq	_jerry_value_is_number
	testq	%rax, %rax
	movl	$0, %edi
	je	LBB0_26
## %bb.25:
	movl	%r12d, %edi
	callq	_jerry_get_number_value
	cmpeqsd	LCPI0_3(%rip), %xmm0
	movq	%xmm0, %rdi
	andl	$1, %edi
LBB0_26:
                                        ## kill: def $edi killed $edi killed $rdi
	callq	_TEST_ASSERT
	movl	-64(%rbp), %r13d                ## 4-byte Reload
	movl	%r13d, %edi
	callq	_jerry_value_is_number
	xorl	%ebx, %ebx
	movl	$0, %edi
	testq	%rax, %rax
	je	LBB0_28
## %bb.27:
	movl	%r13d, %edi
	callq	_jerry_get_number_value
	cmpeqsd	LCPI0_4(%rip), %xmm0
	movq	%xmm0, %rdi
	andl	$1, %edi
LBB0_28:
                                        ## kill: def $edi killed $edi killed $rdi
	callq	_TEST_ASSERT
	movl	-84(%rbp), %r15d                ## 4-byte Reload
	movl	%r15d, %edi
	callq	_jerry_value_is_number
	testq	%rax, %rax
	je	LBB0_30
## %bb.29:
	movl	%r15d, %edi
	callq	_jerry_get_number_value
	cmpeqsd	LCPI0_5(%rip), %xmm0
	movq	%xmm0, %rbx
	andl	$1, %ebx
LBB0_30:
	movl	%ebx, %edi
	callq	_TEST_ASSERT
	movl	-44(%rbp), %edi                 ## 4-byte Reload
	callq	_jerry_release_value
	movl	-48(%rbp), %edi                 ## 4-byte Reload
	callq	_jerry_release_value
	movl	-80(%rbp), %edi                 ## 4-byte Reload
	callq	_jerry_release_value
	movl	%r12d, %edi
	callq	_jerry_release_value
	movl	%r13d, %edi
	callq	_jerry_release_value
	movl	%r15d, %edi
	callq	_jerry_release_value
	movl	%r14d, %edi
	movl	-76(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_delete_property
	movl	%eax, -44(%rbp)                 ## 4-byte Spill
	movl	%r14d, %edi
	movl	-72(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_delete_property
	movl	%eax, -48(%rbp)                 ## 4-byte Spill
	movl	%r14d, %edi
	movl	-56(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_delete_property
	movl	%eax, %r13d
	movl	%r14d, %edi
	movl	-60(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_delete_property
	movl	%eax, %ebx
	movl	%r14d, %edi
	movl	-52(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_delete_property
	movl	%eax, %r15d
	movl	%r14d, %edi
	movl	-68(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_delete_property
	movl	%eax, %r12d
	movl	-44(%rbp), %edi                 ## 4-byte Reload
	callq	_TEST_ASSERT
	movl	-48(%rbp), %edi                 ## 4-byte Reload
	callq	_TEST_ASSERT
	movl	%r13d, %edi
	callq	_TEST_ASSERT
	movl	%ebx, %edi
	callq	_TEST_ASSERT
	movl	%r15d, %edi
	callq	_TEST_ASSERT
	movl	%r12d, %edi
	callq	_TEST_ASSERT
	movl	%r14d, %edi
	movl	-76(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_has_property
	movl	%eax, %ebx
	movl	%r14d, %edi
	movl	-72(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_has_property
	movl	%eax, %r15d
	movl	%r14d, %edi
	movl	-56(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_has_property
	movl	%eax, %r12d
	movl	%r14d, %edi
	movl	-60(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_has_internal_property
	movl	%eax, -44(%rbp)                 ## 4-byte Spill
	movl	%r14d, %edi
	movl	-52(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_has_internal_property
	movl	%eax, -48(%rbp)                 ## 4-byte Spill
	movl	%r14d, %edi
	movl	-68(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_has_internal_property
	movl	%eax, -64(%rbp)                 ## 4-byte Spill
	movl	%ebx, %edi
	callq	_jerry_value_is_boolean
	xorl	%r13d, %r13d
	movl	$0, %edi
	testq	%rax, %rax
	je	LBB0_32
## %bb.31:
	movl	%ebx, %edi
	callq	_jerry_get_boolean_value
	xorl	%edi, %edi
	testq	%rax, %rax
	sete	%dil
LBB0_32:
	callq	_TEST_ASSERT
	movl	%r15d, %edi
	callq	_jerry_value_is_boolean
	testq	%rax, %rax
	je	LBB0_34
## %bb.33:
	movl	%r15d, %edi
	callq	_jerry_get_boolean_value
	xorl	%r13d, %r13d
	testq	%rax, %rax
	sete	%r13b
LBB0_34:
	movl	%r13d, %edi
	callq	_TEST_ASSERT
	movl	%r12d, %edi
	callq	_jerry_value_is_boolean
	testq	%rax, %rax
	je	LBB0_35
## %bb.36:
	movl	%r12d, %edi
	callq	_jerry_get_boolean_value
	xorl	%edi, %edi
	testq	%rax, %rax
	sete	%dil
	jmp	LBB0_37
LBB0_35:
	xorl	%edi, %edi
LBB0_37:
	callq	_TEST_ASSERT
	movl	-44(%rbp), %edi                 ## 4-byte Reload
	callq	_TEST_ASSERT
	movl	-48(%rbp), %edi                 ## 4-byte Reload
	callq	_TEST_ASSERT
	movl	-64(%rbp), %edi                 ## 4-byte Reload
	callq	_TEST_ASSERT
	movl	%ebx, %edi
	callq	_jerry_release_value
	movl	%r15d, %edi
	callq	_jerry_release_value
	movl	%r12d, %edi
	callq	_jerry_release_value
	movl	%r14d, %edi
	movl	-60(%rbp), %r13d                ## 4-byte Reload
	movl	%r13d, %esi
	callq	_jerry_delete_internal_property
	movl	%eax, -44(%rbp)                 ## 4-byte Spill
	movl	%r14d, %edi
	movl	-52(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_delete_internal_property
	movl	%eax, %r12d
	movl	%r14d, %edi
	movl	-68(%rbp), %r15d                ## 4-byte Reload
	movl	%r15d, %esi
	callq	_jerry_delete_internal_property
	movl	%eax, %ebx
	movl	-44(%rbp), %edi                 ## 4-byte Reload
	callq	_TEST_ASSERT
	movl	%r12d, %edi
	callq	_TEST_ASSERT
	movl	%ebx, %edi
	callq	_TEST_ASSERT
	movl	%r14d, %edi
	movl	%r13d, %esi
	callq	_jerry_has_internal_property
	movl	%eax, %ebx
	movl	%r14d, %edi
	movl	-52(%rbp), %esi                 ## 4-byte Reload
	callq	_jerry_has_internal_property
	movl	%eax, %r13d
	movl	%r14d, %edi
	movl	%r15d, %esi
	callq	_jerry_has_internal_property
	movl	%eax, %r12d
	xorl	%edi, %edi
	testl	%ebx, %ebx
	sete	%dil
	callq	_TEST_ASSERT
	xorl	%edi, %edi
	testl	%r13d, %r13d
	sete	%dil
	callq	_TEST_ASSERT
	xorl	%edi, %edi
	testl	%r12d, %r12d
	sete	%dil
	callq	_TEST_ASSERT
	movl	-100(%rbp), %edi                ## 4-byte Reload
	callq	_jerry_release_value
	movl	-104(%rbp), %edi                ## 4-byte Reload
	callq	_jerry_release_value
	movl	-108(%rbp), %edi                ## 4-byte Reload
	callq	_jerry_release_value
	movl	-56(%rbp), %edi                 ## 4-byte Reload
	callq	_jerry_release_value
	movl	-72(%rbp), %edi                 ## 4-byte Reload
	callq	_jerry_release_value
	movl	-76(%rbp), %edi                 ## 4-byte Reload
	callq	_jerry_release_value
	movl	-88(%rbp), %edi                 ## 4-byte Reload
	callq	_jerry_release_value
	movl	-92(%rbp), %edi                 ## 4-byte Reload
	callq	_jerry_release_value
	movl	-96(%rbp), %edi                 ## 4-byte Reload
	callq	_jerry_release_value
	movl	%r15d, %edi
	callq	_jerry_release_value
	movl	-52(%rbp), %edi                 ## 4-byte Reload
	callq	_jerry_release_value
	movl	-60(%rbp), %edi                 ## 4-byte Reload
	callq	_jerry_release_value
	movl	%r14d, %edi
	callq	_jerry_release_value
	xorl	%eax, %eax
	callq	_jerry_cleanup
	xorl	%eax, %eax
	addq	$72, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_JERRY_INIT_EMPTY,4,2           ## @JERRY_INIT_EMPTY
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"foo"

L_.str.1:                               ## @.str.1
	.asciz	"non_hidden_prop"

	.comm	_JERRY_FEATURE_SYMBOL,4,2       ## @JERRY_FEATURE_SYMBOL
L_.str.2:                               ## @.str.2
	.asciz	"bar"

L_.str.3:                               ## @.str.3
	.asciz	"non_hidden_string_prop"

L_.str.4:                               ## @.str.4
	.asciz	"hidden_foo"

L_.str.5:                               ## @.str.5
	.asciz	"hidden_prop"

L_.str.6:                               ## @.str.6
	.asciz	"hidden_string_prop"

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_main                           ; -- Begin function main
	.p2align	2
_main:                                  ; @main
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #144
	.cfi_def_cfa_offset 144
	stp	x28, x27, [sp, #48]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #64]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #80]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #96]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #112]            ; 16-byte Folded Spill
	stp	x29, x30, [sp, #128]            ; 16-byte Folded Spill
	add	x29, sp, #128
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	.cfi_offset w21, -40
	.cfi_offset w22, -48
	.cfi_offset w23, -56
	.cfi_offset w24, -64
	.cfi_offset w25, -72
	.cfi_offset w26, -80
	.cfi_offset w27, -88
	.cfi_offset w28, -96
Lloh0:
	adrp	x8, _JERRY_INIT_EMPTY@GOTPAGE
Lloh1:
	ldr	x8, [x8, _JERRY_INIT_EMPTY@GOTPAGEOFF]
Lloh2:
	ldr	w0, [x8]
	bl	_jerry_init
	bl	_jerry_create_object
	mov	x19, x0
Lloh3:
	adrp	x0, l_.str@PAGE
Lloh4:
	add	x0, x0, l_.str@PAGEOFF
	bl	_jerry_create_string
	str	w0, [sp, #28]                   ; 4-byte Folded Spill
Lloh5:
	adrp	x0, l_.str.1@PAGE
Lloh6:
	add	x0, x0, l_.str.1@PAGEOFF
	bl	_jerry_create_string
	str	w0, [sp, #32]                   ; 4-byte Folded Spill
Lloh7:
	adrp	x21, _JERRY_FEATURE_SYMBOL@GOTPAGE
Lloh8:
	ldr	x21, [x21, _JERRY_FEATURE_SYMBOL@GOTPAGEOFF]
	ldr	w0, [x21]
	bl	_jerry_is_feature_enabled
	cbz	x0, LBB0_2
; %bb.1:
Lloh9:
	adrp	x0, l_.str.2@PAGE
Lloh10:
	add	x0, x0, l_.str.2@PAGEOFF
	bl	_jerry_create_string
	mov	x20, x0
	bl	_jerry_create_symbol
	str	w0, [sp, #36]                   ; 4-byte Folded Spill
	mov	x0, x20
	bl	_jerry_release_value
	b	LBB0_3
LBB0_2:
Lloh11:
	adrp	x0, l_.str.3@PAGE
Lloh12:
	add	x0, x0, l_.str.3@PAGEOFF
	bl	_jerry_create_string
	str	w0, [sp, #36]                   ; 4-byte Folded Spill
LBB0_3:
Lloh13:
	adrp	x0, l_.str.4@PAGE
Lloh14:
	add	x0, x0, l_.str.4@PAGEOFF
	bl	_jerry_create_string
	str	w0, [sp, #44]                   ; 4-byte Folded Spill
Lloh15:
	adrp	x0, l_.str.5@PAGE
Lloh16:
	add	x0, x0, l_.str.5@PAGEOFF
	bl	_jerry_create_string
	str	w0, [sp, #40]                   ; 4-byte Folded Spill
	ldr	w0, [x21]
	bl	_jerry_is_feature_enabled
	cbz	x0, LBB0_5
; %bb.4:
Lloh17:
	adrp	x0, l_.str.2@PAGE
Lloh18:
	add	x0, x0, l_.str.2@PAGEOFF
	bl	_jerry_create_string
	mov	x20, x0
	bl	_jerry_create_symbol
	str	w0, [sp, #24]                   ; 4-byte Folded Spill
	mov	x0, x20
	bl	_jerry_release_value
	b	LBB0_6
LBB0_5:
Lloh19:
	adrp	x0, l_.str.6@PAGE
Lloh20:
	add	x0, x0, l_.str.6@PAGEOFF
	bl	_jerry_create_string
	str	w0, [sp, #24]                   ; 4-byte Folded Spill
LBB0_6:
	fmov	d0, #5.50000000
	bl	_jerry_create_number
	mov	x20, x0
	fmov	d0, #6.50000000
	bl	_jerry_create_number
	mov	x21, x0
	fmov	d0, #7.50000000
	bl	_jerry_create_number
	mov	x23, x0
	fmov	d0, #8.50000000
	bl	_jerry_create_number
	mov	x25, x0
	fmov	d0, #9.50000000
	bl	_jerry_create_number
	mov	x27, x0
	fmov	d0, #10.50000000
	bl	_jerry_create_number
	mov	x22, x0
	mov	x0, x19
	ldr	w26, [sp, #28]                  ; 4-byte Folded Reload
	mov	x1, x26
	str	w20, [sp, #16]                  ; 4-byte Folded Spill
	mov	x2, x20
	bl	_jerry_set_property
	mov	x20, x0
	mov	x0, x19
	ldr	w1, [sp, #32]                   ; 4-byte Folded Reload
	str	w21, [sp, #8]                   ; 4-byte Folded Spill
	mov	x2, x21
	bl	_jerry_set_property
	mov	x21, x0
	mov	x0, x19
	ldr	w28, [sp, #36]                  ; 4-byte Folded Reload
	mov	x1, x28
	str	w23, [sp]                       ; 4-byte Folded Spill
	mov	x2, x23
	bl	_jerry_set_property
	mov	x24, x0
	mov	x0, x20
	bl	_TEST_ASSERT
	mov	x0, x21
	bl	_TEST_ASSERT
	mov	x0, x24
	bl	_TEST_ASSERT
	mov	x0, x19
	ldr	w23, [sp, #44]                  ; 4-byte Folded Reload
	mov	x1, x23
	str	w25, [sp, #20]                  ; 4-byte Folded Spill
	mov	x2, x25
	bl	_jerry_set_internal_property
	mov	x20, x0
	mov	x0, x19
	ldr	w25, [sp, #40]                  ; 4-byte Folded Reload
	mov	x1, x25
	str	w27, [sp, #12]                  ; 4-byte Folded Spill
	mov	x2, x27
	bl	_jerry_set_internal_property
	mov	x21, x0
	mov	x0, x19
	ldr	w27, [sp, #24]                  ; 4-byte Folded Reload
	mov	x1, x27
	str	w22, [sp, #4]                   ; 4-byte Folded Spill
	mov	x2, x22
	bl	_jerry_set_internal_property
	mov	x24, x0
	mov	x0, x20
	bl	_TEST_ASSERT
	mov	x0, x21
	bl	_TEST_ASSERT
	mov	x0, x24
	bl	_TEST_ASSERT
	mov	x0, x19
	mov	x1, x26
	bl	_jerry_has_property
	mov	x26, x0
	mov	x0, x19
	ldr	w1, [sp, #32]                   ; 4-byte Folded Reload
	bl	_jerry_has_property
	mov	x22, x0
	mov	x0, x19
	mov	x1, x28
	bl	_jerry_has_property
	mov	x28, x0
	mov	x0, x19
	mov	x1, x23
	bl	_jerry_has_property
	mov	x20, x0
	mov	x0, x19
	mov	x1, x25
	bl	_jerry_has_property
	mov	x21, x0
	mov	x0, x19
	mov	x1, x27
	bl	_jerry_has_property
	mov	x24, x0
	mov	x0, x26
	bl	_jerry_value_is_boolean
	cbz	x0, LBB0_8
; %bb.7:
	mov	x0, x26
	bl	_jerry_get_boolean_value
	cmp	x0, #0
	cset	w0, ne
LBB0_8:
	bl	_TEST_ASSERT
	mov	x0, x22
	bl	_jerry_value_is_boolean
	cbz	x0, LBB0_10
; %bb.9:
	mov	x0, x22
	bl	_jerry_get_boolean_value
	cmp	x0, #0
	cset	w0, ne
LBB0_10:
	bl	_TEST_ASSERT
	mov	x0, x28
	bl	_jerry_value_is_boolean
	cbz	x0, LBB0_12
; %bb.11:
	mov	x0, x28
	bl	_jerry_get_boolean_value
	cmp	x0, #0
	cset	w0, ne
LBB0_12:
	bl	_TEST_ASSERT
	mov	x0, x20
	bl	_jerry_value_is_boolean
	cbz	x0, LBB0_14
; %bb.13:
	mov	x0, x20
	bl	_jerry_get_boolean_value
	cmp	x0, #0
	cset	w0, eq
LBB0_14:
	bl	_TEST_ASSERT
	mov	x0, x21
	bl	_jerry_value_is_boolean
	cbz	x0, LBB0_16
; %bb.15:
	mov	x0, x21
	bl	_jerry_get_boolean_value
	cmp	x0, #0
	cset	w0, eq
LBB0_16:
	bl	_TEST_ASSERT
	mov	x0, x24
	bl	_jerry_value_is_boolean
	cbz	x0, LBB0_18
; %bb.17:
	mov	x0, x24
	bl	_jerry_get_boolean_value
	cmp	x0, #0
	cset	w0, eq
LBB0_18:
	bl	_TEST_ASSERT
	mov	x0, x26
	bl	_jerry_release_value
	mov	x0, x22
	bl	_jerry_release_value
	mov	x0, x28
	bl	_jerry_release_value
	mov	x0, x20
	bl	_jerry_release_value
	mov	x0, x21
	bl	_jerry_release_value
	mov	x0, x24
	bl	_jerry_release_value
	mov	x0, x19
	ldr	w25, [sp, #28]                  ; 4-byte Folded Reload
	mov	x1, x25
	bl	_jerry_has_internal_property
	mov	x20, x0
	mov	x0, x19
	ldr	w23, [sp, #32]                  ; 4-byte Folded Reload
	mov	x1, x23
	bl	_jerry_has_internal_property
	mov	x21, x0
	mov	x0, x19
	ldr	w1, [sp, #36]                   ; 4-byte Folded Reload
	bl	_jerry_has_internal_property
	mov	x24, x0
	mov	x0, x19
	ldr	w1, [sp, #44]                   ; 4-byte Folded Reload
	bl	_jerry_has_internal_property
	mov	x26, x0
	mov	x0, x19
	ldr	w1, [sp, #40]                   ; 4-byte Folded Reload
	bl	_jerry_has_internal_property
	mov	x27, x0
	mov	x0, x19
	ldr	w22, [sp, #24]                  ; 4-byte Folded Reload
	mov	x1, x22
	bl	_jerry_has_internal_property
	mov	x28, x0
	cmp	w20, #0
	cset	w0, eq
	bl	_TEST_ASSERT
	cmp	w21, #0
	cset	w0, eq
	bl	_TEST_ASSERT
	cmp	w24, #0
	cset	w0, eq
	bl	_TEST_ASSERT
	mov	x0, x26
	bl	_TEST_ASSERT
	mov	x0, x27
	bl	_TEST_ASSERT
	mov	x0, x28
	bl	_TEST_ASSERT
	mov	x0, x19
	mov	x1, x25
	bl	_jerry_get_property
	mov	x20, x0
	mov	x0, x19
	mov	x1, x23
	bl	_jerry_get_property
	mov	x21, x0
	mov	x0, x19
	ldr	w1, [sp, #36]                   ; 4-byte Folded Reload
	bl	_jerry_get_property
	mov	x24, x0
	mov	x0, x19
	ldr	w1, [sp, #44]                   ; 4-byte Folded Reload
	bl	_jerry_get_property
	mov	x26, x0
	mov	x0, x19
	ldr	w1, [sp, #40]                   ; 4-byte Folded Reload
	bl	_jerry_get_property
	mov	x27, x0
	mov	x0, x19
	mov	x1, x22
	bl	_jerry_get_property
	mov	x28, x0
	mov	x0, x20
	bl	_jerry_value_is_number
	cbz	x0, LBB0_20
; %bb.19:
	mov	x0, x20
	bl	_jerry_get_number_value
	fmov	d1, #5.50000000
	fcmp	d0, d1
	cset	w0, eq
LBB0_20:
	bl	_TEST_ASSERT
	mov	x0, x21
	bl	_jerry_value_is_number
	cbz	x0, LBB0_22
; %bb.21:
	mov	x0, x21
	bl	_jerry_get_number_value
	fmov	d1, #6.50000000
	fcmp	d0, d1
	cset	w0, eq
LBB0_22:
	bl	_TEST_ASSERT
	mov	x0, x24
	bl	_jerry_value_is_number
	cbz	x0, LBB0_24
; %bb.23:
	mov	x0, x24
	bl	_jerry_get_number_value
	fmov	d1, #7.50000000
	fcmp	d0, d1
	cset	w0, eq
LBB0_24:
	bl	_TEST_ASSERT
	mov	x0, x26
	bl	_jerry_value_is_undefined
	bl	_TEST_ASSERT
	mov	x0, x27
	bl	_jerry_value_is_undefined
	bl	_TEST_ASSERT
	mov	x0, x28
	bl	_jerry_value_is_undefined
	bl	_TEST_ASSERT
	mov	x0, x20
	bl	_jerry_release_value
	mov	x0, x21
	bl	_jerry_release_value
	mov	x0, x24
	bl	_jerry_release_value
	mov	x0, x26
	bl	_jerry_release_value
	mov	x0, x27
	bl	_jerry_release_value
	mov	x0, x28
	bl	_jerry_release_value
	mov	x0, x19
	ldr	w1, [sp, #28]                   ; 4-byte Folded Reload
	bl	_jerry_get_internal_property
	mov	x20, x0
	mov	x0, x19
	ldr	w1, [sp, #32]                   ; 4-byte Folded Reload
	bl	_jerry_get_internal_property
	mov	x21, x0
	mov	x0, x19
	ldr	w1, [sp, #36]                   ; 4-byte Folded Reload
	bl	_jerry_get_internal_property
	mov	x24, x0
	mov	x0, x19
	ldr	w1, [sp, #44]                   ; 4-byte Folded Reload
	bl	_jerry_get_internal_property
	mov	x26, x0
	mov	x0, x19
	ldr	w1, [sp, #40]                   ; 4-byte Folded Reload
	bl	_jerry_get_internal_property
	mov	x27, x0
	mov	x0, x19
	mov	x1, x22
	bl	_jerry_get_internal_property
	mov	x28, x0
	mov	x0, x20
	bl	_jerry_value_is_undefined
	bl	_TEST_ASSERT
	mov	x0, x21
	bl	_jerry_value_is_undefined
	bl	_TEST_ASSERT
	mov	x0, x24
	bl	_jerry_value_is_undefined
	bl	_TEST_ASSERT
	mov	x0, x26
	bl	_jerry_value_is_number
	cbz	x0, LBB0_26
; %bb.25:
	mov	x0, x26
	bl	_jerry_get_number_value
	fmov	d1, #8.50000000
	fcmp	d0, d1
	cset	w0, eq
LBB0_26:
	bl	_TEST_ASSERT
	mov	x0, x27
	bl	_jerry_value_is_number
	cbz	x0, LBB0_28
; %bb.27:
	mov	x0, x27
	bl	_jerry_get_number_value
	fmov	d1, #9.50000000
	fcmp	d0, d1
	cset	w0, eq
LBB0_28:
	bl	_TEST_ASSERT
	mov	x0, x28
	bl	_jerry_value_is_number
	cbz	x0, LBB0_30
; %bb.29:
	mov	x0, x28
	bl	_jerry_get_number_value
	fmov	d1, #10.50000000
	fcmp	d0, d1
	cset	w0, eq
LBB0_30:
	bl	_TEST_ASSERT
	mov	x0, x20
	bl	_jerry_release_value
	mov	x0, x21
	bl	_jerry_release_value
	mov	x0, x24
	bl	_jerry_release_value
	mov	x0, x26
	bl	_jerry_release_value
	mov	x0, x27
	bl	_jerry_release_value
	mov	x0, x28
	bl	_jerry_release_value
	mov	x0, x19
	ldr	w22, [sp, #28]                  ; 4-byte Folded Reload
	mov	x1, x22
	bl	_jerry_delete_property
	mov	x20, x0
	mov	x0, x19
	ldr	w23, [sp, #32]                  ; 4-byte Folded Reload
	mov	x1, x23
	bl	_jerry_delete_property
	mov	x21, x0
	mov	x0, x19
	ldr	w1, [sp, #36]                   ; 4-byte Folded Reload
	bl	_jerry_delete_property
	mov	x24, x0
	mov	x0, x19
	ldr	w1, [sp, #44]                   ; 4-byte Folded Reload
	bl	_jerry_delete_property
	mov	x26, x0
	mov	x0, x19
	ldr	w1, [sp, #40]                   ; 4-byte Folded Reload
	bl	_jerry_delete_property
	mov	x27, x0
	mov	x0, x19
	ldr	w25, [sp, #24]                  ; 4-byte Folded Reload
	mov	x1, x25
	bl	_jerry_delete_property
	mov	x28, x0
	mov	x0, x20
	bl	_TEST_ASSERT
	mov	x0, x21
	bl	_TEST_ASSERT
	mov	x0, x24
	bl	_TEST_ASSERT
	mov	x0, x26
	bl	_TEST_ASSERT
	mov	x0, x27
	bl	_TEST_ASSERT
	mov	x0, x28
	bl	_TEST_ASSERT
	mov	x0, x19
	mov	x1, x22
	bl	_jerry_has_property
	mov	x20, x0
	mov	x0, x19
	mov	x1, x23
	bl	_jerry_has_property
	mov	x21, x0
	mov	x0, x19
	ldr	w1, [sp, #36]                   ; 4-byte Folded Reload
	bl	_jerry_has_property
	mov	x24, x0
	mov	x0, x19
	ldr	w1, [sp, #44]                   ; 4-byte Folded Reload
	bl	_jerry_has_internal_property
	mov	x26, x0
	mov	x0, x19
	ldr	w1, [sp, #40]                   ; 4-byte Folded Reload
	bl	_jerry_has_internal_property
	mov	x27, x0
	mov	x0, x19
	mov	x1, x25
	bl	_jerry_has_internal_property
	mov	x28, x0
	mov	x0, x20
	bl	_jerry_value_is_boolean
	cbz	x0, LBB0_32
; %bb.31:
	mov	x0, x20
	bl	_jerry_get_boolean_value
	cmp	x0, #0
	cset	w0, eq
LBB0_32:
	bl	_TEST_ASSERT
	mov	x0, x21
	bl	_jerry_value_is_boolean
	cbz	x0, LBB0_34
; %bb.33:
	mov	x0, x21
	bl	_jerry_get_boolean_value
	cmp	x0, #0
	cset	w0, eq
LBB0_34:
	bl	_TEST_ASSERT
	mov	x0, x24
	bl	_jerry_value_is_boolean
	cbz	x0, LBB0_36
; %bb.35:
	mov	x0, x24
	bl	_jerry_get_boolean_value
	cmp	x0, #0
	cset	w0, eq
LBB0_36:
	bl	_TEST_ASSERT
	mov	x0, x26
	bl	_TEST_ASSERT
	mov	x0, x27
	bl	_TEST_ASSERT
	mov	x0, x28
	bl	_TEST_ASSERT
	mov	x0, x20
	bl	_jerry_release_value
	mov	x0, x21
	bl	_jerry_release_value
	mov	x0, x24
	bl	_jerry_release_value
	mov	x0, x19
	ldr	w22, [sp, #44]                  ; 4-byte Folded Reload
	mov	x1, x22
	bl	_jerry_delete_internal_property
	mov	x20, x0
	mov	x0, x19
	ldr	w23, [sp, #40]                  ; 4-byte Folded Reload
	mov	x1, x23
	bl	_jerry_delete_internal_property
	mov	x21, x0
	mov	x0, x19
	mov	x1, x25
	bl	_jerry_delete_internal_property
	mov	x24, x0
	mov	x0, x20
	bl	_TEST_ASSERT
	mov	x0, x21
	bl	_TEST_ASSERT
	mov	x0, x24
	bl	_TEST_ASSERT
	mov	x0, x19
	mov	x1, x22
	bl	_jerry_has_internal_property
	mov	x20, x0
	mov	x0, x19
	mov	x1, x23
	bl	_jerry_has_internal_property
	mov	x21, x0
	mov	x0, x19
	mov	x1, x25
	bl	_jerry_has_internal_property
	mov	x24, x0
	cmp	w20, #0
	cset	w0, eq
	bl	_TEST_ASSERT
	cmp	w21, #0
	cset	w0, eq
	bl	_TEST_ASSERT
	cmp	w24, #0
	cset	w0, eq
	bl	_TEST_ASSERT
	ldr	w0, [sp]                        ; 4-byte Folded Reload
	bl	_jerry_release_value
	ldr	w0, [sp, #8]                    ; 4-byte Folded Reload
	bl	_jerry_release_value
	ldr	w0, [sp, #16]                   ; 4-byte Folded Reload
	bl	_jerry_release_value
	ldr	w0, [sp, #36]                   ; 4-byte Folded Reload
	bl	_jerry_release_value
	ldr	w0, [sp, #32]                   ; 4-byte Folded Reload
	bl	_jerry_release_value
	ldr	w0, [sp, #28]                   ; 4-byte Folded Reload
	bl	_jerry_release_value
	ldr	w0, [sp, #4]                    ; 4-byte Folded Reload
	bl	_jerry_release_value
	ldr	w0, [sp, #12]                   ; 4-byte Folded Reload
	bl	_jerry_release_value
	ldr	w0, [sp, #20]                   ; 4-byte Folded Reload
	bl	_jerry_release_value
	mov	x0, x25
	bl	_jerry_release_value
	mov	x0, x23
	bl	_jerry_release_value
	mov	x0, x22
	bl	_jerry_release_value
	mov	x0, x19
	bl	_jerry_release_value
	bl	_jerry_cleanup
	mov	w0, #0
	ldp	x29, x30, [sp, #128]            ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #112]            ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #96]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #80]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #64]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #48]             ; 16-byte Folded Reload
	add	sp, sp, #144
	ret
	.loh AdrpLdrGot	Lloh7, Lloh8
	.loh AdrpAdd	Lloh5, Lloh6
	.loh AdrpAdd	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpAdd	Lloh9, Lloh10
	.loh AdrpAdd	Lloh11, Lloh12
	.loh AdrpAdd	Lloh15, Lloh16
	.loh AdrpAdd	Lloh13, Lloh14
	.loh AdrpAdd	Lloh17, Lloh18
	.loh AdrpAdd	Lloh19, Lloh20
	.cfi_endproc
                                        ; -- End function
	.comm	_JERRY_INIT_EMPTY,4,2           ; @JERRY_INIT_EMPTY
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"foo"

l_.str.1:                               ; @.str.1
	.asciz	"non_hidden_prop"

	.comm	_JERRY_FEATURE_SYMBOL,4,2       ; @JERRY_FEATURE_SYMBOL
l_.str.2:                               ; @.str.2
	.asciz	"bar"

l_.str.3:                               ; @.str.3
	.asciz	"non_hidden_string_prop"

l_.str.4:                               ; @.str.4
	.asciz	"hidden_foo"

l_.str.5:                               ; @.str.5
	.asciz	"hidden_prop"

l_.str.6:                               ; @.str.6
	.asciz	"hidden_string_prop"

.subsections_via_symbols
