Mindcode: a Mindustry Logic high-level language

Mindcode is a high-level language that compiles down to Mindustry Logic - mlog. Mindcode includes higher-level constructs, such as expressions, user-defined functions and control statements. Here are some examples to give you an idea how to use Mindcode:

Mindcode Source Code: Mindustry Logic:

// Binds multiple different units, stores them in an array and controls
// all them simultaneously by moving them around in a pattern

#set syntax = strict;

// Units is a system library providing functions
// for easy acquisition of units
require units;

const UNITS = 6;   // Number of units to control

// We'll output messages onto this block
param message = message1;

// Global variables/arrays declarations
var flag = 1 + rand(1000);
var angle = 0;

var types[UNITS] = (@poly, @poly, @mega, @poly, @poly, @mega);
var units[UNITS];

// The main code needs to be enclosed in a code block (begin ... end)
begin
    while true do
        // The out keyword here means any change in unit gets propagated
        // to the corresponding units element
        for var type in types; var out unit in units do
            if unit == null or unit.@dead then
                // Finds a free unit of given type, not returning until such a unit is found
                // Sets the flags of these units to a nonzero value
                // Stores the acquired units in the array
                unit = findFreeUnit(type, flag);
            end;

if unit != null then
                // Binds the unit stored in a variable
                ubind(unit);
                move(@thisx + 15 * sin(angle), @thisy + 15 * cos(angle));
                print($"Currently bound unit is ${@unit}.");
                printflush(message);
                angle += 20;
            end;

wait(0.8);
        end;
    end;
end;

47 lines of code

