about summary refs log tree commit diff stats
path: root/subx/apps
diff options
context:
space:
mode:
Diffstat (limited to 'subx/apps')
-rw-r--r--subx/apps/crenshaw2-1bin1245 -> 1245 bytes
-rw-r--r--subx/apps/crenshaw2-1.subx326
-rwxr-xr-xsubx/apps/factorialbin1243 -> 1243 bytes
-rw-r--r--subx/apps/factorial.subx322
4 files changed, 4 insertions, 644 deletions
diff --git a/subx/apps/crenshaw2-1 b/subx/apps/crenshaw2-1
index cb0429f3..f6601a48 100644
--- a/subx/apps/crenshaw2-1
+++ b/subx/apps/crenshaw2-1
Binary files differdiff --git a/subx/apps/crenshaw2-1.subx b/subx/apps/crenshaw2-1.subx
index ef0ee70e..c0bdc768 100644
--- a/subx/apps/crenshaw2-1.subx
+++ b/subx/apps/crenshaw2-1.subx
@@ -1,8 +1,8 @@
 ## port of https://github.com/akkartik/crenshaw/blob/master/tutor2.1.pas
 # corresponds to the section "single digits" in https://compilers.iecc.com/crenshaw/tutor2.txt
 #
-# To run:
-#   $ subx translate apps/crenshaw2.1.subx -o crenshaw 2.1
+# To run (from the subx directory):
+#   $ subx translate *.subx apps/crenshaw2.1.subx -o crenshaw 2.1
 #   $ echo '3'  |subx run apps/crenshaw2.1  |xxd -
 # Expected output:
 #   TODO
@@ -31,7 +31,7 @@
   b8/copy                         .               .             .           .             .           .           .               1/imm32/exit      # copy 1 to EAX
   cd/syscall  0x80/imm8
 
-## compiler helpers
+## helpers
 
 # print error message and exit
 # really maps to the 'Expected' function in Crenshaw
@@ -81,313 +81,6 @@ error:  # s : (address array byte) -> <void>
   # end
   c3/return
 
