jsonpiler 0.7.4

a Json syntax programming language for Windows
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75

use crate::{
  Arity::{AtLeast, Exactly},
  Bind::Var,
  ConditionCode::*,
  ErrOR, FuncInfo,
  Inst::*,
  Json, Jsonpiler,
  LogicByteOpcode::{self, *},
  Register::*,
  ScopeInfo, built_in,
  dll::*,
  utility::{args_type_error, mov_bool, mov_d, mov_int, mov_q, take_bool, take_int},
};
built_in! {self, func, scope, logic;
  and => {"and", COMMON, AtLeast(2), {logic_template(And, func, scope)}},
  assert => {"assert", COMMON, Exactly(2), {
    let message_box_w = self.import(USER32, "MessageBoxW")?;
    take_bool(Rax, func, scope)?;
    scope.push(LogicRbRb(Test, Rax, Rax));
    let error_label = self.gen_id();
    let end_label = self.gen_id();
    scope.push(JCc(E, error_label));
    scope.push(Jmp(end_label));
    scope.push(Lbl(error_label));
    self.take_str(Rcx, func, scope)?;
    scope.push(Call(self.get_u8_to_16()?));
    scope.push(mov_q(Rdx, Rax));
    scope.push(Clear(Rcx));
    scope.push(Clear(R8));
    scope.push(mov_d(R9, 0x10));
    scope.extend(&self.call_api_check_null(message_box_w));
    scope.push(mov_d(Rcx, 1));
    scope.push(CallApi(self.import(KERNEL32, "ExitProcess")?));
    scope.push(Lbl(end_label));
    Ok(Json::Null)
  }},
  not => {"not", COMMON, Exactly(1), {
    let arg = func.arg()?;
    if let Json::Bool(boolean) = arg.value {
      mov_bool(&boolean, Rax, scope);
      scope.push(NotRb(Rax));
      scope.mov_tmp_bool(Rax)
    } else if let Json::Int(int) = arg.value {
      mov_int(&int, Rax, scope);
      scope.push(NotR(Rax));
      Ok(Json::Int(Var(scope.mov_tmp(Rax)?)))
    } else {
      Err(args_type_error(1, &func.name, "Int` or `Bool".into(), &arg))
    }
  }},
  or => {"or", COMMON, AtLeast(2), {logic_template(Or, func, scope)}},
  xor => {"xor", COMMON, AtLeast(2), {logic_template(Xor, func, scope)}},
}
pub(crate) fn logic_template(
  logic_op: LogicByteOpcode, func: &mut FuncInfo, scope: &mut ScopeInfo,
) -> ErrOR<Json> {
  let arg = func.arg()?;
  if let Json::Bool(boolean) = arg.value {
    mov_bool(&boolean, Rax, scope);
    for _ in 1..func.len {
      take_bool(Rcx, func, scope)?;
      scope.push(LogicRbRb(logic_op, Rax, Rcx));
    }
    scope.mov_tmp_bool(Rax)
  } else if let Json::Int(int) = arg.value {
    mov_int(&int, Rax, scope);
    for _ in 1..func.len {
      take_int(Rcx, func, scope)?;
      scope.push(LogicRR(logic_op, Rax, Rcx));
    }
    Ok(Json::Int(Var(scope.mov_tmp(Rax)?)))
  } else {
    Err(args_type_error(1, &func.name, "Int` or `Bool".into(), &arg))
  }
}