# RUN: llvm-mc %s -filetype=obj  -mattr=+ipu2 | \
# RUN: llvm-objdump -d --mcpu=ipu2 - | FileCheck %s

# This file is auto-generated. Do not edit.
# Generated by GenerateInsnTest.py.

# Test that we can objdump all variants of the `f32v2max` instruction
# declared in Isa.xml.

# CHECK: 07 02 00 58 f32v2max $a0:1, $a0:1, $a0:1
.int 0x58000207

# CHECK: 07 22 00 58 f32v2max $a0:1, $a0:1, $a2:3
.int 0x58002207

# CHECK: 07 42 00 58 f32v2max $a0:1, $a0:1, $a4:5
.int 0x58004207

# CHECK: 07 62 00 58 f32v2max $a0:1, $a0:1, $a6:7
.int 0x58006207

# CHECK: 07 82 00 58 f32v2max $a0:1, $a0:1, $a8:9
.int 0x58008207

# CHECK: 07 a2 00 58 f32v2max $a0:1, $a0:1, $a10:11
.int 0x5800a207

# CHECK: 07 c2 00 58 f32v2max $a0:1, $a0:1, $a12:13
.int 0x5800c207

# CHECK: 07 e2 00 58 f32v2max $a0:1, $a0:1, $a14:15
.int 0x5800e207

# CHECK: 07 02 20 58 f32v2max $a0:1, $a2:3, $a0:1
.int 0x58200207

# CHECK: 07 22 20 58 f32v2max $a0:1, $a2:3, $a2:3
.int 0x58202207

# CHECK: 07 42 20 58 f32v2max $a0:1, $a2:3, $a4:5
.int 0x58204207

# CHECK: 07 62 20 58 f32v2max $a0:1, $a2:3, $a6:7
.int 0x58206207

# CHECK: 07 82 20 58 f32v2max $a0:1, $a2:3, $a8:9
.int 0x58208207

# CHECK: 07 a2 20 58 f32v2max $a0:1, $a2:3, $a10:11
.int 0x5820a207

# CHECK: 07 c2 20 58 f32v2max $a0:1, $a2:3, $a12:13
.int 0x5820c207

# CHECK: 07 e2 20 58 f32v2max $a0:1, $a2:3, $a14:15
.int 0x5820e207

# CHECK: 07 02 40 58 f32v2max $a0:1, $a4:5, $a0:1
.int 0x58400207

# CHECK: 07 22 40 58 f32v2max $a0:1, $a4:5, $a2:3
.int 0x58402207

# CHECK: 07 42 40 58 f32v2max $a0:1, $a4:5, $a4:5
.int 0x58404207

# CHECK: 07 62 40 58 f32v2max $a0:1, $a4:5, $a6:7
.int 0x58406207

# CHECK: 07 82 40 58 f32v2max $a0:1, $a4:5, $a8:9
.int 0x58408207

# CHECK: 07 a2 40 58 f32v2max $a0:1, $a4:5, $a10:11
.int 0x5840a207

# CHECK: 07 c2 40 58 f32v2max $a0:1, $a4:5, $a12:13
.int 0x5840c207

# CHECK: 07 e2 40 58 f32v2max $a0:1, $a4:5, $a14:15
.int 0x5840e207

# CHECK: 07 02 60 58 f32v2max $a0:1, $a6:7, $a0:1
.int 0x58600207

# CHECK: 07 22 60 58 f32v2max $a0:1, $a6:7, $a2:3
.int 0x58602207

# CHECK: 07 42 60 58 f32v2max $a0:1, $a6:7, $a4:5
.int 0x58604207

# CHECK: 07 62 60 58 f32v2max $a0:1, $a6:7, $a6:7
.int 0x58606207

# CHECK: 07 82 60 58 f32v2max $a0:1, $a6:7, $a8:9
.int 0x58608207

# CHECK: 07 a2 60 58 f32v2max $a0:1, $a6:7, $a10:11
.int 0x5860a207

# CHECK: 07 c2 60 58 f32v2max $a0:1, $a6:7, $a12:13
.int 0x5860c207

# CHECK: 07 e2 60 58 f32v2max $a0:1, $a6:7, $a14:15
.int 0x5860e207

# CHECK: 07 02 80 58 f32v2max $a0:1, $a8:9, $a0:1
.int 0x58800207

# CHECK: 07 22 80 58 f32v2max $a0:1, $a8:9, $a2:3
.int 0x58802207

# CHECK: 07 42 80 58 f32v2max $a0:1, $a8:9, $a4:5
.int 0x58804207

# CHECK: 07 62 80 58 f32v2max $a0:1, $a8:9, $a6:7
.int 0x58806207

# CHECK: 07 82 80 58 f32v2max $a0:1, $a8:9, $a8:9
.int 0x58808207

# CHECK: 07 a2 80 58 f32v2max $a0:1, $a8:9, $a10:11
.int 0x5880a207

# CHECK: 07 c2 80 58 f32v2max $a0:1, $a8:9, $a12:13
.int 0x5880c207

# CHECK: 07 e2 80 58 f32v2max $a0:1, $a8:9, $a14:15
.int 0x5880e207

# CHECK: 07 02 a0 58 f32v2max $a0:1, $a10:11, $a0:1
.int 0x58a00207

# CHECK: 07 22 a0 58 f32v2max $a0:1, $a10:11, $a2:3
.int 0x58a02207

# CHECK: 07 42 a0 58 f32v2max $a0:1, $a10:11, $a4:5
.int 0x58a04207

# CHECK: 07 62 a0 58 f32v2max $a0:1, $a10:11, $a6:7
.int 0x58a06207

# CHECK: 07 82 a0 58 f32v2max $a0:1, $a10:11, $a8:9
.int 0x58a08207

# CHECK: 07 a2 a0 58 f32v2max $a0:1, $a10:11, $a10:11
.int 0x58a0a207

# CHECK: 07 c2 a0 58 f32v2max $a0:1, $a10:11, $a12:13
.int 0x58a0c207

# CHECK: 07 e2 a0 58 f32v2max $a0:1, $a10:11, $a14:15
.int 0x58a0e207

# CHECK: 07 02 c0 58 f32v2max $a0:1, $a12:13, $a0:1
.int 0x58c00207

# CHECK: 07 22 c0 58 f32v2max $a0:1, $a12:13, $a2:3
.int 0x58c02207

# CHECK: 07 42 c0 58 f32v2max $a0:1, $a12:13, $a4:5
.int 0x58c04207

# CHECK: 07 62 c0 58 f32v2max $a0:1, $a12:13, $a6:7
.int 0x58c06207

# CHECK: 07 82 c0 58 f32v2max $a0:1, $a12:13, $a8:9
.int 0x58c08207

# CHECK: 07 a2 c0 58 f32v2max $a0:1, $a12:13, $a10:11
.int 0x58c0a207

# CHECK: 07 c2 c0 58 f32v2max $a0:1, $a12:13, $a12:13
.int 0x58c0c207

# CHECK: 07 e2 c0 58 f32v2max $a0:1, $a12:13, $a14:15
.int 0x58c0e207

# CHECK: 07 02 e0 58 f32v2max $a0:1, $a14:15, $a0:1
.int 0x58e00207

# CHECK: 07 22 e0 58 f32v2max $a0:1, $a14:15, $a2:3
.int 0x58e02207

# CHECK: 07 42 e0 58 f32v2max $a0:1, $a14:15, $a4:5
.int 0x58e04207

# CHECK: 07 62 e0 58 f32v2max $a0:1, $a14:15, $a6:7
.int 0x58e06207

# CHECK: 07 82 e0 58 f32v2max $a0:1, $a14:15, $a8:9
.int 0x58e08207

# CHECK: 07 a2 e0 58 f32v2max $a0:1, $a14:15, $a10:11
.int 0x58e0a207