-## helpers
-
-# print msg to stderr if a != b, otherwise print "."
-check_ints_equal:  # (a : int, b : int, msg : (address array byte)) -> boolean
-  # prolog
-  55/push-EBP
-  89/copy                         3/mod/direct    5/rm32/EBP    .           .             .           4/r32/ESP   .               .                 # copy ESP to EBP
-  # save registers
-  51/push-ECX
-  53/push-EBX
-  # load args into EAX, EBX and ECX
-  8b/copy                         1/mod/*+disp8   4/rm32/sib    5/base/EBP  4/index/none  .           0/r32/EAX   0x8/disp8       .                 # copy *(EBP+8) to EAX
-  8b/copy                         1/mod/*+disp8   4/rm32/sib    5/base/EBP  4/index/none  .           3/r32/EBX   0xc/disp8       .                 # copy *(EBP+12) to EBX
-  # if EAX == b/EBX
-  39/compare                      3/mod/direct    0/rm32/EAX    .           .             .           3/r32/EBX   .               .                 # compare EAX and EBX
-  75/jump-if-unequal  $check_ints_equal:else/disp8
-    # print('.')
-      # push args
-  68/push  "."/imm32
-      # call
-  e8/call  write_stderr/disp32
-      # discard arg
-  81          0/subop/add         3/mod/direct    4/rm32/ESP    .           .             .           .           .               4/imm32           # add 4 to ESP
-    # return
-  eb/jump  $check_ints_equal:end/disp8
-  # else:
-$check_ints_equal:else:
-  # copy msg into ECX
-  8b/copy                         1/mod/*+disp8   4/rm32/sib    5/base/EBP  4/index/none  .           1/r32/ECX   0x10/disp8       .                # copy *(EBP+16) to ECX
-    # print(ECX)
-      # push args
-  51/push-ECX
-      # call
-  e8/call  write_stderr/disp32
-      # discard arg
-  81          0/subop/add         3/mod/direct    4/rm32/ESP    .           .             .           .           .               4/imm32           # add 4 to ESP
-    # print newline
-      # push args
-  68/push  Newline/imm32
-      # call
-  e8/call  write_stderr/disp32
-      # discard arg
-  81          0/subop/add         3/mod/direct    4/rm32/ESP    .           .             .           .           .               4/imm32           # add 4 to ESP
-$check_ints_equal:end:
-  # restore registers
-  5b/pop-to-EBX
-  59/pop-to-ECX
-  # end
-  89/copy                         3/mod/direct    4/rm32/ESP    .           .             .           5/r32/EBP   .               .                 # copy EBP to ESP
-  5d/pop-to-EBP
-  c3/return
-
-# compare a null-terminated ascii string with a more idiomatic length-prefixed byte array
-# reason for the name: the only place we should have null-terminated ascii strings is from commandline args
-argv_equal:  # s : null-terminated ascii string, benchmark : length-prefixed ascii string -> EAX : boolean
-  # prolog
-  55/push-EBP
-  89/copy                         3/mod/direct    5/rm32/EBP    .           .             .           4/r32/ESP   .               .                 # copy ESP to EBP
-  # save registers
-  51/push-ECX
-  52/push-EDX
-  53/push-EBX
-  56/push-ESI
-  57/push-EDI
-
-  # pseudocode:
-  #   initialize n = b.length
-  #   initialize s1 = s
-  #   initialize s2 = b.data
-  #   i = 0
-  #   for (i = 0; i < n; ++n)
-  #     c1 = *s1
-  #     c2 = *s2
-  #     if c1 == 0
-  #       return false
-  #     if c1 != c2
-  #       return false
-  #   return *s1 == 0
-# {{{
-  # initialize s into EDI
-  8b/copy                         1/mod/*+disp8   4/rm32/sib    5/base/EBP  4/index/none  .           7/r32/EDI   8/disp8         .                 # copy *(EBP+8) to EDI
-  # initialize benchmark length n into EDX
-  8b/copy                         1/mod/*+disp8   4/rm32/sib    5/base/EBP  4/index/none  .           2/r32/EDX   0xc/disp8       .                 # copy *(EBP+12) to EDX
-  8b/copy                         0/mod/indirect  2/rm32/EDX    .           .             .           2/r32/EDX   .               .                 # copy *EDX to EDX
-  # initialize benchmark data into ESI
-  8b/copy                         1/mod/*+disp8   4/rm32/sib    5/base/EBP  4/index/none  .           6/r32/ESI   0xc/disp8       .                 # copy *(EBP+12) to ESI
-  81          0/subop/add         3/mod/direct    6/rm32/ESI    .           .             .           .           .               4/imm32           # add 4 to ESI
-  # initialize loop counter i into ECX
-  b9/copy                         .               .             .           .             .           .           .               0/imm32/exit      # copy 1 to ECX
-  # while (i/ECX < n/EDX)
-$argv_loop:
-  39/compare                      3/mod/direct    1/rm32/ECX    .           .             .           2/r32/EDX   .               .                 # compare ECX with EDX
-  74/jump-if-equal  $argv_break/disp8
-    # c1/EAX, c2/EBX = *s, *benchmark
-  b8/copy  0/imm32  # clear EAX
-  8a/copy                         0/mod/indirect  7/rm32/EDI    .           .             .           0/r32/EAX   .               .                 # copy byte at *EDI to lower byte of EAX
-  bb/copy  0/imm32  # clear EBX
-  8a/copy                         0/mod/indirect  6/rm32/ESI    .           .             .           3/r32/EBX   .               .                 # copy byte at *ESI to lower byte of EBX
-    # if (c1 == 0) return false
-  3d/compare                      .               .             .           .             .           .           .               0/imm32           # compare EAX with 0
-  74/jump-if-equal  $argv_fail/disp8
-    # if (c1 != c2) return false
-  39/compare                      3/mod/direct    0/rm32/EAX    .           .             .           3/r32/EBX   .               .                 # compare EAX with EBX
-  75/jump-if-not-equal  $argv_fail/disp8
-    # ++s1, ++s2, ++i
-  41/inc-ECX
-  46/inc-ESI
-  47/inc-EDI
-  # end while
-  eb/jump  $argv_loop/disp8
-$argv_break:
-  # if (*s/EDI == 0) return true
-  b8/copy  0/imm32  # clear EAX
-  8a/copy                         0/mod/indirect  7/rm32/EDI    .           .             .           0/r32/EAX   .               .                 # copy byte at *EDI to lower byte of EAX
-  81          7/subop/compare     3/mod/direct    0/rm32/EAX    .           .             .           .           .               0/imm32           # compare EAX with 0
-  75/jump-if-not-equal  $argv_fail/disp8
-  b8/copy                         .               .             .           .             .           .           .               1/imm32           # copy 1 to EAX
-  eb/jump  $argv_end/disp8
-  # return false
-$argv_fail:
-  b8/copy                         .               .             .           .             .           .           .               0/imm32           # copy 0 to EAX
-
-$argv_end:
-  # restore registers
-  5f/pop-to-EDI
-  5e/pop-to-ESI
-  5b/pop-to-EBX
-  5a/pop-to-EDX
-  59/pop-to-ECX
-  # end
-  89/copy                         3/mod/direct    4/rm32/ESP    .           .             .           5/r32/EBP   .               .                 # copy EBP to ESP
-  5d/pop-to-EBP
-  c3/return
-# }}}
-# tests for argv_equal {{{
-test_compare_null_argv_with_empty_array:
-  # EAX = argv_equal(Null_argv, "")
-    # push args
-  68/push  ""/imm32
-  68/push  Null_argv/imm32
-    # call
-  e8/call  argv_equal/disp32
-    # discard args
-  81          0/subop/add         3/mod/direct    4/rm32/ESP    .           .             .           .           .               8/imm32           # add 8 to ESP
-  # call check_ints_equal(EAX, 1, msg)
-    # push args
-  68/push  "F - test_compare_null_argv_with_empty_array"/imm32
-  68/push  1/imm32/true
-  50/push-EAX
-    # call
-  e8/call  check_ints_equal/disp32
-    # discard args
-  81          0/subop/add         3/mod/direct    4/rm32/ESP    .           .             .           .           .               0xc/imm32         # add 12 to ESP
-  c3/return
-
-test_compare_null_argv_with_non_empty_array:
-  # EAX = argv_equal(Null_argv, "Abc")
-    # push args
-  68/push  "Abc"/imm32
-  68/push  Null_argv/imm32
-    # call
-  e8/call  argv_equal/disp32
-    # discard args
-  81          0/subop/add         3/mod/direct    4/rm32/ESP    .           .             .           .           .               8/imm32           # add 8 to ESP
-  # call check_ints_equal(EAX, 0, msg)
-    # push args
-  68/push  "F - test_compare_null_argv_with_non_empty_array"/imm32
-  68/push  0/imm32/false
-  50/push-EAX
-    # call
-  e8/call  check_ints_equal/disp32
-    # discard args
-  81          0/subop/add         3/mod/direct    4/rm32/ESP    .           .             .           .           .               0xc/imm32         # add 12 to ESP
-  c3/return
-
-test_compare_argv_with_equal_array:
-  # EAX = argv_equal(Abc_argv, "Abc")
-    # push args
-  68/push  "Abc"/imm32
-  68/push  Abc_argv/imm32
-    # call
-  e8/call  argv_equal/disp32
-    # discard args
-  81          0/subop/add         3/mod/direct    4/rm32/ESP    .           .             .           .           .               8/imm32           # add 8 to ESP
-  # call check_ints_equal(EAX, 1, msg)
-    # push args
-  68/push  "F - test_compare_argv_with_equal_array"/imm32
-  68/push  1/imm32/true
-  50/push-EAX
-    # call
-  e8/call  check_ints_equal/disp32
-    # discard args
-  81          0/subop/add         3/mod/direct    4/rm32/ESP    .           .             .           .           .               0xc/imm32         # add 12 to ESP
-  c3/return
-
-test_compare_argv_with_inequal_array:
-  # EAX = argv_equal(Abc_argv, "Adc")
-    # push args
-  68/push  "Adc"/imm32
-  68/push  Abc_argv/imm32
-    # call
-  e8/call  argv_equal/disp32
-    # discard args
-  81          0/subop/add         3/mod/direct    4/rm32/ESP    .           .             .           .           .               8/imm32           # add 8 to ESP
-  # call check_ints_equal(EAX, 0, msg)
-    # push args
-  68/push  "F - test_compare_argv_with_equal_array"/imm32
-  68/push  0/imm32/false
-  50/push-EAX
-    # call
-  e8/call  check_ints_equal/disp32
-    # discard args
-  81          0/subop/add         3/mod/direct    4/rm32/ESP    .           .             .           .           .               0xc/imm32         # add 12 to ESP
-  c3/return
-
-test_compare_argv_with_empty_array:
-  # EAX = argv_equal(Abc_argv, "")
-    # push args
-  68/push  ""/imm32
-  68/push  Abc_argv/imm32
-    # call
-  e8/call  argv_equal/disp32
-    # discard args
-  81          0/subop/add         3/mod/direct    4/rm32/ESP    .           .             .           .           .               8/imm32           # add 8 to ESP
-  # call check_ints_equal(EAX, 0)
-    # push args
-  68/push  "F - test_compare_argv_with_equal_array"/imm32
-  68/push  0/imm32/false
-  50/push-EAX
-    # call
-  e8/call  check_ints_equal/disp32
-    # discard args
-  81          0/subop/add         3/mod/direct    4/rm32/ESP    .           .             .           .           .               0xc/imm32         # add 12 to ESP
-  c3/return
-
-test_compare_argv_with_shorter_array:
-  # EAX = argv_equal(Abc_argv, "Ab")
-    # push args
-  68/push  "Ab"/imm32
-  68/push  Abc_argv/imm32
-    # call
-  e8/call  argv_equal/disp32
-    # discard args
-  81          0/subop/add         3/mod/direct    4/rm32/ESP    .           .             .           .           .               8/imm32           # add 8 to ESP
-  # call check_ints_equal(EAX, 0)
-    # push args
-  68/push  "F - test_compare_argv_with_shorter_array"/imm32
-  68/push  0/imm32/false
-  50/push-EAX
-    # call
-  e8/call  check_ints_equal/disp32
-    # discard args
-  81          0/subop/add         3/mod/direct    4/rm32/ESP    .           .             .           .           .               0xc/imm32         # add 12 to ESP
-  c3/return
-
-test_compare_argv_with_longer_array:
-  # EAX = argv_equal(Abc_argv
/*
 * log.h
 * vim: expandtab:ts=4:sts=4:sw=4
 *
 * Copyright (C) 2012 - 2019 James Booth <boothj5@gmail.com>
 *
 * This file is part of Profanity.
 *
 * Profanity is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * Profanity is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Profanity.  If not, see <https://www.gnu.org/licenses/>.
 *
 * In addition, as a special exception, the copyright holders give permission to
 * link the code of portions of this program with the OpenSSL library under
 * certain conditions as described in each individual source file, and
 * distribute linked combinations including the two.
 *
 * You must obey the GNU General Public License in all respects for all of the
 * code used other than OpenSSL. If you modify file(s) with this exception, you
 * may extend this exception to your version of the file(s), but you are not
 * obligated to do so. If you do not wish to do so, delete this exception
 * statement from your version. If you delete this exception statement from all
 * source files in the program, then also delete it here.
 *
 */

