# 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 `f16v4max` instruction
# declared in Isa.xml.

# CHECK: 06 02 00 58 f16v4max $a0:1, $a0:1, $a0:1
.int 0x58000206

# CHECK: 06 22 00 58 f16v4max $a0:1, $a0:1, $a2:3
.int 0x58002206

# CHECK: 06 42 00 58 f16v4max $a0:1, $a0:1, $a4:5
.int 0x58004206

# CHECK: 06 62 00 58 f16v4max $a0:1, $a0:1, $a6:7
.int 0x58006206

# CHECK: 06 82 00 58 f16v4max $a0:1, $a0:1, $a8:9
.int 0x58008206

# CHECK: 06 a2 00 58 f16v4max $a0:1, $a0:1, $a10:11
.int 0x5800a206

# CHECK: 06 c2 00 58 f16v4max $a0:1, $a0:1, $a12:13
.int 0x5800c206

# CHECK: 06 e2 00 58 f16v4max $a0:1, $a0:1, $a14:15
.int 0x5800e206

# CHECK: 06 02 20 58 f16v4max $a0:1, $a2:3, $a0:1
.int 0x58200206

# CHECK: 06 22 20 58 f16v4max $a0:1, $a2:3, $a2:3
.int 0x58202206

# CHECK: 06 42 20 58 f16v4max $a0:1, $a2:3, $a4:5
.int 0x58204206

# CHECK: 06 62 20 58 f16v4max $a0:1, $a2:3, $a6:7
.int 0x58206206

# CHECK: 06 82 20 58 f16v4max $a0:1, $a2:3, $a8:9
.int 0x58208206

# CHECK: 06 a2 20 58 f16v4max $a0:1, $a2:3, $a10:11
.int 0x5820a206

# CHECK: 06 c2 20 58 f16v4max $a0:1, $a2:3, $a12:13
.int 0x5820c206

# CHECK: 06 e2 20 58 f16v4max $a0:1, $a2:3, $a14:15
.int 0x5820e206

# CHECK: 06 02 40 58 f16v4max $a0:1, $a4:5, $a0:1
.int 0x58400206

# CHECK: 06 22 40 58 f16v4max $a0:1, $a4:5, $a2:3
.int 0x58402206

# CHECK: 06 42 40 58 f16v4max $a0:1, $a4:5, $a4:5
.int 0x58404206

# CHECK: 06 62 40 58 f16v4max $a0:1, $a4:5, $a6:7
.int 0x58406206

# CHECK: 06 82 40 58 f16v4max $a0:1, $a4:5, $a8:9
.int 0x58408206

# CHECK: 06 a2 40 58 f16v4max $a0:1, $a4:5, $a10:11
.int 0x5840a206

# CHECK: 06 c2 40 58 f16v4max $a0:1, $a4:5, $a12:13
.int 0x5840c206

# CHECK: 06 e2 40 58 f16v4max $a0:1, $a4:5, $a14:15
.int 0x5840e206

# CHECK: 06 02 60 58 f16v4max $a0:1, $a6:7, $a0:1
.int 0x58600206

# CHECK: 06 22 60 58 f16v4max $a0:1, $a6:7, $a2:3
.int 0x58602206

# CHECK: 06 42 60 58 f16v4max $a0:1, $a6:7, $a4:5
.int 0x58604206

# CHECK: 06 62 60 58 f16v4max $a0:1, $a6:7, $a6:7
.int 0x58606206

# CHECK: 06 82 60 58 f16v4max $a0:1, $a6:7, $a8:9
.int 0x58608206

# CHECK: 06 a2 60 58 f16v4max $a0:1, $a6:7, $a10:11
.int 0x5860a206

# CHECK: 06 c2 60 58 f16v4max $a0:1, $a6:7, $a12:13
.int 0x5860c206

# CHECK: 06 e2 60 58 f16v4max $a0:1, $a6:7, $a14:15
.int 0x5860e206

# CHECK: 06 02 80 58 f16v4max $a0:1, $a8:9, $a0:1
.int 0x58800206

# CHECK: 06 22 80 58 f16v4max $a0:1, $a8:9, $a2:3
.int 0x58802206

# CHECK: 06 42 80 58 f16v4max $a0:1, $a8:9, $a4:5
.int 0x58804206

# CHECK: 06 62 80 58 f16v4max $a0:1, $a8:9, $a6:7
.int 0x58806206

# CHECK: 06 82 80 58 f16v4max $a0:1, $a8:9, $a8:9
.int 0x58808206

# CHECK: 06 a2 80 58 f16v4max $a0:1, $a8:9, $a10:11
.int 0x5880a206

# CHECK: 06 c2 80 58 f16v4max $a0:1, $a8:9, $a12:13
.int 0x5880c206

# CHECK: 06 e2 80 58 f16v4max $a0:1, $a8:9, $a14:15
.int 0x5880e206

# CHECK: 06 02 a0 58 f16v4max $a0:1, $a10:11, $a0:1
.int 0x58a00206

# CHECK: 06 22 a0 58 f16v4max $a0:1, $a10:11, $a2:3
.int 0x58a02206

# CHECK: 06 42 a0 58 f16v4max $a0:1, $a10:11, $a4:5
.int 0x58a04206

# CHECK: 06 62 a0 58 f16v4max $a0:1, $a10:11, $a6:7
.int 0x58a06206

# CHECK: 06 82 a0 58 f16v4max $a0:1, $a10:11, $a8:9
.int 0x58a08206

# CHECK: 06 a2 a0 58 f16v4max $a0:1, $a10:11, $a10:11
.int 0x58a0a206

# CHECK: 06 c2 a0 58 f16v4max $a0:1, $a10:11, $a12:13
.int 0x58a0c206

# CHECK: 06 e2 a0 58 f16v4max $a0:1, $a10:11, $a14:15
.int 0x58a0e206

# CHECK: 06 02 c0 58 f16v4max $a0:1, $a12:13, $a0:1
.int 0x58c00206

# CHECK: 06 22 c0 58 f16v4max $a0:1, $a12:13, $a2:3
.int 0x58c02206

# CHECK: 06 42 c0 58 f16v4max $a0:1, $a12:13, $a4:5
.int 0x58c04206

# CHECK: 06 62 c0 58 f16v4max $a0:1, $a12:13, $a6:7
.int 0x58c06206

# CHECK: 06 82 c0 58 f16v4max $a0:1, $a12:13, $a8:9
.int 0x58c08206

# CHECK: 06 a2 c0 58 f16v4max $a0:1, $a12:13, $a10:11
.int 0x58c0a206

# CHECK: 06 c2 c0 58 f16v4max $a0:1, $a12:13, $a12:13
.int 0x58c0c206

# CHECK: 06 e2 c0 58 f16v4max $a0:1, $a12:13, $a14:15
.int 0x58c0e206

# CHECK: 06 02 e0 58 f16v4max $a0:1, $a14:15, $a0:1
.int 0x58e00206

# CHECK: 06 22 e0 58 f16v4max $a0:1, $a14:15, $a2:3
.int 0x58e02206

# CHECK: 06 42 e0 58 f16v4max $a0:1, $a14:15, $a4:5
.int 0x58e04206

# CHECK: 06 62 e0 58 f16v4max $a0:1, $a14:15, $a6:7
.int 0x58e06206

# CHECK: 06 82 e0 58 f16v4max $a0:1, $a14:15, $a8:9
.int 0x58e08206

# CHECK: 06 a2 e0 58 f16v4max $a0:1, $a14:15, $a10:11
.int 0x58e0a206

# CHECK: 06 c2 e0 58 f16v4max $a0:1, $a14:15, $a12:13
.int 0x58e0c206

# CHECK: 06 e2 e0 58 f16v4max $a0:1, $a14:15, $a14:15
.int 0x58e0e206