# CHECK: 07 c2 e0 58 f32v2max $a0:1, $a14:15, $a12:13
.int 0x58e0c207

# CHECK: 07 e2 e0 58 f32v2max $a0:1, $a14:15, $a14:15
.int 0x58e0e207

# CHECK: 27 02 00 58 f32v2max $a2:3, $a0:1, $a0:1
.int 0x58000227

# CHECK: 27 22 00 58 f32v2max $a2:3, $a0:1, $a2:3
.int 0x58002227

# CHECK: 27 42 00 58 f32v2max $a2:3, $a0:1, $a4:5
.int 0x58004227

# CHECK: 27 62 00 58 f32v2max $a2:3, $a0:1, $a6:7
.int 0x58006227

# CHECK: 27 82 00 58 f32v2max $a2:3, $a0:1, $a8:9
.int 0x58008227

# CHECK: 27 a2 00 58 f32v2max $a2:3, $a0:1, $a10:11
.int 0x5800a227

# CHECK: 27 c2 00 58 f32v2max $a2:3, $a0:1, $a12:13
.int 0x5800c227

# CHECK: 27 e2 00 58 f32v2max $a2:3, $a0:1, $a14:15
.int 0x5800e227

# CHECK: 27 02 20 58 f32v2max $a2:3, $a2:3, $a0:1
.int 0x58200227

# CHECK: 27 22 20 58 f32v2max $a2:3, $a2:3, $a2:3
.int 0x58202227

# CHECK: 27 42 20 58 f32v2max $a2:3, $a2:3, $a4:5
.int 0x58204227

# CHECK: 27 62 20 58 f32v2max $a2:3, $a2:3, $a6:7
.int 0x58206227

# CHECK: 27 82 20 58 f32v2max $a2:3, $a2:3, $a8:9
.int 0x58208227

# CHECK: 27 a2 20 58 f32v2max $a2:3, $a2:3, $a10:11
.int 0x5820a227

# CHECK: 27 c2 20 58 f32v2max $a2:3, $a2:3, $a12:13
.int 0x5820c227

# CHECK: 27 e2 20 58 f32v2max $a2:3, $a2:3, $a14:15
.int 0x5820e227

# CHECK: 27 02 40 58 f32v2max $a2:3, $a4:5, $a0:1
.int 0x58400227

# CHECK: 27 22 40 58 f32v2max $a2:3, $a4:5, $a2:3
.int 0x58402227

# CHECK: 27 42 40 58 f32v2max $a2:3, $a4:5, $a4:5
.int 0x58404227

# CHECK: 27 62 40 58 f32v2max $a2:3, $a4:5, $a6:7
.int 0x58406227

# CHECK: 27 82 40 58 f32v2max $a2:3, $a4:5, $a8:9
.int 0x58408227

# CHECK: 27 a2 40 58 f32v2max $a2:3, $a4:5, $a10:11
.int 0x5840a227

# CHECK: 27 c2 40 58 f32v2max $a2:3, $a4:5, $a12:13
.int 0x5840c227

# CHECK: 27 e2 40 58 f32v2max $a2:3, $a4:5, $a14:15
.int 0x5840e227

# CHECK: 27 02 60 58 f32v2max $a2:3, $a6:7, $a0:1
.int 0x58600227

# CHECK: 27 22 60 58 f32v2max $a2:3, $a6:7, $a2:3
.int 0x58602227

# CHECK: 27 42 60 58 f32v2max $a2:3, $a6:7, $a4:5
.int 0x58604227

# CHECK: 27 62 60 58 f32v2max $a2:3, $a6:7, $a6:7
.int 0x58606227

# CHECK: 27 82 60 58 f32v2max $a2:3, $a6:7, $a8:9
.int 0x58608227

# CHECK: 27 a2 60 58 f32v2max $a2:3, $a6:7, $a10:11
.int 0x5860a227

# CHECK: 27 c2 60 58 f32v2max $a2:3, $a6:7, $a12:13
.int 0x5860c227

# CHECK: 27 e2 60 58 f32v2max $a2:3, $a6:7, $a14:15
.int 0x5860e227

# CHECK: 27 02 80 58 f32v2max $a2:3, $a8:9, $a0:1
.int 0x58800227

# CHECK: 27 22 80 58 f32v2max $a2:3, $a8:9, $a2:3
.int 0x58802227

# CHECK: 27 42 80 58 f32v2max $a2:3, $a8:9, $a4:5
.int 0x58804227

# CHECK: 27 62 80 58 f32v2max $a2:3, $a8:9, $a6:7
.int 0x58806227

# CHECK: 27 82 80 58 f32v2max $a2:3, $a8:9, $a8:9
.int 0x58808227

# CHECK: 27 a2 80 58 f32v2max $a2:3, $a8:9, $a10:11
.int 0x5880a227

# CHECK: 27 c2 80 58 f32v2max $a2:3, $a8:9, $a12:13
.int 0x5880c227

# CHECK: 27 e2 80 58 f32v2max $a2:3, $a8:9, $a14:15
.int 0x5880e227

# CHECK: 27 02 a0 58 f32v2max $a2:3, $a10:11, $a0:1
.int 0x58a00227

# CHECK: 27 22 a0 58 f32v2max $a2:3, $a10:11, $a2:3
.int 0x58a02227

# CHECK: 27 42 a0 58 f32v2max $a2:3, $a10:11, $a4:5
.int 0x58a04227

# CHECK: 27 62 a0 58 f32v2max $a2:3, $a10:11, $a6:7
.int 0x58a06227

# CHECK: 27 82 a0 58 f32v2max $a2:3, $a10:11, $a8:9
.int 0x58a08227

# CHECK: 27 a2 a0 58 f32v2max $a2:3, $a10:11, $a10:11
.int 0x58a0a227

# CHECK: 27 c2 a0 58 f32v2max $a2:3, $a10:11, $a12:13
.int 0x58a0c227

# CHECK: 27 e2 a0 58 f32v2max $a2:3, $a10:11, $a14:15
.int 0x58a0e227

# CHECK: 27 02 c0 58 f32v2max $a2:3, $a12:13, $a0:1
.int 0x58c00227

# CHECK: 27 22 c0 58 f32v2max $a2:3, $a12:13, $a2:3
.int 0x58c02227

# CHECK: 27 42 c0 58 f32v2max $a2:3, $a12:13, $a4:5
.int 0x58c04227

# CHECK: 27 62 c0 58 f32v2max $a2:3, $a12:13, $a6:7
.int 0x58c06227

# CHECK: 27 82 c0 58 f32v2max $a2:3, $a12:13, $a8:9
.int 0x58c08227

# CHECK: 27 a2 c0 58 f32v2max $a2:3, $a12:13, $a10:11
.int 0x58c0a227

# CHECK: 27 c2 c0 58 f32v2max $a2:3, $a12:13, $a12:13
.int 0x58c0c227

# CHECK: 27 e2 c0 58 f32v2max $a2:3, $a12:13, $a14:15
.int 0x58c0e227

# CHECK: 27 02 e0 58 f32v2max $a2:3, $a14:15, $a0:1
.int 0x58e00227

# CHECK: 27 22 e0 58 f32v2max $a2:3, $a14:15, $a2:3
.int 0x58e02227

# CHECK: 27 42 e0 58 f32v2max $a2:3, $a14:15, $a4:5
.int 0x58e04227

# CHECK: 27 62 e0 58 f32v2max $a2:3, $a14:15, $a6:7
.int 0x58e06227

# CHECK: 27 82 e0 58 f32v2max $a2:3, $a14:15, $a8:9
.int 0x58e08227

# CHECK: 27 a2 e0 58 f32v2max $a2:3, $a14:15, $a10:11
.int 0x58e0a227

# CHECK: 27 c2 e0 58 f32v2max $a2:3, $a14:15, $a12:13
.int 0x58e0c227