#ifndef LOG_H
#define LOG_H

#include <glib.h>

#include "xmpp/message.h"

// log levels
typedef enum {
    PROF_LEVEL_DEBUG,
    PROF_LEVEL_INFO,
    PROF_LEVEL_WARN,
    PROF_LEVEL_ERROR
} log_level_t;

typedef enum {
    PROF_IN_LOG,
    PROF_OUT_LOG
} chat_log_direction_t;

void log_init(log_level_t filter, char* log_file);
log_level_t log_get_filter(void);
void log_close(void);
const char* get_log_file_location(void);
void log_debug(const char* const msg, ...);
void log_info(const char* const msg, ...);
void log_warning(const char* const msg, ...);
void log_error(const char* const msg, ...);
void log_msg(log_level_t level, const char* const area, const char* const msg);
log_level_t log_level_from_string(char* log_level);

void log_stderr_init(log_level_t level);
void log_stderr_close(void);
void log_stderr_handler(void);

void chat_log_init(void);

void chat_log_msg_out(const char* const barejid, const char* const msg, const char* resource);
void chat_log_otr_msg_out(const char* const barejid, const char* const msg, const char* resource);
void chat_log_pgp_msg_out(const char* const barejid, const char* const msg, const char* resource);
void chat_log_omemo_msg_out(const char* const barejid, const char* const msg, const char* resource);