# CHECK: 26 02 00 58 f16v4max $a2:3, $a0:1, $a0:1
.int 0x58000226

# CHECK: 26 22 00 58 f16v4max $a2:3, $a0:1, $a2:3
.int 0x58002226

# CHECK: 26 42 00 58 f16v4max $a2:3, $a0:1, $a4:5
.int 0x58004226

# CHECK: 26 62 00 58 f16v4max $a2:3, $a0:1, $a6:7
.int 0x58006226

# CHECK: 26 82 00 58 f16v4max $a2:3, $a0:1, $a8:9
.int 0x58008226

# CHECK: 26 a2 00 58 f16v4max $a2:3, $a0:1, $a10:11
.int 0x5800a226

# CHECK: 26 c2 00 58 f16v4max $a2:3, $a0:1, $a12:13
.int 0x5800c226

# CHECK: 26 e2 00 58 f16v4max $a2:3, $a0:1, $a14:15
.int 0x5800e226

# CHECK: 26 02 20 58 f16v4max $a2:3, $a2:3, $a0:1
.int 0x58200226

# CHECK: 26 22 20 58 f16v4max $a2:3, $a2:3, $a2:3
.int 0x58202226

# CHECK: 26 42 20 58 f16v4max $a2:3, $a2:3, $a4:5
.int 0x58204226

# CHECK: 26 62 20 58 f16v4max $a2:3, $a2:3, $a6:7
.int 0x58206226

# CHECK: 26 82 20 58 f16v4max $a2:3, $a2:3, $a8:9
.int 0x58208226

# CHECK: 26 a2 20 58 f16v4max $a2:3, $a2:3, $a10:11
.int 0x5820a226

# CHECK: 26 c2 20 58 f16v4max $a2:3, $a2:3, $a12:13
.int 0x5820c226

# CHECK: 26 e2 20 58 f16v4max $a2:3, $a2:3, $a14:15
.int 0x5820e226

# CHECK: 26 02 40 58 f16v4max $a2:3, $a4:5, $a0:1
.int 0x58400226

# CHECK: 26 22 40 58 f16v4max $a2:3, $a4:5, $a2:3
.int 0x58402226

# CHECK: 26 42 40 58 f16v4max $a2:3, $a4:5, $a4:5
.int 0x58404226

# CHECK: 26 62 40 58 f16v4max $a2:3, $a4:5, $a6:7
.int 0x58406226

# CHECK: 26 82 40 58 f16v4max $a2:3, $a4:5, $a8:9
.int 0x58408226

# CHECK: 26 a2 40 58 f16v4max $a2:3, $a4:5, $a10:11
.int 0x5840a226

# CHECK: 26 c2 40 58 f16v4max $a2:3, $a4:5, $a12:13
.int 0x5840c226

# CHECK: 26 e2 40 58 f16v4max $a2:3, $a4:5, $a14:15
.int 0x5840e226

# CHECK: 26 02 60 58 f16v4max $a2:3, $a6:7, $a0:1
.int 0x58600226

# CHECK: 26 22 60 58 f16v4max $a2:3, $a6:7, $a2:3
.int 0x58602226

# CHECK: 26 42 60 58 f16v4max $a2:3, $a6:7, $a4:5
.int 0x58604226

# CHECK: 26 62 60 58 f16v4max $a2:3, $a6:7, $a6:7
.int 0x58606226

# CHECK: 26 82 60 58 f16v4max $a2:3, $a6:7, $a8:9
.int 0x58608226

# CHECK: 26 a2 60 58 f16v4max $a2:3, $a6:7, $a10:11
.int 0x5860a226

# CHECK: 26 c2 60 58 f16v4max $a2:3, $a6:7, $a12:13
.int 0x5860c226

# CHECK: 26 e2 60 58 f16v4max $a2:3, $a6:7, $a14:15
.int 0x5860e226

# CHECK: 26 02 80 58 f16v4max $a2:3, $a8:9, $a0:1
.int 0x58800226

# CHECK: 26 22 80 58 f16v4max $a2:3, $a8:9, $a2:3
.int 0x58802226

# CHECK: 26 42 80 58 f16v4max $a2:3, $a8:9, $a4:5
.int 0x58804226

# CHECK: 26 62 80 58 f16v4max $a2:3, $a8:9, $a6:7
.int 0x58806226

# CHECK: 26 82 80 58 f16v4max $a2:3, $a8:9, $a8:9
.int 0x58808226

# CHECK: 26 a2 80 58 f16v4max $a2:3, $a8:9, $a10:11
.int 0x5880a226

# CHECK: 26 c2 80 58 f16v4max $a2:3, $a8:9, $a12:13
.int 0x5880c226

# CHECK: 26 e2 80 58 f16v4max $a2:3, $a8:9, $a14:15
.int 0x5880e226

# CHECK: 26 02 a0 58 f16v4max $a2:3, $a10:11, $a0:1
.int 0x58a00226

# CHECK: 26 22 a0 58 f16v4max $a2:3, $a10:11, $a2:3
.int 0x58a02226

# CHECK: 26 42 a0 58 f16v4max $a2:3, $a10:11, $a4:5
.int 0x58a04226

# CHECK: 26 62 a0 58 f16v4max $a2:3, $a10:11, $a6:7
.int 0x58a06226

# CHECK: 26 82 a0 58 f16v4max $a2:3, $a10:11, $a8:9
.int 0x58a08226

# CHECK: 26 a2 a0 58 f16v4max $a2:3, $a10:11, $a10:11
.int 0x58a0a226

# CHECK: 26 c2 a0 58 f16v4max $a2:3, $a10:11, $a12:13
.int 0x58a0c226

# CHECK: 26 e2 a0 58 f16v4max $a2:3, $a10:11, $a14:15
.int 0x58a0e226

# CHECK: 26 02 c0 58 f16v4max $a2:3, $a12:13, $a0:1
.int 0x58c00226

# CHECK: 26 22 c0 58 f16v4max $a2:3, $a12:13, $a2:3
.int 0x58c02226

# CHECK: 26 42 c0 58 f16v4max $a2:3, $a12:13, $a4:5
.int 0x58c04226

# CHECK: 26 62 c0 58 f16v4max $a2:3, $a12:13, $a6:7
.int 0x58c06226

# CHECK: 26 82 c0 58 f16v4max $a2:3, $a12:13, $a8:9
.int 0x58c08226

# CHECK: 26 a2 c0 58 f16v4max $a2:3, $a12:13, $a10:11
.int 0x58c0a226

# CHECK: 26 c2 c0 58 f16v4max $a2:3, $a12:13, $a12:13
.int 0x58c0c226

# CHECK: 26 e2 c0 58 f16v4max $a2:3, $a12:13, $a14:15
.int 0x58c0e226

# CHECK: 26 02 e0 58 f16v4max $a2:3, $a14:15, $a0:1
.int 0x58e00226

# CHECK: 26 22 e0 58 f16v4max $a2:3, $a14:15, $a2:3
.int 0x58e02226

# CHECK: 26 42 e0 58 f16v4max $a2:3, $a14:15, $a4:5
.int 0x58e04226

# CHECK: 26 62 e0 58 f16v4max $a2:3, $a14:15, $a6:7
.int 0x58e06226

# CHECK: 26 82 e0 58 f16v4max $a2:3, $a14:15, $a8:9
.int 0x58e08226

# CHECK: 26 a2 e0 58 f16v4max $a2:3, $a14:15, $a10:11
.int 0x58e0a226

# CHECK: 26 c2 e0 58 f16v4max $a2:3, $a14:15, $a12:13
.int 0x58e0c226

# CHECK: 26 e2 e0 58 f16v4max $a2:3, $a14:15, $a14:15
.int 0x58e0e226

# CHECK: 46 02 00 58 f16v4max $a4:5, $a0:1, $a0:1
.int 0x58000246

