<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/132646>132646</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [Flang] Incorrect execution results of max0 intrinsic function for various arguments
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            flang
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          ohno-fj
      </td>
    </tr>
</table>

<pre>
    ```
Version of flang : 21.0.0(3e6f618e86f5fbad2c2d5802416ec3d3366a2837)/AArch64
```

As in the attached program, when `max0 intrinsic function` is given 1, 2, and 8 byte in addition to `default integer (4 byte)`, the results of the function are all `default integer (4 byte)`.

`max0` is written as `accept more argument types than specified.` by:
```
https://github.com/llvm/llvm-project/blob/main/flang/docs/Extensions.md
Extensions, deletions, and legacy features supported by default
- Specific intrinsics AMAX0, AMAX1, AMIN0, AMIN1, DMAX1, DMIN1, MAX0, MAX1, MIN0, and MIN1
 accept more argument types than specified.
  They are replaced by the related generics followed by conversions to the specified result types.
```

Therefore, this program is correct.  
And it appears that flang does not support extended argument types.  
I have confirmed similar results only for min0.  
I haven't checked the other intrinsic functions. 


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

max0.f90:
```fortran
program main
  print *,kind(max0(1_1,2_1))
  print *,kind(max0(1_2,2_2))
  print *,kind(max0(1_4,2_4))
  print *,kind(max0(1_8,2_8))

  print *,kind(min0(1_1,2_1))
  print *,kind(min0(1_2,2_2))
  print *,kind(min0(1_4,2_4))
  print *,kind(min0(1_8,2_8))
end program main
```

```
$ flang max0.f90; ./a.out
 4
 4
 4
 4
 4
 4
 4
 4
$
```

```
$ gfortran max0.f90; ./a.out
           1
           2
 4
           8
           1
           2
           4
 8
$
```

```
$ ifx max0.f90; ./a.out
           1
           2
 4
           8
           1
           2
           4
 8
$
```

</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzMVkGPozgT_TXOpTTIMYTQhxyY6Y9Pfdi97Gi1t5WxC_CMsZFt0p1_v7KBTk92WpO-LYoIhlflV1WvbHPvVW8QT-TwmRwed3wOg3UnOxj7qfu2a628nEhJ1x-t_0TnlTVgO-g0Nz2QvAa2z2hGCatyLLtyX2FVdoeu5ZIJJg8VZcW-RJHLPC9Lzqr8SNgDYU1dOzGUBaH12xkIrWsPykAYEHgIXAwoYXK2d3wk7As8D2iAlHTkLxSUCU4ZrwR0sxFBWUNKCspDr85oYB8NWLxxI6GC9hIw-uZSqgiGYKMriR2fdYjesEcHhFVFwkaiJY32kY1DP-vgY_BxuM0I3CFwre_wlC0BruxXqs9OhYAGuI8euBA4BRhtdOr6eUQTIFwm9BAGbsBPKFSnUGbRvL2QvL7J4BDC5ONr1hDW9CoMc5sJOxLWaH3e_j5Nzn5DEQhrWm1bwpqRK0NYk-pKWCOt8IQ1_3sJaGLNfTZKQuvrOKZFosawDWKONfZcXKBDHmaHHvw8TdYFlNBeYM0OofUn-GOJQ1xL6KH-rf4rZTs-7JeHp9_p9pDePG6fHrc3m9H2YTOJdBKG1vCBrNIa4OuAl1RWh5PmYmG_SEDzGEyPBl2k3Fmt7fMCENacl_7wUVgR_-p3Fc8yZ_ZvzX8d0GFnHS5iU36TfFSIsM6hCBlA7A4jQQXg04TcJfph7UVp0YOxYUs6YKyVRHkT8uLnCQZ-xki6U25ECV6NSnN3lbnRF-isg1EZ-tbGEHYMIAYU31GmMG0Y0P2kGX0Gq-JThGu2lOlTcqNlQB_ednezqO8L_L-zLjhuUhlV9wLCjpPSPPU4a_AFxZy6b6G7dlZsq6x7oDddsfoitN6ymsQeSz05ZQIQVhP25bsykrAq9Sar9n9HObF4f4i_X6FZQrM70UVCF3eiq4SuXtHvGijzEeob-j7qG_o-6hv6ljqa1-V8q8JNL_wwZMWq7mtpP0NGWMMzO8elBIr7boT9ZKu5narfVPfubNdr_-OQvc52vapfW1yvZFvdyzS2xH-L5E6ecvmQP_AdnvbHgh2P-THPd8NJ8GNVHnOJ2FbYltghP3LBDmVFu7JibKdOjLIDzVnO8qI65FlFjwWv9iyn7RFFkZOC4siVzuLOlVnX75T3M572OSuLcqd5i9qnMwxj6_7F4nHGndJW1869JwXVygd_dRFU0Ongs6w5h0d4MutKC7fLS9r03zlxpDXyzJ2ys39daf1udvr04a04hRW33TWy84n9EwAA__-80tJm">