// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_lt_gsg
static s7_pointer fx_lt_gsg(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer v1, v2, v3;
                    v1 = lookup_global(sc, cadr(arg));
                    v2 = lookup(sc, opt1_sym(cdr(arg)));        /* caddr(arg) */
                    v3 = lookup_global(sc, opt2_sym(cdr(arg))); /* cadddr(arg) */
                    if ((is_t_integer(v1)) && (is_t_integer(v2)) && (is_t_integer(v3)))
                        return(make_boolean(sc, ((v1 < v2) && (v2 < v3))));
                    if (!is_real(v3)) wrong_type_argument(sc, sc->lt_symbol, 3, v3, T_REAL); /* (< 2 1 1+i) */
                    return(make_boolean(sc, (lt_b_7pp(sc, v1, v2)) && (lt_b_7pp(sc, v2, v3))));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r15
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rsi
testb $0x1, 0x2(%rsi)
jne 0xb2f33
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rdi
movq 0x20(%rsi), %rdx
cmpq %rdx, %rdi
je 0xb2f15
jle 0xb2f0c
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rdi
cmpq %rdi, %rdx
jl 0xb2eff
cmpq %rdx, %rdi
jne 0xb3092
movq 0x18(%rsi), %rdx
movq 0x10(%rdx), %r14
testq %r14, %r14
jne 0xb2f3b
movq %rbx, %rdi
callq 0x9c492
movq %rax, %r14
movq 0x10(%r15), %rax
jmp 0xb2f3b
movq 0x10(%rsi), %rcx
movq 0x10(%rcx), %r14
movq 0x18(%rax), %rsi
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rdx
movq 0x20(%rsi), %r8
cmpq %r8, %rdx
je 0xb2f6d
movq %rcx, %rdi
movq %rdx, %r9
jle 0xb2f68
movq %rcx, %rdi
movq 0x10(%rdi), %rdi
movq 0x18(%rdi), %r9
cmpq %r9, %r8
jl 0xb2f5b
cmpq %r8, %r9
jne 0xb2fba
movq 0x18(%rsi), %r8
movq 0x10(%r8), %r15
movq 0x20(%rax), %rsi
testb $0x1, 0x2(%rsi)
jne 0xb2fde
movq 0x20(%rsi), %rax
cmpq %rax, %rdx
je 0xb2fa0
jle 0xb2f97
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rdx
cmpq %rdx, %rax
jl 0xb2f8a
cmpq %rax, %rdx
jne 0xb30b6
movq 0x18(%rsi), %rax
movq 0x10(%rax), %r12
testq %r12, %r12
jne 0xb2fe6
movq %rbx, %rdi
callq 0x9c492
movq %rax, %r12
jmp 0xb2fe6
cmpb $0x1c, (%rdi)
jne 0xb30da
movq 0x8(%rdi), %r8
testq %r8, %r8
je 0xb2fd8
cmpq %rsi, 0x8(%r8)
je 0xb2f71
movq 0x18(%r8), %r8
jmp 0xb2fc7
movq 0x10(%rdi), %rdi
jmp 0xb2fba
movq 0x10(%rsi), %rax
movq 0x10(%rax), %r12
cmpb $0xb, (%r14)
jne 0xb3015
cmpb $0xb, (%r15)
movb (%r12), %al
jne 0xb3019
cmpb $0xb, %al
jne 0xb3019
cmpq %r15, %r14
setae %al
cmpq %r12, %r15
setae %cl
orb %al, %cl
movzbl %cl, %eax
leaq 0x118(,%rax,8), %rcx
jmp 0xb3082
movb (%r12), %al
movzbl %al, %eax
leaq 0x9798d(%rip), %rcx     # 0x14a9b0
cmpb $0x0, (%rax,%rcx)
jne 0xb3054
movq 0x12c0(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x9392d(%rip), %rdx     # 0x146968
movq 0x140(%rbx), %r8
movq 0x97a7f(%rip), %r9      # 0x14aac8
movq %rbx, %rdi
movq %r12, %rcx
callq 0xa4e4
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x89908
testb %al, %al
je 0xb307d
movq %rbx, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x89908
movl $0x118, %ecx            # imm = 0x118
testb %al, %al
jne 0xb3082
movl $0x120, %ecx            # imm = 0x120
movq (%rbx,%rcx), %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
cmpb $0x1c, (%rcx)
jne 0xb30f0
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xb30b0
cmpq %rsi, 0x8(%rdx)
je 0xb2f19
movq 0x18(%rdx), %rdx
jmp 0xb309b
movq 0x10(%rcx), %rcx
jmp 0xb3092
cmpb $0x1c, (%rcx)
jne 0xb3102
movq 0x8(%rcx), %rax
testq %rax, %rax
je 0xb30d4
cmpq %rsi, 0x8(%rax)
je 0xb2fa4
movq 0x18(%rax), %rax
jmp 0xb30bf
movq 0x10(%rcx), %rcx
jmp 0xb30b6
movq 0x10(%rsi), %r8
cmpb $0x20, (%r8)
je 0xb2f71
xorl %r15d, %r15d
jmp 0xb2f75
movq 0x10(%rsi), %rdx
cmpb $0x20, (%rdx)
je 0xb2f19
jmp 0xb2f22
movq 0x10(%rsi), %rax
cmpb $0x20, (%rax)
je 0xb2fa4
jmp 0xb2fad