# CHECK: 46 22 00 58 f16v4max $a4:5, $a0:1, $a2:3
.int 0x58002246

# CHECK: 46 42 00 58 f16v4max $a4:5, $a0:1, $a4:5
.int 0x58004246

# CHECK: 46 62 00 58 f16v4max $a4:5, $a0:1, $a6:7
.int 0x58006246

# CHECK: 46 82 00 58 f16v4max $a4:5, $a0:1, $a8:9
.int 0x58008246

# CHECK: 46 a2 00 58 f16v4max $a4:5, $a0:1, $a10:11
.int 0x5800a246

# CHECK: 46 c2 00 58 f16v4max $a4:5, $a0:1, $a12:13
.int 0x5800c246

# CHECK: 46 e2 00 58 f16v4max $a4:5, $a0:1, $a14:15
.int 0x5800e246

# CHECK: 46 02 20 58 f16v4max $a4:5, $a2:3, $a0:1
.int 0x58200246

# CHECK: 46 22 20 58 f16v4max $a4:5, $a2:3, $a2:3
.int 0x58202246

# CHECK: 46 42 20 58 f16v4max $a4:5, $a2:3, $a4:5
.int 0x58204246

# CHECK: 46 62 20 58 f16v4max $a4:5, $a2:3, $a6:7
.int 0x58206246

# CHECK: 46 82 20 58 f16v4max $a4:5, $a2:3, $a8:9
.int 0x58208246

# CHECK: 46 a2 20 58 f16v4max $a4:5, $a2:3, $a10:11
.int 0x5820a246

# CHECK: 46 c2 20 58 f16v4max $a4:5, $a2:3, $a12:13
.int 0x5820c246

# CHECK: 46 e2 20 58 f16v4max $a4:5, $a2:3, $a14:15
.int 0x5820e246

# CHECK: 46 02 40 58 f16v4max $a4:5, $a4:5, $a0:1
.int 0x58400246

# CHECK: 46 22 40 58 f16v4max $a4:5, $a4:5, $a2:3
.int 0x58402246

# CHECK: 46 42 40 58 f16v4max $a4:5, $a4:5, $a4:5
.int 0x58404246

# CHECK: 46 62 40 58 f16v4max $a4:5, $a4:5, $a6:7
.int 0x58406246

# CHECK: 46 82 40 58 f16v4max $a4:5, $a4:5, $a8:9
.int 0x58408246

# CHECK: 46 a2 40 58 f16v4max $a4:5, $a4:5, $a10:11
.int 0x5840a246

# CHECK: 46 c2 40 58 f16v4max $a4:5, $a4:5, $a12:13
.int 0x5840c246

# CHECK: 46 e2 40 58 f16v4max $a4:5, $a4:5, $a14:15
.int 0x5840e246

# CHECK: 46 02 60 58 f16v4max $a4:5, $a6:7, $a0:1
.int 0x58600246

# CHECK: 46 22 60 58 f16v4max $a4:5, $a6:7, $a2:3
.int 0x58602246

# CHECK: 46 42 60 58 f16v4max $a4:5, $a6:7, $a4:5
.int 0x58604246

# CHECK: 46 62 60 58 f16v4max $a4:5, $a6:7, $a6:7
.int 0x58606246

# CHECK: 46 82 60 58 f16v4max $a4:5, $a6:7, $a8:9
.int 0x58608246

# CHECK: 46 a2 60 58 f16v4max $a4:5, $a6:7, $a10:11
.int 0x5860a246

# CHECK: 46 c2 60 58 f16v4max $a4:5, $a6:7, $a12:13
.int 0x5860c246

# CHECK: 46 e2 60 58 f16v4max $a4:5, $a6:7, $a14:15
.int 0x5860e246

# CHECK: 46 02 80 58 f16v4max $a4:5, $a8:9, $a0:1
.int 0x58800246

# CHECK: 46 22 80 58 f16v4max $a4:5, $a8:9, $a2:3
.int 0x58802246

# CHECK: 46 42 80 58 f16v4max $a4:5, $a8:9, $a4:5
.int 0x58804246

# CHECK: 46 62 80 58 f16v4max $a4:5, $a8:9, $a6:7
.int 0x58806246

# CHECK: 46 82 80 58 f16v4max $a4:5, $a8:9, $a8:9
.int 0x58808246

# CHECK: 46 a2 80 58 f16v4max $a4:5, $a8:9, $a10:11
.int 0x5880a246

# CHECK: 46 c2 80 58 f16v4max $a4:5, $a8:9, $a12:13
.int 0x5880c246

# CHECK: 46 e2 80 58 f16v4max $a4:5, $a8:9, $a14:15
.int 0x5880e246

# CHECK: 46 02 a0 58 f16v4max $a4:5, $a10:11, $a0:1
.int 0x58a00246

# CHECK: 46 22 a0 58 f16v4max $a4:5, $a10:11, $a2:3
.int 0x58a02246

# CHECK: 46 42 a0 58 f16v4max $a4:5, $a10:11, $a4:5
.int 0x58a04246

# CHECK: 46 62 a0 58 f16v4max $a4:5, $a10:11, $a6:7
.int 0x58a06246

# CHECK: 46 82 a0 58 f16v4max $a4:5, $a10:11, $a8:9
.int 0x58a08246

# CHECK: 46 a2 a0 58 f16v4max $a4:5, $a10:11, $a10:11
.int 0x58a0a246

# CHECK: 46 c2 a0 58 f16v4max $a4:5, $a10:11, $a12:13
.int 0x58a0c246

# CHECK: 46 e2 a0 58 f16v4max $a4:5, $a10:11, $a14:15
.int 0x58a0e246

# CHECK: 46 02 c0 58 f16v4max $a4:5, $a12:13, $a0:1
.int 0x58c00246

# CHECK: 46 22 c0 58 f16v4max $a4:5, $a12:13, $a2:3
.int 0x58c02246

# CHECK: 46 42 c0 58 f16v4max $a4:5, $a12:13, $a4:5
.int 0x58c04246

# CHECK: 46 62 c0 58 f16v4max $a4:5, $a12:13, $a6:7
.int 0x58c06246

# CHECK: 46 82 c0 58 f16v4max $a4:5, $a12:13, $a8:9
.int 0x58c08246

# CHECK: 46 a2 c0 58 f16v4max $a4:5, $a12:13, $a10:11
.int 0x58c0a246

# CHECK: 46 c2 c0 58 f16v4max $a4:5, $a12:13, $a12:13
.int 0x58c0c246

# CHECK: 46 e2 c0 58 f16v4max $a4:5, $a12:13, $a14:15
.int 0x58c0e246

# CHECK: 46 02 e0 58 f16v4max $a4:5, $a14:15, $a0:1
.int 0x58e00246

# CHECK: 46 22 e0 58 f16v4max $a4:5, $a14:15, $a2:3
.int 0x58e02246

# CHECK: 46 42 e0 58 f16v4max $a4:5, $a14:15, $a4:5
.int 0x58e04246

# CHECK: 46 62 e0 58 f16v4max $a4:5, $a14:15, $a6:7
.int 0x58e06246

# CHECK: 46 82 e0 58 f16v4max $a4:5, $a14:15, $a8:9
.int 0x58e08246

# CHECK: 46 a2 e0 58 f16v4max $a4:5, $a14:15, $a10:11
.int 0x58e0a246

# CHECK: 46 c2 e0 58 f16v4max $a4:5, $a14:15, $a12:13
.int 0x58e0c246

# CHECK: 46 e2 e0 58 f16v4max $a4:5, $a14:15, $a14:15
.int 0x58e0e246

# CHECK: 66 02 00 58 f16v4max $a6:7, $a0:1, $a0:1
.int 0x58000266

# CHECK: 66 22 00 58 f16v4max $a6:7, $a0:1, $a2:3
.int 0x58002266

