.data
    array: .word 1 2 3 4 1
    len: .word 5
    false: .asciiz "False"
    true: .asciiz "True"

.text
main:
    la $a0, array              # &array
    add $t0, $0, $0            # i = 0
    la $s1, len                # $s1 = &len
    lw $s1, 0($s1)             # $s1 = len
    addi $s1, $s1, -1          # $s1 = len - 1
    sll $s1, $s1, 2            # len * 4

    for:
        beq $t0, $s1, TRUE     # if i == len
        add $t1, $t0, $a0      # $t1 = &array[i]
        lw $t1, 0($t1)         # $t1 = array[i]
        addi $t0, $t0, 4       # i += 4
        add $t2, $t0, $a0      # $t2 = &array[i+1]
        lw $t2, 0($t2)         # $t2 = array[i+1]
        slt $t3, $t2, $t1      # array[i+1] < array[i]
        bne $t3, $0, FALSE     # if $t3 == 1 goto FALSE
        j for

TRUE:
    la $a0, true
    addi $v0, $0, 4
    syscall
    jr $ra

FALSE:
    la $a0, false
    addi $v0, $0, 4
    syscall
    jr $ra