# CHECK: 27 e2 e0 58 f32v2max $a2:3, $a14:15, $a14:15
.int 0x58e0e227

# CHECK: 47 02 00 58 f32v2max $a4:5, $a0:1, $a0:1
.int 0x58000247

# CHECK: 47 22 00 58 f32v2max $a4:5, $a0:1, $a2:3
.int 0x58002247

# CHECK: 47 42 00 58 f32v2max $a4:5, $a0:1, $a4:5
.int 0x58004247

# CHECK: 47 62 00 58 f32v2max $a4:5, $a0:1, $a6:7
.int 0x58006247

# CHECK: 47 82 00 58 f32v2max $a4:5, $a0:1, $a8:9
.int 0x58008247

# CHECK: 47 a2 00 58 f32v2max $a4:5, $a0:1, $a10:11
.int 0x5800a247

# CHECK: 47 c2 00 58 f32v2max $a4:5, $a0:1, $a12:13
.int 0x5800c247

# CHECK: 47 e2 00 58 f32v2max $a4:5, $a0:1, $a14:15
.int 0x5800e247

# CHECK: 47 02 20 58 f32v2max $a4:5, $a2:3, $a0:1
.int 0x58200247

# CHECK: 47 22 20 58 f32v2max $a4:5, $a2:3, $a2:3
.int 0x58202247

# CHECK: 47 42 20 58 f32v2max $a4:5, $a2:3, $a4:5
.int 0x58204247

# CHECK: 47 62 20 58 f32v2max $a4:5, $a2:3, $a6:7
.int 0x58206247

# CHECK: 47 82 20 58 f32v2max $a4:5, $a2:3, $a8:9
.int 0x58208247

# CHECK: 47 a2 20 58 f32v2max $a4:5, $a2:3, $a10:11
.int 0x5820a247

# CHECK: 47 c2 20 58 f32v2max $a4:5, $a2:3, $a12:13
.int 0x5820c247

# CHECK: 47 e2 20 58 f32v2max $a4:5, $a2:3, $a14:15
.int 0x5820e247

# CHECK: 47 02 40 58 f32v2max $a4:5, $a4:5, $a0:1
.int 0x58400247

# CHECK: 47 22 40 58 f32v2max $a4:5, $a4:5, $a2:3
.int 0x58402247

# CHECK: 47 42 40 58 f32v2max $a4:5, $a4:5, $a4:5
.int 0x58404247

# CHECK: 47 62 40 58 f32v2max $a4:5, $a4:5, $a6:7
.int 0x58406247

# CHECK: 47 82 40 58 f32v2max $a4:5, $a4:5, $a8:9
.int 0x58408247

# CHECK: 47 a2 40 58 f32v2max $a4:5, $a4:5, $a10:11
.int 0x5840a247

# CHECK: 47 c2 40 58 f32v2max $a4:5, $a4:5, $a12:13
.int 0x5840c247

# CHECK: 47 e2 40 58 f32v2max $a4:5, $a4:5, $a14:15
.int 0x5840e247

# CHECK: 47 02 60 58 f32v2max $a4:5, $a6:7, $a0:1
.int 0x58600247

# CHECK: 47 22 60 58 f32v2max $a4:5, $a6:7, $a2:3
.int 0x58602247

# CHECK: 47 42 60 58 f32v2max $a4:5, $a6:7, $a4:5
.int 0x58604247

# CHECK: 47 62 60 58 f32v2max $a4:5, $a6:7, $a6:7
.int 0x58606247

# CHECK: 47 82 60 58 f32v2max $a4:5, $a6:7, $a8:9
.int 0x58608247

# CHECK: 47 a2 60 58 f32v2max $a4:5, $a6:7, $a10:11
.int 0x5860a247

# CHECK: 47 c2 60 58 f32v2max $a4:5, $a6:7, $a12:13
.int 0x5860c247

# CHECK: 47 e2 60 58 f32v2max $a4:5, $a6:7, $a14:15
.int 0x5860e247

# CHECK: 47 02 80 58 f32v2max $a4:5, $a8:9, $a0:1
.int 0x58800247

# CHECK: 47 22 80 58 f32v2max $a4:5, $a8:9, $a2:3
.int 0x58802247

# CHECK: 47 42 80 58 f32v2max $a4:5, $a8:9, $a4:5
.int 0x58804247

# CHECK: 47 62 80 58 f32v2max $a4:5, $a8:9, $a6:7
.int 0x58806247

# CHECK: 47 82 80 58 f32v2max $a4:5, $a8:9, $a8:9
.int 0x58808247

# CHECK: 47 a2 80 58 f32v2max $a4:5, $a8:9, $a10:11
.int 0x5880a247

# CHECK: 47 c2 80 58 f32v2max $a4:5, $a8:9, $a12:13
.int 0x5880c247

# CHECK: 47 e2 80 58 f32v2max $a4:5, $a8:9, $a14:15
.int 0x5880e247

# CHECK: 47 02 a0 58 f32v2max $a4:5, $a10:11, $a0:1
.int 0x58a00247

# CHECK: 47 22 a0 58 f32v2max $a4:5, $a10:11, $a2:3
.int 0x58a02247

# CHECK: 47 42 a0 58 f32v2max $a4:5, $a10:11, $a4:5
.int 0x58a04247

# CHECK: 47 62 a0 58 f32v2max $a4:5, $a10:11, $a6:7
.int 0x58a06247

# CHECK: 47 82 a0 58 f32v2max $a4:5, $a10:11, $a8:9
.int 0x58a08247

# CHECK: 47 a2 a0 58 f32v2max $a4:5, $a10:11, $a10:11
.int 0x58a0a247

# CHECK: 47 c2 a0 58 f32v2max $a4:5, $a10:11, $a12:13
.int 0x58a0c247

# CHECK: 47 e2 a0 58 f32v2max $a4:5, $a10:11, $a14:15
.int 0x58a0e247

# CHECK: 47 02 c0 58 f32v2max $a4:5, $a12:13, $a0:1
.int 0x58c00247

# CHECK: 47 22 c0 58 f32v2max $a4:5, $a12:13, $a2:3
.int 0x58c02247

# CHECK: 47 42 c0 58 f32v2max $a4:5, $a12:13, $a4:5
.int 0x58c04247

# CHECK: 47 62 c0 58 f32v2max $a4:5, $a12:13, $a6:7
.int 0x58c06247

# CHECK: 47 82 c0 58 f32v2max $a4:5, $a12:13, $a8:9
.int 0x58c08247

# CHECK: 47 a2 c0 58 f32v2max $a4:5, $a12:13, $a10:11
.int 0x58c0a247

# CHECK: 47 c2 c0 58 f32v2max $a4:5, $a12:13, $a12:13
.int 0x58c0c247

# CHECK: 47 e2 c0 58 f32v2max $a4:5, $a12:13, $a14:15
.int 0x58c0e247

# CHECK: 47 02 e0 58 f32v2max $a4:5, $a14:15, $a0:1
.int 0x58e00247

# CHECK: 47 22 e0 58 f32v2max $a4:5, $a14:15, $a2:3
.int 0x58e02247

# CHECK: 47 42 e0 58 f32v2max $a4:5, $a14:15, $a4:5
.int 0x58e04247

# CHECK: 47 62 e0 58 f32v2max $a4:5, $a14:15, $a6:7
.int 0x58e06247

# CHECK: 47 82 e0 58 f32v2max $a4:5, $a14:15, $a8:9
.int 0x58e08247

# CHECK: 47 a2 e0 58 f32v2max $a4:5, $a14:15, $a10:11
.int 0x58e0a247

# CHECK: 47 c2 e0 58 f32v2max $a4:5, $a14:15, $a12:13
.int 0x58e0c247

# CHECK: 47 e2 e0 58 f32v2max $a4:5, $a14:15, $a14:15
.int 0x58e0e247