# CHECK: 66 42 00 58 f16v4max $a6:7, $a0:1, $a4:5
.int 0x58004266

# CHECK: 66 62 00 58 f16v4max $a6:7, $a0:1, $a6:7
.int 0x58006266

# CHECK: 66 82 00 58 f16v4max $a6:7, $a0:1, $a8:9
.int 0x58008266

# CHECK: 66 a2 00 58 f16v4max $a6:7, $a0:1, $a10:11
.int 0x5800a266

# CHECK: 66 c2 00 58 f16v4max $a6:7, $a0:1, $a12:13
.int 0x5800c266

# CHECK: 66 e2 00 58 f16v4max $a6:7, $a0:1, $a14:15
.int 0x5800e266

# CHECK: 66 02 20 58 f16v4max $a6:7, $a2:3, $a0:1
.int 0x58200266

# CHECK: 66 22 20 58 f16v4max $a6:7, $a2:3, $a2:3
.int 0x58202266

# CHECK: 66 42 20 58 f16v4max $a6:7, $a2:3, $a4:5
.int 0x58204266

# CHECK: 66 62 20 58 f16v4max $a6:7, $a2:3, $a6:7
.int 0x58206266

# CHECK: 66 82 20 58 f16v4max $a6:7, $a2:3, $a8:9
.int 0x58208266

# CHECK: 66 a2 20 58 f16v4max $a6:7, $a2:3, $a10:11
.int 0x5820a266

# CHECK: 66 c2 20 58 f16v4max $a6:7, $a2:3, $a12:13
.int 0x5820c266

# CHECK: 66 e2 20 58 f16v4max $a6:7, $a2:3, $a14:15
.int 0x5820e266

# CHECK: 66 02 40 58 f16v4max $a6:7, $a4:5, $a0:1
.int 0x58400266

# CHECK: 66 22 40 58 f16v4max $a6:7, $a4:5, $a2:3
.int 0x58402266

# CHECK: 66 42 40 58 f16v4max $a6:7, $a4:5, $a4:5
.int 0x58404266

# CHECK: 66 62 40 58 f16v4max $a6:7, $a4:5, $a6:7
.int 0x58406266

# CHECK: 66 82 40 58 f16v4max $a6:7, $a4:5, $a8:9
.int 0x58408266

# CHECK: 66 a2 40 58 f16v4max $a6:7, $a4:5, $a10:11
.int 0x5840a266

# CHECK: 66 c2 40 58 f16v4max $a6:7, $a4:5, $a12:13
.int 0x5840c266

# CHECK: 66 e2 40 58 f16v4max $a6:7, $a4:5, $a14:15
.int 0x5840e266

# CHECK: 66 02 60 58 f16v4max $a6:7, $a6:7, $a0:1
.int 0x58600266

# CHECK: 66 22 60 58 f16v4max $a6:7, $a6:7, $a2:3
.int 0x58602266

# CHECK: 66 42 60 58 f16v4max $a6:7, $a6:7, $a4:5
.int 0x58604266

# CHECK: 66 62 60 58 f16v4max $a6:7, $a6:7, $a6:7
.int 0x58606266

# CHECK: 66 82 60 58 f16v4max $a6:7, $a6:7, $a8:9
.int 0x58608266

# CHECK: 66 a2 60 58 f16v4max $a6:7, $a6:7, $a10:11
.int 0x5860a266

# CHECK: 66 c2 60 58 f16v4max $a6:7, $a6:7, $a12:13
.int 0x5860c266

# CHECK: 66 e2 60 58 f16v4max $a6:7, $a6:7, $a14:15
.int 0x5860e266

# CHECK: 66 02 80 58 f16v4max $a6:7, $a8:9, $a0:1
.int 0x58800266

# CHECK: 66 22 80 58 f16v4max $a6:7, $a8:9, $a2:3
.int 0x58802266

# CHECK: 66 42 80 58 f16v4max $a6:7, $a8:9, $a4:5
.int 0x58804266

# CHECK: 66 62 80 58 f16v4max $a6:7, $a8:9, $a6:7
.int 0x58806266

# CHECK: 66 82 80 58 f16v4max $a6:7, $a8:9, $a8:9
.int 0x58808266

# CHECK: 66 a2 80 58 f16v4max $a6:7, $a8:9, $a10:11
.int 0x5880a266

# CHECK: 66 c2 80 58 f16v4max $a6:7, $a8:9, $a12:13
.int 0x5880c266

# CHECK: 66 e2 80 58 f16v4max $a6:7, $a8:9, $a14:15
.int 0x5880e266

# CHECK: 66 02 a0 58 f16v4max $a6:7, $a10:11, $a0:1
.int 0x58a00266

# CHECK: 66 22 a0 58 f16v4max $a6:7, $a10:11, $a2:3
.int 0x58a02266

# CHECK: 66 42 a0 58 f16v4max $a6:7, $a10:11, $a4:5
.int 0x58a04266

# CHECK: 66 62 a0 58 f16v4max $a6:7, $a10:11, $a6:7
.int 0x58a06266

# CHECK: 66 82 a0 58 f16v4max $a6:7, $a10:11, $a8:9
.int 0x58a08266

# CHECK: 66 a2 a0 58 f16v4max $a6:7, $a10:11, $a10:11
.int 0x58a0a266

# CHECK: 66 c2 a0 58 f16v4max $a6:7, $a10:11, $a12:13
.int 0x58a0c266

# CHECK: 66 e2 a0 58 f16v4max $a6:7, $a10:11, $a14:15
.int 0x58a0e266

# CHECK: 66 02 c0 58 f16v4max $a6:7, $a12:13, $a0:1
.int 0x58c00266

# CHECK: 66 22 c0 58 f16v4max $a6:7, $a12:13, $a2:3
.int 0x58c02266

# CHECK: 66 42 c0 58 f16v4max $a6:7, $a12:13, $a4:5
.int 0x58c04266

# CHECK: 66 62 c0 58 f16v4max $a6:7, $a12:13, $a6:7
.int 0x58c06266

# CHECK: 66 82 c0 58 f16v4max $a6:7, $a12:13, $a8:9
.int 0x58c08266

# CHECK: 66 a2 c0 58 f16v4max $a6:7, $a12:13, $a10:11
.int 0x58c0a266

# CHECK: 66 c2 c0 58 f16v4max $a6:7, $a12:13, $a12:13
.int 0x58c0c266

# CHECK: 66 e2 c0 58 f16v4max $a6:7, $a12:13, $a14:15
.int 0x58c0e266

# CHECK: 66 02 e0 58 f16v4max $a6:7, $a14:15, $a0:1
.int 0x58e00266

# CHECK: 66 22 e0 58 f16v4max $a6:7, $a14:15, $a2:3
.int 0x58e02266

# CHECK: 66 42 e0 58 f16v4max $a6:7, $a14:15, $a4:5
.int 0x58e04266

# CHECK: 66 62 e0 58 f16v4max $a6:7, $a14:15, $a6:7
.int 0x58e06266

# CHECK: 66 82 e0 58 f16v4max $a6:7, $a14:15, $a8:9
.int 0x58e08266

# CHECK: 66 a2 e0 58 f16v4max $a6:7, $a14:15, $a10:11
.int 0x58e0a266

# CHECK: 66 c2 e0 58 f16v4max $a6:7, $a14:15, $a12:13
.int 0x58e0c266

# CHECK: 66 e2 e0 58 f16v4max $a6:7, $a14:15, $a14:15
.int 0x58e0e266

# CHECK: 86 02 00 58 f16v4max $a8:9, $a0:1, $a0:1
.int 0x58000286

# CHECK: 86 22 00 58 f16v4max $a8:9, $a0:1, $a2:3
.int 0x58002286

# CHECK: 86 42 00 58 f16v4max $a8:9, $a0:1, $a4:5
.int 0x58004286

