echo "let _ = print_endline (string_of_bool ((Some \"asd\") == (Some \"asd\" ) ))" > test.ml && ocamlopt -S -o foobar.exe test.ml

test.s

.file ""
	.section __TEXT,__literal16,16byte_literals
	.align	4
_caml_negf_mask:
	.quad	0x8000000000000000
	.quad	0
	.align	4
_caml_absf_mask:
	.quad	0x7fffffffffffffff
	.quad	-1
	.data
	.globl	_camlTest__data_begin
_camlTest__data_begin:
	.text
	.globl	_camlTest__code_begin
_camlTest__code_begin:
	nop
	.data
	.quad	768
	.globl	_camlTest
_camlTest:
	.data
	.globl	_camlTest__gc_roots
_camlTest__gc_roots:
	.quad	_camlTest
	.quad	0
	.data
	.quad	2044
_camlTest__1:
	.ascii	"asd"
	.space	4
	.byte	4
	.data
	.quad	1792
_camlTest__2:
	.quad	_camlTest__1
	.data
	.quad	2044
_camlTest__3:
	.ascii	"asd"
	.space	4
	.byte	4
	.data
	.quad	1792
_camlTest__4:
	.quad	_camlTest__3
	.text
	.align	4
	.globl	_camlTest__entry
_camlTest__entry:
	.cfi_startproc
	subq	$8, %rsp
	.cfi_adjust_cfa_offset 8
L103:
	movq	_camlTest__4@GOTPCREL(%rip), %rax
	movq	_camlTest__2@GOTPCREL(%rip), %rbx
	cmpq	%rax, %rbx
	sete	%al
	movzbq	%al, %rax
	leaq	1(%rax,%rax), %rax
	cmpq	$1, %rax
	je	L102
	movq	_camlPervasives__11@GOTPCREL(%rip), %rax
	jmp	L101
L102:
	movq	_camlPervasives__12@GOTPCREL(%rip), %rax
L101:
	call	_camlPervasives__print_endline_1310
L100:
	movq	$1, %rax
	addq	$8, %rsp
	.cfi_adjust_cfa_offset -8
	ret
	.cfi_adjust_cfa_offset 8
	.cfi_adjust_cfa_offset -8
	.cfi_endproc
	.data
	.text
	nop
	.globl	_camlTest__code_end
_camlTest__code_end:
	.data
				/* relocation table start */
	.align	3
				/* relocation table end */
	.data
	.quad	0
	.globl	_camlTest__data_end
_camlTest__data_end:
	.quad	0
	.align	3
	.globl	_camlTest__frametable
_camlTest__frametable:
	.quad	1
	.quad	L100
	.word	17
	.word	0
	.align	3
	.quad	L104
	.align	3
L104:
	.set L$set$1, (L105 - .) + 536870912
	.long	L$set$1
	.long	4225
	.quad	0
L105:
	.ascii	"test.ml\0"
	.align	3