//
// Source
// ------------------------------------------

import androidx.compose.runtime.Composable
import androidx.compose.runtime.ReadOnlyComposable
import androidx.compose.runtime.key
import androidx.compose.runtime.NonRestartableComposable


@Composable
fun Example(x: Int?) {
  x?.let {
    if (it > 0) {
      A(a)
    }
    A(b)
  }
  A(c)
}

//
// Transformed IR
// ------------------------------------------

@Composable
@FunctionKeyMeta(key = -1008580451, startOffset = 201, endOffset = 291)
fun Example(x: Int?, %composer: Composer?, %changed: Int) {
  %composer = %composer.startRestartGroup(<>)
  sourceInformation(%composer, "C(Example)N(x)<A(c)>:Test.kt")
  val %dirty = %changed
  if (%changed and 0b0110 == 0) {
    %dirty = %dirty or if (%composer.changed(x)) 0b0100 else 0b0010
  }
  if (%composer.shouldExecute(%dirty and 0b0011 != 0b0010, %dirty and 0b0001)) {
    if (isTraceInProgress()) {
      traceEventStart(<>, %dirty, -1, <>)
    }
    val tmp0_safe_receiver = x
    when {
      tmp0_safe_receiver == null -> {
        %composer.startReplaceGroup(<>)
        %composer.endReplaceGroup()
        null
      }
      else -> {
        %composer.startReplaceGroup(<>)
        sourceInformation(%composer, "*<A(b)>")
        tmp0_safe_receiver as Int.let { it: Int ->
          if (it > 0) {
            %composer.startReplaceGroup(<>)
            sourceInformation(%composer, "<A(a)>")
            A(a, %composer, 0)
            %composer.endReplaceGroup()
          } else {
            %composer.startReplaceGroup(<>)
            %composer.endReplaceGroup()
          }
          A(b, %composer, 0)
        }
        %composer.endReplaceGroup()
      }
    }
    A(c, %composer, 0)
    if (isTraceInProgress()) {
      traceEventEnd()
    }
  } else {
    %composer.skipToGroupEnd()
  }
  %composer.endRestartGroup()?.updateScope { %composer: Composer?, %force: Int ->
    Example(x, %composer, updateChangedFlags(%changed or 0b0001))
  }
}