void chat_log_msg_in(ProfMessage* message);
void chat_log_otr_msg_in(ProfMessage* message);
void chat_log_pgp_msg_in(ProfMessage* message);
void chat_log_omemo_msg_in(ProfMessage* message);

void chat_log_close(void);

void groupchat_log_init(void);

void groupchat_log_msg_out(const gchar* const room, const gchar* const msg);
void groupchat_log_msg_in(const gchar* const room, const gchar* const nick, const gchar* const msg);
void groupchat_log_omemo_msg_out(const gchar* const room, const gchar* const msg);
void groupchat_log_omemo_msg_in(const gchar* const room, const gchar* const nick, const gchar* const msg);

#endif
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-12-01 05:05:36 +0000
push 0/imm32/false - 50/push-EAX - # call - e8/call check_ints_equal/disp32 - # discard args - 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 0xc/imm32 # add 12 to ESP - c3/return - -test_compare_argv_with_empty_array: - # EAX = argv_equal(Abc_argv, "") - # push args - 68/push ""/imm32 - 68/push Abc_argv/imm32 - # call - e8/call argv_equal/disp32 - # discard args - 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add 8 to ESP - # call check_ints_equal(EAX, 0) - # push args - 68/push "F - test_compare_argv_with_equal_array"/imm32 - 68/push 0/imm32/false - 50/push-EAX - # call - e8/call check_ints_equal/disp32 - # discard args - 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 0xc/imm32 # add 12 to ESP - c3/return - -test_compare_argv_with_shorter_array: - # EAX = argv_equal(Abc_argv, "Ab") - # push args - 68/push "Ab"/imm32 - 68/push Abc_argv/imm32 - # call - e8/call argv_equal/disp32 - # discard args - 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add 8 to ESP - # call check_ints_equal(EAX, 0) - # push args - 68/push "F - test_compare_argv_with_shorter_array"/imm32 - 68/push 0/imm32/false - 50/push-EAX - # call - e8/call check_ints_equal/disp32 - # discard args - 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 0xc/imm32 # add 12 to ESP - c3/return - -test_compare_argv_with_longer_array: - # EAX = argv_equal(Abc_argv, "Abcd") - # push args - 68/push "Abcd"/imm32 - 68/push Abc_argv/imm32 - # call - e8/call argv_equal/disp32 - # discard args - 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add 8 to ESP - # call check_ints_equal(EAX, 0) - # push args - 68/push "F - test_compare_argv_with_longer_array"/imm32 - 68/push 0/imm32/false - 50/push-EAX - # call - e8/call check_ints_equal/disp32 - # discard args - 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 0xc/imm32 # add 12 to ESP - c3/return -# }}} - -write_stderr: # s : (address array byte) -> <void> - # prolog - 55/push-EBP - 89/copy 3/mod/direct 5/rm32/EBP . . . 4/r32/ESP . . # copy ESP to EBP - # save registers - 50/push-EAX - 51/push-ECX - 52/push-EDX - 53/push-EBX - # write(2/stderr, (data) s+4, (size) *s) - # fd = 2 (stderr) - bb/copy . . . . . . . 2/imm32 # copy 2 to EBX - # x = s+4 - 8b/copy 1/mod/*+disp8 4/rm32/SIB 5/base/EBP 4/index/none . 1/r32/ECX 8/disp8 . # copy *(EBP+8) to ECX - 81 0/subop/add 3/mod/direct 1/rm32/ECX . . . . . 4/imm32 # add 4 to ECX - # size = *s - 8b/copy 1/mod/*+disp8 4/rm32/SIB 5/base/EBP 4/index/none . 2/r32/EDX 8/disp8 . # copy *(EBP+8) to EDX - 8b/copy 0/mod/indirect 2/rm32/EDX . . . 2/r32/EDX . . # copy *EDX to EDX - # call write() - b8/copy . . . . . . . 4/imm32/write # copy 1 to EAX - cd/syscall 0x80/imm8 - # restore registers - 5b/pop-to-EBX - 5a/pop-to-EDX - 59/pop-to-ECX - 58/pop-to-EAX - # end - 89/copy 3/mod/direct 4/rm32/ESP . . . 5/r32/EBP . . # copy EBP to ESP - 5d/pop-to-EBP - c3/return - -== data -Newline: - # size - 01 00 00 00 - # data - 0a/newline - -# for argv_equal tests -Null_argv: - 00/null -Abc_argv: - 41/A 62/b 63/c 00/null - # vim:ft=subx:nowrap:so=0
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-12-01 05:05:35 +0000