# CHECK: 86 62 00 58 f16v4max $a8:9, $a0:1, $a6:7
.int 0x58006286

# CHECK: 86 82 00 58 f16v4max $a8:9, $a0:1, $a8:9
.int 0x58008286

# CHECK: 86 a2 00 58 f16v4max $a8:9, $a0:1, $a10:11
.int 0x5800a286

# CHECK: 86 c2 00 58 f16v4max $a8:9, $a0:1, $a12:13
.int 0x5800c286

# CHECK: 86 e2 00 58 f16v4max $a8:9, $a0:1, $a14:15
.int 0x5800e286

# CHECK: 86 02 20 58 f16v4max $a8:9, $a2:3, $a0:1
.int 0x58200286

# CHECK: 86 22 20 58 f16v4max $a8:9, $a2:3, $a2:3
.int 0x58202286

# CHECK: 86 42 20 58 f16v4max $a8:9, $a2:3, $a4:5
.int 0x58204286

# CHECK: 86 62 20 58 f16v4max $a8:9, $a2:3, $a6:7
.int 0x58206286

# CHECK: 86 82 20 58 f16v4max $a8:9, $a2:3, $a8:9
.int 0x58208286

# CHECK: 86 a2 20 58 f16v4max $a8:9, $a2:3, $a10:11
.int 0x5820a286

# CHECK: 86 c2 20 58 f16v4max $a8:9, $a2:3, $a12:13
.int 0x5820c286

# CHECK: 86 e2 20 58 f16v4max $a8:9, $a2:3, $a14:15
.int 0x5820e286

# CHECK: 86 02 40 58 f16v4max $a8:9, $a4:5, $a0:1
.int 0x58400286

# CHECK: 86 22 40 58 f16v4max $a8:9, $a4:5, $a2:3
.int 0x58402286

# CHECK: 86 42 40 58 f16v4max $a8:9, $a4:5, $a4:5
.int 0x58404286

# CHECK: 86 62 40 58 f16v4max $a8:9, $a4:5, $a6:7
.int 0x58406286

# CHECK: 86 82 40 58 f16v4max $a8:9, $a4:5, $a8:9
.int 0x58408286

# CHECK: 86 a2 40 58 f16v4max $a8:9, $a4:5, $a10:11
.int 0x5840a286

# CHECK: 86 c2 40 58 f16v4max $a8:9, $a4:5, $a12:13
.int 0x5840c286

# CHECK: 86 e2 40 58 f16v4max $a8:9, $a4:5, $a14:15
.int 0x5840e286

# CHECK: 86 02 60 58 f16v4max $a8:9, $a6:7, $a0:1
.int 0x58600286

# CHECK: 86 22 60 58 f16v4max $a8:9, $a6:7, $a2:3
.int 0x58602286

# CHECK: 86 42 60 58 f16v4max $a8:9, $a6:7, $a4:5
.int 0x58604286

# CHECK: 86 62 60 58 f16v4max $a8:9, $a6:7, $a6:7
.int 0x58606286

# CHECK: 86 82 60 58 f16v4max $a8:9, $a6:7, $a8:9
.int 0x58608286

# CHECK: 86 a2 60 58 f16v4max $a8:9, $a6:7, $a10:11
.int 0x5860a286

# CHECK: 86 c2 60 58 f16v4max $a8:9, $a6:7, $a12:13
.int 0x5860c286

# CHECK: 86 e2 60 58 f16v4max $a8:9, $a6:7, $a14:15
.int 0x5860e286

# CHECK: 86 02 80 58 f16v4max $a8:9, $a8:9, $a0:1
.int 0x58800286

# CHECK: 86 22 80 58 f16v4max $a8:9, $a8:9, $a2:3
.int 0x58802286

# CHECK: 86 42 80 58 f16v4max $a8:9, $a8:9, $a4:5
.int 0x58804286

# CHECK: 86 62 80 58 f16v4max $a8:9, $a8:9, $a6:7
.int 0x58806286

# CHECK: 86 82 80 58 f16v4max $a8:9, $a8:9, $a8:9
.int 0x58808286

# CHECK: 86 a2 80 58 f16v4max $a8:9, $a8:9, $a10:11
.int 0x5880a286

# CHECK: 86 c2 80 58 f16v4max $a8:9, $a8:9, $a12:13
.int 0x5880c286

# CHECK: 86 e2 80 58 f16v4max $a8:9, $a8:9, $a14:15
.int 0x5880e286

# CHECK: 86 02 a0 58 f16v4max $a8:9, $a10:11, $a0:1
.int 0x58a00286

# CHECK: 86 22 a0 58 f16v4max $a8:9, $a10:11, $a2:3
.int 0x58a02286

# CHECK: 86 42 a0 58 f16v4max $a8:9, $a10:11, $a4:5
.int 0x58a04286

# CHECK: 86 62 a0 58 f16v4max $a8:9, $a10:11, $a6:7
.int 0x58a06286

# CHECK: 86 82 a0 58 f16v4max $a8:9, $a10:11, $a8:9
.int 0x58a08286

# CHECK: 86 a2 a0 58 f16v4max $a8:9, $a10:11, $a10:11
.int 0x58a0a286

# CHECK: 86 c2 a0 58 f16v4max $a8:9, $a10:11, $a12:13
.int 0x58a0c286

# CHECK: 86 e2 a0 58 f16v4max $a8:9, $a10:11, $a14:15
.int 0x58a0e286

# CHECK: 86 02 c0 58 f16v4max $a8:9, $a12:13, $a0:1
.int 0x58c00286

# CHECK: 86 22 c0 58 f16v4max $a8:9, $a12:13, $a2:3
.int 0x58c02286

# CHECK: 86 42 c0 58 f16v4max $a8:9, $a12:13, $a4:5
.int 0x58c04286

# CHECK: 86 62 c0 58 f16v4max $a8:9, $a12:13, $a6:7
.int 0x58c06286

# CHECK: 86 82 c0 58 f16v4max $a8:9, $a12:13, $a8:9
.int 0x58c08286

# CHECK: 86 a2 c0 58 f16v4max $a8:9, $a12:13, $a10:11
.int 0x58c0a286

# CHECK: 86 c2 c0 58 f16v4max $a8:9, $a12:13, $a12:13
.int 0x58c0c286

# CHECK: 86 e2 c0 58 f16v4max $a8:9, $a12:13, $a14:15
.int 0x58c0e286

# CHECK: 86 02 e0 58 f16v4max $a8:9, $a14:15, $a0:1
.int 0x58e00286

# CHECK: 86 22 e0 58 f16v4max $a8:9, $a14:15, $a2:3
.int 0x58e02286

# CHECK: 86 42 e0 58 f16v4max $a8:9, $a14:15, $a4:5
.int 0x58e04286

# CHECK: 86 62 e0 58 f16v4max $a8:9, $a14:15, $a6:7
.int 0x58e06286

# CHECK: 86 82 e0 58 f16v4max $a8:9, $a14:15, $a8:9
.int 0x58e08286

# CHECK: 86 a2 e0 58 f16v4max $a8:9, $a14:15, $a10:11
.int 0x58e0a286

# CHECK: 86 c2 e0 58 f16v4max $a8:9, $a14:15, $a12:13
.int 0x58e0c286

# CHECK: 86 e2 e0 58 f16v4max $a8:9, $a14:15, $a14:15
.int 0x58e0e286

# CHECK: a6 02 00 58 f16v4max $a10:11, $a0:1, $a0:1
.int 0x580002a6

# CHECK: a6 22 00 58 f16v4max $a10:11, $a0:1, $a2:3
.int 0x580022a6

# CHECK: a6 42 00 58 f16v4max $a10:11, $a0:1, $a4:5
.int 0x580042a6