# CHECK: 67 02 00 58 f32v2max $a6:7, $a0:1, $a0:1
.int 0x58000267

# CHECK: 67 22 00 58 f32v2max $a6:7, $a0:1, $a2:3
.int 0x58002267

# CHECK: 67 42 00 58 f32v2max $a6:7, $a0:1, $a4:5
.int 0x58004267

# CHECK: 67 62 00 58 f32v2max $a6:7, $a0:1, $a6:7
.int 0x58006267

# CHECK: 67 82 00 58 f32v2max $a6:7, $a0:1, $a8:9
.int 0x58008267

# CHECK: 67 a2 00 58 f32v2max $a6:7, $a0:1, $a10:11
.int 0x5800a267

# CHECK: 67 c2 00 58 f32v2max $a6:7, $a0:1, $a12:13
.int 0x5800c267

# CHECK: 67 e2 00 58 f32v2max $a6:7, $a0:1, $a14:15
.int 0x5800e267

# CHECK: 67 02 20 58 f32v2max $a6:7, $a2:3, $a0:1
.int 0x58200267

# CHECK: 67 22 20 58 f32v2max $a6:7, $a2:3, $a2:3
.int 0x58202267

# CHECK: 67 42 20 58 f32v2max $a6:7, $a2:3, $a4:5
.int 0x58204267

# CHECK: 67 62 20 58 f32v2max $a6:7, $a2:3, $a6:7
.int 0x58206267

# CHECK: 67 82 20 58 f32v2max $a6:7, $a2:3, $a8:9
.int 0x58208267

# CHECK: 67 a2 20 58 f32v2max $a6:7, $a2:3, $a10:11
.int 0x5820a267

# CHECK: 67 c2 20 58 f32v2max $a6:7, $a2:3, $a12:13
.int 0x5820c267

# CHECK: 67 e2 20 58 f32v2max $a6:7, $a2:3, $a14:15
.int 0x5820e267

# CHECK: 67 02 40 58 f32v2max $a6:7, $a4:5, $a0:1
.int 0x58400267

# CHECK: 67 22 40 58 f32v2max $a6:7, $a4:5, $a2:3
.int 0x58402267

# CHECK: 67 42 40 58 f32v2max $a6:7, $a4:5, $a4:5
.int 0x58404267

# CHECK: 67 62 40 58 f32v2max $a6:7, $a4:5, $a6:7
.int 0x58406267

# CHECK: 67 82 40 58 f32v2max $a6:7, $a4:5, $a8:9
.int 0x58408267

# CHECK: 67 a2 40 58 f32v2max $a6:7, $a4:5, $a10:11
.int 0x5840a267

# CHECK: 67 c2 40 58 f32v2max $a6:7, $a4:5, $a12:13
.int 0x5840c267

# CHECK: 67 e2 40 58 f32v2max $a6:7, $a4:5, $a14:15
.int 0x5840e267

# CHECK: 67 02 60 58 f32v2max $a6:7, $a6:7, $a0:1
.int 0x58600267

# CHECK: 67 22 60 58 f32v2max $a6:7, $a6:7, $a2:3
.int 0x58602267

# CHECK: 67 42 60 58 f32v2max $a6:7, $a6:7, $a4:5
.int 0x58604267

# CHECK: 67 62 60 58 f32v2max $a6:7, $a6:7, $a6:7
.int 0x58606267

# CHECK: 67 82 60 58 f32v2max $a6:7, $a6:7, $a8:9
.int 0x58608267

# CHECK: 67 a2 60 58 f32v2max $a6:7, $a6:7, $a10:11
.int 0x5860a267

# CHECK: 67 c2 60 58 f32v2max $a6:7, $a6:7, $a12:13
.int 0x5860c267

# CHECK: 67 e2 60 58 f32v2max $a6:7, $a6:7, $a14:15
.int 0x5860e267

# CHECK: 67 02 80 58 f32v2max $a6:7, $a8:9, $a0:1
.int 0x58800267

# CHECK: 67 22 80 58 f32v2max $a6:7, $a8:9, $a2:3
.int 0x58802267

# CHECK: 67 42 80 58 f32v2max $a6:7, $a8:9, $a4:5
.int 0x58804267

# CHECK: 67 62 80 58 f32v2max $a6:7, $a8:9, $a6:7
.int 0x58806267

# CHECK: 67 82 80 58 f32v2max $a6:7, $a8:9, $a8:9
.int 0x58808267

# CHECK: 67 a2 80 58 f32v2max $a6:7, $a8:9, $a10:11
.int 0x5880a267

# CHECK: 67 c2 80 58 f32v2max $a6:7, $a8:9, $a12:13
.int 0x5880c267

# CHECK: 67 e2 80 58 f32v2max $a6:7, $a8:9, $a14:15
.int 0x5880e267

# CHECK: 67 02 a0 58 f32v2max $a6:7, $a10:11, $a0:1
.int 0x58a00267

# CHECK: 67 22 a0 58 f32v2max $a6:7, $a10:11, $a2:3
.int 0x58a02267

# CHECK: 67 42 a0 58 f32v2max $a6:7, $a10:11, $a4:5
.int 0x58a04267

# CHECK: 67 62 a0 58 f32v2max $a6:7, $a10:11, $a6:7
.int 0x58a06267

# CHECK: 67 82 a0 58 f32v2max $a6:7, $a10:11, $a8:9
.int 0x58a08267

# CHECK: 67 a2 a0 58 f32v2max $a6:7, $a10:11, $a10:11
.int 0x58a0a267

# CHECK: 67 c2 a0 58 f32v2max $a6:7, $a10:11, $a12:13
.int 0x58a0c267

# CHECK: 67 e2 a0 58 f32v2max $a6:7, $a10:11, $a14:15
.int 0x58a0e267

# CHECK: 67 02 c0 58 f32v2max $a6:7, $a12:13, $a0:1
.int 0x58c00267

# CHECK: 67 22 c0 58 f32v2max $a6:7, $a12:13, $a2:3
.int 0x58c02267

# CHECK: 67 42 c0 58 f32v2max $a6:7, $a12:13, $a4:5
.int 0x58c04267

# CHECK: 67 62 c0 58 f32v2max $a6:7, $a12:13, $a6:7
.int 0x58c06267

# CHECK: 67 82 c0 58 f32v2max $a6:7, $a12:13, $a8:9
.int 0x58c08267

# CHECK: 67 a2 c0 58 f32v2max $a6:7, $a12:13, $a10:11
.int 0x58c0a267

# CHECK: 67 c2 c0 58 f32v2max $a6:7, $a12:13, $a12:13
.int 0x58c0c267

# CHECK: 67 e2 c0 58 f32v2max $a6:7, $a12:13, $a14:15
.int 0x58c0e267

# CHECK: 67 02 e0 58 f32v2max $a6:7, $a14:15, $a0:1
.int 0x58e00267

# CHECK: 67 22 e0 58 f32v2max $a6:7, $a14:15, $a2:3
.int 0x58e02267

# CHECK: 67 42 e0 58 f32v2max $a6:7, $a14:15, $a4:5
.int 0x58e04267

# CHECK: 67 62 e0 58 f32v2max $a6:7, $a14:15, $a6:7
.int 0x58e06267

# CHECK: 67 82 e0 58 f32v2max $a6:7, $a14:15, $a8:9
.int 0x58e08267

# CHECK: 67 a2 e0 58 f32v2max $a6:7, $a14:15, $a10:11
.int 0x58e0a267

# CHECK: 67 c2 e0 58 f32v2max $a6:7, $a14:15, $a12:13
.int 0x58e0c267

# CHECK: 67 e2 e0 58 f32v2max $a6:7, $a14:15, $a14:15
.int 0x58e0e267

# CHECK: 87 02 00 58 f32v2max $a8:9, $a0:1, $a0:1
.int 0x58000287

