path: root/base/LinkedList.opt.vapor

const empty_Element

const empty_List

const empty_LL


func Main()
  t.0 = call :LL.Start(:empty_LL)
  PrintIntS(t.0)
  ret

func Element.Init(this v_Age v_Salary v_Married)
  [this+0] = v_Age
  [this+4] = v_Salary
  [this+8] = v_Married
  ret 1

func Element.GetAge(this)
  t.0 = [this+0]
  ret t.0

func Element.GetSalary(this)
  t.0 = [this+4]
  ret t.0

func Element.GetMarried(this)
  t.0 = [this+8]
  ret t.0

func Element.Equal(this other)
  ret_val = 1
  if other goto :null1
    Error("null pointer")
  null1:
  aux01 = call :Element.GetAge(other)
  t.0 = [this+0]
  t.1 = call :Element.Compare(this aux01 t.0)
  if t.1 goto :if1_else
    ret_val = 0
    goto :if1_end
  if1_else:
    if other goto :null2
      Error("null pointer")
    null2:
    aux02 = call :Element.GetSalary(other)
    t.2 = [this+4]
    t.3 = call :Element.Compare(this aux02 t.2)
    if t.3 goto :if2_else
      ret_val = 0
      goto :if2_end
    if2_else:
      t.4 = [this+8]
      if0 t.4 goto :if3_else
        if other goto :null3
          Error("null pointer")
        null3:
        t.5 = call :Element.GetMarried(other)
        if t.5 goto :if4_else
          ret_val = 0
          goto :if4_end
        if4_else:
          nt = 0
        if4_end:
        goto :if3_end
      if3_else:
        if other goto :null4
          Error("null pointer")
        null4:
        t.6 = call :Element.GetMarried(other)
        if0 t.6 goto :if5_else
          ret_val = 0
          goto :if5_end
        if5_else:
          nt = 0
        if5_end:
      if3_end:
    if2_end:
  if1_end:
  ret ret_val

func Element.Compare(this num1 num2)
  retval = 0
  aux02 = Add(num2 1)
  t.0 = LtS(num1 num2)
  if0 t.0 goto :if6_else
    retval = 0
    goto :if6_end
  if6_else:
    t.1 = LtS(num1 aux02)
    if t.1 goto :if7_else
      retval = 0
      goto :if7_end
    if7_else:
      retval = 1
    if7_end:
  if6_end:
  ret retval

func List.Init(this)
  [this+8] = 1
  ret 1

func List.InitNew(this v_elem v_next v_end)
  [this+8] = v_end
  [this+0] = v_elem
  [this+4] = v_next
  ret 1

func List.Insert(this new_elem)
  aux03 = this
  aux02 = HeapAllocZ(12)
  if aux02 goto :null5
    Error("null pointer")
  null5:
  ret_val = call :List.InitNew(aux02 new_elem aux03 0)
  ret aux02

func List.SetNext(this v_next)
  [this+4] = v_next
  ret 1

func List.Delete(this e)
  my_head = this
  ret_val = 0
  aux04 = Sub(0 1)
  aux01 = this
  prev = this
  var_end = [this+8]
  var_elem = [this+0]
  while1_top:
  if var_end goto :ss1_else
    t.0 = Sub(1 ret_val)
    goto :ss1_end
  ss1_else:
    t.0 = 0
  ss1_end:
  if0 t.0 goto :while1_end
    if e goto :null6
      Error("null pointer")
    null6:
    t.1 = call :Element.Equal(e var_elem)
    if0 t.1 goto :if8_else
      ret_val = 1
      t.2 = LtS(aux04 0)
      if0 t.2 goto :if9_else
        if aux01 goto :null7
          Error("null pointer")
        null7:
        my_head = call :List.GetNext(aux01)
        goto :if9_end
      if9_else:
        t.3 = Sub(0 555)
        PrintIntS(t.3)
        if prev goto :null8
          Error("null pointer")
        null8:
        if aux01 goto :null9
          Error("null pointer")
        null9:
        t.4 = call :List.GetNext(aux01)
        aux05 = call :List.SetNext(prev t.4)
        t.5 = Sub(0 555)
        PrintIntS(t.5)
      if9_end:
      goto :if8_end
    if8_else:
      nt = 0
    if8_end:
    if ret_val goto :if10_else
      prev = aux01
      if aux01 goto :null10
        Error("null pointer")
      null10:
      aux01 = call :List.GetNext(aux01)
      if aux01 goto :null11
        Error("null pointer")
      null11:
      var_end = call :List.GetEnd(aux01)
      if aux01 goto :null12
        Error("null pointer")
      null12:
      var_elem = call :List.GetElem(aux01)
      aux04 = 1
      goto :if10_end
    if10_else:
      nt = 0
    if10_end:
    goto :while1_top
  while1_end:
  ret my_head