set message message1
op rand *tmp0 1000 0
op add .flag 1 *tmp0
set .angle 0
set :unit .units*0
jump 8 equal .units*0 null
sensor *tmp4 .units*0 @dead
jump 25 equal *tmp4 false
ubind @poly
jump 12 notEqual @unit null
set *tmp6 null
jump 24 always 0 0
set :findFreeUnit:first_unit @unit
sensor *tmp9 @unit @controlled
jump 18 notEqual *tmp9 0
ucontrol flag .flag 0 0 0 0
set *tmp6 @unit
jump 24 always 0 0
sensor *tmp12 :findFreeUnit:first_unit @dead
jump 21 notEqual *tmp12 1
set :findFreeUnit:first_unit @unit
ubind @poly
jump 13 notEqual :findFreeUnit:first_unit @unit
set *tmp6 null
set :unit *tmp6
jump 39 equal :unit null
ubind :unit
op sin *tmp19 .angle 0
op mul *tmp20 15 *tmp19
op add *tmp21 @thisx *tmp20
op cos *tmp22 .angle 0
op mul *tmp23 15 *tmp22
op add *tmp24 @thisy *tmp23
ucontrol move *tmp21 *tmp24 0 0 0
print "Currently bound unit is "
print @unit
print "."
printflush message
op add .angle .angle 20
wait 0.8
set .units*0 :unit
set :unit .units*1
jump 45 equal .units*1 null
sensor *tmp4 .units*1 @dead
jump 62 equal *tmp4 false
ubind @poly
jump 49 notEqual @unit null
set *tmp6 null
jump 61 always 0 0
set :findFreeUnit:first_unit @unit
sensor *tmp9 @unit @controlled
jump 55 notEqual *tmp9 0
ucontrol flag .flag 0 0 0 0
set *tmp6 @unit
jump 61 always 0 0
sensor *tmp12 :findFreeUnit:first_unit @dead
jump 58 notEqual *tmp12 1
set :findFreeUnit:first_unit @unit
ubind @poly
jump 50 notEqual :findFreeUnit:first_unit @unit
set *tmp6 null
set :unit *tmp6
jump 76 equal :unit null
ubind :unit
op sin *tmp19 .angle 0
op mul *tmp20 15 *tmp19
op add *tmp21 @thisx *tmp20
op cos *tmp22 .angle 0
op mul *tmp23 15 *tmp22
op add *tmp24 @thisy *tmp23
ucontrol move *tmp21 *tmp24 0 0 0
print "Currently bound unit is "
print @unit
print "."
printflush message
op add .angle .angle 20
wait 0.8
set .units*1 :unit
set :unit .units*2
jump 82 equal .units*2 null
sensor *tmp4 .units*2 @dead
jump 99 equal *tmp4 false
ubind @mega
jump 86 notEqual @unit null
set *tmp6 null
jump 98 always 0 0
set :findFreeUnit:first_unit @unit
sensor *tmp9 @unit @controlled
jump 92 notEqual *tmp9 0
ucontrol flag .flag 0 0 0 0
set *tmp6 @unit
jump 98 always 0 0
sensor *tmp12 :findFreeUnit:first_unit @dead
jump 95 notEqual *tmp12 1
set :findFreeUnit:first_unit @unit
ubind @mega
jump 87 notEqual :findFreeUnit:first_unit @unit
set *tmp6 null
set :unit *tmp6
jump 113 equal :unit null
ubind :unit
op sin *tmp19 .angle 0
op mul *tmp20 15 *tmp19
op add *tmp21 @thisx *tmp20
op cos *tmp22 .angle 0
op mul *tmp23 15 *tmp22
op add *tmp24 @thisy *tmp23
ucontrol move *tmp21 *tmp24 0 0 0
print "Currently bound unit is "
print @unit
print "."
printflush message
op add .angle .angle 20
wait 0.8
set .units*2 :unit
set :unit .units*3
jump 119 equal .units*3 null
sensor *tmp4 .units*3 @dead
jump 136 equal *tmp4 false
ubind @poly
jump 123 notEqual @unit null
set *tmp6 null
jump 135 always 0 0
set :findFreeUnit:first_unit @unit
sensor *tmp9 @unit @controlled
jump 129 notEqual *tmp9 0
ucontrol flag .flag 0 0 0 0
set *tmp6 @unit
jump 135 always 0 0
sensor *tmp12 :findFreeUnit:first_unit @dead
jump 132 notEqual *tmp12 1
set :findFreeUnit:first_unit @unit
ubind @poly
jump 124 notEqual :findFreeUnit:first_unit @unit
set *tmp6 null
set :unit *tmp6
jump 150 equal :unit null
ubind :unit
op sin *tmp19 .angle 0
op mul *tmp20 15 *tmp19
op add *tmp21 @thisx *tmp20
op cos *tmp22 .angle 0
op mul *tmp23 15 *tmp22
op add *tmp24 @thisy *tmp23
ucontrol move *tmp21 *tmp24 0 0 0
print "Currently bound unit is "
print @unit
print "."
printflush message
op add .angle .angle 20
wait 0.8
set .units*3 :unit
set :unit .units*4
jump 156 equal .units*4 null
sensor *tmp4 .units*4 @dead
jump 173 equal *tmp4 false
ubind @poly
jump 160 notEqual @unit null
set *tmp6 null
jump 172 always 0 0
set :findFreeUnit:first_unit @unit
sensor *tmp9 @unit @controlled
jump 166 notEqual *tmp9 0
ucontrol flag .flag 0 0 0 0
set *tmp6 @unit
jump 172 always 0 0
sensor *tmp12 :findFreeUnit:first_unit @dead
jump 169 notEqual *tmp12 1
set :findFreeUnit:first_unit @unit
ubind @poly
jump 161 notEqual :findFreeUnit:first_unit @unit
set *tmp6 null
set :unit *tmp6
jump 187 equal :unit null
ubind :unit
op sin *tmp19 .angle 0
op mul *tmp20 15 *tmp19
op add *tmp21 @thisx *tmp20
op cos *tmp22 .angle 0
op mul *tmp23 15 *tmp22
op add *tmp24 @thisy *tmp23
ucontrol move *tmp21 *tmp24 0 0 0
print "Currently bound unit is "
print @unit
print "."
printflush message
op add .angle .angle 20
wait 0.8
set .units*4 :unit
set :unit .units*5
jump 193 equal .units*5 null
sensor *tmp4 .units*5 @dead
jump 210 equal *tmp4 false
ubind @mega
jump 197 notEqual @unit null
set *tmp6 null
jump 209 always 0 0
set :findFreeUnit:first_unit @unit
sensor *tmp9 @unit @controlled
jump 203 notEqual *tmp9 0
ucontrol flag .flag 0 0 0 0
set *tmp6 @unit
jump 209 always 0 0
sensor *tmp12 :findFreeUnit:first_unit @dead
jump 206 notEqual *tmp12 1
set :findFreeUnit:first_unit @unit
ubind @mega
jump 198 notEqual :findFreeUnit:first_unit @unit
set *tmp6 null
set :unit *tmp6
jump 224 equal :unit null
ubind :unit
op sin *tmp19 .angle 0
op mul *tmp20 15 *tmp19
op add *tmp21 @thisx *tmp20
op cos *tmp22 .angle 0
op mul *tmp23 15 *tmp22
op add *tmp24 @thisy *tmp23
ucontrol move *tmp21 *tmp24 0 0 0
print "Currently bound unit is "
print @unit
print "."
printflush message
op add .angle .angle 20
wait 0.8
set .units*5 :unit
jump 4 always 0 0
print "Compiled by Mindcode - github.com/cardillan/mindcode"

228 lines of code

Bug reports, suggestions and questions are welcome at the project page.

Program output (0 steps):

Compiler messages:

106 instructions before optimizations.
2 instructions eliminated by Temp Variables Elimination (6 iterations).
10 instructions eliminated by Dead Code Elimination (5 iterations).
1 instructions eliminated by Jump Normalization (5 iterations).
6 instructions eliminated by Condition Optimization (6 iterations).
10 instructions eliminated by Single Step Elimination (2 passes, 7 iterations).
15 instructions eliminated by Data Flow Optimization (2 passes, 8 iterations).
173 instructions added by Loop Unrolling (4 iterations).
1 loops unrolled by Loop Unrolling.
1 instructions eliminated by Jump Straightening (6 iterations).
7 instructions eliminated by Unreachable Code Elimination (2 iterations).
227 instructions after optimizations.
Code size and number of instantiations by function: Size Times AvgSize Function 132 1x 132.0 <no function> 96 6x 16.0 def findFreeUnit(in unit_type, in initial_flag)
Performance: parsed in 18 ms, compiled in 4 ms, optimized in 44 ms.

Mindcode Compiler Mlog Decompiler Schematics Builder Schematics Decompiler

Mindcode Compiler
Mlog Decompiler
Schematics Builder
Schematics Decompiler