# CHECK: 87 22 00 58 f32v2max $a8:9, $a0:1, $a2:3
.int 0x58002287

# CHECK: 87 42 00 58 f32v2max $a8:9, $a0:1, $a4:5
.int 0x58004287

# CHECK: 87 62 00 58 f32v2max $a8:9, $a0:1, $a6:7
.int 0x58006287

# CHECK: 87 82 00 58 f32v2max $a8:9, $a0:1, $a8:9
.int 0x58008287

# CHECK: 87 a2 00 58 f32v2max $a8:9, $a0:1, $a10:11
.int 0x5800a287

# CHECK: 87 c2 00 58 f32v2max $a8:9, $a0:1, $a12:13
.int 0x5800c287

# CHECK: 87 e2 00 58 f32v2max $a8:9, $a0:1, $a14:15
.int 0x5800e287

# CHECK: 87 02 20 58 f32v2max $a8:9, $a2:3, $a0:1
.int 0x58200287

# CHECK: 87 22 20 58 f32v2max $a8:9, $a2:3, $a2:3
.int 0x58202287

# CHECK: 87 42 20 58 f32v2max $a8:9, $a2:3, $a4:5
.int 0x58204287

# CHECK: 87 62 20 58 f32v2max $a8:9, $a2:3, $a6:7
.int 0x58206287

# CHECK: 87 82 20 58 f32v2max $a8:9, $a2:3, $a8:9
.int 0x58208287

# CHECK: 87 a2 20 58 f32v2max $a8:9, $a2:3, $a10:11
.int 0x5820a287

# CHECK: 87 c2 20 58 f32v2max $a8:9, $a2:3, $a12:13
.int 0x5820c287

# CHECK: 87 e2 20 58 f32v2max $a8:9, $a2:3, $a14:15
.int 0x5820e287

# CHECK: 87 02 40 58 f32v2max $a8:9, $a4:5, $a0:1
.int 0x58400287

# CHECK: 87 22 40 58 f32v2max $a8:9, $a4:5, $a2:3
.int 0x58402287

# CHECK: 87 42 40 58 f32v2max $a8:9, $a4:5, $a4:5
.int 0x58404287

# CHECK: 87 62 40 58 f32v2max $a8:9, $a4:5, $a6:7
.int 0x58406287

# CHECK: 87 82 40 58 f32v2max $a8:9, $a4:5, $a8:9
.int 0x58408287

# CHECK: 87 a2 40 58 f32v2max $a8:9, $a4:5, $a10:11
.int 0x5840a287

# CHECK: 87 c2 40 58 f32v2max $a8:9, $a4:5, $a12:13
.int 0x5840c287

# CHECK: 87 e2 40 58 f32v2max $a8:9, $a4:5, $a14:15
.int 0x5840e287

# CHECK: 87 02 60 58 f32v2max $a8:9, $a6:7, $a0:1
.int 0x58600287

# CHECK: 87 22 60 58 f32v2max $a8:9, $a6:7, $a2:3
.int 0x58602287

# CHECK: 87 42 60 58 f32v2max $a8:9, $a6:7, $a4:5
.int 0x58604287

# CHECK: 87 62 60 58 f32v2max $a8:9, $a6:7, $a6:7
.int 0x58606287

# CHECK: 87 82 60 58 f32v2max $a8:9, $a6:7, $a8:9
.int 0x58608287

# CHECK: 87 a2 60 58 f32v2max $a8:9, $a6:7, $a10:11
.int 0x5860a287

# CHECK: 87 c2 60 58 f32v2max $a8:9, $a6:7, $a12:13
.int 0x5860c287

# CHECK: 87 e2 60 58 f32v2max $a8:9, $a6:7, $a14:15
.int 0x5860e287

# CHECK: 87 02 80 58 f32v2max $a8:9, $a8:9, $a0:1
.int 0x58800287

# CHECK: 87 22 80 58 f32v2max $a8:9, $a8:9, $a2:3
.int 0x58802287

# CHECK: 87 42 80 58 f32v2max $a8:9, $a8:9, $a4:5
.int 0x58804287

# CHECK: 87 62 80 58 f32v2max $a8:9, $a8:9, $a6:7
.int 0x58806287

# CHECK: 87 82 80 58 f32v2max $a8:9, $a8:9, $a8:9
.int 0x58808287

# CHECK: 87 a2 80 58 f32v2max $a8:9, $a8:9, $a10:11
.int 0x5880a287

# CHECK: 87 c2 80 58 f32v2max $a8:9, $a8:9, $a12:13
.int 0x5880c287

# CHECK: 87 e2 80 58 f32v2max $a8:9, $a8:9, $a14:15
.int 0x5880e287

# CHECK: 87 02 a0 58 f32v2max $a8:9, $a10:11, $a0:1
.int 0x58a00287

# CHECK: 87 22 a0 58 f32v2max $a8:9, $a10:11, $a2:3
.int 0x58a02287

# CHECK: 87 42 a0 58 f32v2max $a8:9, $a10:11, $a4:5
.int 0x58a04287

# CHECK: 87 62 a0 58 f32v2max $a8:9, $a10:11, $a6:7
.int 0x58a06287

# CHECK: 87 82 a0 58 f32v2max $a8:9, $a10:11, $a8:9
.int 0x58a08287

# CHECK: 87 a2 a0 58 f32v2max $a8:9, $a10:11, $a10:11
.int 0x58a0a287

# CHECK: 87 c2 a0 58 f32v2max $a8:9, $a10:11, $a12:13
.int 0x58a0c287

# CHECK: 87 e2 a0 58 f32v2max $a8:9, $a10:11, $a14:15
.int 0x58a0e287

# CHECK: 87 02 c0 58 f32v2max $a8:9, $a12:13, $a0:1
.int 0x58c00287

# CHECK: 87 22 c0 58 f32v2max $a8:9, $a12:13, $a2:3
.int 0x58c02287

# CHECK: 87 42 c0 58 f32v2max $a8:9, $a12:13, $a4:5
.int 0x58c04287

# CHECK: 87 62 c0 58 f32v2max $a8:9, $a12:13, $a6:7
.int 0x58c06287

# CHECK: 87 82 c0 58 f32v2max $a8:9, $a12:13, $a8:9
.int 0x58c08287

# CHECK: 87 a2 c0 58 f32v2max $a8:9, $a12:13, $a10:11
.int 0x58c0a287

# CHECK: 87 c2 c0 58 f32v2max $a8:9, $a12:13, $a12:13
.int 0x58c0c287

# CHECK: 87 e2 c0 58 f32v2max $a8:9, $a12:13, $a14:15
.int 0x58c0e287

# CHECK: 87 02 e0 58 f32v2max $a8:9, $a14:15, $a0:1
.int 0x58e00287

# CHECK: 87 22 e0 58 f32v2max $a8:9, $a14:15, $a2:3
.int 0x58e02287

# CHECK: 87 42 e0 58 f32v2max $a8:9, $a14:15, $a4:5
.int 0x58e04287

# CHECK: 87 62 e0 58 f32v2max $a8:9, $a14:15, $a6:7
.int 0x58e06287

# CHECK: 87 82 e0 58 f32v2max $a8:9, $a14:15, $a8:9
.int 0x58e08287

# CHECK: 87 a2 e0 58 f32v2max $a8:9, $a14:15, $a10:11
.int 0x58e0a287

# CHECK: 87 c2 e0 58 f32v2max $a8:9, $a14:15, $a12:13
.int 0x58e0c287

# CHECK: 87 e2 e0 58 f32v2max $a8:9, $a14:15, $a14:15
.int 0x58e0e287

# CHECK: a7 02 00 58 f32v2max $a10:11, $a0:1, $a0:1
.int 0x580002a7

# CHECK: a7 22 00 58 f32v2max $a10:11, $a0:1, $a2:3
.int 0x580022a7