# CHECK: a6 62 00 58 f16v4max $a10:11, $a0:1, $a6:7
.int 0x580062a6

# CHECK: a6 82 00 58 f16v4max $a10:11, $a0:1, $a8:9
.int 0x580082a6

# CHECK: a6 a2 00 58 f16v4max $a10:11, $a0:1, $a10:11
.int 0x5800a2a6

# CHECK: a6 c2 00 58 f16v4max $a10:11, $a0:1, $a12:13
.int 0x5800c2a6

# CHECK: a6 e2 00 58 f16v4max $a10:11, $a0:1, $a14:15
.int 0x5800e2a6

# CHECK: a6 02 20 58 f16v4max $a10:11, $a2:3, $a0:1
.int 0x582002a6

# CHECK: a6 22 20 58 f16v4max $a10:11, $a2:3, $a2:3
.int 0x582022a6

# CHECK: a6 42 20 58 f16v4max $a10:11, $a2:3, $a4:5
.int 0x582042a6

# CHECK: a6 62 20 58 f16v4max $a10:11, $a2:3, $a6:7
.int 0x582062a6

# CHECK: a6 82 20 58 f16v4max $a10:11, $a2:3, $a8:9
.int 0x582082a6

# CHECK: a6 a2 20 58 f16v4max $a10:11, $a2:3, $a10:11
.int 0x5820a2a6

# CHECK: a6 c2 20 58 f16v4max $a10:11, $a2:3, $a12:13
.int 0x5820c2a6

# CHECK: a6 e2 20 58 f16v4max $a10:11, $a2:3, $a14:15
.int 0x5820e2a6

# CHECK: a6 02 40 58 f16v4max $a10:11, $a4:5, $a0:1
.int 0x584002a6

# CHECK: a6 22 40 58 f16v4max $a10:11, $a4:5, $a2:3
.int 0x584022a6

# CHECK: a6 42 40 58 f16v4max $a10:11, $a4:5, $a4:5
.int 0x584042a6

# CHECK: a6 62 40 58 f16v4max $a10:11, $a4:5, $a6:7
.int 0x584062a6

# CHECK: a6 82 40 58 f16v4max $a10:11, $a4:5, $a8:9
.int 0x584082a6

# CHECK: a6 a2 40 58 f16v4max $a10:11, $a4:5, $a10:11
.int 0x5840a2a6

# CHECK: a6 c2 40 58 f16v4max $a10:11, $a4:5, $a12:13
.int 0x5840c2a6

# CHECK: a6 e2 40 58 f16v4max $a10:11, $a4:5, $a14:15
.int 0x5840e2a6

# CHECK: a6 02 60 58 f16v4max $a10:11, $a6:7, $a0:1
.int 0x586002a6

# CHECK: a6 22 60 58 f16v4max $a10:11, $a6:7, $a2:3
.int 0x586022a6

# CHECK: a6 42 60 58 f16v4max $a10:11, $a6:7, $a4:5
.int 0x586042a6

# CHECK: a6 62 60 58 f16v4max $a10:11, $a6:7, $a6:7
.int 0x586062a6

# CHECK: a6 82 60 58 f16v4max $a10:11, $a6:7, $a8:9
.int 0x586082a6

# CHECK: a6 a2 60 58 f16v4max $a10:11, $a6:7, $a10:11
.int 0x5860a2a6

# CHECK: a6 c2 60 58 f16v4max $a10:11, $a6:7, $a12:13
.int 0x5860c2a6

# CHECK: a6 e2 60 58 f16v4max $a10:11, $a6:7, $a14:15
.int 0x5860e2a6

# CHECK: a6 02 80 58 f16v4max $a10:11, $a8:9, $a0:1
.int 0x588002a6

# CHECK: a6 22 80 58 f16v4max $a10:11, $a8:9, $a2:3
.int 0x588022a6

# CHECK: a6 42 80 58 f16v4max $a10:11, $a8:9, $a4:5
.int 0x588042a6

# CHECK: a6 62 80 58 f16v4max $a10:11, $a8:9, $a6:7
.int 0x588062a6

# CHECK: a6 82 80 58 f16v4max $a10:11, $a8:9, $a8:9
.int 0x588082a6

# CHECK: a6 a2 80 58 f16v4max $a10:11, $a8:9, $a10:11
.int 0x5880a2a6

# CHECK: a6 c2 80 58 f16v4max $a10:11, $a8:9, $a12:13
.int 0x5880c2a6

# CHECK: a6 e2 80 58 f16v4max $a10:11, $a8:9, $a14:15
.int 0x5880e2a6

# CHECK: a6 02 a0 58 f16v4max $a10:11, $a10:11, $a0:1
.int 0x58a002a6

# CHECK: a6 22 a0 58 f16v4max $a10:11, $a10:11, $a2:3
.int 0x58a022a6

# CHECK: a6 42 a0 58 f16v4max $a10:11, $a10:11, $a4:5
.int 0x58a042a6

# CHECK: a6 62 a0 58 f16v4max $a10:11, $a10:11, $a6:7
.int 0x58a062a6

# CHECK: a6 82 a0 58 f16v4max $a10:11, $a10:11, $a8:9
.int 0x58a082a6

# CHECK: a6 a2 a0 58 f16v4max $a10:11, $a10:11, $a10:11
.int 0x58a0a2a6

# CHECK: a6 c2 a0 58 f16v4max $a10:11, $a10:11, $a12:13
.int 0x58a0c2a6

# CHECK: a6 e2 a0 58 f16v4max $a10:11, $a10:11, $a14:15
.int 0x58a0e2a6

# CHECK: a6 02 c0 58 f16v4max $a10:11, $a12:13, $a0:1
.int 0x58c002a6

# CHECK: a6 22 c0 58 f16v4max $a10:11, $a12:13, $a2:3
.int 0x58c022a6

# CHECK: a6 42 c0 58 f16v4max $a10:11, $a12:13, $a4:5
.int 0x58c042a6

# CHECK: a6 62 c0 58 f16v4max $a10:11, $a12:13, $a6:7
.int 0x58c062a6

# CHECK: a6 82 c0 58 f16v4max $a10:11, $a12:13, $a8:9
.int 0x58c082a6

# CHECK: a6 a2 c0 58 f16v4max $a10:11, $a12:13, $a10:11
.int 0x58c0a2a6

# CHECK: a6 c2 c0 58 f16v4max $a10:11, $a12:13, $a12:13
.int 0x58c0c2a6

# CHECK: a6 e2 c0 58 f16v4max $a10:11, $a12:13, $a14:15
.int 0x58c0e2a6

# CHECK: a6 02 e0 58 f16v4max $a10:11, $a14:15, $a0:1
.int 0x58e002a6

# CHECK: a6 22 e0 58 f16v4max $a10:11, $a14:15, $a2:3
.int 0x58e022a6

# CHECK: a6 42 e0 58 f16v4max $a10:11, $a14:15, $a4:5
.int 0x58e042a6

# CHECK: a6 62 e0 58 f16v4max $a10:11, $a14:15, $a6:7
.int 0x58e062a6

# CHECK: a6 82 e0 58 f16v4max $a10:11, $a14:15, $a8:9
.int 0x58e082a6

# CHECK: a6 a2 e0 58 f16v4max $a10:11, $a14:15, $a10:11
.int 0x58e0a2a6

# CHECK: a6 c2 e0 58 f16v4max $a10:11, $a14:15, $a12:13
.int 0x58e0c2a6

# CHECK: a6 e2 e0 58 f16v4max $a10:11, $a14:15, $a14:15
.int 0x58e0e2a6

# CHECK: c6 02 00 58 f16v4max $a12:13, $a0:1, $a0:1
.int 0x580002c6

# CHECK: c6 22 00 58 f16v4max $a12:13, $a0:1, $a2:3
.int 0x580022c6

