[llvm-bugs] [Bug 122823] [Flang] Compilation abnormally terminates when using concat-op as an argument to adjustr intrinsic function in where construct

[LLVM Bugs via llvm-bugs]

Issue	122823
Summary	[Flang] Compilation abnormally terminates when using concat-op as an argument to adjustr intrinsic function in where construct
Labels	flang:ir
Assignees
Reporter	ohno-fj

    ```
Version of flang : 20.0.0(f4230b4332262dffb0bd3b7a2f8d6deb2e96488e)/AArch64
```

When using `concat-op (//)` as an argument to `adjustr` intrinsic function in `where` construct, a compilation terminates abnormally (Lowering to LLVM IR failed). 
Compilation ends normally in the following cases:
- Use the `adjustr` intrinsic function outside `where` construct  
  The above program is `sngg4151_21.F`.
- Do not use `concat-op` in an argument of `adjustr` intrinsic function  
  The above program is `sngg4151_22.F`.

The following are the test program, Flang, Gfortran and ifx compilation/execution result.

sngg4151_20.F:
```fortran
      program main
      logical ,dimension(1):: mask=.true.
      character(len=2),dimension(1):: d1="a "
      character(len=4),dimension(1):: d4
        where (mask)
 d4=adjustr(d1//d1)
        end where
        write(6,*) "d4     =", d4
 end
```

```
$ flang sngg4151_20.F
error: loc("/work/home/ohno/CT/test/fort/tp/reproducerJ/MCS/wsf/sngg4151_20.F":6:11): 'fir.convert' op invalid type conversion'!fir.ref<!fir.char<1,4>>' / '!fir.boxchar<1>'
error: Lowering to LLVM IR failed
error: loc("/work/home/ohno/CT/test/fort/tp/reproducerJ/MCS/wsf/sngg4151_20.F":1:7): cannot be converted to LLVM IR: missing `LLVMTranslationDialectInterface` registration for dialect for op: func.func
error: failed to create the LLVM module
$
```

```
$ gfortran sngg4151_20.F; ./a.out
 d4     = a a
$
```

```
$ ifx sngg4151_20.F; ./a.out
 d4     = a a
$
```

sngg4151_21.F:
```fortran
      program main
      logical ,dimension(1):: mask=.true.
      character(len=2),dimension(1):: d1="a "
      character(len=4),dimension(1):: d4
!        where (mask)
 d4=adjustr(d1//d1)
!        end where
        write(6,*) "d4 =", d4
      end
```

```
$ flang sngg4151_21.F; ./a.out
 d4     = a a
$
```

sngg4151_22.F:
```fortran
      program main
      logical ,dimension(1):: mask=.true.
      character(len=2),dimension(1):: d1="a "
      character(len=4),dimension(1):: d4
        where (mask)
 d4=adjustr("a a ")
        end where
        write(6,*) "d4 =", d4
      end
```

```
$ flang sngg4151_22.F; ./a.out
 d4     = a a
$
```

_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs