test_that("array-expression subscripting hoists into a block-scoped temp", {
  fn <- function(x) {
    declare(type(x = double(3, 4)))
    out <- ifelse((x > 0.0)[2, 3], 1.0, 0.0)
    out
  }

  expect_translation_snapshots(
    fn,
    note = "Fortran disallows (expr)(i,j); quickr uses a block-local temp array."
  )

  set.seed(1)
  x <- matrix(runif(12) - 0.5, 3, 4)
  expect_quick_identical(fn, list(x))
})

test_that("block-scoped temps work for rank-3 array expression subscripting", {
  fn <- function(x) {
    declare(type(x = double(2, 3, 4)))
    out <- ifelse((x > 0.0)[2, 3, 4], 1.0, 0.0)
    out
  }

  set.seed(1)
  x <- array(runif(24) - 0.5, dim = c(2, 3, 4))
  expect_quick_identical(fn, list(x))
})

test_that("block-scoped temps allocate on the heap for runtime shapes", {
  fn <- function(x) {
    declare(type(x = double(n, m)))
    out <- ifelse((x > 0.0)[1, 1], 1.0, 0.0)
    out
  }

  expect_translation_snapshots(
    fn,
    note = paste(
      "Block temps with runtime sizes are allocatable so flang doesn't",
      "stack-allocate large work arrays."
    )
  )

  set.seed(1)
  x <- matrix(runif(64) - 0.5, 8, 8)
  expect_quick_identical(fn, list(x))
})

test_that("block-scoped temps work for deferred-shape intermediates", {
  fn <- function(x) {
    declare(type(x = double(NA)))
    out <- (x[x > 0.0])[1]
    out
  }

  x <- c(-1.0, 2.0, -3.0)
  expect_quick_identical(fn, list(x))
})