quicksort.wat

(module
  (type (;0;) (func (param i32) (result i32)))
  (type (;1;) (func (param i32 i32 i32) (result i32)))
  (type (;2;) (func (param i32 i32 i32)))
  (type (;3;) (func (param i32)))
  (type (;4;) (func))
  (import "env" "putchar" (func $putchar (type 0)))
  (import "env" "memcpy" (func $memcpy (type 1)))
  (func $partition (type 1) (param i32 i32 i32) (result i32)
    (local i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32)
    global.get 0
    local.set 3
    i32.const 32
    local.set 4
    local.get 3
    local.get 4
    i32.sub
    local.set 5
    local.get 5
    local.get 0
    i32.store offset=28
    local.get 5
    local.get 1
    i32.store offset=24
    local.get 5
    local.get 2
    i32.store offset=20
    local.get 5
    i32.load offset=28
    local.set 6
    local.get 5
    i32.load offset=24
    local.set 7
    local.get 5
    i32.load offset=20
    local.set 8
    local.get 7
    local.get 8
    i32.add
    local.set 9
    i32.const 2
    local.set 10
    local.get 9
    local.get 10
    i32.div_s
    local.set 11
    i32.const 2
    local.set 12
    local.get 11
    local.get 12
    i32.shl
    local.set 13
    local.get 6
    local.get 13
    i32.add
    local.set 14
    local.get 14
    i32.load
    local.set 15
    local.get 5
    local.get 15
    i32.store offset=16
    loop (result i32)  ;; label = @1
      block  ;; label = @2
        loop  ;; label = @3
          local.get 5
          i32.load offset=28
          local.set 16
          local.get 5
          i32.load offset=24
          local.set 17
          i32.const 2
          local.set 18
          local.get 17
          local.get 18
          i32.shl
          local.set 19
          local.get 16
          local.get 19
          i32.add
          local.set 20
          local.get 20
          i32.load
          local.set 21
          local.get 5
          i32.load offset=16
          local.set 22
          local.get 21
          local.set 23
          local.get 22
          local.set 24
          local.get 23
          local.get 24
          i32.lt_s
          local.set 25
          i32.const 1
          local.set 26
          local.get 25
          local.get 26
          i32.and
          local.set 27
          local.get 27
          i32.eqz
          br_if 1 (;@2;)
          local.get 5
          i32.load offset=24
          local.set 28
          i32.const 1
          local.set 29
          local.get 28
          local.get 29
          i32.add
          local.set 30
          local.get 5
          local.get 30
          i32.store offset=24
          br 0 (;@3;)
        end
      end
      block  ;; label = @2
        loop  ;; label = @3
          local.get 5
          i32.load offset=28
          local.set 31
          local.get 5
          i32.load offset=20
          local.set 32
          i32.const 2
          local.set 33
          local.get 32
          local.get 33
          i32.shl
          local.set 34
          local.get 31
          local.get 34
          i32.add
          local.set 35
          local.get 35
          i32.load
          local.set 36
          local.get 5
          i32.load offset=16
          local.set 37
          local.get 36
          local.set 38
          local.get 37
          local.set 39
          local.get 38
          local.get 39
          i32.gt_s
          local.set 40
          i32.const 1
          local.set 41
          local.get 40
          local.get 41
          i32.and
          local.set 42
          local.get 42
          i32.eqz
          br_if 1 (;@2;)
          local.get 5
          i32.load offset=20
          local.set 43
          i32.const -1
          local.set 44
          local.get 43
          local.get 44
          i32.add
          local.set 45
          local.get 5
          local.get 45
          i32.store offset=20
          br 0 (;@3;)
        end
      end
      local.get 5
      i32.load offset=24
      local.set 46
      local.get 5
      i32.load offset=20
      local.set 47
      local.get 46
      local.set 48
      local.get 47
      local.set 49
      local.get 48
      local.get 49
      i32.ge_s
      local.set 50
      i32.const 1
      local.set 51
      local.get 50
      local.get 51
      i32.and
      local.set 52
      block  ;; label = @2
        local.get 52
        i32.eqz
        br_if 0 (;@2;)
        local.get 5
        i32.load offset=20
        local.set 53
        local.get 53
        return
      end
      local.get 5
      i32.load offset=28
      local.set 54
      local.get 5
      i32.load offset=24
      local.set 55
      i32.const 2
      local.set 56
      local.get 55
      local.get 56
      i32.shl
      local.set 57
      local.get 54
      local.get 57
      i32.add
      local.set 58
      local.get 58
      i32.load
      local.set 59
      local.get 5
      local.get 59
      i32.store offset=12
      local.get 5
      i32.load offset=28
      local.set 60
      local.get 5
      i32.load offset=20
      local.set 61
      i32.const 2
      local.set 62
      local.get 61
      local.get 62
      i32.shl
      local.set 63
      local.get 60
      local.get 63
      i32.add
      local.set 64
      local.get 64
      i32.load
      local.set 65
      local.get 5
      i32.load offset=28
      local.set 66
      local.get 5
      i32.load offset=24
      local.set 67
      i32.const 2
      local.set 68
      local.get 67
      local.get 68
      i32.shl
      local.set 69
      local.get 66
      local.get 69
      i32.add
      local.set 70
      local.get 70
      local.get 65
      i32.store
      local.get 5
      i32.load offset=12
      local.set 71
      local.get 5
      i32.load offset=28
      local.set 72
      local.get 5
      i32.load offset=20
      local.set 73
      i32.const 2
      local.set 74
      local.get 73
      local.get 74
      i32.shl
      local.set 75
      local.get 72
      local.get 75
      i32.add
      local.set 76
      local.get 76
      local.get 71
      i32.store
      local.get 5
      i32.load offset=24
      local.set 77
      i32.const 1
      local.set 78
      local.get 77
      local.get 78
      i32.add
      local.set 79
      local.get 5
      local.get 79
      i32.store offset=24
      local.get 5
      i32.load offset=20
      local.set 80
      i32.const -1
      local.set 81
      local.get 80
      local.get 81
      i32.add
      local.set 82
      local.get 5
      local.get 82
      i32.store offset=20
      br 0 (;@1;)
    end)
  (func $quicksort (type 2) (param i32 i32 i32)
    (local i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32)
    global.get 0
    local.set 3
    i32.const 16
    local.set 4
    local.get 3
    local.get 4
    i32.sub
    local.set 5
    local.get 5
    global.set 0
    local.get 5
    local.get 0
    i32.store offset=12
    local.get 5
    local.get 1
    i32.store offset=8
    local.get 5
    local.get 2
    i32.store offset=4
    local.get 5
    i32.load offset=8
    local.set 6
    local.get 5
    i32.load offset=4
    local.set 7
    local.get 6
    local.set 8
    local.get 7
    local.set 9
    local.get 8
    local.get 9
    i32.lt_s
    local.set 10
    i32.const 1
    local.set 11
    local.get 10
    local.get 11
    i32.and
    local.set 12
    block  ;; label = @1
      local.get 12
      i32.eqz
      br_if 0 (;@1;)
      local.get 5
      i32.load offset=12
      local.set 13
      local.get 5
      i32.load offset=8
      local.set 14
      local.get 5
      i32.load offset=4
      local.set 15
      local.get 13
      local.get 14
      local.get 15
      call $partition
      local.set 16
      local.get 5
      local.get 16
      i32.store
      local.get 5
      i32.load offset=12
      local.set 17
      local.get 5
      i32.load offset=8
      local.set 18
      local.get 5
      i32.load
      local.set 19
      local.get 17
      local.get 18
      local.get 19
      call $quicksort
      local.get 5
      i32.load offset=12
      local.set 20
      local.get 5
      i32.load
      local.set 21
      i32.const 1
      local.set 22
      local.get 21
      local.get 22
      i32.add
      local.set 23
      local.get 5
      i32.load offset=4
      local.set 24
      local.get 20
      local.get 23
      local.get 24
      call $quicksort
    end
    i32.const 16
    local.set 25
    local.get 5
    local.get 25
    i32.add
    local.set 26
    local.get 26
    global.set 0
    return)
  (func $print_digits (type 3) (param i32)
    (local i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32)
    global.get 0
    local.set 1
    i32.const 16
    local.set 2
    local.get 1
    local.get 2
    i32.sub
    local.set 3
    local.get 3
    global.set 0
    local.get 3
    local.get 0
    i32.store offset=12
    local.get 3
    i32.load offset=12
    local.set 4
    block  ;; label = @1
      block  ;; label = @2
        local.get 4
        br_if 0 (;@2;)
        br 1 (;@1;)
      end
      local.get 3
      i32.load offset=12
      local.set 5
      i32.const 10
      local.set 6
      local.get 5
      local.get 6
      i32.div_s
      local.set 7
      local.get 7
      call $print_digits
      local.get 3
      i32.load offset=12
      local.set 8
      i32.const 10
      local.set 9
      local.get 8
      local.get 9
      i32.rem_s
      local.set 10
      i32.const 48
      local.set 11
      local.get 10
      local.get 11
      i32.add
      local.set 12
      local.get 12
      call $putchar
      drop
    end
    i32.const 16
    local.set 13
    local.get 3
    local.get 13
    i32.add
    local.set 14
    local.get 14
    global.set 0
    return)
  (func $puts_int (type 3) (param i32)
    (local i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32)
    global.get 0
    local.set 1
    i32.const 16
    local.set 2
    local.get 1
    local.get 2
    i32.sub
    local.set 3
    local.get 3
    global.set 0
    i32.const 0
    local.set 4
    local.get 3
    local.get 0
    i32.store offset=12
    local.get 3
    i32.load offset=12
    local.set 5
    local.get 5
    local.set 6
    local.get 4
    local.set 7
    local.get 6
    local.get 7
    i32.lt_s
    local.set 8
    i32.const 1
    local.set 9
    local.get 8
    local.get 9
    i32.and
    local.set 10
    block  ;; label = @1
      local.get 10
      i32.eqz
      br_if 0 (;@1;)
      i32.const 0
      local.set 11
      i32.const 45
      local.set 12
      local.get 12
      call $putchar
      drop
      local.get 3
      i32.load offset=12
      local.set 13
      local.get 11
      local.get 13
      i32.sub
      local.set 14
      local.get 3
      local.get 14
      i32.store offset=12
    end
    local.get 3
    i32.load offset=12
    local.set 15
    block  ;; label = @1
      block  ;; label = @2
        local.get 15
        br_if 0 (;@2;)
        i32.const 48
        local.set 16
        local.get 16
        call $putchar
        drop
        br 1 (;@1;)
      end
      local.get 3
      i32.load offset=12
      local.set 17
      local.get 17
      call $print_digits
    end
    i32.const 10
    local.set 18
    local.get 18
    call $putchar
    drop
    i32.const 16
    local.set 19
    local.get 3
    local.get 19
    i32.add
    local.set 20
    local.get 20
    global.set 0
    return)
  (func $_start (type 4)
    (local i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32)
    global.get 0
    local.set 0
    i32.const 96
    local.set 1
    local.get 0
    local.get 1
    i32.sub
    local.set 2
    local.get 2
    global.set 0
    i32.const 0
    local.set 3
    i32.const 18
    local.set 4
    i32.const 16
    local.set 5
    local.get 2
    local.get 5
    i32.add
    local.set 6
    local.get 6
    local.set 7
    i32.const 19
    local.set 8
    i32.const 1024
    local.set 9
    i32.const 76
    local.set 10
    local.get 7
    local.get 9
    local.get 10
    call $memcpy
    drop
    local.get 2
    local.get 8
    i32.store offset=12
    local.get 7
    local.get 3
    local.get 4
    call $quicksort
    local.get 2
    local.get 3
    i32.store offset=8
    block  ;; label = @1
      loop  ;; label = @2
        i32.const 19
        local.set 11
        local.get 2
        i32.load offset=8
        local.set 12
        local.get 12
        local.set 13
        local.get 11
        local.set 14
        local.get 13
        local.get 14
        i32.lt_s
        local.set 15
        i32.const 1
        local.set 16
        local.get 15
        local.get 16
        i32.and
        local.set 17
        local.get 17
        i32.eqz
        br_if 1 (;@1;)
        i32.const 16
        local.set 18
        local.get 2
        local.get 18
        i32.add
        local.set 19
        local.get 19
        local.set 20
        local.get 2
        i32.load offset=8
        local.set 21
        i32.const 2
        local.set 22
        local.get 21
        local.get 22
        i32.shl
        local.set 23
        local.get 20
        local.get 23
        i32.add
        local.set 24
        local.get 24
        i32.load
        local.set 25
        local.get 25
        call $puts_int
        local.get 2
        i32.load offset=8
        local.set 26
        i32.const 1
        local.set 27
        local.get 26
        local.get 27
        i32.add
        local.set 28
        local.get 2
        local.get 28
        i32.store offset=8
        br 0 (;@2;)
      end
    end
    i32.const 96
    local.set 29
    local.get 2
    local.get 29
    i32.add
    local.set 30
    local.get 30
    global.set 0
    return)
  (table (;0;) 1 1 funcref)
  (memory (;0;) 2)
  (global (;0;) (mut i32) (i32.const 66640))
  (export "memory" (memory 0))
  (export "_start" (func $_start))
  (data (;0;) (i32.const 1024) "\08\00\00\00\01\00\00\00\03\00\00\00\f9\ff\ff\ff\04\00\00\00\fe\ff\ff\ff\04\00\00\00\05\00\00\00\07\00\00\00\fd\ff\ff\ff\01\00\00\00\02\00\00\00\06\00\00\00\08\00\00\00\00\00\00\00\09\00\00\00\fc\ff\ff\ff\fe\ff\ff\ff\03\00\00\00"))