# CHECK: c6 42 00 58 f16v4max $a12:13, $a0:1, $a4:5
.int 0x580042c6

# CHECK: c6 62 00 58 f16v4max $a12:13, $a0:1, $a6:7
.int 0x580062c6

# CHECK: c6 82 00 58 f16v4max $a12:13, $a0:1, $a8:9
.int 0x580082c6

# CHECK: c6 a2 00 58 f16v4max $a12:13, $a0:1, $a10:11
.int 0x5800a2c6

# CHECK: c6 c2 00 58 f16v4max $a12:13, $a0:1, $a12:13
.int 0x5800c2c6

# CHECK: c6 e2 00 58 f16v4max $a12:13, $a0:1, $a14:15
.int 0x5800e2c6

# CHECK: c6 02 20 58 f16v4max $a12:13, $a2:3, $a0:1
.int 0x582002c6

# CHECK: c6 22 20 58 f16v4max $a12:13, $a2:3, $a2:3
.int 0x582022c6

# CHECK: c6 42 20 58 f16v4max $a12:13, $a2:3, $a4:5
.int 0x582042c6

# CHECK: c6 62 20 58 f16v4max $a12:13, $a2:3, $a6:7
.int 0x582062c6

# CHECK: c6 82 20 58 f16v4max $a12:13, $a2:3, $a8:9
.int 0x582082c6

# CHECK: c6 a2 20 58 f16v4max $a12:13, $a2:3, $a10:11
.int 0x5820a2c6

# CHECK: c6 c2 20 58 f16v4max $a12:13, $a2:3, $a12:13
.int 0x5820c2c6

# CHECK: c6 e2 20 58 f16v4max $a12:13, $a2:3, $a14:15
.int 0x5820e2c6

# CHECK: c6 02 40 58 f16v4max $a12:13, $a4:5, $a0:1
.int 0x584002c6

# CHECK: c6 22 40 58 f16v4max $a12:13, $a4:5, $a2:3
.int 0x584022c6

# CHECK: c6 42 40 58 f16v4max $a12:13, $a4:5, $a4:5
.int 0x584042c6

# CHECK: c6 62 40 58 f16v4max $a12:13, $a4:5, $a6:7
.int 0x584062c6

# CHECK: c6 82 40 58 f16v4max $a12:13, $a4:5, $a8:9
.int 0x584082c6

# CHECK: c6 a2 40 58 f16v4max $a12:13, $a4:5, $a10:11
.int 0x5840a2c6

# CHECK: c6 c2 40 58 f16v4max $a12:13, $a4:5, $a12:13
.int 0x5840c2c6

# CHECK: c6 e2 40 58 f16v4max $a12:13, $a4:5, $a14:15
.int 0x5840e2c6

# CHECK: c6 02 60 58 f16v4max $a12:13, $a6:7, $a0:1
.int 0x586002c6

# CHECK: c6 22 60 58 f16v4max $a12:13, $a6:7, $a2:3
.int 0x586022c6

# CHECK: c6 42 60 58 f16v4max $a12:13, $a6:7, $a4:5
.int 0x586042c6

# CHECK: c6 62 60 58 f16v4max $a12:13, $a6:7, $a6:7
.int 0x586062c6

# CHECK: c6 82 60 58 f16v4max $a12:13, $a6:7, $a8:9
.int 0x586082c6

# CHECK: c6 a2 60 58 f16v4max $a12:13, $a6:7, $a10:11
.int 0x5860a2c6

# CHECK: c6 c2 60 58 f16v4max $a12:13, $a6:7, $a12:13
.int 0x5860c2c6

# CHECK: c6 e2 60 58 f16v4max $a12:13, $a6:7, $a14:15
.int 0x5860e2c6

# CHECK: c6 02 80 58 f16v4max $a12:13, $a8:9, $a0:1
.int 0x588002c6

# CHECK: c6 22 80 58 f16v4max $a12:13, $a8:9, $a2:3
.int 0x588022c6

# CHECK: c6 42 80 58 f16v4max $a12:13, $a8:9, $a4:5
.int 0x588042c6

# CHECK: c6 62 80 58 f16v4max $a12:13, $a8:9, $a6:7
.int 0x588062c6

# CHECK: c6 82 80 58 f16v4max $a12:13, $a8:9, $a8:9
.int 0x588082c6

# CHECK: c6 a2 80 58 f16v4max $a12:13, $a8:9, $a10:11
.int 0x5880a2c6

# CHECK: c6 c2 80 58 f16v4max $a12:13, $a8:9, $a12:13
.int 0x5880c2c6

# CHECK: c6 e2 80 58 f16v4max $a12:13, $a8:9, $a14:15
.int 0x5880e2c6

# CHECK: c6 02 a0 58 f16v4max $a12:13, $a10:11, $a0:1
.int 0x58a002c6

# CHECK: c6 22 a0 58 f16v4max $a12:13, $a10:11, $a2:3
.int 0x58a022c6

# CHECK: c6 42 a0 58 f16v4max $a12:13, $a10:11, $a4:5
.int 0x58a042c6

# CHECK: c6 62 a0 58 f16v4max $a12:13, $a10:11, $a6:7
.int 0x58a062c6

# CHECK: c6 82 a0 58 f16v4max $a12:13, $a10:11, $a8:9
.int 0x58a082c6

# CHECK: c6 a2 a0 58 f16v4max $a12:13, $a10:11, $a10:11
.int 0x58a0a2c6

# CHECK: c6 c2 a0 58 f16v4max $a12:13, $a10:11, $a12:13
.int 0x58a0c2c6

# CHECK: c6 e2 a0 58 f16v4max $a12:13, $a10:11, $a14:15
.int 0x58a0e2c6

# CHECK: c6 02 c0 58 f16v4max $a12:13, $a12:13, $a0:1
.int 0x58c002c6

# CHECK: c6 22 c0 58 f16v4max $a12:13, $a12:13, $a2:3
.int 0x58c022c6

# CHECK: c6 42 c0 58 f16v4max $a12:13, $a12:13, $a4:5
.int 0x58c042c6

# CHECK: c6 62 c0 58 f16v4max $a12:13, $a12:13, $a6:7
.int 0x58c062c6

# CHECK: c6 82 c0 58 f16v4max $a12:13, $a12:13, $a8:9
.int 0x58c082c6

# CHECK: c6 a2 c0 58 f16v4max $a12:13, $a12:13, $a10:11
.int 0x58c0a2c6

# CHECK: c6 c2 c0 58 f16v4max $a12:13, $a12:13, $a12:13
.int 0x58c0c2c6

# CHECK: c6 e2 c0 58 f16v4max $a12:13, $a12:13, $a14:15
.int 0x58c0e2c6

# CHECK: c6 02 e0 58 f16v4max $a12:13, $a14:15, $a0:1
.int 0x58e002c6

# CHECK: c6 22 e0 58 f16v4max $a12:13, $a14:15, $a2:3
.int 0x58e022c6

# CHECK: c6 42 e0 58 f16v4max $a12:13, $a14:15, $a4:5
.int 0x58e042c6

# CHECK: c6 62 e0 58 f16v4max $a12:13, $a14:15, $a6:7
.int 0x58e062c6

# CHECK: c6 82 e0 58 f16v4max $a12:13, $a14:15, $a8:9
.int 0x58e082c6

# CHECK: c6 a2 e0 58 f16v4max $a12:13, $a14:15, $a10:11
.int 0x58e0a2c6

# CHECK: c6 c2 e0 58 f16v4max $a12:13, $a14:15, $a12:13
.int 0x58e0c2c6

# CHECK: c6 e2 e0 58 f16v4max $a12:13, $a14:15, $a14:15
.int 0x58e0e2c6

# CHECK: e6 02 00 58 f16v4max $a14:15, $a0:1, $a0:1
.int 0x580002e6

