[fix] Fix fmin and fmax instrinsics
#753
| Job | Run time |
|---|---|
| 11m 7s | |
| 5m 46s | |
| 30m 39s | |
| 45m 31s | |
| 13m 29s | |
| 17m 26s | |
| 18m 27s | |
| 16m 0s | |
| 16m 28s | |
| 18m 6s | |
| 48m 35s | |
| 40m 30s | |
| 57m 33s | |
| 16m 13s | |
| 32m 59s | |
| 13m 22s | |
| 15m 53s | |
| 14m 44s | |
| 17m 2s | |
| 20m 59s | |
| 7h 50m 49s |