# CHECK: a7 42 00 58 f32v2max $a10:11, $a0:1, $a4:5
.int 0x580042a7

# CHECK: a7 62 00 58 f32v2max $a10:11, $a0:1, $a6:7
.int 0x580062a7

# CHECK: a7 82 00 58 f32v2max $a10:11, $a0:1, $a8:9
.int 0x580082a7

# CHECK: a7 a2 00 58 f32v2max $a10:11, $a0:1, $a10:11
.int 0x5800a2a7

# CHECK: a7 c2 00 58 f32v2max $a10:11, $a0:1, $a12:13
.int 0x5800c2a7

# CHECK: a7 e2 00 58 f32v2max $a10:11, $a0:1, $a14:15
.int 0x5800e2a7

# CHECK: a7 02 20 58 f32v2max $a10:11, $a2:3, $a0:1
.int 0x582002a7

# CHECK: a7 22 20 58 f32v2max $a10:11, $a2:3, $a2:3
.int 0x582022a7

# CHECK: a7 42 20 58 f32v2max $a10:11, $a2:3, $a4:5
.int 0x582042a7

# CHECK: a7 62 20 58 f32v2max $a10:11, $a2:3, $a6:7
.int 0x582062a7

# CHECK: a7 82 20 58 f32v2max $a10:11, $a2:3, $a8:9
.int 0x582082a7

# CHECK: a7 a2 20 58 f32v2max $a10:11, $a2:3, $a10:11
.int 0x5820a2a7

# CHECK: a7 c2 20 58 f32v2max $a10:11, $a2:3, $a12:13
.int 0x5820c2a7

# CHECK: a7 e2 20 58 f32v2max $a10:11, $a2:3, $a14:15
.int 0x5820e2a7

# CHECK: a7 02 40 58 f32v2max $a10:11, $a4:5, $a0:1
.int 0x584002a7

# CHECK: a7 22 40 58 f32v2max $a10:11, $a4:5, $a2:3
.int 0x584022a7

# CHECK: a7 42 40 58 f32v2max $a10:11, $a4:5, $a4:5
.int 0x584042a7

# CHECK: a7 62 40 58 f32v2max $a10:11, $a4:5, $a6:7
.int 0x584062a7

# CHECK: a7 82 40 58 f32v2max $a10:11, $a4:5, $a8:9
.int 0x584082a7

# CHECK: a7 a2 40 58 f32v2max $a10:11, $a4:5, $a10:11
.int 0x5840a2a7

# CHECK: a7 c2 40 58 f32v2max $a10:11, $a4:5, $a12:13
.int 0x5840c2a7

# CHECK: a7 e2 40 58 f32v2max $a10:11, $a4:5, $a14:15
.int 0x5840e2a7

# CHECK: a7 02 60 58 f32v2max $a10:11, $a6:7, $a0:1
.int 0x586002a7

# CHECK: a7 22 60 58 f32v2max $a10:11, $a6:7, $a2:3
.int 0x586022a7

# CHECK: a7 42 60 58 f32v2max $a10:11, $a6:7, $a4:5
.int 0x586042a7

# CHECK: a7 62 60 58 f32v2max $a10:11, $a6:7, $a6:7
.int 0x586062a7

# CHECK: a7 82 60 58 f32v2max $a10:11, $a6:7, $a8:9
.int 0x586082a7

# CHECK: a7 a2 60 58 f32v2max $a10:11, $a6:7, $a10:11
.int 0x5860a2a7

# CHECK: a7 c2 60 58 f32v2max $a10:11, $a6:7, $a12:13
.int 0x5860c2a7

# CHECK: a7 e2 60 58 f32v2max $a10:11, $a6:7, $a14:15
.int 0x5860e2a7

# CHECK: a7 02 80 58 f32v2max $a10:11, $a8:9, $a0:1
.int 0x588002a7

# CHECK: a7 22 80 58 f32v2max $a10:11, $a8:9, $a2:3
.int 0x588022a7

# CHECK: a7 42 80 58 f32v2max $a10:11, $a8:9, $a4:5
.int 0x588042a7

# CHECK: a7 62 80 58 f32v2max $a10:11, $a8:9, $a6:7
.int 0x588062a7

# CHECK: a7 82 80 58 f32v2max $a10:11, $a8:9, $a8:9
.int 0x588082a7

# CHECK: a7 a2 80 58 f32v2max $a10:11, $a8:9, $a10:11
.int 0x5880a2a7

# CHECK: a7 c2 80 58 f32v2max $a10:11, $a8:9, $a12:13
.int 0x5880c2a7

# CHECK: a7 e2 80 58 f32v2max $a10:11, $a8:9, $a14:15
.int 0x5880e2a7

# CHECK: a7 02 a0 58 f32v2max $a10:11, $a10:11, $a0:1
.int 0x58a002a7

# CHECK: a7 22 a0 58 f32v2max $a10:11, $a10:11, $a2:3
.int 0x58a022a7

# CHECK: a7 42 a0 58 f32v2max $a10:11, $a10:11, $a4:5
.int 0x58a042a7

# CHECK: a7 62 a0 58 f32v2max $a10:11, $a10:11, $a6:7
.int 0x58a062a7

# CHECK: a7 82 a0 58 f32v2max $a10:11, $a10:11, $a8:9
.int 0x58a082a7

# CHECK: a7 a2 a0 58 f32v2max $a10:11, $a10:11, $a10:11
.int 0x58a0a2a7

# CHECK: a7 c2 a0 58 f32v2max $a10:11, $a10:11, $a12:13
.int 0x58a0c2a7

# CHECK: a7 e2 a0 58 f32v2max $a10:11, $a10:11, $a14:15
.int 0x58a0e2a7

# CHECK: a7 02 c0 58 f32v2max $a10:11, $a12:13, $a0:1
.int 0x58c002a7

# CHECK: a7 22 c0 58 f32v2max $a10:11, $a12:13, $a2:3
.int 0x58c022a7

# CHECK: a7 42 c0 58 f32v2max $a10:11, $a12:13, $a4:5
.int 0x58c042a7

# CHECK: a7 62 c0 58 f32v2max $a10:11, $a12:13, $a6:7
.int 0x58c062a7

# CHECK: a7 82 c0 58 f32v2max $a10:11, $a12:13, $a8:9
.int 0x58c082a7

# CHECK: a7 a2 c0 58 f32v2max $a10:11, $a12:13, $a10:11
.int 0x58c0a2a7

# CHECK: a7 c2 c0 58 f32v2max $a10:11, $a12:13, $a12:13
.int 0x58c0c2a7

# CHECK: a7 e2 c0 58 f32v2max $a10:11, $a12:13, $a14:15
.int 0x58c0e2a7

# CHECK: a7 02 e0 58 f32v2max $a10:11, $a14:15, $a0:1
.int 0x58e002a7

# CHECK: a7 22 e0 58 f32v2max $a10:11, $a14:15, $a2:3
.int 0x58e022a7

# CHECK: a7 42 e0 58 f32v2max $a10:11, $a14:15, $a4:5
.int 0x58e042a7

# CHECK: a7 62 e0 58 f32v2max $a10:11, $a14:15, $a6:7
.int 0x58e062a7

# CHECK: a7 82 e0 58 f32v2max $a10:11, $a14:15, $a8:9
.int 0x58e082a7

# CHECK: a7 a2 e0 58 f32v2max $a10:11, $a14:15, $a10:11
.int 0x58e0a2a7

# CHECK: a7 c2 e0 58 f32v2max $a10:11, $a14:15, $a12:13
.int 0x58e0c2a7

# CHECK: a7 e2 e0 58 f32v2max $a10:11, $a14:15, $a14:15
.int 0x58e0e2a7

# CHECK: c7 02 00 58 f32v2max $a12:13, $a0:1, $a0:1
.int 0x580002c7

# CHECK: c7 22 00 58 f32v2max $a12:13, $a0:1, $a2:3
.int 0x580022c7

