! RUN: %python %S/test_folding.py %s %flang_fc1
! Tests folding of IBITS exhaustively over POS/LEN ranges
module m1
  implicit integer(a-z)
  integer, parameter :: res1(*) = [((ibits(not(0),pos,len),len=0,31-pos),pos=0,31)]
  integer, parameter :: expect1(*) = [((maskr(len),len=0,31-pos),pos=0,31)]
  logical, parameter :: test1 = all(res1 == expect1)
  logical, parameter :: test2 = all([((ibits(0,pos,len),len=0,31-pos),pos=0,31)] == 0)
  integer, parameter :: mess = z'a5a55a5a'
  integer, parameter :: res3(*) = [((ibits(mess,pos,len),len=0,31-pos),pos=0,31)]
  integer, parameter :: expect3(*) = [((iand(shiftr(mess,pos),maskr(len)),len=0,31-pos),pos=0,31)]
  logical, parameter :: test3 = all(res3 == expect3)
end module