func List.Search(this e)
  int_ret_val = 0
  aux01 = this
  var_end = [this+8]
  var_elem = [this+0]
  while2_top:
  t.0 = Sub(1 var_end)
  if0 t.0 goto :while2_end
    if e goto :null13
      Error("null pointer")
    null13:
    t.1 = call :Element.Equal(e var_elem)
    if0 t.1 goto :if11_else
      int_ret_val = 1
      goto :if11_end
    if11_else:
      nt = 0
    if11_end:
    if aux01 goto :null14
      Error("null pointer")
    null14:
    aux01 = call :List.GetNext(aux01)
    if aux01 goto :null15
      Error("null pointer")
    null15:
    var_end = call :List.GetEnd(aux01)
    if aux01 goto :null16
      Error("null pointer")
    null16:
    var_elem = call :List.GetElem(aux01)
    goto :while2_top
  while2_end:
  ret int_ret_val

func List.GetEnd(this)
  t.0 = [this+8]
  ret t.0

func List.GetElem(this)
  t.0 = [this+0]
  ret t.0

func List.GetNext(this)
  t.0 = [this+4]
  ret t.0

func List.Print(this)
  aux01 = this
  var_end = [this+8]
  var_elem = [this+0]
  while3_top:
  t.0 = Sub(1 var_end)
  if0 t.0 goto :while3_end
    if var_elem goto :null17
      Error("null pointer")
    null17:
    t.1 = call :Element.GetAge(var_elem)
    PrintIntS(t.1)
    if aux01 goto :null18
      Error("null pointer")
    null18:
    aux01 = call :List.GetNext(aux01)
    if aux01 goto :null19
      Error("null pointer")
    null19:
    var_end = call :List.GetEnd(aux01)
    if aux01 goto :null20
      Error("null pointer")
    null20:
    var_elem = call :List.GetElem(aux01)
    goto :while3_top
  while3_end:
  ret 1

func LL.Start(this)
  last_elem = HeapAllocZ(12)
  if last_elem goto :null21
    Error("null pointer")
  null21:
  aux01 = call :List.Init(last_elem)
  head = last_elem
  if head goto :null22
    Error("null pointer")
  null22:
  aux01 = call :List.Init(head)
  if head goto :null23
    Error("null pointer")
  null23:
  aux01 = call :List.Print(head)
  el01 = HeapAllocZ(12)
  if el01 goto :null24
    Error("null pointer")
  null24:
  aux01 = call :Element.Init(el01 25 37000 0)
  if head goto :null25
    Error("null pointer")
  null25:
  head = call :List.Insert(head el01)
  if head goto :null26
    Error("null pointer")
  null26:
  aux01 = call :List.Print(head)
  PrintIntS(10000000)
  el01 = HeapAllocZ(12)
  if el01 goto :null27
    Error("null pointer")
  null27:
  aux01 = call :Element.Init(el01 39 42000 1)
  el02 = el01
  if head goto :null28
    Error("null pointer")
  null28:
  head = call :List.Insert(head el01)
  if head goto :null29
    Error("null pointer")
  null29:
  aux01 = call :List.Print(head)
  PrintIntS(10000000)
  el01 = HeapAllocZ(12)
  if el01 goto :null30
    Error("null pointer")
  null30:
  aux01 = call :Element.Init(el01 22 34000 0)
  if head goto :null31
    Error("null pointer")
  null31:
  head = call :List.Insert(head el01)
  if head goto :null32
    Error("null pointer")
  null32:
  aux01 = call :List.Print(head)
  el03 = HeapAllocZ(12)
  if el03 goto :null33
    Error("null pointer")
  null33:
  aux01 = call :Element.Init(el03 27 34000 0)
  if head goto :null34
    Error("null pointer")
  null34:
  t.0 = call :List.Search(head el02)
  PrintIntS(t.0)
  if head goto :null35
    Error("null pointer")
  null35:
  t.1 = call :List.Search(head el03)
  PrintIntS(t.1)
  PrintIntS(10000000)
  el01 = HeapAllocZ(12)
  if el01 goto :null36
    Error("null pointer")
  null36:
  aux01 = call :Element.Init(el01 28 35000 0)
  if head goto :null37
    Error("null pointer")
  null37:
  head = call :List.Insert(head el01)
  if head goto :null38
    Error("null pointer")
  null38:
  aux01 = call :List.Print(head)
  PrintIntS(2220000)
  if head goto :null39
    Error("null pointer")
  null39:
  head = call :List.Delete(head el02)
  if head goto :null40
    Error("null pointer")
  null40:
  aux01 = call :List.Print(head)
  PrintIntS(33300000)
  if head goto :null41
    Error("null pointer")
  null41:
  head = call :List.Delete(head el01)
  if head goto :null42
    Error("null pointer")
  null42:
  aux01 = call :List.Print(head)
  PrintIntS(44440000)
  ret 0