# CHECK: c7 42 00 58 f32v2max $a12:13, $a0:1, $a4:5
.int 0x580042c7

# CHECK: c7 62 00 58 f32v2max $a12:13, $a0:1, $a6:7
.int 0x580062c7

# CHECK: c7 82 00 58 f32v2max $a12:13, $a0:1, $a8:9
.int 0x580082c7

# CHECK: c7 a2 00 58 f32v2max $a12:13, $a0:1, $a10:11
.int 0x5800a2c7

# CHECK: c7 c2 00 58 f32v2max $a12:13, $a0:1, $a12:13
.int 0x5800c2c7

# CHECK: c7 e2 00 58 f32v2max $a12:13, $a0:1, $a14:15
.int 0x5800e2c7

# CHECK: c7 02 20 58 f32v2max $a12:13, $a2:3, $a0:1
.int 0x582002c7

# CHECK: c7 22 20 58 f32v2max $a12:13, $a2:3, $a2:3
.int 0x582022c7

# CHECK: c7 42 20 58 f32v2max $a12:13, $a2:3, $a4:5
.int 0x582042c7

# CHECK: c7 62 20 58 f32v2max $a12:13, $a2:3, $a6:7
.int 0x582062c7

# CHECK: c7 82 20 58 f32v2max $a12:13, $a2:3, $a8:9
.int 0x582082c7

# CHECK: c7 a2 20 58 f32v2max $a12:13, $a2:3, $a10:11
.int 0x5820a2c7

# CHECK: c7 c2 20 58 f32v2max $a12:13, $a2:3, $a12:13
.int 0x5820c2c7

# CHECK: c7 e2 20 58 f32v2max $a12:13, $a2:3, $a14:15
.int 0x5820e2c7

# CHECK: c7 02 40 58 f32v2max $a12:13, $a4:5, $a0:1
.int 0x584002c7

# CHECK: c7 22 40 58 f32v2max $a12:13, $a4:5, $a2:3
.int 0x584022c7

# CHECK: c7 42 40 58 f32v2max $a12:13, $a4:5, $a4:5
.int 0x584042c7

# CHECK: c7 62 40 58 f32v2max $a12:13, $a4:5, $a6:7
.int 0x584062c7

# CHECK: c7 82 40 58 f32v2max $a12:13, $a4:5, $a8:9
.int 0x584082c7

# CHECK: c7 a2 40 58 f32v2max $a12:13, $a4:5, $a10:11
.int 0x5840a2c7

# CHECK: c7 c2 40 58 f32v2max $a12:13, $a4:5, $a12:13
.int 0x5840c2c7

# CHECK: c7 e2 40 58 f32v2max $a12:13, $a4:5, $a14:15
.int 0x5840e2c7

# CHECK: c7 02 60 58 f32v2max $a12:13, $a6:7, $a0:1
.int 0x586002c7

# CHECK: c7 22 60 58 f32v2max $a12:13, $a6:7, $a2:3
.int 0x586022c7

# CHECK: c7 42 60 58 f32v2max $a12:13, $a6:7, $a4:5
.int 0x586042c7

# CHECK: c7 62 60 58 f32v2max $a12:13, $a6:7, $a6:7
.int 0x586062c7

# CHECK: c7 82 60 58 f32v2max $a12:13, $a6:7, $a8:9
.int 0x586082c7

# CHECK: c7 a2 60 58 f32v2max $a12:13, $a6:7, $a10:11
.int 0x5860a2c7

# CHECK: c7 c2 60 58 f32v2max $a12:13, $a6:7, $a12:13
.int 0x5860c2c7

# CHECK: c7 e2 60 58 f32v2max $a12:13, $a6:7, $a14:15
.int 0x5860e2c7

# CHECK: c7 02 80 58 f32v2max $a12:13, $a8:9, $a0:1
.int 0x588002c7

# CHECK: c7 22 80 58 f32v2max $a12:13, $a8:9, $a2:3
.int 0x588022c7

# CHECK: c7 42 80 58 f32v2max $a12:13, $a8:9, $a4:5
.int 0x588042c7

# CHECK: c7 62 80 58 f32v2max $a12:13, $a8:9, $a6:7
.int 0x588062c7

# CHECK: c7 82 80 58 f32v2max $a12:13, $a8:9, $a8:9
.int 0x588082c7

# CHECK: c7 a2 80 58 f32v2max $a12:13, $a8:9, $a10:11
.int 0x5880a2c7

# CHECK: c7 c2 80 58 f32v2max $a12:13, $a8:9, $a12:13
.int 0x5880c2c7

# CHECK: c7 e2 80 58 f32v2max $a12:13, $a8:9, $a14:15
.int 0x5880e2c7

# CHECK: c7 02 a0 58 f32v2max $a12:13, $a10:11, $a0:1
.int 0x58a002c7

# CHECK: c7 22 a0 58 f32v2max $a12:13, $a10:11, $a2:3
.int 0x58a022c7

# CHECK: c7 42 a0 58 f32v2max $a12:13, $a10:11, $a4:5
.int 0x58a042c7

# CHECK: c7 62 a0 58 f32v2max $a12:13, $a10:11, $a6:7
.int 0x58a062c7

# CHECK: c7 82 a0 58 f32v2max $a12:13, $a10:11, $a8:9
.int 0x58a082c7

# CHECK: c7 a2 a0 58 f32v2max $a12:13, $a10:11, $a10:11
.int 0x58a0a2c7

# CHECK: c7 c2 a0 58 f32v2max $a12:13, $a10:11, $a12:13
.int 0x58a0c2c7

# CHECK: c7 e2 a0 58 f32v2max $a12:13, $a10:11, $a14:15
.int 0x58a0e2c7

# CHECK: c7 02 c0 58 f32v2max $a12:13, $a12:13, $a0:1
.int 0x58c002c7

# CHECK: c7 22 c0 58 f32v2max $a12:13, $a12:13, $a2:3
.int 0x58c022c7

# CHECK: c7 42 c0 58 f32v2max $a12:13, $a12:13, $a4:5
.int 0x58c042c7

# CHECK: c7 62 c0 58 f32v2max $a12:13, $a12:13, $a6:7
.int 0x58c062c7

# CHECK: c7 82 c0 58 f32v2max $a12:13, $a12:13, $a8:9
.int 0x58c082c7

# CHECK: c7 a2 c0 58 f32v2max $a12:13, $a12:13, $a10:11
.int 0x58c0a2c7

# CHECK: c7 c2 c0 58 f32v2max $a12:13, $a12:13, $a12:13
.int 0x58c0c2c7

# CHECK: c7 e2 c0 58 f32v2max $a12:13, $a12:13, $a14:15
.int 0x58c0e2c7

# CHECK: c7 02 e0 58 f32v2max $a12:13, $a14:15, $a0:1
.int 0x58e002c7

# CHECK: c7 22 e0 58 f32v2max $a12:13, $a14:15, $a2:3
.int 0x58e022c7

# CHECK: c7 42 e0 58 f32v2max $a12:13, $a14:15, $a4:5
.int 0x58e042c7

# CHECK: c7 62 e0 58 f32v2max $a12:13, $a14:15, $a6:7
.int 0x58e062c7

# CHECK: c7 82 e0 58 f32v2max $a12:13, $a14:15, $a8:9
.int 0x58e082c7

# CHECK: c7 a2 e0 58 f32v2max $a12:13, $a14:15, $a10:11
.int 0x58e0a2c7

# CHECK: c7 c2 e0 58 f32v2max $a12:13, $a14:15, $a12:13
.int 0x58e0c2c7

# CHECK: c7 e2 e0 58 f32v2max $a12:13, $a14:15, $a14:15
.int 0x58e0e2c7

# CHECK: e7 02 00 58 f32v2max $a14:15, $a0:1, $a0:1
.int 0x580002e7

