mirror of
https://github.com/danog/ir.git
synced 2024-11-30 04:39:43 +01:00
140 lines
3.2 KiB
Plaintext
140 lines
3.2 KiB
Plaintext
--TEST--
|
|
Mandelbrot Test (mem)
|
|
--ARGS--
|
|
-S
|
|
--CODE--
|
|
{
|
|
uintptr_t c_1 = 0;
|
|
bool c_2 = 0;
|
|
bool c_3 = 1;
|
|
double c_4 = 0.5;
|
|
double c_5 = 0;
|
|
int32_t c_6 = 0;
|
|
int32_t c_7 = 1;
|
|
uint32_t c_size = 4;
|
|
double c_8 = 16;
|
|
int32_t c_9 = 1000;
|
|
l_1 = START(l_35);
|
|
double d_2 = PARAM(l_1, "x", 0);
|
|
double d_3 = PARAM(l_1, "y", 1);
|
|
double cr = VAR(l_1, "cr");
|
|
double d_5 = SUB(d_3, c_4);
|
|
l_1_1 = VSTORE(l_1, cr, d_5);
|
|
double ci = VAR(l_1, "ci");
|
|
l_1_2 = VSTORE(l_1_1, ci, d_2);
|
|
double zi = VAR(l_1, "zi");
|
|
l_1_3 = VSTORE(l_1_2, zi, c_5);
|
|
double zr = VAR(l_1, "zr");
|
|
l_1_4 = VSTORE(l_1_3, zr, c_5);
|
|
uintptr_t i, l_1_5 = ALLOCA(l_1_4, c_size);
|
|
l_1_6 = STORE(l_1_5, i, c_6);
|
|
l_10 = END(l_1_6);
|
|
l_11 = LOOP_BEGIN(l_10, l_37);
|
|
|
|
int32_t d_14, l_11_1 = LOAD(l_11, i);
|
|
int32_t d_15 = ADD(d_14, c_7);
|
|
l_11_2 = STORE(l_11_1, i, d_15);
|
|
|
|
double temp = VAR(l_11, "temp");
|
|
double zr_1, l_11_3 = VLOAD(l_11_2, zr);
|
|
double zi_1, l_11_4 = VLOAD(l_11_3, zi);
|
|
double d_17 = MUL(zr_1, zi_1);
|
|
l_11_5 = VSTORE(l_11_4, temp, d_17);
|
|
|
|
double zr2 = VAR(l_11, "zr2");
|
|
double d_19 = MUL(zr_1, zr_1);
|
|
l_11_6 = VSTORE(l_11_5, zr2, d_19);
|
|
|
|
double zi2 = VAR(l_11, "zi2");
|
|
double d_21 = MUL(zi_1, zi_1);
|
|
l_11_7 = VSTORE(l_11_6, zi2, d_21);
|
|
double zr2_1, l_11_8 = VLOAD(l_11_7, zr2);
|
|
double zi2_1, l_11_9 = VLOAD(l_11_8, zi2);
|
|
double d_22 = SUB(zr2_1, zi2_1);
|
|
double cr2_1, l_11_10 = VLOAD(l_11_9, cr);
|
|
double d_23 = ADD(d_22, cr2_1);
|
|
l_11_11 = VSTORE(l_11_10, zr, d_23);
|
|
double temp_1, l_11_12 = VLOAD(l_11_11, temp);
|
|
double d_24 = ADD(temp_1, temp_1);
|
|
double ci_1, l_11_13 = VLOAD(l_11_12, ci);
|
|
double d_25 = ADD(d_24, ci_1);
|
|
l_11_14 = VSTORE(l_11_13, zi, d_25);
|
|
double zi2_2, l_11_15 = VLOAD(l_11_14, zi2);
|
|
double zr2_2, l_11_16 = VLOAD(l_11_15, zr2);
|
|
double d_26 = ADD(zi2_2, zr2_2);
|
|
bool d_27 = GT(d_26, c_8);
|
|
l_28 = IF(l_11_16, d_27);
|
|
l_29 = IF_TRUE(l_28);
|
|
int32_t d_15_1, l_29_1 = LOAD(l_29, i);
|
|
l_30 = RETURN(l_29_1, d_15_1);
|
|
l_31 = IF_FALSE(l_28);
|
|
int32_t d_15_2, l_31_1 = LOAD(l_31, i);
|
|
bool d_32 = GT(d_15_2, c_9);
|
|
l_33 = IF(l_31_1, d_32);
|
|
l_34 = IF_TRUE(l_33);
|
|
l_35 = RETURN(l_34, c_6, l_30);
|
|
l_36 = IF_FALSE(l_33);
|
|
l_37 = LOOP_END(l_36, l_11);
|
|
}
|
|
--EXPECT--
|
|
test:
|
|
pushq %rbp
|
|
movq %rsp, %rbp
|
|
subq $0x38, %rsp
|
|
subsd 0xc8(%rip), %xmm1
|
|
movsd %xmm1, -0x38(%rbp)
|
|
movsd %xmm0, -0x30(%rbp)
|
|
xorpd %xmm7, %xmm7
|
|
movsd %xmm7, -0x28(%rbp)
|
|
xorpd %xmm7, %xmm7
|
|
movsd %xmm7, -0x20(%rbp)
|
|
subq $8, %rsp
|
|
movq %rsp, %rax
|
|
movl $0, (%rax)
|
|
.L1:
|
|
movl (%rax), %ecx
|
|
leal 1(%rcx), %ecx
|
|
movl %ecx, (%rax)
|
|
movsd -0x20(%rbp), %xmm0
|
|
movsd -0x28(%rbp), %xmm1
|
|
movapd %xmm1, %xmm2
|
|
mulsd %xmm0, %xmm2
|
|
movsd %xmm2, -0x18(%rbp)
|
|
mulsd %xmm0, %xmm0
|
|
movsd %xmm0, -0x10(%rbp)
|
|
mulsd %xmm1, %xmm1
|
|
movsd %xmm1, -8(%rbp)
|
|
movsd -0x10(%rbp), %xmm0
|
|
movsd -8(%rbp), %xmm1
|
|
subsd %xmm1, %xmm0
|
|
movsd -0x38(%rbp), %xmm1
|
|
addsd %xmm0, %xmm1
|
|
movsd %xmm1, -0x20(%rbp)
|
|
movsd -0x18(%rbp), %xmm0
|
|
addsd %xmm0, %xmm0
|
|
movsd -0x30(%rbp), %xmm1
|
|
addsd %xmm0, %xmm1
|
|
movsd %xmm1, -0x28(%rbp)
|
|
movsd -8(%rbp), %xmm0
|
|
movsd -0x10(%rbp), %xmm1
|
|
addsd %xmm0, %xmm1
|
|
ucomisd 0x2e(%rip), %xmm1
|
|
ja .L2
|
|
jmp .L3
|
|
.L2:
|
|
movl (%rax), %eax
|
|
movq %rbp, %rsp
|
|
popq %rbp
|
|
retq
|
|
.L3:
|
|
movl (%rax), %ecx
|
|
cmpl $0x3e8, %ecx
|
|
jl .L4
|
|
xorl %eax, %eax
|
|
movq %rbp, %rsp
|
|
popq %rbp
|
|
retq
|
|
.L4:
|
|
jmp .L1
|
|
|