# RUN: %PYTHON %s | FileCheck %s

import gc
from mlir.ir import *

def run(f):
  print("\nTEST:", f.__name__)
  f()
  gc.collect()
  assert Context._get_live_count() == 0


# CHECK-LABEL: TEST: testContextEnterExit
def testContextEnterExit():
  with Context() as ctx:
    assert Context.current is ctx
  try:
    _ = Context.current
  except ValueError as e:
    # CHECK: No current Context
    print(e)
  else: assert False, "Expected exception"

run(testContextEnterExit)


# CHECK-LABEL: TEST: testLocationEnterExit
def testLocationEnterExit():
  ctx1 = Context()
  with Location.unknown(ctx1) as loc1:
    assert Context.current is ctx1
    assert Location.current is loc1

    # Re-asserting the same context should not change the location.
    with ctx1:
      assert Context.current is ctx1
      assert Location.current is loc1
      # Asserting a different context should clear it.
      with Context() as ctx2:
        assert Context.current is ctx2
        try:
          _ = Location.current
        except ValueError: pass
        else: assert False, "Expected exception"

      # And should restore.
      assert Context.current is ctx1
      assert Location.current is loc1

  # All should clear.
  try:
    _ = Location.current
  except ValueError as e:
    # CHECK: No current Location
    print(e)
  else: assert False, "Expected exception"

run(testLocationEnterExit)


# CHECK-LABEL: TEST: testInsertionPointEnterExit
def testInsertionPointEnterExit():
  ctx1 = Context()
  m = Module.create(Location.unknown(ctx1))
  ip = InsertionPoint(m.body)

  with ip:
    assert InsertionPoint.current is ip
    # Asserting a location from the same context should preserve.
    with Location.unknown(ctx1) as loc1:
      assert InsertionPoint.current is ip
      assert Location.current is loc1
    # Location should clear.
    try:
      _ = Location.current
    except ValueError: pass
    else: assert False, "Expected exception"

    # Asserting the same Context should preserve.
    with ctx1:
      assert InsertionPoint.current is ip

    # Asserting a different context should clear it.
    with Context() as ctx2:
      assert Context.current is ctx2
      try:
        _ = InsertionPoint.current
      except ValueError: pass
      else: assert False, "Expected exception"

  # All should clear.
  try:
    _ = InsertionPoint.current
  except ValueError as e:
    # CHECK: No current InsertionPoint
    print(e)
  else: assert False, "Expected exception"

run(testInsertionPointEnterExit)