# CHECK: e7 22 00 58 f32v2max $a14:15, $a0:1, $a2:3
.int 0x580022e7

# CHECK: e7 42 00 58 f32v2max $a14:15, $a0:1, $a4:5
.int 0x580042e7

# CHECK: e7 62 00 58 f32v2max $a14:15, $a0:1, $a6:7
.int 0x580062e7

# CHECK: e7 82 00 58 f32v2max $a14:15, $a0:1, $a8:9
.int 0x580082e7

# CHECK: e7 a2 00 58 f32v2max $a14:15, $a0:1, $a10:11
.int 0x5800a2e7

# CHECK: e7 c2 00 58 f32v2max $a14:15, $a0:1, $a12:13
.int 0x5800c2e7

# CHECK: e7 e2 00 58 f32v2max $a14:15, $a0:1, $a14:15
.int 0x5800e2e7

# CHECK: e7 02 20 58 f32v2max $a14:15, $a2:3, $a0:1
.int 0x582002e7

# CHECK: e7 22 20 58 f32v2max $a14:15, $a2:3, $a2:3
.int 0x582022e7

# CHECK: e7 42 20 58 f32v2max $a14:15, $a2:3, $a4:5
.int 0x582042e7

# CHECK: e7 62 20 58 f32v2max $a14:15, $a2:3, $a6:7
.int 0x582062e7

# CHECK: e7 82 20 58 f32v2max $a14:15, $a2:3, $a8:9
.int 0x582082e7

# CHECK: e7 a2 20 58 f32v2max $a14:15, $a2:3, $a10:11
.int 0x5820a2e7

# CHECK: e7 c2 20 58 f32v2max $a14:15, $a2:3, $a12:13
.int 0x5820c2e7

# CHECK: e7 e2 20 58 f32v2max $a14:15, $a2:3, $a14:15
.int 0x5820e2e7

# CHECK: e7 02 40 58 f32v2max $a14:15, $a4:5, $a0:1
.int 0x584002e7

# CHECK: e7 22 40 58 f32v2max $a14:15, $a4:5, $a2:3
.int 0x584022e7

# CHECK: e7 42 40 58 f32v2max $a14:15, $a4:5, $a4:5
.int 0x584042e7

# CHECK: e7 62 40 58 f32v2max $a14:15, $a4:5, $a6:7
.int 0x584062e7

# CHECK: e7 82 40 58 f32v2max $a14:15, $a4:5, $a8:9
.int 0x584082e7

# CHECK: e7 a2 40 58 f32v2max $a14:15, $a4:5, $a10:11
.int 0x5840a2e7

# CHECK: e7 c2 40 58 f32v2max $a14:15, $a4:5, $a12:13
.int 0x5840c2e7

# CHECK: e7 e2 40 58 f32v2max $a14:15, $a4:5, $a14:15
.int 0x5840e2e7

# CHECK: e7 02 60 58 f32v2max $a14:15, $a6:7, $a0:1
.int 0x586002e7

# CHECK: e7 22 60 58 f32v2max $a14:15, $a6:7, $a2:3
.int 0x586022e7

# CHECK: e7 42 60 58 f32v2max $a14:15, $a6:7, $a4:5
.int 0x586042e7

# CHECK: e7 62 60 58 f32v2max $a14:15, $a6:7, $a6:7
.int 0x586062e7

# CHECK: e7 82 60 58 f32v2max $a14:15, $a6:7, $a8:9
.int 0x586082e7

# CHECK: e7 a2 60 58 f32v2max $a14:15, $a6:7, $a10:11
.int 0x5860a2e7

# CHECK: e7 c2 60 58 f32v2max $a14:15, $a6:7, $a12:13
.int 0x5860c2e7

# CHECK: e7 e2 60 58 f32v2max $a14:15, $a6:7, $a14:15
.int 0x5860e2e7

# CHECK: e7 02 80 58 f32v2max $a14:15, $a8:9, $a0:1
.int 0x588002e7

# CHECK: e7 22 80 58 f32v2max $a14:15, $a8:9, $a2:3
.int 0x588022e7

# CHECK: e7 42 80 58 f32v2max $a14:15, $a8:9, $a4:5
.int 0x588042e7

# CHECK: e7 62 80 58 f32v2max $a14:15, $a8:9, $a6:7
.int 0x588062e7

# CHECK: e7 82 80 58 f32v2max $a14:15, $a8:9, $a8:9
.int 0x588082e7

# CHECK: e7 a2 80 58 f32v2max $a14:15, $a8:9, $a10:11
.int 0x5880a2e7

# CHECK: e7 c2 80 58 f32v2max $a14:15, $a8:9, $a12:13
.int 0x5880c2e7

# CHECK: e7 e2 80 58 f32v2max $a14:15, $a8:9, $a14:15
.int 0x5880e2e7

# CHECK: e7 02 a0 58 f32v2max $a14:15, $a10:11, $a0:1
.int 0x58a002e7

# CHECK: e7 22 a0 58 f32v2max $a14:15, $a10:11, $a2:3
.int 0x58a022e7

# CHECK: e7 42 a0 58 f32v2max $a14:15, $a10:11, $a4:5
.int 0x58a042e7

# CHECK: e7 62 a0 58 f32v2max $a14:15, $a10:11, $a6:7
.int 0x58a062e7

# CHECK: e7 82 a0 58 f32v2max $a14:15, $a10:11, $a8:9
.int 0x58a082e7

# CHECK: e7 a2 a0 58 f32v2max $a14:15, $a10:11, $a10:11
.int 0x58a0a2e7

# CHECK: e7 c2 a0 58 f32v2max $a14:15, $a10:11, $a12:13
.int 0x58a0c2e7

# CHECK: e7 e2 a0 58 f32v2max $a14:15, $a10:11, $a14:15
.int 0x58a0e2e7

# CHECK: e7 02 c0 58 f32v2max $a14:15, $a12:13, $a0:1
.int 0x58c002e7

# CHECK: e7 22 c0 58 f32v2max $a14:15, $a12:13, $a2:3
.int 0x58c022e7

# CHECK: e7 42 c0 58 f32v2max $a14:15, $a12:13, $a4:5
.int 0x58c042e7

# CHECK: e7 62 c0 58 f32v2max $a14:15, $a12:13, $a6:7
.int 0x58c062e7

# CHECK: e7 82 c0 58 f32v2max $a14:15, $a12:13, $a8:9
.int 0x58c082e7

# CHECK: e7 a2 c0 58 f32v2max $a14:15, $a12:13, $a10:11
.int 0x58c0a2e7

# CHECK: e7 c2 c0 58 f32v2max $a14:15, $a12:13, $a12:13
.int 0x58c0c2e7

# CHECK: e7 e2 c0 58 f32v2max $a14:15, $a12:13, $a14:15
.int 0x58c0e2e7

# CHECK: e7 02 e0 58 f32v2max $a14:15, $a14:15, $a0:1
.int 0x58e002e7

# CHECK: e7 22 e0 58 f32v2max $a14:15, $a14:15, $a2:3
.int 0x58e022e7

# CHECK: e7 42 e0 58 f32v2max $a14:15, $a14:15, $a4:5
.int 0x58e042e7

# CHECK: e7 62 e0 58 f32v2max $a14:15, $a14:15, $a6:7
.int 0x58e062e7

# CHECK: e7 82 e0 58 f32v2max $a14:15, $a14:15, $a8:9
.int 0x58e082e7

# CHECK: e7 a2 e0 58 f32v2max $a14:15, $a14:15, $a10:11
.int 0x58e0a2e7

# CHECK: e7 c2 e0 58 f32v2max $a14:15, $a14:15, $a12:13
.int 0x58e0c2e7

# CHECK: e7 e2 e0 58 f32v2max $a14:15, $a14:15, $a14:15
.int 0x58e0e2e7