# CHECK: e6 22 00 58 f16v4max $a14:15, $a0:1, $a2:3
.int 0x580022e6

# CHECK: e6 42 00 58 f16v4max $a14:15, $a0:1, $a4:5
.int 0x580042e6

# CHECK: e6 62 00 58 f16v4max $a14:15, $a0:1, $a6:7
.int 0x580062e6

# CHECK: e6 82 00 58 f16v4max $a14:15, $a0:1, $a8:9
.int 0x580082e6

# CHECK: e6 a2 00 58 f16v4max $a14:15, $a0:1, $a10:11
.int 0x5800a2e6

# CHECK: e6 c2 00 58 f16v4max $a14:15, $a0:1, $a12:13
.int 0x5800c2e6

# CHECK: e6 e2 00 58 f16v4max $a14:15, $a0:1, $a14:15
.int 0x5800e2e6

# CHECK: e6 02 20 58 f16v4max $a14:15, $a2:3, $a0:1
.int 0x582002e6

# CHECK: e6 22 20 58 f16v4max $a14:15, $a2:3, $a2:3
.int 0x582022e6

# CHECK: e6 42 20 58 f16v4max $a14:15, $a2:3, $a4:5
.int 0x582042e6

# CHECK: e6 62 20 58 f16v4max $a14:15, $a2:3, $a6:7
.int 0x582062e6

# CHECK: e6 82 20 58 f16v4max $a14:15, $a2:3, $a8:9
.int 0x582082e6

# CHECK: e6 a2 20 58 f16v4max $a14:15, $a2:3, $a10:11
.int 0x5820a2e6

# CHECK: e6 c2 20 58 f16v4max $a14:15, $a2:3, $a12:13
.int 0x5820c2e6

# CHECK: e6 e2 20 58 f16v4max $a14:15, $a2:3, $a14:15
.int 0x5820e2e6

# CHECK: e6 02 40 58 f16v4max $a14:15, $a4:5, $a0:1
.int 0x584002e6

# CHECK: e6 22 40 58 f16v4max $a14:15, $a4:5, $a2:3
.int 0x584022e6

# CHECK: e6 42 40 58 f16v4max $a14:15, $a4:5, $a4:5
.int 0x584042e6

# CHECK: e6 62 40 58 f16v4max $a14:15, $a4:5, $a6:7
.int 0x584062e6

# CHECK: e6 82 40 58 f16v4max $a14:15, $a4:5, $a8:9
.int 0x584082e6

# CHECK: e6 a2 40 58 f16v4max $a14:15, $a4:5, $a10:11
.int 0x5840a2e6

# CHECK: e6 c2 40 58 f16v4max $a14:15, $a4:5, $a12:13
.int 0x5840c2e6

# CHECK: e6 e2 40 58 f16v4max $a14:15, $a4:5, $a14:15
.int 0x5840e2e6

# CHECK: e6 02 60 58 f16v4max $a14:15, $a6:7, $a0:1
.int 0x586002e6

# CHECK: e6 22 60 58 f16v4max $a14:15, $a6:7, $a2:3
.int 0x586022e6

# CHECK: e6 42 60 58 f16v4max $a14:15, $a6:7, $a4:5
.int 0x586042e6

# CHECK: e6 62 60 58 f16v4max $a14:15, $a6:7, $a6:7
.int 0x586062e6

# CHECK: e6 82 60 58 f16v4max $a14:15, $a6:7, $a8:9
.int 0x586082e6

# CHECK: e6 a2 60 58 f16v4max $a14:15, $a6:7, $a10:11
.int 0x5860a2e6

# CHECK: e6 c2 60 58 f16v4max $a14:15, $a6:7, $a12:13
.int 0x5860c2e6

# CHECK: e6 e2 60 58 f16v4max $a14:15, $a6:7, $a14:15
.int 0x5860e2e6

# CHECK: e6 02 80 58 f16v4max $a14:15, $a8:9, $a0:1
.int 0x588002e6

# CHECK: e6 22 80 58 f16v4max $a14:15, $a8:9, $a2:3
.int 0x588022e6

# CHECK: e6 42 80 58 f16v4max $a14:15, $a8:9, $a4:5
.int 0x588042e6

# CHECK: e6 62 80 58 f16v4max $a14:15, $a8:9, $a6:7
.int 0x588062e6

# CHECK: e6 82 80 58 f16v4max $a14:15, $a8:9, $a8:9
.int 0x588082e6

# CHECK: e6 a2 80 58 f16v4max $a14:15, $a8:9, $a10:11
.int 0x5880a2e6

# CHECK: e6 c2 80 58 f16v4max $a14:15, $a8:9, $a12:13
.int 0x5880c2e6

# CHECK: e6 e2 80 58 f16v4max $a14:15, $a8:9, $a14:15
.int 0x5880e2e6

# CHECK: e6 02 a0 58 f16v4max $a14:15, $a10:11, $a0:1
.int 0x58a002e6

# CHECK: e6 22 a0 58 f16v4max $a14:15, $a10:11, $a2:3
.int 0x58a022e6

# CHECK: e6 42 a0 58 f16v4max $a14:15, $a10:11, $a4:5
.int 0x58a042e6

# CHECK: e6 62 a0 58 f16v4max $a14:15, $a10:11, $a6:7
.int 0x58a062e6

# CHECK: e6 82 a0 58 f16v4max $a14:15, $a10:11, $a8:9
.int 0x58a082e6

# CHECK: e6 a2 a0 58 f16v4max $a14:15, $a10:11, $a10:11
.int 0x58a0a2e6

# CHECK: e6 c2 a0 58 f16v4max $a14:15, $a10:11, $a12:13
.int 0x58a0c2e6

# CHECK: e6 e2 a0 58 f16v4max $a14:15, $a10:11, $a14:15
.int 0x58a0e2e6

# CHECK: e6 02 c0 58 f16v4max $a14:15, $a12:13, $a0:1
.int 0x58c002e6

# CHECK: e6 22 c0 58 f16v4max $a14:15, $a12:13, $a2:3
.int 0x58c022e6

# CHECK: e6 42 c0 58 f16v4max $a14:15, $a12:13, $a4:5
.int 0x58c042e6

# CHECK: e6 62 c0 58 f16v4max $a14:15, $a12:13, $a6:7
.int 0x58c062e6

# CHECK: e6 82 c0 58 f16v4max $a14:15, $a12:13, $a8:9
.int 0x58c082e6

# CHECK: e6 a2 c0 58 f16v4max $a14:15, $a12:13, $a10:11
.int 0x58c0a2e6

# CHECK: e6 c2 c0 58 f16v4max $a14:15, $a12:13, $a12:13
.int 0x58c0c2e6

# CHECK: e6 e2 c0 58 f16v4max $a14:15, $a12:13, $a14:15
.int 0x58c0e2e6

# CHECK: e6 02 e0 58 f16v4max $a14:15, $a14:15, $a0:1
.int 0x58e002e6

# CHECK: e6 22 e0 58 f16v4max $a14:15, $a14:15, $a2:3
.int 0x58e022e6

# CHECK: e6 42 e0 58 f16v4max $a14:15, $a14:15, $a4:5
.int 0x58e042e6

# CHECK: e6 62 e0 58 f16v4max $a14:15, $a14:15, $a6:7
.int 0x58e062e6

# CHECK: e6 82 e0 58 f16v4max $a14:15, $a14:15, $a8:9
.int 0x58e082e6

# CHECK: e6 a2 e0 58 f16v4max $a14:15, $a14:15, $a10:11
.int 0x58e0a2e6

# CHECK: e6 c2 e0 58 f16v4max $a14:15, $a14:15, $a12:13
.int 0x58e0c2e6

# CHECK: e6 e2 e0 58 f16v4max $a14:15, $a14:15, $a14:15
.int 0x58e0e2e6