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

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

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

# CHECK: 40 0f 00 5b f32sisov2amp $a0:1, $a0, $a0:1, 0
.int 0x5b000f40

# CHECK: 40 0f 20 5b f32sisov2amp $a0:1, $a0, $a2:3, 0
.int 0x5b200f40

# CHECK: 40 0f 40 5b f32sisov2amp $a0:1, $a0, $a4:5, 0
.int 0x5b400f40

# CHECK: 40 0f 60 5b f32sisov2amp $a0:1, $a0, $a6:7, 0
.int 0x5b600f40

# CHECK: 40 0f 80 5b f32sisov2amp $a0:1, $a0, $a8:9, 0
.int 0x5b800f40

# CHECK: 40 0f a0 5b f32sisov2amp $a0:1, $a0, $a10:11, 0
.int 0x5ba00f40

# CHECK: 40 0f c0 5b f32sisov2amp $a0:1, $a0, $a12:13, 0
.int 0x5bc00f40

# CHECK: 40 0f e0 5b f32sisov2amp $a0:1, $a0, $a14:15, 0
.int 0x5be00f40

# CHECK: 40 1f 00 5b f32sisov2amp $a0:1, $a1, $a0:1, 0
.int 0x5b001f40

# CHECK: 40 1f 20 5b f32sisov2amp $a0:1, $a1, $a2:3, 0
.int 0x5b201f40

# CHECK: 40 1f 40 5b f32sisov2amp $a0:1, $a1, $a4:5, 0
.int 0x5b401f40

# CHECK: 40 1f 60 5b f32sisov2amp $a0:1, $a1, $a6:7, 0
.int 0x5b601f40

# CHECK: 40 1f 80 5b f32sisov2amp $a0:1, $a1, $a8:9, 0
.int 0x5b801f40

# CHECK: 40 1f a0 5b f32sisov2amp $a0:1, $a1, $a10:11, 0
.int 0x5ba01f40

# CHECK: 40 1f c0 5b f32sisov2amp $a0:1, $a1, $a12:13, 0
.int 0x5bc01f40

# CHECK: 40 1f e0 5b f32sisov2amp $a0:1, $a1, $a14:15, 0
.int 0x5be01f40

# CHECK: 40 2f 00 5b f32sisov2amp $a0:1, $a2, $a0:1, 0
.int 0x5b002f40

# CHECK: 40 2f 20 5b f32sisov2amp $a0:1, $a2, $a2:3, 0
.int 0x5b202f40

# CHECK: 40 2f 40 5b f32sisov2amp $a0:1, $a2, $a4:5, 0
.int 0x5b402f40

# CHECK: 40 2f 60 5b f32sisov2amp $a0:1, $a2, $a6:7, 0
.int 0x5b602f40

# CHECK: 40 2f 80 5b f32sisov2amp $a0:1, $a2, $a8:9, 0
.int 0x5b802f40

# CHECK: 40 2f a0 5b f32sisov2amp $a0:1, $a2, $a10:11, 0
.int 0x5ba02f40

# CHECK: 40 2f c0 5b f32sisov2amp $a0:1, $a2, $a12:13, 0
.int 0x5bc02f40

# CHECK: 40 2f e0 5b f32sisov2amp $a0:1, $a2, $a14:15, 0
.int 0x5be02f40

# CHECK: 40 3f 00 5b f32sisov2amp $a0:1, $a3, $a0:1, 0
.int 0x5b003f40

# CHECK: 40 3f 20 5b f32sisov2amp $a0:1, $a3, $a2:3, 0
.int 0x5b203f40

# CHECK: 40 3f 40 5b f32sisov2amp $a0:1, $a3, $a4:5, 0
.int 0x5b403f40

# CHECK: 40 3f 60 5b f32sisov2amp $a0:1, $a3, $a6:7, 0
.int 0x5b603f40

# CHECK: 40 3f 80 5b f32sisov2amp $a0:1, $a3, $a8:9, 0
.int 0x5b803f40

# CHECK: 40 3f a0 5b f32sisov2amp $a0:1, $a3, $a10:11, 0
.int 0x5ba03f40

# CHECK: 40 3f c0 5b f32sisov2amp $a0:1, $a3, $a12:13, 0
.int 0x5bc03f40

# CHECK: 40 3f e0 5b f32sisov2amp $a0:1, $a3, $a14:15, 0
.int 0x5be03f40

# CHECK: 40 4f 00 5b f32sisov2amp $a0:1, $a4, $a0:1, 0
.int 0x5b004f40

# CHECK: 40 4f 20 5b f32sisov2amp $a0:1, $a4, $a2:3, 0
.int 0x5b204f40

# CHECK: 40 4f 40 5b f32sisov2amp $a0:1, $a4, $a4:5, 0
.int 0x5b404f40

# CHECK: 40 4f 60 5b f32sisov2amp $a0:1, $a4, $a6:7, 0
.int 0x5b604f40

# CHECK: 40 4f 80 5b f32sisov2amp $a0:1, $a4, $a8:9, 0
.int 0x5b804f40

# CHECK: 40 4f a0 5b f32sisov2amp $a0:1, $a4, $a10:11, 0
.int 0x5ba04f40

# CHECK: 40 4f c0 5b f32sisov2amp $a0:1, $a4, $a12:13, 0
.int 0x5bc04f40

# CHECK: 40 4f e0 5b f32sisov2amp $a0:1, $a4, $a14:15, 0
.int 0x5be04f40

# CHECK: 40 5f 00 5b f32sisov2amp $a0:1, $a5, $a0:1, 0
.int 0x5b005f40

# CHECK: 40 5f 20 5b f32sisov2amp $a0:1, $a5, $a2:3, 0
.int 0x5b205f40

# CHECK: 40 5f 40 5b f32sisov2amp $a0:1, $a5, $a4:5, 0
.int 0x5b405f40

# CHECK: 40 5f 60 5b f32sisov2amp $a0:1, $a5, $a6:7, 0
.int 0x5b605f40

# CHECK: 40 5f 80 5b f32sisov2amp $a0:1, $a5, $a8:9, 0
.int 0x5b805f40

# CHECK: 40 5f a0 5b f32sisov2amp $a0:1, $a5, $a10:11, 0
.int 0x5ba05f40

# CHECK: 40 5f c0 5b f32sisov2amp $a0:1, $a5, $a12:13, 0
.int 0x5bc05f40

# CHECK: 40 5f e0 5b f32sisov2amp $a0:1, $a5, $a14:15, 0
.int 0x5be05f40

# CHECK: 40 6f 00 5b f32sisov2amp $a0:1, $a6, $a0:1, 0
.int 0x5b006f40

# CHECK: 40 6f 20 5b f32sisov2amp $a0:1, $a6, $a2:3, 0
.int 0x5b206f40

# CHECK: 40 6f 40 5b f32sisov2amp $a0:1, $a6, $a4:5, 0
.int 0x5b406f40

# CHECK: 40 6f 60 5b f32sisov2amp $a0:1, $a6, $a6:7, 0
.int 0x5b606f40

# CHECK: 40 6f 80 5b f32sisov2amp $a0:1, $a6, $a8:9, 0
.int 0x5b806f40

# CHECK: 40 6f a0 5b f32sisov2amp $a0:1, $a6, $a10:11, 0
.int 0x5ba06f40

# CHECK: 40 6f c0 5b f32sisov2amp $a0:1, $a6, $a12:13, 0
.int 0x5bc06f40

# CHECK: 40 6f e0 5b f32sisov2amp $a0:1, $a6, $a14:15, 0
.int 0x5be06f40

# CHECK: 40 7f 00 5b f32sisov2amp $a0:1, $a7, $a0:1, 0
.int 0x5b007f40

# CHECK: 40 7f 20 5b f32sisov2amp $a0:1, $a7, $a2:3, 0
.int 0x5b207f40

# CHECK: 40 7f 40 5b f32sisov2amp $a0:1, $a7, $a4:5, 0
.int 0x5b407f40

# CHECK: 40 7f 60 5b f32sisov2amp $a0:1, $a7, $a6:7, 0
.int 0x5b607f40

# CHECK: 40 7f 80 5b f32sisov2amp $a0:1, $a7, $a8:9, 0
.int 0x5b807f40

# CHECK: 40 7f a0 5b f32sisov2amp $a0:1, $a7, $a10:11, 0
.int 0x5ba07f40

# CHECK: 40 7f c0 5b f32sisov2amp $a0:1, $a7, $a12:13, 0
.int 0x5bc07f40

# CHECK: 40 7f e0 5b f32sisov2amp $a0:1, $a7, $a14:15, 0
.int 0x5be07f40

# CHECK: 40 8f 00 5b f32sisov2amp $a0:1, $a8, $a0:1, 0
.int 0x5b008f40

# CHECK: 40 8f 20 5b f32sisov2amp $a0:1, $a8, $a2:3, 0
.int 0x5b208f40

# CHECK: 40 8f 40 5b f32sisov2amp $a0:1, $a8, $a4:5, 0
.int 0x5b408f40

# CHECK: 40 8f 60 5b f32sisov2amp $a0:1, $a8, $a6:7, 0
.int 0x5b608f40

# CHECK: 40 8f 80 5b f32sisov2amp $a0:1, $a8, $a8:9, 0
.int 0x5b808f40

# CHECK: 40 8f a0 5b f32sisov2amp $a0:1, $a8, $a10:11, 0
.int 0x5ba08f40

# CHECK: 40 8f c0 5b f32sisov2amp $a0:1, $a8, $a12:13, 0
.int 0x5bc08f40

# CHECK: 40 8f e0 5b f32sisov2amp $a0:1, $a8, $a14:15, 0
.int 0x5be08f40

# CHECK: 40 9f 00 5b f32sisov2amp $a0:1, $a9, $a0:1, 0
.int 0x5b009f40

# CHECK: 40 9f 20 5b f32sisov2amp $a0:1, $a9, $a2:3, 0
.int 0x5b209f40

# CHECK: 40 9f 40 5b f32sisov2amp $a0:1, $a9, $a4:5, 0
.int 0x5b409f40

# CHECK: 40 9f 60 5b f32sisov2amp $a0:1, $a9, $a6:7, 0
.int 0x5b609f40

# CHECK: 40 9f 80 5b f32sisov2amp $a0:1, $a9, $a8:9, 0
.int 0x5b809f40

# CHECK: 40 9f a0 5b f32sisov2amp $a0:1, $a9, $a10:11, 0
.int 0x5ba09f40

# CHECK: 40 9f c0 5b f32sisov2amp $a0:1, $a9, $a12:13, 0
.int 0x5bc09f40

# CHECK: 40 9f e0 5b f32sisov2amp $a0:1, $a9, $a14:15, 0
.int 0x5be09f40

# CHECK: 40 af 00 5b f32sisov2amp $a0:1, $a10, $a0:1, 0
.int 0x5b00af40

# CHECK: 40 af 20 5b f32sisov2amp $a0:1, $a10, $a2:3, 0
.int 0x5b20af40

# CHECK: 40 af 40 5b f32sisov2amp $a0:1, $a10, $a4:5, 0
.int 0x5b40af40

# CHECK: 40 af 60 5b f32sisov2amp $a0:1, $a10, $a6:7, 0
.int 0x5b60af40

# CHECK: 40 af 80 5b f32sisov2amp $a0:1, $a10, $a8:9, 0
.int 0x5b80af40

# CHECK: 40 af a0 5b f32sisov2amp $a0:1, $a10, $a10:11, 0
.int 0x5ba0af40

# CHECK: 40 af c0 5b f32sisov2amp $a0:1, $a10, $a12:13, 0
.int 0x5bc0af40

# CHECK: 40 af e0 5b f32sisov2amp $a0:1, $a10, $a14:15, 0
.int 0x5be0af40

# CHECK: 40 bf 00 5b f32sisov2amp $a0:1, $a11, $a0:1, 0
.int 0x5b00bf40

# CHECK: 40 bf 20 5b f32sisov2amp $a0:1, $a11, $a2:3, 0
.int 0x5b20bf40

# CHECK: 40 bf 40 5b f32sisov2amp $a0:1, $a11, $a4:5, 0
.int 0x5b40bf40

# CHECK: 40 bf 60 5b f32sisov2amp $a0:1, $a11, $a6:7, 0
.int 0x5b60bf40

# CHECK: 40 bf 80 5b f32sisov2amp $a0:1, $a11, $a8:9, 0
.int 0x5b80bf40

# CHECK: 40 bf a0 5b f32sisov2amp $a0:1, $a11, $a10:11, 0
.int 0x5ba0bf40

# CHECK: 40 bf c0 5b f32sisov2amp $a0:1, $a11, $a12:13, 0
.int 0x5bc0bf40

# CHECK: 40 bf e0 5b f32sisov2amp $a0:1, $a11, $a14:15, 0
.int 0x5be0bf40

# CHECK: 40 cf 00 5b f32sisov2amp $a0:1, $a12, $a0:1, 0
.int 0x5b00cf40

# CHECK: 40 cf 20 5b f32sisov2amp $a0:1, $a12, $a2:3, 0
.int 0x5b20cf40

# CHECK: 40 cf 40 5b f32sisov2amp $a0:1, $a12, $a4:5, 0
.int 0x5b40cf40

# CHECK: 40 cf 60 5b f32sisov2amp $a0:1, $a12, $a6:7, 0
.int 0x5b60cf40

# CHECK: 40 cf 80 5b f32sisov2amp $a0:1, $a12, $a8:9, 0
.int 0x5b80cf40

# CHECK: 40 cf a0 5b f32sisov2amp $a0:1, $a12, $a10:11, 0
.int 0x5ba0cf40

# CHECK: 40 cf c0 5b f32sisov2amp $a0:1, $a12, $a12:13, 0
.int 0x5bc0cf40

# CHECK: 40 cf e0 5b f32sisov2amp $a0:1, $a12, $a14:15, 0
.int 0x5be0cf40

# CHECK: 40 df 00 5b f32sisov2amp $a0:1, $a13, $a0:1, 0
.int 0x5b00df40

# CHECK: 40 df 20 5b f32sisov2amp $a0:1, $a13, $a2:3, 0
.int 0x5b20df40

# CHECK: 40 df 40 5b f32sisov2amp $a0:1, $a13, $a4:5, 0
.int 0x5b40df40

# CHECK: 40 df 60 5b f32sisov2amp $a0:1, $a13, $a6:7, 0
.int 0x5b60df40

# CHECK: 40 df 80 5b f32sisov2amp $a0:1, $a13, $a8:9, 0
.int 0x5b80df40

# CHECK: 40 df a0 5b f32sisov2amp $a0:1, $a13, $a10:11, 0
.int 0x5ba0df40

# CHECK: 40 df c0 5b f32sisov2amp $a0:1, $a13, $a12:13, 0
.int 0x5bc0df40

# CHECK: 40 df e0 5b f32sisov2amp $a0:1, $a13, $a14:15, 0
.int 0x5be0df40

# CHECK: 40 ef 00 5b f32sisov2amp $a0:1, $a14, $a0:1, 0
.int 0x5b00ef40

# CHECK: 40 ef 20 5b f32sisov2amp $a0:1, $a14, $a2:3, 0
.int 0x5b20ef40

# CHECK: 40 ef 40 5b f32sisov2amp $a0:1, $a14, $a4:5, 0
.int 0x5b40ef40

# CHECK: 40 ef 60 5b f32sisov2amp $a0:1, $a14, $a6:7, 0
.int 0x5b60ef40

# CHECK: 40 ef 80 5b f32sisov2amp $a0:1, $a14, $a8:9, 0
.int 0x5b80ef40

# CHECK: 40 ef a0 5b f32sisov2amp $a0:1, $a14, $a10:11, 0
.int 0x5ba0ef40

# CHECK: 40 ef c0 5b f32sisov2amp $a0:1, $a14, $a12:13, 0
.int 0x5bc0ef40

# CHECK: 40 ef e0 5b f32sisov2amp $a0:1, $a14, $a14:15, 0
.int 0x5be0ef40

# CHECK: 40 ff 00 5b f32sisov2amp $a0:1, $a15, $a0:1, 0
.int 0x5b00ff40

# CHECK: 40 ff 20 5b f32sisov2amp $a0:1, $a15, $a2:3, 0
.int 0x5b20ff40

# CHECK: 40 ff 40 5b f32sisov2amp $a0:1, $a15, $a4:5, 0
.int 0x5b40ff40

# CHECK: 40 ff 60 5b f32sisov2amp $a0:1, $a15, $a6:7, 0
.int 0x5b60ff40

# CHECK: 40 ff 80 5b f32sisov2amp $a0:1, $a15, $a8:9, 0
.int 0x5b80ff40

# CHECK: 40 ff a0 5b f32sisov2amp $a0:1, $a15, $a10:11, 0
.int 0x5ba0ff40

# CHECK: 40 ff c0 5b f32sisov2amp $a0:1, $a15, $a12:13, 0
.int 0x5bc0ff40

# CHECK: 40 ff e0 5b f32sisov2amp $a0:1, $a15, $a14:15, 0
.int 0x5be0ff40

# CHECK: 40 0f 02 5b f32sisov2amp $a2:3, $a0, $a0:1, 0
.int 0x5b020f40

# CHECK: 40 0f 22 5b f32sisov2amp $a2:3, $a0, $a2:3, 0
.int 0x5b220f40

# CHECK: 40 0f 42 5b f32sisov2amp $a2:3, $a0, $a4:5, 0
.int 0x5b420f40

# CHECK: 40 0f 62 5b f32sisov2amp $a2:3, $a0, $a6:7, 0
.int 0x5b620f40

# CHECK: 40 0f 82 5b f32sisov2amp $a2:3, $a0, $a8:9, 0
.int 0x5b820f40

# CHECK: 40 0f a2 5b f32sisov2amp $a2:3, $a0, $a10:11, 0
.int 0x5ba20f40

# CHECK: 40 0f c2 5b f32sisov2amp $a2:3, $a0, $a12:13, 0
.int 0x5bc20f40

# CHECK: 40 0f e2 5b f32sisov2amp $a2:3, $a0, $a14:15, 0
.int 0x5be20f40

# CHECK: 40 1f 02 5b f32sisov2amp $a2:3, $a1, $a0:1, 0
.int 0x5b021f40

# CHECK: 40 1f 22 5b f32sisov2amp $a2:3, $a1, $a2:3, 0
.int 0x5b221f40

# CHECK: 40 1f 42 5b f32sisov2amp $a2:3, $a1, $a4:5, 0
.int 0x5b421f40

# CHECK: 40 1f 62 5b f32sisov2amp $a2:3, $a1, $a6:7, 0
.int 0x5b621f40

# CHECK: 40 1f 82 5b f32sisov2amp $a2:3, $a1, $a8:9, 0
.int 0x5b821f40

# CHECK: 40 1f a2 5b f32sisov2amp $a2:3, $a1, $a10:11, 0
.int 0x5ba21f40

# CHECK: 40 1f c2 5b f32sisov2amp $a2:3, $a1, $a12:13, 0
.int 0x5bc21f40

# CHECK: 40 1f e2 5b f32sisov2amp $a2:3, $a1, $a14:15, 0
.int 0x5be21f40

# CHECK: 40 2f 02 5b f32sisov2amp $a2:3, $a2, $a0:1, 0
.int 0x5b022f40

# CHECK: 40 2f 22 5b f32sisov2amp $a2:3, $a2, $a2:3, 0
.int 0x5b222f40

# CHECK: 40 2f 42 5b f32sisov2amp $a2:3, $a2, $a4:5, 0
.int 0x5b422f40

# CHECK: 40 2f 62 5b f32sisov2amp $a2:3, $a2, $a6:7, 0
.int 0x5b622f40

# CHECK: 40 2f 82 5b f32sisov2amp $a2:3, $a2, $a8:9, 0
.int 0x5b822f40

# CHECK: 40 2f a2 5b f32sisov2amp $a2:3, $a2, $a10:11, 0
.int 0x5ba22f40

# CHECK: 40 2f c2 5b f32sisov2amp $a2:3, $a2, $a12:13, 0
.int 0x5bc22f40

# CHECK: 40 2f e2 5b f32sisov2amp $a2:3, $a2, $a14:15, 0
.int 0x5be22f40

# CHECK: 40 3f 02 5b f32sisov2amp $a2:3, $a3, $a0:1, 0
.int 0x5b023f40

# CHECK: 40 3f 22 5b f32sisov2amp $a2:3, $a3, $a2:3, 0
.int 0x5b223f40

# CHECK: 40 3f 42 5b f32sisov2amp $a2:3, $a3, $a4:5, 0
.int 0x5b423f40

# CHECK: 40 3f 62 5b f32sisov2amp $a2:3, $a3, $a6:7, 0
.int 0x5b623f40

# CHECK: 40 3f 82 5b f32sisov2amp $a2:3, $a3, $a8:9, 0
.int 0x5b823f40

# CHECK: 40 3f a2 5b f32sisov2amp $a2:3, $a3, $a10:11, 0
.int 0x5ba23f40

# CHECK: 40 3f c2 5b f32sisov2amp $a2:3, $a3, $a12:13, 0
.int 0x5bc23f40

# CHECK: 40 3f e2 5b f32sisov2amp $a2:3, $a3, $a14:15, 0
.int 0x5be23f40

# CHECK: 40 4f 02 5b f32sisov2amp $a2:3, $a4, $a0:1, 0
.int 0x5b024f40

# CHECK: 40 4f 22 5b f32sisov2amp $a2:3, $a4, $a2:3, 0
.int 0x5b224f40

# CHECK: 40 4f 42 5b f32sisov2amp $a2:3, $a4, $a4:5, 0
.int 0x5b424f40

# CHECK: 40 4f 62 5b f32sisov2amp $a2:3, $a4, $a6:7, 0
.int 0x5b624f40

# CHECK: 40 4f 82 5b f32sisov2amp $a2:3, $a4, $a8:9, 0
.int 0x5b824f40

# CHECK: 40 4f a2 5b f32sisov2amp $a2:3, $a4, $a10:11, 0
.int 0x5ba24f40

# CHECK: 40 4f c2 5b f32sisov2amp $a2:3, $a4, $a12:13, 0
.int 0x5bc24f40

# CHECK: 40 4f e2 5b f32sisov2amp $a2:3, $a4, $a14:15, 0
.int 0x5be24f40

# CHECK: 40 5f 02 5b f32sisov2amp $a2:3, $a5, $a0:1, 0
.int 0x5b025f40

# CHECK: 40 5f 22 5b f32sisov2amp $a2:3, $a5, $a2:3, 0
.int 0x5b225f40

# CHECK: 40 5f 42 5b f32sisov2amp $a2:3, $a5, $a4:5, 0
.int 0x5b425f40

# CHECK: 40 5f 62 5b f32sisov2amp $a2:3, $a5, $a6:7, 0
.int 0x5b625f40

# CHECK: 40 5f 82 5b f32sisov2amp $a2:3, $a5, $a8:9, 0
.int 0x5b825f40

# CHECK: 40 5f a2 5b f32sisov2amp $a2:3, $a5, $a10:11, 0
.int 0x5ba25f40

# CHECK: 40 5f c2 5b f32sisov2amp $a2:3, $a5, $a12:13, 0
.int 0x5bc25f40

# CHECK: 40 5f e2 5b f32sisov2amp $a2:3, $a5, $a14:15, 0
.int 0x5be25f40

# CHECK: 40 6f 02 5b f32sisov2amp $a2:3, $a6, $a0:1, 0
.int 0x5b026f40

# CHECK: 40 6f 22 5b f32sisov2amp $a2:3, $a6, $a2:3, 0
.int 0x5b226f40

# CHECK: 40 6f 42 5b f32sisov2amp $a2:3, $a6, $a4:5, 0
.int 0x5b426f40

# CHECK: 40 6f 62 5b f32sisov2amp $a2:3, $a6, $a6:7, 0
.int 0x5b626f40

# CHECK: 40 6f 82 5b f32sisov2amp $a2:3, $a6, $a8:9, 0
.int 0x5b826f40

# CHECK: 40 6f a2 5b f32sisov2amp $a2:3, $a6, $a10:11, 0
.int 0x5ba26f40

# CHECK: 40 6f c2 5b f32sisov2amp $a2:3, $a6, $a12:13, 0
.int 0x5bc26f40

# CHECK: 40 6f e2 5b f32sisov2amp $a2:3, $a6, $a14:15, 0
.int 0x5be26f40

# CHECK: 40 7f 02 5b f32sisov2amp $a2:3, $a7, $a0:1, 0
.int 0x5b027f40

# CHECK: 40 7f 22 5b f32sisov2amp $a2:3, $a7, $a2:3, 0
.int 0x5b227f40

# CHECK: 40 7f 42 5b f32sisov2amp $a2:3, $a7, $a4:5, 0
.int 0x5b427f40

# CHECK: 40 7f 62 5b f32sisov2amp $a2:3, $a7, $a6:7, 0
.int 0x5b627f40

# CHECK: 40 7f 82 5b f32sisov2amp $a2:3, $a7, $a8:9, 0
.int 0x5b827f40

# CHECK: 40 7f a2 5b f32sisov2amp $a2:3, $a7, $a10:11, 0
.int 0x5ba27f40

# CHECK: 40 7f c2 5b f32sisov2amp $a2:3, $a7, $a12:13, 0
.int 0x5bc27f40

# CHECK: 40 7f e2 5b f32sisov2amp $a2:3, $a7, $a14:15, 0
.int 0x5be27f40

# CHECK: 40 8f 02 5b f32sisov2amp $a2:3, $a8, $a0:1, 0
.int 0x5b028f40

# CHECK: 40 8f 22 5b f32sisov2amp $a2:3, $a8, $a2:3, 0
.int 0x5b228f40

# CHECK: 40 8f 42 5b f32sisov2amp $a2:3, $a8, $a4:5, 0
.int 0x5b428f40

# CHECK: 40 8f 62 5b f32sisov2amp $a2:3, $a8, $a6:7, 0
.int 0x5b628f40

# CHECK: 40 8f 82 5b f32sisov2amp $a2:3, $a8, $a8:9, 0
.int 0x5b828f40

# CHECK: 40 8f a2 5b f32sisov2amp $a2:3, $a8, $a10:11, 0
.int 0x5ba28f40

# CHECK: 40 8f c2 5b f32sisov2amp $a2:3, $a8, $a12:13, 0
.int 0x5bc28f40

# CHECK: 40 8f e2 5b f32sisov2amp $a2:3, $a8, $a14:15, 0
.int 0x5be28f40

# CHECK: 40 9f 02 5b f32sisov2amp $a2:3, $a9, $a0:1, 0
.int 0x5b029f40

# CHECK: 40 9f 22 5b f32sisov2amp $a2:3, $a9, $a2:3, 0
.int 0x5b229f40

# CHECK: 40 9f 42 5b f32sisov2amp $a2:3, $a9, $a4:5, 0
.int 0x5b429f40

# CHECK: 40 9f 62 5b f32sisov2amp $a2:3, $a9, $a6:7, 0
.int 0x5b629f40

# CHECK: 40 9f 82 5b f32sisov2amp $a2:3, $a9, $a8:9, 0
.int 0x5b829f40

# CHECK: 40 9f a2 5b f32sisov2amp $a2:3, $a9, $a10:11, 0
.int 0x5ba29f40

# CHECK: 40 9f c2 5b f32sisov2amp $a2:3, $a9, $a12:13, 0
.int 0x5bc29f40

# CHECK: 40 9f e2 5b f32sisov2amp $a2:3, $a9, $a14:15, 0
.int 0x5be29f40

# CHECK: 40 af 02 5b f32sisov2amp $a2:3, $a10, $a0:1, 0
.int 0x5b02af40

# CHECK: 40 af 22 5b f32sisov2amp $a2:3, $a10, $a2:3, 0
.int 0x5b22af40

# CHECK: 40 af 42 5b f32sisov2amp $a2:3, $a10, $a4:5, 0
.int 0x5b42af40

# CHECK: 40 af 62 5b f32sisov2amp $a2:3, $a10, $a6:7, 0
.int 0x5b62af40

# CHECK: 40 af 82 5b f32sisov2amp $a2:3, $a10, $a8:9, 0
.int 0x5b82af40

# CHECK: 40 af a2 5b f32sisov2amp $a2:3, $a10, $a10:11, 0
.int 0x5ba2af40

# CHECK: 40 af c2 5b f32sisov2amp $a2:3, $a10, $a12:13, 0
.int 0x5bc2af40

# CHECK: 40 af e2 5b f32sisov2amp $a2:3, $a10, $a14:15, 0
.int 0x5be2af40

# CHECK: 40 bf 02 5b f32sisov2amp $a2:3, $a11, $a0:1, 0
.int 0x5b02bf40

# CHECK: 40 bf 22 5b f32sisov2amp $a2:3, $a11, $a2:3, 0
.int 0x5b22bf40

# CHECK: 40 bf 42 5b f32sisov2amp $a2:3, $a11, $a4:5, 0
.int 0x5b42bf40

# CHECK: 40 bf 62 5b f32sisov2amp $a2:3, $a11, $a6:7, 0
.int 0x5b62bf40

# CHECK: 40 bf 82 5b f32sisov2amp $a2:3, $a11, $a8:9, 0
.int 0x5b82bf40

# CHECK: 40 bf a2 5b f32sisov2amp $a2:3, $a11, $a10:11, 0
.int 0x5ba2bf40

# CHECK: 40 bf c2 5b f32sisov2amp $a2:3, $a11, $a12:13, 0
.int 0x5bc2bf40

# CHECK: 40 bf e2 5b f32sisov2amp $a2:3, $a11, $a14:15, 0
.int 0x5be2bf40

# CHECK: 40 cf 02 5b f32sisov2amp $a2:3, $a12, $a0:1, 0
.int 0x5b02cf40

# CHECK: 40 cf 22 5b f32sisov2amp $a2:3, $a12, $a2:3, 0
.int 0x5b22cf40

# CHECK: 40 cf 42 5b f32sisov2amp $a2:3, $a12, $a4:5, 0
.int 0x5b42cf40

# CHECK: 40 cf 62 5b f32sisov2amp $a2:3, $a12, $a6:7, 0
.int 0x5b62cf40

# CHECK: 40 cf 82 5b f32sisov2amp $a2:3, $a12, $a8:9, 0
.int 0x5b82cf40

# CHECK: 40 cf a2 5b f32sisov2amp $a2:3, $a12, $a10:11, 0
.int 0x5ba2cf40

# CHECK: 40 cf c2 5b f32sisov2amp $a2:3, $a12, $a12:13, 0
.int 0x5bc2cf40

# CHECK: 40 cf e2 5b f32sisov2amp $a2:3, $a12, $a14:15, 0
.int 0x5be2cf40

# CHECK: 40 df 02 5b f32sisov2amp $a2:3, $a13, $a0:1, 0
.int 0x5b02df40

# CHECK: 40 df 22 5b f32sisov2amp $a2:3, $a13, $a2:3, 0
.int 0x5b22df40

# CHECK: 40 df 42 5b f32sisov2amp $a2:3, $a13, $a4:5, 0
.int 0x5b42df40

# CHECK: 40 df 62 5b f32sisov2amp $a2:3, $a13, $a6:7, 0
.int 0x5b62df40

# CHECK: 40 df 82 5b f32sisov2amp $a2:3, $a13, $a8:9, 0
.int 0x5b82df40

# CHECK: 40 df a2 5b f32sisov2amp $a2:3, $a13, $a10:11, 0
.int 0x5ba2df40

# CHECK: 40 df c2 5b f32sisov2amp $a2:3, $a13, $a12:13, 0
.int 0x5bc2df40

# CHECK: 40 df e2 5b f32sisov2amp $a2:3, $a13, $a14:15, 0
.int 0x5be2df40

# CHECK: 40 ef 02 5b f32sisov2amp $a2:3, $a14, $a0:1, 0
.int 0x5b02ef40

# CHECK: 40 ef 22 5b f32sisov2amp $a2:3, $a14, $a2:3, 0
.int 0x5b22ef40

# CHECK: 40 ef 42 5b f32sisov2amp $a2:3, $a14, $a4:5, 0
.int 0x5b42ef40

# CHECK: 40 ef 62 5b f32sisov2amp $a2:3, $a14, $a6:7, 0
.int 0x5b62ef40

# CHECK: 40 ef 82 5b f32sisov2amp $a2:3, $a14, $a8:9, 0
.int 0x5b82ef40

# CHECK: 40 ef a2 5b f32sisov2amp $a2:3, $a14, $a10:11, 0
.int 0x5ba2ef40

# CHECK: 40 ef c2 5b f32sisov2amp $a2:3, $a14, $a12:13, 0
.int 0x5bc2ef40

# CHECK: 40 ef e2 5b f32sisov2amp $a2:3, $a14, $a14:15, 0
.int 0x5be2ef40

# CHECK: 40 ff 02 5b f32sisov2amp $a2:3, $a15, $a0:1, 0
.int 0x5b02ff40

# CHECK: 40 ff 22 5b f32sisov2amp $a2:3, $a15, $a2:3, 0
.int 0x5b22ff40

# CHECK: 40 ff 42 5b f32sisov2amp $a2:3, $a15, $a4:5, 0
.int 0x5b42ff40

# CHECK: 40 ff 62 5b f32sisov2amp $a2:3, $a15, $a6:7, 0
.int 0x5b62ff40

# CHECK: 40 ff 82 5b f32sisov2amp $a2:3, $a15, $a8:9, 0
.int 0x5b82ff40

# CHECK: 40 ff a2 5b f32sisov2amp $a2:3, $a15, $a10:11, 0
.int 0x5ba2ff40

# CHECK: 40 ff c2 5b f32sisov2amp $a2:3, $a15, $a12:13, 0
.int 0x5bc2ff40

# CHECK: 40 ff e2 5b f32sisov2amp $a2:3, $a15, $a14:15, 0
.int 0x5be2ff40

# CHECK: 40 0f 04 5b f32sisov2amp $a4:5, $a0, $a0:1, 0
.int 0x5b040f40

# CHECK: 40 0f 24 5b f32sisov2amp $a4:5, $a0, $a2:3, 0
.int 0x5b240f40

# CHECK: 40 0f 44 5b f32sisov2amp $a4:5, $a0, $a4:5, 0
.int 0x5b440f40

# CHECK: 40 0f 64 5b f32sisov2amp $a4:5, $a0, $a6:7, 0
.int 0x5b640f40

# CHECK: 40 0f 84 5b f32sisov2amp $a4:5, $a0, $a8:9, 0
.int 0x5b840f40

# CHECK: 40 0f a4 5b f32sisov2amp $a4:5, $a0, $a10:11, 0
.int 0x5ba40f40

# CHECK: 40 0f c4 5b f32sisov2amp $a4:5, $a0, $a12:13, 0
.int 0x5bc40f40

# CHECK: 40 0f e4 5b f32sisov2amp $a4:5, $a0, $a14:15, 0
.int 0x5be40f40

# CHECK: 40 1f 04 5b f32sisov2amp $a4:5, $a1, $a0:1, 0
.int 0x5b041f40

# CHECK: 40 1f 24 5b f32sisov2amp $a4:5, $a1, $a2:3, 0
.int 0x5b241f40

# CHECK: 40 1f 44 5b f32sisov2amp $a4:5, $a1, $a4:5, 0
.int 0x5b441f40

# CHECK: 40 1f 64 5b f32sisov2amp $a4:5, $a1, $a6:7, 0
.int 0x5b641f40

# CHECK: 40 1f 84 5b f32sisov2amp $a4:5, $a1, $a8:9, 0
.int 0x5b841f40

# CHECK: 40 1f a4 5b f32sisov2amp $a4:5, $a1, $a10:11, 0
.int 0x5ba41f40

# CHECK: 40 1f c4 5b f32sisov2amp $a4:5, $a1, $a12:13, 0
.int 0x5bc41f40

# CHECK: 40 1f e4 5b f32sisov2amp $a4:5, $a1, $a14:15, 0
.int 0x5be41f40

# CHECK: 40 2f 04 5b f32sisov2amp $a4:5, $a2, $a0:1, 0
.int 0x5b042f40

# CHECK: 40 2f 24 5b f32sisov2amp $a4:5, $a2, $a2:3, 0
.int 0x5b242f40

# CHECK: 40 2f 44 5b f32sisov2amp $a4:5, $a2, $a4:5, 0
.int 0x5b442f40

# CHECK: 40 2f 64 5b f32sisov2amp $a4:5, $a2, $a6:7, 0
.int 0x5b642f40

# CHECK: 40 2f 84 5b f32sisov2amp $a4:5, $a2, $a8:9, 0
.int 0x5b842f40

# CHECK: 40 2f a4 5b f32sisov2amp $a4:5, $a2, $a10:11, 0
.int 0x5ba42f40

# CHECK: 40 2f c4 5b f32sisov2amp $a4:5, $a2, $a12:13, 0
.int 0x5bc42f40

# CHECK: 40 2f e4 5b f32sisov2amp $a4:5, $a2, $a14:15, 0
.int 0x5be42f40

# CHECK: 40 3f 04 5b f32sisov2amp $a4:5, $a3, $a0:1, 0
.int 0x5b043f40

# CHECK: 40 3f 24 5b f32sisov2amp $a4:5, $a3, $a2:3, 0
.int 0x5b243f40

# CHECK: 40 3f 44 5b f32sisov2amp $a4:5, $a3, $a4:5, 0
.int 0x5b443f40

# CHECK: 40 3f 64 5b f32sisov2amp $a4:5, $a3, $a6:7, 0
.int 0x5b643f40

# CHECK: 40 3f 84 5b f32sisov2amp $a4:5, $a3, $a8:9, 0
.int 0x5b843f40

# CHECK: 40 3f a4 5b f32sisov2amp $a4:5, $a3, $a10:11, 0
.int 0x5ba43f40

# CHECK: 40 3f c4 5b f32sisov2amp $a4:5, $a3, $a12:13, 0
.int 0x5bc43f40

# CHECK: 40 3f e4 5b f32sisov2amp $a4:5, $a3, $a14:15, 0
.int 0x5be43f40

# CHECK: 40 4f 04 5b f32sisov2amp $a4:5, $a4, $a0:1, 0
.int 0x5b044f40

# CHECK: 40 4f 24 5b f32sisov2amp $a4:5, $a4, $a2:3, 0
.int 0x5b244f40

# CHECK: 40 4f 44 5b f32sisov2amp $a4:5, $a4, $a4:5, 0
.int 0x5b444f40

# CHECK: 40 4f 64 5b f32sisov2amp $a4:5, $a4, $a6:7, 0
.int 0x5b644f40

# CHECK: 40 4f 84 5b f32sisov2amp $a4:5, $a4, $a8:9, 0
.int 0x5b844f40

# CHECK: 40 4f a4 5b f32sisov2amp $a4:5, $a4, $a10:11, 0
.int 0x5ba44f40

# CHECK: 40 4f c4 5b f32sisov2amp $a4:5, $a4, $a12:13, 0
.int 0x5bc44f40

# CHECK: 40 4f e4 5b f32sisov2amp $a4:5, $a4, $a14:15, 0
.int 0x5be44f40

# CHECK: 40 5f 04 5b f32sisov2amp $a4:5, $a5, $a0:1, 0
.int 0x5b045f40

# CHECK: 40 5f 24 5b f32sisov2amp $a4:5, $a5, $a2:3, 0
.int 0x5b245f40

# CHECK: 40 5f 44 5b f32sisov2amp $a4:5, $a5, $a4:5, 0
.int 0x5b445f40

# CHECK: 40 5f 64 5b f32sisov2amp $a4:5, $a5, $a6:7, 0
.int 0x5b645f40

# CHECK: 40 5f 84 5b f32sisov2amp $a4:5, $a5, $a8:9, 0
.int 0x5b845f40

# CHECK: 40 5f a4 5b f32sisov2amp $a4:5, $a5, $a10:11, 0
.int 0x5ba45f40

# CHECK: 40 5f c4 5b f32sisov2amp $a4:5, $a5, $a12:13, 0
.int 0x5bc45f40

# CHECK: 40 5f e4 5b f32sisov2amp $a4:5, $a5, $a14:15, 0
.int 0x5be45f40

# CHECK: 40 6f 04 5b f32sisov2amp $a4:5, $a6, $a0:1, 0
.int 0x5b046f40

# CHECK: 40 6f 24 5b f32sisov2amp $a4:5, $a6, $a2:3, 0
.int 0x5b246f40

# CHECK: 40 6f 44 5b f32sisov2amp $a4:5, $a6, $a4:5, 0
.int 0x5b446f40

# CHECK: 40 6f 64 5b f32sisov2amp $a4:5, $a6, $a6:7, 0
.int 0x5b646f40

# CHECK: 40 6f 84 5b f32sisov2amp $a4:5, $a6, $a8:9, 0
.int 0x5b846f40

# CHECK: 40 6f a4 5b f32sisov2amp $a4:5, $a6, $a10:11, 0
.int 0x5ba46f40

# CHECK: 40 6f c4 5b f32sisov2amp $a4:5, $a6, $a12:13, 0
.int 0x5bc46f40

# CHECK: 40 6f e4 5b f32sisov2amp $a4:5, $a6, $a14:15, 0
.int 0x5be46f40

# CHECK: 40 7f 04 5b f32sisov2amp $a4:5, $a7, $a0:1, 0
.int 0x5b047f40

# CHECK: 40 7f 24 5b f32sisov2amp $a4:5, $a7, $a2:3, 0
.int 0x5b247f40

# CHECK: 40 7f 44 5b f32sisov2amp $a4:5, $a7, $a4:5, 0
.int 0x5b447f40

# CHECK: 40 7f 64 5b f32sisov2amp $a4:5, $a7, $a6:7, 0
.int 0x5b647f40

# CHECK: 40 7f 84 5b f32sisov2amp $a4:5, $a7, $a8:9, 0
.int 0x5b847f40

# CHECK: 40 7f a4 5b f32sisov2amp $a4:5, $a7, $a10:11, 0
.int 0x5ba47f40

# CHECK: 40 7f c4 5b f32sisov2amp $a4:5, $a7, $a12:13, 0
.int 0x5bc47f40

# CHECK: 40 7f e4 5b f32sisov2amp $a4:5, $a7, $a14:15, 0
.int 0x5be47f40

# CHECK: 40 8f 04 5b f32sisov2amp $a4:5, $a8, $a0:1, 0
.int 0x5b048f40

# CHECK: 40 8f 24 5b f32sisov2amp $a4:5, $a8, $a2:3, 0
.int 0x5b248f40

# CHECK: 40 8f 44 5b f32sisov2amp $a4:5, $a8, $a4:5, 0
.int 0x5b448f40

# CHECK: 40 8f 64 5b f32sisov2amp $a4:5, $a8, $a6:7, 0
.int 0x5b648f40

# CHECK: 40 8f 84 5b f32sisov2amp $a4:5, $a8, $a8:9, 0
.int 0x5b848f40

# CHECK: 40 8f a4 5b f32sisov2amp $a4:5, $a8, $a10:11, 0
.int 0x5ba48f40

# CHECK: 40 8f c4 5b f32sisov2amp $a4:5, $a8, $a12:13, 0
.int 0x5bc48f40

# CHECK: 40 8f e4 5b f32sisov2amp $a4:5, $a8, $a14:15, 0
.int 0x5be48f40

# CHECK: 40 9f 04 5b f32sisov2amp $a4:5, $a9, $a0:1, 0
.int 0x5b049f40

# CHECK: 40 9f 24 5b f32sisov2amp $a4:5, $a9, $a2:3, 0
.int 0x5b249f40

# CHECK: 40 9f 44 5b f32sisov2amp $a4:5, $a9, $a4:5, 0
.int 0x5b449f40

# CHECK: 40 9f 64 5b f32sisov2amp $a4:5, $a9, $a6:7, 0
.int 0x5b649f40

# CHECK: 40 9f 84 5b f32sisov2amp $a4:5, $a9, $a8:9, 0
.int 0x5b849f40

# CHECK: 40 9f a4 5b f32sisov2amp $a4:5, $a9, $a10:11, 0
.int 0x5ba49f40

# CHECK: 40 9f c4 5b f32sisov2amp $a4:5, $a9, $a12:13, 0
.int 0x5bc49f40

# CHECK: 40 9f e4 5b f32sisov2amp $a4:5, $a9, $a14:15, 0
.int 0x5be49f40

# CHECK: 40 af 04 5b f32sisov2amp $a4:5, $a10, $a0:1, 0
.int 0x5b04af40

# CHECK: 40 af 24 5b f32sisov2amp $a4:5, $a10, $a2:3, 0
.int 0x5b24af40

# CHECK: 40 af 44 5b f32sisov2amp $a4:5, $a10, $a4:5, 0
.int 0x5b44af40

# CHECK: 40 af 64 5b f32sisov2amp $a4:5, $a10, $a6:7, 0
.int 0x5b64af40

# CHECK: 40 af 84 5b f32sisov2amp $a4:5, $a10, $a8:9, 0
.int 0x5b84af40

# CHECK: 40 af a4 5b f32sisov2amp $a4:5, $a10, $a10:11, 0
.int 0x5ba4af40

# CHECK: 40 af c4 5b f32sisov2amp $a4:5, $a10, $a12:13, 0
.int 0x5bc4af40

# CHECK: 40 af e4 5b f32sisov2amp $a4:5, $a10, $a14:15, 0
.int 0x5be4af40

# CHECK: 40 bf 04 5b f32sisov2amp $a4:5, $a11, $a0:1, 0
.int 0x5b04bf40

# CHECK: 40 bf 24 5b f32sisov2amp $a4:5, $a11, $a2:3, 0
.int 0x5b24bf40

# CHECK: 40 bf 44 5b f32sisov2amp $a4:5, $a11, $a4:5, 0
.int 0x5b44bf40

# CHECK: 40 bf 64 5b f32sisov2amp $a4:5, $a11, $a6:7, 0
.int 0x5b64bf40

# CHECK: 40 bf 84 5b f32sisov2amp $a4:5, $a11, $a8:9, 0
.int 0x5b84bf40

# CHECK: 40 bf a4 5b f32sisov2amp $a4:5, $a11, $a10:11, 0
.int 0x5ba4bf40

# CHECK: 40 bf c4 5b f32sisov2amp $a4:5, $a11, $a12:13, 0
.int 0x5bc4bf40

# CHECK: 40 bf e4 5b f32sisov2amp $a4:5, $a11, $a14:15, 0
.int 0x5be4bf40

# CHECK: 40 cf 04 5b f32sisov2amp $a4:5, $a12, $a0:1, 0
.int 0x5b04cf40

# CHECK: 40 cf 24 5b f32sisov2amp $a4:5, $a12, $a2:3, 0
.int 0x5b24cf40

# CHECK: 40 cf 44 5b f32sisov2amp $a4:5, $a12, $a4:5, 0
.int 0x5b44cf40

# CHECK: 40 cf 64 5b f32sisov2amp $a4:5, $a12, $a6:7, 0
.int 0x5b64cf40

# CHECK: 40 cf 84 5b f32sisov2amp $a4:5, $a12, $a8:9, 0
.int 0x5b84cf40

# CHECK: 40 cf a4 5b f32sisov2amp $a4:5, $a12, $a10:11, 0
.int 0x5ba4cf40

# CHECK: 40 cf c4 5b f32sisov2amp $a4:5, $a12, $a12:13, 0
.int 0x5bc4cf40

# CHECK: 40 cf e4 5b f32sisov2amp $a4:5, $a12, $a14:15, 0
.int 0x5be4cf40

# CHECK: 40 df 04 5b f32sisov2amp $a4:5, $a13, $a0:1, 0
.int 0x5b04df40

# CHECK: 40 df 24 5b f32sisov2amp $a4:5, $a13, $a2:3, 0
.int 0x5b24df40

# CHECK: 40 df 44 5b f32sisov2amp $a4:5, $a13, $a4:5, 0
.int 0x5b44df40

# CHECK: 40 df 64 5b f32sisov2amp $a4:5, $a13, $a6:7, 0
.int 0x5b64df40

# CHECK: 40 df 84 5b f32sisov2amp $a4:5, $a13, $a8:9, 0
.int 0x5b84df40

# CHECK: 40 df a4 5b f32sisov2amp $a4:5, $a13, $a10:11, 0
.int 0x5ba4df40

# CHECK: 40 df c4 5b f32sisov2amp $a4:5, $a13, $a12:13, 0
.int 0x5bc4df40

# CHECK: 40 df e4 5b f32sisov2amp $a4:5, $a13, $a14:15, 0
.int 0x5be4df40

# CHECK: 40 ef 04 5b f32sisov2amp $a4:5, $a14, $a0:1, 0
.int 0x5b04ef40

# CHECK: 40 ef 24 5b f32sisov2amp $a4:5, $a14, $a2:3, 0
.int 0x5b24ef40

# CHECK: 40 ef 44 5b f32sisov2amp $a4:5, $a14, $a4:5, 0
.int 0x5b44ef40

# CHECK: 40 ef 64 5b f32sisov2amp $a4:5, $a14, $a6:7, 0
.int 0x5b64ef40

# CHECK: 40 ef 84 5b f32sisov2amp $a4:5, $a14, $a8:9, 0
.int 0x5b84ef40

# CHECK: 40 ef a4 5b f32sisov2amp $a4:5, $a14, $a10:11, 0
.int 0x5ba4ef40

# CHECK: 40 ef c4 5b f32sisov2amp $a4:5, $a14, $a12:13, 0
.int 0x5bc4ef40

# CHECK: 40 ef e4 5b f32sisov2amp $a4:5, $a14, $a14:15, 0
.int 0x5be4ef40

# CHECK: 40 ff 04 5b f32sisov2amp $a4:5, $a15, $a0:1, 0
.int 0x5b04ff40

# CHECK: 40 ff 24 5b f32sisov2amp $a4:5, $a15, $a2:3, 0
.int 0x5b24ff40

# CHECK: 40 ff 44 5b f32sisov2amp $a4:5, $a15, $a4:5, 0
.int 0x5b44ff40

# CHECK: 40 ff 64 5b f32sisov2amp $a4:5, $a15, $a6:7, 0
.int 0x5b64ff40

# CHECK: 40 ff 84 5b f32sisov2amp $a4:5, $a15, $a8:9, 0
.int 0x5b84ff40

# CHECK: 40 ff a4 5b f32sisov2amp $a4:5, $a15, $a10:11, 0
.int 0x5ba4ff40

# CHECK: 40 ff c4 5b f32sisov2amp $a4:5, $a15, $a12:13, 0
.int 0x5bc4ff40

# CHECK: 40 ff e4 5b f32sisov2amp $a4:5, $a15, $a14:15, 0
.int 0x5be4ff40

# CHECK: 40 0f 06 5b f32sisov2amp $a6:7, $a0, $a0:1, 0
.int 0x5b060f40

# CHECK: 40 0f 26 5b f32sisov2amp $a6:7, $a0, $a2:3, 0
.int 0x5b260f40

# CHECK: 40 0f 46 5b f32sisov2amp $a6:7, $a0, $a4:5, 0
.int 0x5b460f40

# CHECK: 40 0f 66 5b f32sisov2amp $a6:7, $a0, $a6:7, 0
.int 0x5b660f40

# CHECK: 40 0f 86 5b f32sisov2amp $a6:7, $a0, $a8:9, 0
.int 0x5b860f40

# CHECK: 40 0f a6 5b f32sisov2amp $a6:7, $a0, $a10:11, 0
.int 0x5ba60f40

# CHECK: 40 0f c6 5b f32sisov2amp $a6:7, $a0, $a12:13, 0
.int 0x5bc60f40

# CHECK: 40 0f e6 5b f32sisov2amp $a6:7, $a0, $a14:15, 0
.int 0x5be60f40

# CHECK: 40 1f 06 5b f32sisov2amp $a6:7, $a1, $a0:1, 0
.int 0x5b061f40

# CHECK: 40 1f 26 5b f32sisov2amp $a6:7, $a1, $a2:3, 0
.int 0x5b261f40

# CHECK: 40 1f 46 5b f32sisov2amp $a6:7, $a1, $a4:5, 0
.int 0x5b461f40

# CHECK: 40 1f 66 5b f32sisov2amp $a6:7, $a1, $a6:7, 0
.int 0x5b661f40

# CHECK: 40 1f 86 5b f32sisov2amp $a6:7, $a1, $a8:9, 0
.int 0x5b861f40

# CHECK: 40 1f a6 5b f32sisov2amp $a6:7, $a1, $a10:11, 0
.int 0x5ba61f40

# CHECK: 40 1f c6 5b f32sisov2amp $a6:7, $a1, $a12:13, 0
.int 0x5bc61f40

# CHECK: 40 1f e6 5b f32sisov2amp $a6:7, $a1, $a14:15, 0
.int 0x5be61f40

# CHECK: 40 2f 06 5b f32sisov2amp $a6:7, $a2, $a0:1, 0
.int 0x5b062f40

# CHECK: 40 2f 26 5b f32sisov2amp $a6:7, $a2, $a2:3, 0
.int 0x5b262f40

# CHECK: 40 2f 46 5b f32sisov2amp $a6:7, $a2, $a4:5, 0
.int 0x5b462f40

# CHECK: 40 2f 66 5b f32sisov2amp $a6:7, $a2, $a6:7, 0
.int 0x5b662f40

# CHECK: 40 2f 86 5b f32sisov2amp $a6:7, $a2, $a8:9, 0
.int 0x5b862f40

# CHECK: 40 2f a6 5b f32sisov2amp $a6:7, $a2, $a10:11, 0
.int 0x5ba62f40

# CHECK: 40 2f c6 5b f32sisov2amp $a6:7, $a2, $a12:13, 0
.int 0x5bc62f40

# CHECK: 40 2f e6 5b f32sisov2amp $a6:7, $a2, $a14:15, 0
.int 0x5be62f40

# CHECK: 40 3f 06 5b f32sisov2amp $a6:7, $a3, $a0:1, 0
.int 0x5b063f40

# CHECK: 40 3f 26 5b f32sisov2amp $a6:7, $a3, $a2:3, 0
.int 0x5b263f40

# CHECK: 40 3f 46 5b f32sisov2amp $a6:7, $a3, $a4:5, 0
.int 0x5b463f40

# CHECK: 40 3f 66 5b f32sisov2amp $a6:7, $a3, $a6:7, 0
.int 0x5b663f40

# CHECK: 40 3f 86 5b f32sisov2amp $a6:7, $a3, $a8:9, 0
.int 0x5b863f40

# CHECK: 40 3f a6 5b f32sisov2amp $a6:7, $a3, $a10:11, 0
.int 0x5ba63f40

# CHECK: 40 3f c6 5b f32sisov2amp $a6:7, $a3, $a12:13, 0
.int 0x5bc63f40

# CHECK: 40 3f e6 5b f32sisov2amp $a6:7, $a3, $a14:15, 0
.int 0x5be63f40

# CHECK: 40 4f 06 5b f32sisov2amp $a6:7, $a4, $a0:1, 0
.int 0x5b064f40

# CHECK: 40 4f 26 5b f32sisov2amp $a6:7, $a4, $a2:3, 0
.int 0x5b264f40

# CHECK: 40 4f 46 5b f32sisov2amp $a6:7, $a4, $a4:5, 0
.int 0x5b464f40

# CHECK: 40 4f 66 5b f32sisov2amp $a6:7, $a4, $a6:7, 0
.int 0x5b664f40

# CHECK: 40 4f 86 5b f32sisov2amp $a6:7, $a4, $a8:9, 0
.int 0x5b864f40

# CHECK: 40 4f a6 5b f32sisov2amp $a6:7, $a4, $a10:11, 0
.int 0x5ba64f40

# CHECK: 40 4f c6 5b f32sisov2amp $a6:7, $a4, $a12:13, 0
.int 0x5bc64f40

# CHECK: 40 4f e6 5b f32sisov2amp $a6:7, $a4, $a14:15, 0
.int 0x5be64f40

# CHECK: 40 5f 06 5b f32sisov2amp $a6:7, $a5, $a0:1, 0
.int 0x5b065f40

# CHECK: 40 5f 26 5b f32sisov2amp $a6:7, $a5, $a2:3, 0
.int 0x5b265f40

# CHECK: 40 5f 46 5b f32sisov2amp $a6:7, $a5, $a4:5, 0
.int 0x5b465f40

# CHECK: 40 5f 66 5b f32sisov2amp $a6:7, $a5, $a6:7, 0
.int 0x5b665f40

# CHECK: 40 5f 86 5b f32sisov2amp $a6:7, $a5, $a8:9, 0
.int 0x5b865f40

# CHECK: 40 5f a6 5b f32sisov2amp $a6:7, $a5, $a10:11, 0
.int 0x5ba65f40

# CHECK: 40 5f c6 5b f32sisov2amp $a6:7, $a5, $a12:13, 0
.int 0x5bc65f40

# CHECK: 40 5f e6 5b f32sisov2amp $a6:7, $a5, $a14:15, 0
.int 0x5be65f40

# CHECK: 40 6f 06 5b f32sisov2amp $a6:7, $a6, $a0:1, 0
.int 0x5b066f40

# CHECK: 40 6f 26 5b f32sisov2amp $a6:7, $a6, $a2:3, 0
.int 0x5b266f40

# CHECK: 40 6f 46 5b f32sisov2amp $a6:7, $a6, $a4:5, 0
.int 0x5b466f40

# CHECK: 40 6f 66 5b f32sisov2amp $a6:7, $a6, $a6:7, 0
.int 0x5b666f40

# CHECK: 40 6f 86 5b f32sisov2amp $a6:7, $a6, $a8:9, 0
.int 0x5b866f40

# CHECK: 40 6f a6 5b f32sisov2amp $a6:7, $a6, $a10:11, 0
.int 0x5ba66f40

# CHECK: 40 6f c6 5b f32sisov2amp $a6:7, $a6, $a12:13, 0
.int 0x5bc66f40

# CHECK: 40 6f e6 5b f32sisov2amp $a6:7, $a6, $a14:15, 0
.int 0x5be66f40

# CHECK: 40 7f 06 5b f32sisov2amp $a6:7, $a7, $a0:1, 0
.int 0x5b067f40

# CHECK: 40 7f 26 5b f32sisov2amp $a6:7, $a7, $a2:3, 0
.int 0x5b267f40

# CHECK: 40 7f 46 5b f32sisov2amp $a6:7, $a7, $a4:5, 0
.int 0x5b467f40

# CHECK: 40 7f 66 5b f32sisov2amp $a6:7, $a7, $a6:7, 0
.int 0x5b667f40

# CHECK: 40 7f 86 5b f32sisov2amp $a6:7, $a7, $a8:9, 0
.int 0x5b867f40

# CHECK: 40 7f a6 5b f32sisov2amp $a6:7, $a7, $a10:11, 0
.int 0x5ba67f40

# CHECK: 40 7f c6 5b f32sisov2amp $a6:7, $a7, $a12:13, 0
.int 0x5bc67f40

# CHECK: 40 7f e6 5b f32sisov2amp $a6:7, $a7, $a14:15, 0
.int 0x5be67f40

# CHECK: 40 8f 06 5b f32sisov2amp $a6:7, $a8, $a0:1, 0
.int 0x5b068f40

# CHECK: 40 8f 26 5b f32sisov2amp $a6:7, $a8, $a2:3, 0
.int 0x5b268f40

# CHECK: 40 8f 46 5b f32sisov2amp $a6:7, $a8, $a4:5, 0
.int 0x5b468f40

# CHECK: 40 8f 66 5b f32sisov2amp $a6:7, $a8, $a6:7, 0
.int 0x5b668f40

# CHECK: 40 8f 86 5b f32sisov2amp $a6:7, $a8, $a8:9, 0
.int 0x5b868f40

# CHECK: 40 8f a6 5b f32sisov2amp $a6:7, $a8, $a10:11, 0
.int 0x5ba68f40

# CHECK: 40 8f c6 5b f32sisov2amp $a6:7, $a8, $a12:13, 0
.int 0x5bc68f40

# CHECK: 40 8f e6 5b f32sisov2amp $a6:7, $a8, $a14:15, 0
.int 0x5be68f40

# CHECK: 40 9f 06 5b f32sisov2amp $a6:7, $a9, $a0:1, 0
.int 0x5b069f40

# CHECK: 40 9f 26 5b f32sisov2amp $a6:7, $a9, $a2:3, 0
.int 0x5b269f40

# CHECK: 40 9f 46 5b f32sisov2amp $a6:7, $a9, $a4:5, 0
.int 0x5b469f40

# CHECK: 40 9f 66 5b f32sisov2amp $a6:7, $a9, $a6:7, 0
.int 0x5b669f40

# CHECK: 40 9f 86 5b f32sisov2amp $a6:7, $a9, $a8:9, 0
.int 0x5b869f40

# CHECK: 40 9f a6 5b f32sisov2amp $a6:7, $a9, $a10:11, 0
.int 0x5ba69f40

# CHECK: 40 9f c6 5b f32sisov2amp $a6:7, $a9, $a12:13, 0
.int 0x5bc69f40

# CHECK: 40 9f e6 5b f32sisov2amp $a6:7, $a9, $a14:15, 0
.int 0x5be69f40

# CHECK: 40 af 06 5b f32sisov2amp $a6:7, $a10, $a0:1, 0
.int 0x5b06af40

# CHECK: 40 af 26 5b f32sisov2amp $a6:7, $a10, $a2:3, 0
.int 0x5b26af40

# CHECK: 40 af 46 5b f32sisov2amp $a6:7, $a10, $a4:5, 0
.int 0x5b46af40

# CHECK: 40 af 66 5b f32sisov2amp $a6:7, $a10, $a6:7, 0
.int 0x5b66af40

# CHECK: 40 af 86 5b f32sisov2amp $a6:7, $a10, $a8:9, 0
.int 0x5b86af40

# CHECK: 40 af a6 5b f32sisov2amp $a6:7, $a10, $a10:11, 0
.int 0x5ba6af40

# CHECK: 40 af c6 5b f32sisov2amp $a6:7, $a10, $a12:13, 0
.int 0x5bc6af40

# CHECK: 40 af e6 5b f32sisov2amp $a6:7, $a10, $a14:15, 0
.int 0x5be6af40

# CHECK: 40 bf 06 5b f32sisov2amp $a6:7, $a11, $a0:1, 0
.int 0x5b06bf40

# CHECK: 40 bf 26 5b f32sisov2amp $a6:7, $a11, $a2:3, 0
.int 0x5b26bf40

# CHECK: 40 bf 46 5b f32sisov2amp $a6:7, $a11, $a4:5, 0
.int 0x5b46bf40

# CHECK: 40 bf 66 5b f32sisov2amp $a6:7, $a11, $a6:7, 0
.int 0x5b66bf40

# CHECK: 40 bf 86 5b f32sisov2amp $a6:7, $a11, $a8:9, 0
.int 0x5b86bf40

# CHECK: 40 bf a6 5b f32sisov2amp $a6:7, $a11, $a10:11, 0
.int 0x5ba6bf40

# CHECK: 40 bf c6 5b f32sisov2amp $a6:7, $a11, $a12:13, 0
.int 0x5bc6bf40

# CHECK: 40 bf e6 5b f32sisov2amp $a6:7, $a11, $a14:15, 0
.int 0x5be6bf40

# CHECK: 40 cf 06 5b f32sisov2amp $a6:7, $a12, $a0:1, 0
.int 0x5b06cf40

# CHECK: 40 cf 26 5b f32sisov2amp $a6:7, $a12, $a2:3, 0
.int 0x5b26cf40

# CHECK: 40 cf 46 5b f32sisov2amp $a6:7, $a12, $a4:5, 0
.int 0x5b46cf40

# CHECK: 40 cf 66 5b f32sisov2amp $a6:7, $a12, $a6:7, 0
.int 0x5b66cf40

# CHECK: 40 cf 86 5b f32sisov2amp $a6:7, $a12, $a8:9, 0
.int 0x5b86cf40

# CHECK: 40 cf a6 5b f32sisov2amp $a6:7, $a12, $a10:11, 0
.int 0x5ba6cf40

# CHECK: 40 cf c6 5b f32sisov2amp $a6:7, $a12, $a12:13, 0
.int 0x5bc6cf40

# CHECK: 40 cf e6 5b f32sisov2amp $a6:7, $a12, $a14:15, 0
.int 0x5be6cf40

# CHECK: 40 df 06 5b f32sisov2amp $a6:7, $a13, $a0:1, 0
.int 0x5b06df40

# CHECK: 40 df 26 5b f32sisov2amp $a6:7, $a13, $a2:3, 0
.int 0x5b26df40

# CHECK: 40 df 46 5b f32sisov2amp $a6:7, $a13, $a4:5, 0
.int 0x5b46df40

# CHECK: 40 df 66 5b f32sisov2amp $a6:7, $a13, $a6:7, 0
.int 0x5b66df40

# CHECK: 40 df 86 5b f32sisov2amp $a6:7, $a13, $a8:9, 0
.int 0x5b86df40

# CHECK: 40 df a6 5b f32sisov2amp $a6:7, $a13, $a10:11, 0
.int 0x5ba6df40

# CHECK: 40 df c6 5b f32sisov2amp $a6:7, $a13, $a12:13, 0
.int 0x5bc6df40

# CHECK: 40 df e6 5b f32sisov2amp $a6:7, $a13, $a14:15, 0
.int 0x5be6df40

# CHECK: 40 ef 06 5b f32sisov2amp $a6:7, $a14, $a0:1, 0
.int 0x5b06ef40

# CHECK: 40 ef 26 5b f32sisov2amp $a6:7, $a14, $a2:3, 0
.int 0x5b26ef40

# CHECK: 40 ef 46 5b f32sisov2amp $a6:7, $a14, $a4:5, 0
.int 0x5b46ef40

# CHECK: 40 ef 66 5b f32sisov2amp $a6:7, $a14, $a6:7, 0
.int 0x5b66ef40

# CHECK: 40 ef 86 5b f32sisov2amp $a6:7, $a14, $a8:9, 0
.int 0x5b86ef40

# CHECK: 40 ef a6 5b f32sisov2amp $a6:7, $a14, $a10:11, 0
.int 0x5ba6ef40

# CHECK: 40 ef c6 5b f32sisov2amp $a6:7, $a14, $a12:13, 0
.int 0x5bc6ef40

# CHECK: 40 ef e6 5b f32sisov2amp $a6:7, $a14, $a14:15, 0
.int 0x5be6ef40

# CHECK: 40 ff 06 5b f32sisov2amp $a6:7, $a15, $a0:1, 0
.int 0x5b06ff40

# CHECK: 40 ff 26 5b f32sisov2amp $a6:7, $a15, $a2:3, 0
.int 0x5b26ff40

# CHECK: 40 ff 46 5b f32sisov2amp $a6:7, $a15, $a4:5, 0
.int 0x5b46ff40

# CHECK: 40 ff 66 5b f32sisov2amp $a6:7, $a15, $a6:7, 0
.int 0x5b66ff40

# CHECK: 40 ff 86 5b f32sisov2amp $a6:7, $a15, $a8:9, 0
.int 0x5b86ff40

# CHECK: 40 ff a6 5b f32sisov2amp $a6:7, $a15, $a10:11, 0
.int 0x5ba6ff40

# CHECK: 40 ff c6 5b f32sisov2amp $a6:7, $a15, $a12:13, 0
.int 0x5bc6ff40

# CHECK: 40 ff e6 5b f32sisov2amp $a6:7, $a15, $a14:15, 0
.int 0x5be6ff40

# CHECK: 40 0f 08 5b f32sisov2amp $a8:9, $a0, $a0:1, 0
.int 0x5b080f40

# CHECK: 40 0f 28 5b f32sisov2amp $a8:9, $a0, $a2:3, 0
.int 0x5b280f40

# CHECK: 40 0f 48 5b f32sisov2amp $a8:9, $a0, $a4:5, 0
.int 0x5b480f40

# CHECK: 40 0f 68 5b f32sisov2amp $a8:9, $a0, $a6:7, 0
.int 0x5b680f40

# CHECK: 40 0f 88 5b f32sisov2amp $a8:9, $a0, $a8:9, 0
.int 0x5b880f40

# CHECK: 40 0f a8 5b f32sisov2amp $a8:9, $a0, $a10:11, 0
.int 0x5ba80f40

# CHECK: 40 0f c8 5b f32sisov2amp $a8:9, $a0, $a12:13, 0
.int 0x5bc80f40

# CHECK: 40 0f e8 5b f32sisov2amp $a8:9, $a0, $a14:15, 0
.int 0x5be80f40

# CHECK: 40 1f 08 5b f32sisov2amp $a8:9, $a1, $a0:1, 0
.int 0x5b081f40

# CHECK: 40 1f 28 5b f32sisov2amp $a8:9, $a1, $a2:3, 0
.int 0x5b281f40

# CHECK: 40 1f 48 5b f32sisov2amp $a8:9, $a1, $a4:5, 0
.int 0x5b481f40

# CHECK: 40 1f 68 5b f32sisov2amp $a8:9, $a1, $a6:7, 0
.int 0x5b681f40

# CHECK: 40 1f 88 5b f32sisov2amp $a8:9, $a1, $a8:9, 0
.int 0x5b881f40

# CHECK: 40 1f a8 5b f32sisov2amp $a8:9, $a1, $a10:11, 0
.int 0x5ba81f40

# CHECK: 40 1f c8 5b f32sisov2amp $a8:9, $a1, $a12:13, 0
.int 0x5bc81f40

# CHECK: 40 1f e8 5b f32sisov2amp $a8:9, $a1, $a14:15, 0
.int 0x5be81f40

# CHECK: 40 2f 08 5b f32sisov2amp $a8:9, $a2, $a0:1, 0
.int 0x5b082f40

# CHECK: 40 2f 28 5b f32sisov2amp $a8:9, $a2, $a2:3, 0
.int 0x5b282f40

# CHECK: 40 2f 48 5b f32sisov2amp $a8:9, $a2, $a4:5, 0
.int 0x5b482f40

# CHECK: 40 2f 68 5b f32sisov2amp $a8:9, $a2, $a6:7, 0
.int 0x5b682f40

# CHECK: 40 2f 88 5b f32sisov2amp $a8:9, $a2, $a8:9, 0
.int 0x5b882f40

# CHECK: 40 2f a8 5b f32sisov2amp $a8:9, $a2, $a10:11, 0
.int 0x5ba82f40

# CHECK: 40 2f c8 5b f32sisov2amp $a8:9, $a2, $a12:13, 0
.int 0x5bc82f40

# CHECK: 40 2f e8 5b f32sisov2amp $a8:9, $a2, $a14:15, 0
.int 0x5be82f40

# CHECK: 40 3f 08 5b f32sisov2amp $a8:9, $a3, $a0:1, 0
.int 0x5b083f40

# CHECK: 40 3f 28 5b f32sisov2amp $a8:9, $a3, $a2:3, 0
.int 0x5b283f40

# CHECK: 40 3f 48 5b f32sisov2amp $a8:9, $a3, $a4:5, 0
.int 0x5b483f40

# CHECK: 40 3f 68 5b f32sisov2amp $a8:9, $a3, $a6:7, 0
.int 0x5b683f40

# CHECK: 40 3f 88 5b f32sisov2amp $a8:9, $a3, $a8:9, 0
.int 0x5b883f40

# CHECK: 40 3f a8 5b f32sisov2amp $a8:9, $a3, $a10:11, 0
.int 0x5ba83f40

# CHECK: 40 3f c8 5b f32sisov2amp $a8:9, $a3, $a12:13, 0
.int 0x5bc83f40

# CHECK: 40 3f e8 5b f32sisov2amp $a8:9, $a3, $a14:15, 0
.int 0x5be83f40

# CHECK: 40 4f 08 5b f32sisov2amp $a8:9, $a4, $a0:1, 0
.int 0x5b084f40

# CHECK: 40 4f 28 5b f32sisov2amp $a8:9, $a4, $a2:3, 0
.int 0x5b284f40

# CHECK: 40 4f 48 5b f32sisov2amp $a8:9, $a4, $a4:5, 0
.int 0x5b484f40

# CHECK: 40 4f 68 5b f32sisov2amp $a8:9, $a4, $a6:7, 0
.int 0x5b684f40

# CHECK: 40 4f 88 5b f32sisov2amp $a8:9, $a4, $a8:9, 0
.int 0x5b884f40

# CHECK: 40 4f a8 5b f32sisov2amp $a8:9, $a4, $a10:11, 0
.int 0x5ba84f40

# CHECK: 40 4f c8 5b f32sisov2amp $a8:9, $a4, $a12:13, 0
.int 0x5bc84f40

# CHECK: 40 4f e8 5b f32sisov2amp $a8:9, $a4, $a14:15, 0
.int 0x5be84f40

# CHECK: 40 5f 08 5b f32sisov2amp $a8:9, $a5, $a0:1, 0
.int 0x5b085f40

# CHECK: 40 5f 28 5b f32sisov2amp $a8:9, $a5, $a2:3, 0
.int 0x5b285f40

# CHECK: 40 5f 48 5b f32sisov2amp $a8:9, $a5, $a4:5, 0
.int 0x5b485f40

# CHECK: 40 5f 68 5b f32sisov2amp $a8:9, $a5, $a6:7, 0
.int 0x5b685f40

# CHECK: 40 5f 88 5b f32sisov2amp $a8:9, $a5, $a8:9, 0
.int 0x5b885f40

# CHECK: 40 5f a8 5b f32sisov2amp $a8:9, $a5, $a10:11, 0
.int 0x5ba85f40

# CHECK: 40 5f c8 5b f32sisov2amp $a8:9, $a5, $a12:13, 0
.int 0x5bc85f40

# CHECK: 40 5f e8 5b f32sisov2amp $a8:9, $a5, $a14:15, 0
.int 0x5be85f40

# CHECK: 40 6f 08 5b f32sisov2amp $a8:9, $a6, $a0:1, 0
.int 0x5b086f40

# CHECK: 40 6f 28 5b f32sisov2amp $a8:9, $a6, $a2:3, 0
.int 0x5b286f40

# CHECK: 40 6f 48 5b f32sisov2amp $a8:9, $a6, $a4:5, 0
.int 0x5b486f40

# CHECK: 40 6f 68 5b f32sisov2amp $a8:9, $a6, $a6:7, 0
.int 0x5b686f40

# CHECK: 40 6f 88 5b f32sisov2amp $a8:9, $a6, $a8:9, 0
.int 0x5b886f40

# CHECK: 40 6f a8 5b f32sisov2amp $a8:9, $a6, $a10:11, 0
.int 0x5ba86f40

# CHECK: 40 6f c8 5b f32sisov2amp $a8:9, $a6, $a12:13, 0
.int 0x5bc86f40

# CHECK: 40 6f e8 5b f32sisov2amp $a8:9, $a6, $a14:15, 0
.int 0x5be86f40

# CHECK: 40 7f 08 5b f32sisov2amp $a8:9, $a7, $a0:1, 0
.int 0x5b087f40

# CHECK: 40 7f 28 5b f32sisov2amp $a8:9, $a7, $a2:3, 0
.int 0x5b287f40

# CHECK: 40 7f 48 5b f32sisov2amp $a8:9, $a7, $a4:5, 0
.int 0x5b487f40

# CHECK: 40 7f 68 5b f32sisov2amp $a8:9, $a7, $a6:7, 0
.int 0x5b687f40

# CHECK: 40 7f 88 5b f32sisov2amp $a8:9, $a7, $a8:9, 0
.int 0x5b887f40

# CHECK: 40 7f a8 5b f32sisov2amp $a8:9, $a7, $a10:11, 0
.int 0x5ba87f40

# CHECK: 40 7f c8 5b f32sisov2amp $a8:9, $a7, $a12:13, 0
.int 0x5bc87f40

# CHECK: 40 7f e8 5b f32sisov2amp $a8:9, $a7, $a14:15, 0
.int 0x5be87f40

# CHECK: 40 8f 08 5b f32sisov2amp $a8:9, $a8, $a0:1, 0
.int 0x5b088f40

# CHECK: 40 8f 28 5b f32sisov2amp $a8:9, $a8, $a2:3, 0
.int 0x5b288f40

# CHECK: 40 8f 48 5b f32sisov2amp $a8:9, $a8, $a4:5, 0
.int 0x5b488f40

# CHECK: 40 8f 68 5b f32sisov2amp $a8:9, $a8, $a6:7, 0
.int 0x5b688f40

# CHECK: 40 8f 88 5b f32sisov2amp $a8:9, $a8, $a8:9, 0
.int 0x5b888f40

# CHECK: 40 8f a8 5b f32sisov2amp $a8:9, $a8, $a10:11, 0
.int 0x5ba88f40

# CHECK: 40 8f c8 5b f32sisov2amp $a8:9, $a8, $a12:13, 0
.int 0x5bc88f40

# CHECK: 40 8f e8 5b f32sisov2amp $a8:9, $a8, $a14:15, 0
.int 0x5be88f40

# CHECK: 40 9f 08 5b f32sisov2amp $a8:9, $a9, $a0:1, 0
.int 0x5b089f40

# CHECK: 40 9f 28 5b f32sisov2amp $a8:9, $a9, $a2:3, 0
.int 0x5b289f40

# CHECK: 40 9f 48 5b f32sisov2amp $a8:9, $a9, $a4:5, 0
.int 0x5b489f40

# CHECK: 40 9f 68 5b f32sisov2amp $a8:9, $a9, $a6:7, 0
.int 0x5b689f40

# CHECK: 40 9f 88 5b f32sisov2amp $a8:9, $a9, $a8:9, 0
.int 0x5b889f40

# CHECK: 40 9f a8 5b f32sisov2amp $a8:9, $a9, $a10:11, 0
.int 0x5ba89f40

# CHECK: 40 9f c8 5b f32sisov2amp $a8:9, $a9, $a12:13, 0
.int 0x5bc89f40

# CHECK: 40 9f e8 5b f32sisov2amp $a8:9, $a9, $a14:15, 0
.int 0x5be89f40

# CHECK: 40 af 08 5b f32sisov2amp $a8:9, $a10, $a0:1, 0
.int 0x5b08af40

# CHECK: 40 af 28 5b f32sisov2amp $a8:9, $a10, $a2:3, 0
.int 0x5b28af40

# CHECK: 40 af 48 5b f32sisov2amp $a8:9, $a10, $a4:5, 0
.int 0x5b48af40

# CHECK: 40 af 68 5b f32sisov2amp $a8:9, $a10, $a6:7, 0
.int 0x5b68af40

# CHECK: 40 af 88 5b f32sisov2amp $a8:9, $a10, $a8:9, 0
.int 0x5b88af40

# CHECK: 40 af a8 5b f32sisov2amp $a8:9, $a10, $a10:11, 0
.int 0x5ba8af40

# CHECK: 40 af c8 5b f32sisov2amp $a8:9, $a10, $a12:13, 0
.int 0x5bc8af40

# CHECK: 40 af e8 5b f32sisov2amp $a8:9, $a10, $a14:15, 0
.int 0x5be8af40

# CHECK: 40 bf 08 5b f32sisov2amp $a8:9, $a11, $a0:1, 0
.int 0x5b08bf40

# CHECK: 40 bf 28 5b f32sisov2amp $a8:9, $a11, $a2:3, 0
.int 0x5b28bf40

# CHECK: 40 bf 48 5b f32sisov2amp $a8:9, $a11, $a4:5, 0
.int 0x5b48bf40

# CHECK: 40 bf 68 5b f32sisov2amp $a8:9, $a11, $a6:7, 0
.int 0x5b68bf40

# CHECK: 40 bf 88 5b f32sisov2amp $a8:9, $a11, $a8:9, 0
.int 0x5b88bf40

# CHECK: 40 bf a8 5b f32sisov2amp $a8:9, $a11, $a10:11, 0
.int 0x5ba8bf40

# CHECK: 40 bf c8 5b f32sisov2amp $a8:9, $a11, $a12:13, 0
.int 0x5bc8bf40

# CHECK: 40 bf e8 5b f32sisov2amp $a8:9, $a11, $a14:15, 0
.int 0x5be8bf40

# CHECK: 40 cf 08 5b f32sisov2amp $a8:9, $a12, $a0:1, 0
.int 0x5b08cf40

# CHECK: 40 cf 28 5b f32sisov2amp $a8:9, $a12, $a2:3, 0
.int 0x5b28cf40

# CHECK: 40 cf 48 5b f32sisov2amp $a8:9, $a12, $a4:5, 0
.int 0x5b48cf40

# CHECK: 40 cf 68 5b f32sisov2amp $a8:9, $a12, $a6:7, 0
.int 0x5b68cf40

# CHECK: 40 cf 88 5b f32sisov2amp $a8:9, $a12, $a8:9, 0
.int 0x5b88cf40

# CHECK: 40 cf a8 5b f32sisov2amp $a8:9, $a12, $a10:11, 0
.int 0x5ba8cf40

# CHECK: 40 cf c8 5b f32sisov2amp $a8:9, $a12, $a12:13, 0
.int 0x5bc8cf40

# CHECK: 40 cf e8 5b f32sisov2amp $a8:9, $a12, $a14:15, 0
.int 0x5be8cf40

# CHECK: 40 df 08 5b f32sisov2amp $a8:9, $a13, $a0:1, 0
.int 0x5b08df40

# CHECK: 40 df 28 5b f32sisov2amp $a8:9, $a13, $a2:3, 0
.int 0x5b28df40

# CHECK: 40 df 48 5b f32sisov2amp $a8:9, $a13, $a4:5, 0
.int 0x5b48df40

# CHECK: 40 df 68 5b f32sisov2amp $a8:9, $a13, $a6:7, 0
.int 0x5b68df40

# CHECK: 40 df 88 5b f32sisov2amp $a8:9, $a13, $a8:9, 0
.int 0x5b88df40

# CHECK: 40 df a8 5b f32sisov2amp $a8:9, $a13, $a10:11, 0
.int 0x5ba8df40

# CHECK: 40 df c8 5b f32sisov2amp $a8:9, $a13, $a12:13, 0
.int 0x5bc8df40

# CHECK: 40 df e8 5b f32sisov2amp $a8:9, $a13, $a14:15, 0
.int 0x5be8df40

# CHECK: 40 ef 08 5b f32sisov2amp $a8:9, $a14, $a0:1, 0
.int 0x5b08ef40

# CHECK: 40 ef 28 5b f32sisov2amp $a8:9, $a14, $a2:3, 0
.int 0x5b28ef40

# CHECK: 40 ef 48 5b f32sisov2amp $a8:9, $a14, $a4:5, 0
.int 0x5b48ef40

# CHECK: 40 ef 68 5b f32sisov2amp $a8:9, $a14, $a6:7, 0
.int 0x5b68ef40

# CHECK: 40 ef 88 5b f32sisov2amp $a8:9, $a14, $a8:9, 0
.int 0x5b88ef40

# CHECK: 40 ef a8 5b f32sisov2amp $a8:9, $a14, $a10:11, 0
.int 0x5ba8ef40

# CHECK: 40 ef c8 5b f32sisov2amp $a8:9, $a14, $a12:13, 0
.int 0x5bc8ef40

# CHECK: 40 ef e8 5b f32sisov2amp $a8:9, $a14, $a14:15, 0
.int 0x5be8ef40

# CHECK: 40 ff 08 5b f32sisov2amp $a8:9, $a15, $a0:1, 0
.int 0x5b08ff40

# CHECK: 40 ff 28 5b f32sisov2amp $a8:9, $a15, $a2:3, 0
.int 0x5b28ff40

# CHECK: 40 ff 48 5b f32sisov2amp $a8:9, $a15, $a4:5, 0
.int 0x5b48ff40

# CHECK: 40 ff 68 5b f32sisov2amp $a8:9, $a15, $a6:7, 0
.int 0x5b68ff40

# CHECK: 40 ff 88 5b f32sisov2amp $a8:9, $a15, $a8:9, 0
.int 0x5b88ff40

# CHECK: 40 ff a8 5b f32sisov2amp $a8:9, $a15, $a10:11, 0
.int 0x5ba8ff40

# CHECK: 40 ff c8 5b f32sisov2amp $a8:9, $a15, $a12:13, 0
.int 0x5bc8ff40

# CHECK: 40 ff e8 5b f32sisov2amp $a8:9, $a15, $a14:15, 0
.int 0x5be8ff40

# CHECK: 40 0f 0a 5b f32sisov2amp $a10:11, $a0, $a0:1, 0
.int 0x5b0a0f40

# CHECK: 40 0f 2a 5b f32sisov2amp $a10:11, $a0, $a2:3, 0
.int 0x5b2a0f40

# CHECK: 40 0f 4a 5b f32sisov2amp $a10:11, $a0, $a4:5, 0
.int 0x5b4a0f40

# CHECK: 40 0f 6a 5b f32sisov2amp $a10:11, $a0, $a6:7, 0
.int 0x5b6a0f40

# CHECK: 40 0f 8a 5b f32sisov2amp $a10:11, $a0, $a8:9, 0
.int 0x5b8a0f40

# CHECK: 40 0f aa 5b f32sisov2amp $a10:11, $a0, $a10:11, 0
.int 0x5baa0f40

# CHECK: 40 0f ca 5b f32sisov2amp $a10:11, $a0, $a12:13, 0
.int 0x5bca0f40

# CHECK: 40 0f ea 5b f32sisov2amp $a10:11, $a0, $a14:15, 0
.int 0x5bea0f40

# CHECK: 40 1f 0a 5b f32sisov2amp $a10:11, $a1, $a0:1, 0
.int 0x5b0a1f40

# CHECK: 40 1f 2a 5b f32sisov2amp $a10:11, $a1, $a2:3, 0
.int 0x5b2a1f40

# CHECK: 40 1f 4a 5b f32sisov2amp $a10:11, $a1, $a4:5, 0
.int 0x5b4a1f40

# CHECK: 40 1f 6a 5b f32sisov2amp $a10:11, $a1, $a6:7, 0
.int 0x5b6a1f40

# CHECK: 40 1f 8a 5b f32sisov2amp $a10:11, $a1, $a8:9, 0
.int 0x5b8a1f40

# CHECK: 40 1f aa 5b f32sisov2amp $a10:11, $a1, $a10:11, 0
.int 0x5baa1f40

# CHECK: 40 1f ca 5b f32sisov2amp $a10:11, $a1, $a12:13, 0
.int 0x5bca1f40

# CHECK: 40 1f ea 5b f32sisov2amp $a10:11, $a1, $a14:15, 0
.int 0x5bea1f40

# CHECK: 40 2f 0a 5b f32sisov2amp $a10:11, $a2, $a0:1, 0
.int 0x5b0a2f40

# CHECK: 40 2f 2a 5b f32sisov2amp $a10:11, $a2, $a2:3, 0
.int 0x5b2a2f40

# CHECK: 40 2f 4a 5b f32sisov2amp $a10:11, $a2, $a4:5, 0
.int 0x5b4a2f40

# CHECK: 40 2f 6a 5b f32sisov2amp $a10:11, $a2, $a6:7, 0
.int 0x5b6a2f40

# CHECK: 40 2f 8a 5b f32sisov2amp $a10:11, $a2, $a8:9, 0
.int 0x5b8a2f40

# CHECK: 40 2f aa 5b f32sisov2amp $a10:11, $a2, $a10:11, 0
.int 0x5baa2f40

# CHECK: 40 2f ca 5b f32sisov2amp $a10:11, $a2, $a12:13, 0
.int 0x5bca2f40

# CHECK: 40 2f ea 5b f32sisov2amp $a10:11, $a2, $a14:15, 0
.int 0x5bea2f40

# CHECK: 40 3f 0a 5b f32sisov2amp $a10:11, $a3, $a0:1, 0
.int 0x5b0a3f40

# CHECK: 40 3f 2a 5b f32sisov2amp $a10:11, $a3, $a2:3, 0
.int 0x5b2a3f40

# CHECK: 40 3f 4a 5b f32sisov2amp $a10:11, $a3, $a4:5, 0
.int 0x5b4a3f40

# CHECK: 40 3f 6a 5b f32sisov2amp $a10:11, $a3, $a6:7, 0
.int 0x5b6a3f40

# CHECK: 40 3f 8a 5b f32sisov2amp $a10:11, $a3, $a8:9, 0
.int 0x5b8a3f40

# CHECK: 40 3f aa 5b f32sisov2amp $a10:11, $a3, $a10:11, 0
.int 0x5baa3f40

# CHECK: 40 3f ca 5b f32sisov2amp $a10:11, $a3, $a12:13, 0
.int 0x5bca3f40

# CHECK: 40 3f ea 5b f32sisov2amp $a10:11, $a3, $a14:15, 0
.int 0x5bea3f40

# CHECK: 40 4f 0a 5b f32sisov2amp $a10:11, $a4, $a0:1, 0
.int 0x5b0a4f40

# CHECK: 40 4f 2a 5b f32sisov2amp $a10:11, $a4, $a2:3, 0
.int 0x5b2a4f40

# CHECK: 40 4f 4a 5b f32sisov2amp $a10:11, $a4, $a4:5, 0
.int 0x5b4a4f40

# CHECK: 40 4f 6a 5b f32sisov2amp $a10:11, $a4, $a6:7, 0
.int 0x5b6a4f40

# CHECK: 40 4f 8a 5b f32sisov2amp $a10:11, $a4, $a8:9, 0
.int 0x5b8a4f40

# CHECK: 40 4f aa 5b f32sisov2amp $a10:11, $a4, $a10:11, 0
.int 0x5baa4f40

# CHECK: 40 4f ca 5b f32sisov2amp $a10:11, $a4, $a12:13, 0
.int 0x5bca4f40

# CHECK: 40 4f ea 5b f32sisov2amp $a10:11, $a4, $a14:15, 0
.int 0x5bea4f40

# CHECK: 40 5f 0a 5b f32sisov2amp $a10:11, $a5, $a0:1, 0
.int 0x5b0a5f40

# CHECK: 40 5f 2a 5b f32sisov2amp $a10:11, $a5, $a2:3, 0
.int 0x5b2a5f40

# CHECK: 40 5f 4a 5b f32sisov2amp $a10:11, $a5, $a4:5, 0
.int 0x5b4a5f40

# CHECK: 40 5f 6a 5b f32sisov2amp $a10:11, $a5, $a6:7, 0
.int 0x5b6a5f40

# CHECK: 40 5f 8a 5b f32sisov2amp $a10:11, $a5, $a8:9, 0
.int 0x5b8a5f40

# CHECK: 40 5f aa 5b f32sisov2amp $a10:11, $a5, $a10:11, 0
.int 0x5baa5f40

# CHECK: 40 5f ca 5b f32sisov2amp $a10:11, $a5, $a12:13, 0
.int 0x5bca5f40

# CHECK: 40 5f ea 5b f32sisov2amp $a10:11, $a5, $a14:15, 0
.int 0x5bea5f40

# CHECK: 40 6f 0a 5b f32sisov2amp $a10:11, $a6, $a0:1, 0
.int 0x5b0a6f40

# CHECK: 40 6f 2a 5b f32sisov2amp $a10:11, $a6, $a2:3, 0
.int 0x5b2a6f40

# CHECK: 40 6f 4a 5b f32sisov2amp $a10:11, $a6, $a4:5, 0
.int 0x5b4a6f40

# CHECK: 40 6f 6a 5b f32sisov2amp $a10:11, $a6, $a6:7, 0
.int 0x5b6a6f40

# CHECK: 40 6f 8a 5b f32sisov2amp $a10:11, $a6, $a8:9, 0
.int 0x5b8a6f40

# CHECK: 40 6f aa 5b f32sisov2amp $a10:11, $a6, $a10:11, 0
.int 0x5baa6f40

# CHECK: 40 6f ca 5b f32sisov2amp $a10:11, $a6, $a12:13, 0
.int 0x5bca6f40

# CHECK: 40 6f ea 5b f32sisov2amp $a10:11, $a6, $a14:15, 0
.int 0x5bea6f40

# CHECK: 40 7f 0a 5b f32sisov2amp $a10:11, $a7, $a0:1, 0
.int 0x5b0a7f40

# CHECK: 40 7f 2a 5b f32sisov2amp $a10:11, $a7, $a2:3, 0
.int 0x5b2a7f40

# CHECK: 40 7f 4a 5b f32sisov2amp $a10:11, $a7, $a4:5, 0
.int 0x5b4a7f40

# CHECK: 40 7f 6a 5b f32sisov2amp $a10:11, $a7, $a6:7, 0
.int 0x5b6a7f40

# CHECK: 40 7f 8a 5b f32sisov2amp $a10:11, $a7, $a8:9, 0
.int 0x5b8a7f40

# CHECK: 40 7f aa 5b f32sisov2amp $a10:11, $a7, $a10:11, 0
.int 0x5baa7f40

# CHECK: 40 7f ca 5b f32sisov2amp $a10:11, $a7, $a12:13, 0
.int 0x5bca7f40

# CHECK: 40 7f ea 5b f32sisov2amp $a10:11, $a7, $a14:15, 0
.int 0x5bea7f40

# CHECK: 40 8f 0a 5b f32sisov2amp $a10:11, $a8, $a0:1, 0
.int 0x5b0a8f40

# CHECK: 40 8f 2a 5b f32sisov2amp $a10:11, $a8, $a2:3, 0
.int 0x5b2a8f40

# CHECK: 40 8f 4a 5b f32sisov2amp $a10:11, $a8, $a4:5, 0
.int 0x5b4a8f40

# CHECK: 40 8f 6a 5b f32sisov2amp $a10:11, $a8, $a6:7, 0
.int 0x5b6a8f40

# CHECK: 40 8f 8a 5b f32sisov2amp $a10:11, $a8, $a8:9, 0
.int 0x5b8a8f40

# CHECK: 40 8f aa 5b f32sisov2amp $a10:11, $a8, $a10:11, 0
.int 0x5baa8f40

# CHECK: 40 8f ca 5b f32sisov2amp $a10:11, $a8, $a12:13, 0
.int 0x5bca8f40

# CHECK: 40 8f ea 5b f32sisov2amp $a10:11, $a8, $a14:15, 0
.int 0x5bea8f40

# CHECK: 40 9f 0a 5b f32sisov2amp $a10:11, $a9, $a0:1, 0
.int 0x5b0a9f40

# CHECK: 40 9f 2a 5b f32sisov2amp $a10:11, $a9, $a2:3, 0
.int 0x5b2a9f40

# CHECK: 40 9f 4a 5b f32sisov2amp $a10:11, $a9, $a4:5, 0
.int 0x5b4a9f40

# CHECK: 40 9f 6a 5b f32sisov2amp $a10:11, $a9, $a6:7, 0
.int 0x5b6a9f40

# CHECK: 40 9f 8a 5b f32sisov2amp $a10:11, $a9, $a8:9, 0
.int 0x5b8a9f40

# CHECK: 40 9f aa 5b f32sisov2amp $a10:11, $a9, $a10:11, 0
.int 0x5baa9f40

# CHECK: 40 9f ca 5b f32sisov2amp $a10:11, $a9, $a12:13, 0
.int 0x5bca9f40

# CHECK: 40 9f ea 5b f32sisov2amp $a10:11, $a9, $a14:15, 0
.int 0x5bea9f40

# CHECK: 40 af 0a 5b f32sisov2amp $a10:11, $a10, $a0:1, 0
.int 0x5b0aaf40

# CHECK: 40 af 2a 5b f32sisov2amp $a10:11, $a10, $a2:3, 0
.int 0x5b2aaf40

# CHECK: 40 af 4a 5b f32sisov2amp $a10:11, $a10, $a4:5, 0
.int 0x5b4aaf40

# CHECK: 40 af 6a 5b f32sisov2amp $a10:11, $a10, $a6:7, 0
.int 0x5b6aaf40

# CHECK: 40 af 8a 5b f32sisov2amp $a10:11, $a10, $a8:9, 0
.int 0x5b8aaf40

# CHECK: 40 af aa 5b f32sisov2amp $a10:11, $a10, $a10:11, 0
.int 0x5baaaf40

# CHECK: 40 af ca 5b f32sisov2amp $a10:11, $a10, $a12:13, 0
.int 0x5bcaaf40

# CHECK: 40 af ea 5b f32sisov2amp $a10:11, $a10, $a14:15, 0
.int 0x5beaaf40

# CHECK: 40 bf 0a 5b f32sisov2amp $a10:11, $a11, $a0:1, 0
.int 0x5b0abf40

# CHECK: 40 bf 2a 5b f32sisov2amp $a10:11, $a11, $a2:3, 0
.int 0x5b2abf40

# CHECK: 40 bf 4a 5b f32sisov2amp $a10:11, $a11, $a4:5, 0
.int 0x5b4abf40

# CHECK: 40 bf 6a 5b f32sisov2amp $a10:11, $a11, $a6:7, 0
.int 0x5b6abf40

# CHECK: 40 bf 8a 5b f32sisov2amp $a10:11, $a11, $a8:9, 0
.int 0x5b8abf40

# CHECK: 40 bf aa 5b f32sisov2amp $a10:11, $a11, $a10:11, 0
.int 0x5baabf40

# CHECK: 40 bf ca 5b f32sisov2amp $a10:11, $a11, $a12:13, 0
.int 0x5bcabf40

# CHECK: 40 bf ea 5b f32sisov2amp $a10:11, $a11, $a14:15, 0
.int 0x5beabf40

# CHECK: 40 cf 0a 5b f32sisov2amp $a10:11, $a12, $a0:1, 0
.int 0x5b0acf40

# CHECK: 40 cf 2a 5b f32sisov2amp $a10:11, $a12, $a2:3, 0
.int 0x5b2acf40

# CHECK: 40 cf 4a 5b f32sisov2amp $a10:11, $a12, $a4:5, 0
.int 0x5b4acf40

# CHECK: 40 cf 6a 5b f32sisov2amp $a10:11, $a12, $a6:7, 0
.int 0x5b6acf40

# CHECK: 40 cf 8a 5b f32sisov2amp $a10:11, $a12, $a8:9, 0
.int 0x5b8acf40

# CHECK: 40 cf aa 5b f32sisov2amp $a10:11, $a12, $a10:11, 0
.int 0x5baacf40

# CHECK: 40 cf ca 5b f32sisov2amp $a10:11, $a12, $a12:13, 0
.int 0x5bcacf40

# CHECK: 40 cf ea 5b f32sisov2amp $a10:11, $a12, $a14:15, 0
.int 0x5beacf40

# CHECK: 40 df 0a 5b f32sisov2amp $a10:11, $a13, $a0:1, 0
.int 0x5b0adf40

# CHECK: 40 df 2a 5b f32sisov2amp $a10:11, $a13, $a2:3, 0
.int 0x5b2adf40

# CHECK: 40 df 4a 5b f32sisov2amp $a10:11, $a13, $a4:5, 0
.int 0x5b4adf40

# CHECK: 40 df 6a 5b f32sisov2amp $a10:11, $a13, $a6:7, 0
.int 0x5b6adf40

# CHECK: 40 df 8a 5b f32sisov2amp $a10:11, $a13, $a8:9, 0
.int 0x5b8adf40

# CHECK: 40 df aa 5b f32sisov2amp $a10:11, $a13, $a10:11, 0
.int 0x5baadf40

# CHECK: 40 df ca 5b f32sisov2amp $a10:11, $a13, $a12:13, 0
.int 0x5bcadf40

# CHECK: 40 df ea 5b f32sisov2amp $a10:11, $a13, $a14:15, 0
.int 0x5beadf40

# CHECK: 40 ef 0a 5b f32sisov2amp $a10:11, $a14, $a0:1, 0
.int 0x5b0aef40

# CHECK: 40 ef 2a 5b f32sisov2amp $a10:11, $a14, $a2:3, 0
.int 0x5b2aef40

# CHECK: 40 ef 4a 5b f32sisov2amp $a10:11, $a14, $a4:5, 0
.int 0x5b4aef40

# CHECK: 40 ef 6a 5b f32sisov2amp $a10:11, $a14, $a6:7, 0
.int 0x5b6aef40

# CHECK: 40 ef 8a 5b f32sisov2amp $a10:11, $a14, $a8:9, 0
.int 0x5b8aef40

# CHECK: 40 ef aa 5b f32sisov2amp $a10:11, $a14, $a10:11, 0
.int 0x5baaef40

# CHECK: 40 ef ca 5b f32sisov2amp $a10:11, $a14, $a12:13, 0
.int 0x5bcaef40

# CHECK: 40 ef ea 5b f32sisov2amp $a10:11, $a14, $a14:15, 0
.int 0x5beaef40

# CHECK: 40 ff 0a 5b f32sisov2amp $a10:11, $a15, $a0:1, 0
.int 0x5b0aff40

# CHECK: 40 ff 2a 5b f32sisov2amp $a10:11, $a15, $a2:3, 0
.int 0x5b2aff40

# CHECK: 40 ff 4a 5b f32sisov2amp $a10:11, $a15, $a4:5, 0
.int 0x5b4aff40

# CHECK: 40 ff 6a 5b f32sisov2amp $a10:11, $a15, $a6:7, 0
.int 0x5b6aff40

# CHECK: 40 ff 8a 5b f32sisov2amp $a10:11, $a15, $a8:9, 0
.int 0x5b8aff40

# CHECK: 40 ff aa 5b f32sisov2amp $a10:11, $a15, $a10:11, 0
.int 0x5baaff40

# CHECK: 40 ff ca 5b f32sisov2amp $a10:11, $a15, $a12:13, 0
.int 0x5bcaff40

# CHECK: 40 ff ea 5b f32sisov2amp $a10:11, $a15, $a14:15, 0
.int 0x5beaff40

# CHECK: 40 0f 0c 5b f32sisov2amp $a12:13, $a0, $a0:1, 0
.int 0x5b0c0f40

# CHECK: 40 0f 2c 5b f32sisov2amp $a12:13, $a0, $a2:3, 0
.int 0x5b2c0f40

# CHECK: 40 0f 4c 5b f32sisov2amp $a12:13, $a0, $a4:5, 0
.int 0x5b4c0f40

# CHECK: 40 0f 6c 5b f32sisov2amp $a12:13, $a0, $a6:7, 0
.int 0x5b6c0f40

# CHECK: 40 0f 8c 5b f32sisov2amp $a12:13, $a0, $a8:9, 0
.int 0x5b8c0f40

# CHECK: 40 0f ac 5b f32sisov2amp $a12:13, $a0, $a10:11, 0
.int 0x5bac0f40

# CHECK: 40 0f cc 5b f32sisov2amp $a12:13, $a0, $a12:13, 0
.int 0x5bcc0f40

# CHECK: 40 0f ec 5b f32sisov2amp $a12:13, $a0, $a14:15, 0
.int 0x5bec0f40

# CHECK: 40 1f 0c 5b f32sisov2amp $a12:13, $a1, $a0:1, 0
.int 0x5b0c1f40

# CHECK: 40 1f 2c 5b f32sisov2amp $a12:13, $a1, $a2:3, 0
.int 0x5b2c1f40

# CHECK: 40 1f 4c 5b f32sisov2amp $a12:13, $a1, $a4:5, 0
.int 0x5b4c1f40

# CHECK: 40 1f 6c 5b f32sisov2amp $a12:13, $a1, $a6:7, 0
.int 0x5b6c1f40

# CHECK: 40 1f 8c 5b f32sisov2amp $a12:13, $a1, $a8:9, 0
.int 0x5b8c1f40

# CHECK: 40 1f ac 5b f32sisov2amp $a12:13, $a1, $a10:11, 0
.int 0x5bac1f40

# CHECK: 40 1f cc 5b f32sisov2amp $a12:13, $a1, $a12:13, 0
.int 0x5bcc1f40

# CHECK: 40 1f ec 5b f32sisov2amp $a12:13, $a1, $a14:15, 0
.int 0x5bec1f40

# CHECK: 40 2f 0c 5b f32sisov2amp $a12:13, $a2, $a0:1, 0
.int 0x5b0c2f40

# CHECK: 40 2f 2c 5b f32sisov2amp $a12:13, $a2, $a2:3, 0
.int 0x5b2c2f40

# CHECK: 40 2f 4c 5b f32sisov2amp $a12:13, $a2, $a4:5, 0
.int 0x5b4c2f40

# CHECK: 40 2f 6c 5b f32sisov2amp $a12:13, $a2, $a6:7, 0
.int 0x5b6c2f40

# CHECK: 40 2f 8c 5b f32sisov2amp $a12:13, $a2, $a8:9, 0
.int 0x5b8c2f40

# CHECK: 40 2f ac 5b f32sisov2amp $a12:13, $a2, $a10:11, 0
.int 0x5bac2f40

# CHECK: 40 2f cc 5b f32sisov2amp $a12:13, $a2, $a12:13, 0
.int 0x5bcc2f40

# CHECK: 40 2f ec 5b f32sisov2amp $a12:13, $a2, $a14:15, 0
.int 0x5bec2f40

# CHECK: 40 3f 0c 5b f32sisov2amp $a12:13, $a3, $a0:1, 0
.int 0x5b0c3f40

# CHECK: 40 3f 2c 5b f32sisov2amp $a12:13, $a3, $a2:3, 0
.int 0x5b2c3f40

# CHECK: 40 3f 4c 5b f32sisov2amp $a12:13, $a3, $a4:5, 0
.int 0x5b4c3f40

# CHECK: 40 3f 6c 5b f32sisov2amp $a12:13, $a3, $a6:7, 0
.int 0x5b6c3f40

# CHECK: 40 3f 8c 5b f32sisov2amp $a12:13, $a3, $a8:9, 0
.int 0x5b8c3f40

# CHECK: 40 3f ac 5b f32sisov2amp $a12:13, $a3, $a10:11, 0
.int 0x5bac3f40

# CHECK: 40 3f cc 5b f32sisov2amp $a12:13, $a3, $a12:13, 0
.int 0x5bcc3f40

# CHECK: 40 3f ec 5b f32sisov2amp $a12:13, $a3, $a14:15, 0
.int 0x5bec3f40

# CHECK: 40 4f 0c 5b f32sisov2amp $a12:13, $a4, $a0:1, 0
.int 0x5b0c4f40

# CHECK: 40 4f 2c 5b f32sisov2amp $a12:13, $a4, $a2:3, 0
.int 0x5b2c4f40

# CHECK: 40 4f 4c 5b f32sisov2amp $a12:13, $a4, $a4:5, 0
.int 0x5b4c4f40

# CHECK: 40 4f 6c 5b f32sisov2amp $a12:13, $a4, $a6:7, 0
.int 0x5b6c4f40

# CHECK: 40 4f 8c 5b f32sisov2amp $a12:13, $a4, $a8:9, 0
.int 0x5b8c4f40

# CHECK: 40 4f ac 5b f32sisov2amp $a12:13, $a4, $a10:11, 0
.int 0x5bac4f40

# CHECK: 40 4f cc 5b f32sisov2amp $a12:13, $a4, $a12:13, 0
.int 0x5bcc4f40

# CHECK: 40 4f ec 5b f32sisov2amp $a12:13, $a4, $a14:15, 0
.int 0x5bec4f40

# CHECK: 40 5f 0c 5b f32sisov2amp $a12:13, $a5, $a0:1, 0
.int 0x5b0c5f40

# CHECK: 40 5f 2c 5b f32sisov2amp $a12:13, $a5, $a2:3, 0
.int 0x5b2c5f40

# CHECK: 40 5f 4c 5b f32sisov2amp $a12:13, $a5, $a4:5, 0
.int 0x5b4c5f40

# CHECK: 40 5f 6c 5b f32sisov2amp $a12:13, $a5, $a6:7, 0
.int 0x5b6c5f40

# CHECK: 40 5f 8c 5b f32sisov2amp $a12:13, $a5, $a8:9, 0
.int 0x5b8c5f40

# CHECK: 40 5f ac 5b f32sisov2amp $a12:13, $a5, $a10:11, 0
.int 0x5bac5f40

# CHECK: 40 5f cc 5b f32sisov2amp $a12:13, $a5, $a12:13, 0
.int 0x5bcc5f40

# CHECK: 40 5f ec 5b f32sisov2amp $a12:13, $a5, $a14:15, 0
.int 0x5bec5f40

# CHECK: 40 6f 0c 5b f32sisov2amp $a12:13, $a6, $a0:1, 0
.int 0x5b0c6f40

# CHECK: 40 6f 2c 5b f32sisov2amp $a12:13, $a6, $a2:3, 0
.int 0x5b2c6f40

# CHECK: 40 6f 4c 5b f32sisov2amp $a12:13, $a6, $a4:5, 0
.int 0x5b4c6f40

# CHECK: 40 6f 6c 5b f32sisov2amp $a12:13, $a6, $a6:7, 0
.int 0x5b6c6f40

# CHECK: 40 6f 8c 5b f32sisov2amp $a12:13, $a6, $a8:9, 0
.int 0x5b8c6f40

# CHECK: 40 6f ac 5b f32sisov2amp $a12:13, $a6, $a10:11, 0
.int 0x5bac6f40

# CHECK: 40 6f cc 5b f32sisov2amp $a12:13, $a6, $a12:13, 0
.int 0x5bcc6f40

# CHECK: 40 6f ec 5b f32sisov2amp $a12:13, $a6, $a14:15, 0
.int 0x5bec6f40

# CHECK: 40 7f 0c 5b f32sisov2amp $a12:13, $a7, $a0:1, 0
.int 0x5b0c7f40

# CHECK: 40 7f 2c 5b f32sisov2amp $a12:13, $a7, $a2:3, 0
.int 0x5b2c7f40

# CHECK: 40 7f 4c 5b f32sisov2amp $a12:13, $a7, $a4:5, 0
.int 0x5b4c7f40

# CHECK: 40 7f 6c 5b f32sisov2amp $a12:13, $a7, $a6:7, 0
.int 0x5b6c7f40

# CHECK: 40 7f 8c 5b f32sisov2amp $a12:13, $a7, $a8:9, 0
.int 0x5b8c7f40

# CHECK: 40 7f ac 5b f32sisov2amp $a12:13, $a7, $a10:11, 0
.int 0x5bac7f40

# CHECK: 40 7f cc 5b f32sisov2amp $a12:13, $a7, $a12:13, 0
.int 0x5bcc7f40

# CHECK: 40 7f ec 5b f32sisov2amp $a12:13, $a7, $a14:15, 0
.int 0x5bec7f40

# CHECK: 40 8f 0c 5b f32sisov2amp $a12:13, $a8, $a0:1, 0
.int 0x5b0c8f40

# CHECK: 40 8f 2c 5b f32sisov2amp $a12:13, $a8, $a2:3, 0
.int 0x5b2c8f40

# CHECK: 40 8f 4c 5b f32sisov2amp $a12:13, $a8, $a4:5, 0
.int 0x5b4c8f40

# CHECK: 40 8f 6c 5b f32sisov2amp $a12:13, $a8, $a6:7, 0
.int 0x5b6c8f40

# CHECK: 40 8f 8c 5b f32sisov2amp $a12:13, $a8, $a8:9, 0
.int 0x5b8c8f40

# CHECK: 40 8f ac 5b f32sisov2amp $a12:13, $a8, $a10:11, 0
.int 0x5bac8f40

# CHECK: 40 8f cc 5b f32sisov2amp $a12:13, $a8, $a12:13, 0
.int 0x5bcc8f40

# CHECK: 40 8f ec 5b f32sisov2amp $a12:13, $a8, $a14:15, 0
.int 0x5bec8f40

# CHECK: 40 9f 0c 5b f32sisov2amp $a12:13, $a9, $a0:1, 0
.int 0x5b0c9f40

# CHECK: 40 9f 2c 5b f32sisov2amp $a12:13, $a9, $a2:3, 0
.int 0x5b2c9f40

# CHECK: 40 9f 4c 5b f32sisov2amp $a12:13, $a9, $a4:5, 0
.int 0x5b4c9f40

# CHECK: 40 9f 6c 5b f32sisov2amp $a12:13, $a9, $a6:7, 0
.int 0x5b6c9f40

# CHECK: 40 9f 8c 5b f32sisov2amp $a12:13, $a9, $a8:9, 0
.int 0x5b8c9f40

# CHECK: 40 9f ac 5b f32sisov2amp $a12:13, $a9, $a10:11, 0
.int 0x5bac9f40

# CHECK: 40 9f cc 5b f32sisov2amp $a12:13, $a9, $a12:13, 0
.int 0x5bcc9f40

# CHECK: 40 9f ec 5b f32sisov2amp $a12:13, $a9, $a14:15, 0
.int 0x5bec9f40

# CHECK: 40 af 0c 5b f32sisov2amp $a12:13, $a10, $a0:1, 0
.int 0x5b0caf40

# CHECK: 40 af 2c 5b f32sisov2amp $a12:13, $a10, $a2:3, 0
.int 0x5b2caf40

# CHECK: 40 af 4c 5b f32sisov2amp $a12:13, $a10, $a4:5, 0
.int 0x5b4caf40

# CHECK: 40 af 6c 5b f32sisov2amp $a12:13, $a10, $a6:7, 0
.int 0x5b6caf40

# CHECK: 40 af 8c 5b f32sisov2amp $a12:13, $a10, $a8:9, 0
.int 0x5b8caf40

# CHECK: 40 af ac 5b f32sisov2amp $a12:13, $a10, $a10:11, 0
.int 0x5bacaf40

# CHECK: 40 af cc 5b f32sisov2amp $a12:13, $a10, $a12:13, 0
.int 0x5bccaf40

# CHECK: 40 af ec 5b f32sisov2amp $a12:13, $a10, $a14:15, 0
.int 0x5becaf40

# CHECK: 40 bf 0c 5b f32sisov2amp $a12:13, $a11, $a0:1, 0
.int 0x5b0cbf40

# CHECK: 40 bf 2c 5b f32sisov2amp $a12:13, $a11, $a2:3, 0
.int 0x5b2cbf40

# CHECK: 40 bf 4c 5b f32sisov2amp $a12:13, $a11, $a4:5, 0
.int 0x5b4cbf40

# CHECK: 40 bf 6c 5b f32sisov2amp $a12:13, $a11, $a6:7, 0
.int 0x5b6cbf40

# CHECK: 40 bf 8c 5b f32sisov2amp $a12:13, $a11, $a8:9, 0
.int 0x5b8cbf40

# CHECK: 40 bf ac 5b f32sisov2amp $a12:13, $a11, $a10:11, 0
.int 0x5bacbf40

# CHECK: 40 bf cc 5b f32sisov2amp $a12:13, $a11, $a12:13, 0
.int 0x5bccbf40

# CHECK: 40 bf ec 5b f32sisov2amp $a12:13, $a11, $a14:15, 0
.int 0x5becbf40

# CHECK: 40 cf 0c 5b f32sisov2amp $a12:13, $a12, $a0:1, 0
.int 0x5b0ccf40

# CHECK: 40 cf 2c 5b f32sisov2amp $a12:13, $a12, $a2:3, 0
.int 0x5b2ccf40

# CHECK: 40 cf 4c 5b f32sisov2amp $a12:13, $a12, $a4:5, 0
.int 0x5b4ccf40

# CHECK: 40 cf 6c 5b f32sisov2amp $a12:13, $a12, $a6:7, 0
.int 0x5b6ccf40

# CHECK: 40 cf 8c 5b f32sisov2amp $a12:13, $a12, $a8:9, 0
.int 0x5b8ccf40

# CHECK: 40 cf ac 5b f32sisov2amp $a12:13, $a12, $a10:11, 0
.int 0x5baccf40

# CHECK: 40 cf cc 5b f32sisov2amp $a12:13, $a12, $a12:13, 0
.int 0x5bcccf40

# CHECK: 40 cf ec 5b f32sisov2amp $a12:13, $a12, $a14:15, 0
.int 0x5beccf40

# CHECK: 40 df 0c 5b f32sisov2amp $a12:13, $a13, $a0:1, 0
.int 0x5b0cdf40

# CHECK: 40 df 2c 5b f32sisov2amp $a12:13, $a13, $a2:3, 0
.int 0x5b2cdf40

# CHECK: 40 df 4c 5b f32sisov2amp $a12:13, $a13, $a4:5, 0
.int 0x5b4cdf40

# CHECK: 40 df 6c 5b f32sisov2amp $a12:13, $a13, $a6:7, 0
.int 0x5b6cdf40

# CHECK: 40 df 8c 5b f32sisov2amp $a12:13, $a13, $a8:9, 0
.int 0x5b8cdf40

# CHECK: 40 df ac 5b f32sisov2amp $a12:13, $a13, $a10:11, 0
.int 0x5bacdf40

# CHECK: 40 df cc 5b f32sisov2amp $a12:13, $a13, $a12:13, 0
.int 0x5bccdf40

# CHECK: 40 df ec 5b f32sisov2amp $a12:13, $a13, $a14:15, 0
.int 0x5becdf40

# CHECK: 40 ef 0c 5b f32sisov2amp $a12:13, $a14, $a0:1, 0
.int 0x5b0cef40

# CHECK: 40 ef 2c 5b f32sisov2amp $a12:13, $a14, $a2:3, 0
.int 0x5b2cef40

# CHECK: 40 ef 4c 5b f32sisov2amp $a12:13, $a14, $a4:5, 0
.int 0x5b4cef40

# CHECK: 40 ef 6c 5b f32sisov2amp $a12:13, $a14, $a6:7, 0
.int 0x5b6cef40

# CHECK: 40 ef 8c 5b f32sisov2amp $a12:13, $a14, $a8:9, 0
.int 0x5b8cef40

# CHECK: 40 ef ac 5b f32sisov2amp $a12:13, $a14, $a10:11, 0
.int 0x5bacef40

# CHECK: 40 ef cc 5b f32sisov2amp $a12:13, $a14, $a12:13, 0
.int 0x5bccef40

# CHECK: 40 ef ec 5b f32sisov2amp $a12:13, $a14, $a14:15, 0
.int 0x5becef40

# CHECK: 40 ff 0c 5b f32sisov2amp $a12:13, $a15, $a0:1, 0
.int 0x5b0cff40

# CHECK: 40 ff 2c 5b f32sisov2amp $a12:13, $a15, $a2:3, 0
.int 0x5b2cff40

# CHECK: 40 ff 4c 5b f32sisov2amp $a12:13, $a15, $a4:5, 0
.int 0x5b4cff40

# CHECK: 40 ff 6c 5b f32sisov2amp $a12:13, $a15, $a6:7, 0
.int 0x5b6cff40

# CHECK: 40 ff 8c 5b f32sisov2amp $a12:13, $a15, $a8:9, 0
.int 0x5b8cff40

# CHECK: 40 ff ac 5b f32sisov2amp $a12:13, $a15, $a10:11, 0
.int 0x5bacff40

# CHECK: 40 ff cc 5b f32sisov2amp $a12:13, $a15, $a12:13, 0
.int 0x5bccff40

# CHECK: 40 ff ec 5b f32sisov2amp $a12:13, $a15, $a14:15, 0
.int 0x5becff40

# CHECK: 40 0f 0e 5b f32sisov2amp $a14:15, $a0, $a0:1, 0
.int 0x5b0e0f40

# CHECK: 40 0f 2e 5b f32sisov2amp $a14:15, $a0, $a2:3, 0
.int 0x5b2e0f40

# CHECK: 40 0f 4e 5b f32sisov2amp $a14:15, $a0, $a4:5, 0
.int 0x5b4e0f40

# CHECK: 40 0f 6e 5b f32sisov2amp $a14:15, $a0, $a6:7, 0
.int 0x5b6e0f40

# CHECK: 40 0f 8e 5b f32sisov2amp $a14:15, $a0, $a8:9, 0
.int 0x5b8e0f40

# CHECK: 40 0f ae 5b f32sisov2amp $a14:15, $a0, $a10:11, 0
.int 0x5bae0f40

# CHECK: 40 0f ce 5b f32sisov2amp $a14:15, $a0, $a12:13, 0
.int 0x5bce0f40

# CHECK: 40 0f ee 5b f32sisov2amp $a14:15, $a0, $a14:15, 0
.int 0x5bee0f40

# CHECK: 40 1f 0e 5b f32sisov2amp $a14:15, $a1, $a0:1, 0
.int 0x5b0e1f40

# CHECK: 40 1f 2e 5b f32sisov2amp $a14:15, $a1, $a2:3, 0
.int 0x5b2e1f40

# CHECK: 40 1f 4e 5b f32sisov2amp $a14:15, $a1, $a4:5, 0
.int 0x5b4e1f40

# CHECK: 40 1f 6e 5b f32sisov2amp $a14:15, $a1, $a6:7, 0
.int 0x5b6e1f40

# CHECK: 40 1f 8e 5b f32sisov2amp $a14:15, $a1, $a8:9, 0
.int 0x5b8e1f40

# CHECK: 40 1f ae 5b f32sisov2amp $a14:15, $a1, $a10:11, 0
.int 0x5bae1f40

# CHECK: 40 1f ce 5b f32sisov2amp $a14:15, $a1, $a12:13, 0
.int 0x5bce1f40

# CHECK: 40 1f ee 5b f32sisov2amp $a14:15, $a1, $a14:15, 0
.int 0x5bee1f40

# CHECK: 40 2f 0e 5b f32sisov2amp $a14:15, $a2, $a0:1, 0
.int 0x5b0e2f40

# CHECK: 40 2f 2e 5b f32sisov2amp $a14:15, $a2, $a2:3, 0
.int 0x5b2e2f40

# CHECK: 40 2f 4e 5b f32sisov2amp $a14:15, $a2, $a4:5, 0
.int 0x5b4e2f40

# CHECK: 40 2f 6e 5b f32sisov2amp $a14:15, $a2, $a6:7, 0
.int 0x5b6e2f40

# CHECK: 40 2f 8e 5b f32sisov2amp $a14:15, $a2, $a8:9, 0
.int 0x5b8e2f40

# CHECK: 40 2f ae 5b f32sisov2amp $a14:15, $a2, $a10:11, 0
.int 0x5bae2f40

# CHECK: 40 2f ce 5b f32sisov2amp $a14:15, $a2, $a12:13, 0
.int 0x5bce2f40

# CHECK: 40 2f ee 5b f32sisov2amp $a14:15, $a2, $a14:15, 0
.int 0x5bee2f40

# CHECK: 40 3f 0e 5b f32sisov2amp $a14:15, $a3, $a0:1, 0
.int 0x5b0e3f40

# CHECK: 40 3f 2e 5b f32sisov2amp $a14:15, $a3, $a2:3, 0
.int 0x5b2e3f40

# CHECK: 40 3f 4e 5b f32sisov2amp $a14:15, $a3, $a4:5, 0
.int 0x5b4e3f40

# CHECK: 40 3f 6e 5b f32sisov2amp $a14:15, $a3, $a6:7, 0
.int 0x5b6e3f40

# CHECK: 40 3f 8e 5b f32sisov2amp $a14:15, $a3, $a8:9, 0
.int 0x5b8e3f40

# CHECK: 40 3f ae 5b f32sisov2amp $a14:15, $a3, $a10:11, 0
.int 0x5bae3f40

# CHECK: 40 3f ce 5b f32sisov2amp $a14:15, $a3, $a12:13, 0
.int 0x5bce3f40

# CHECK: 40 3f ee 5b f32sisov2amp $a14:15, $a3, $a14:15, 0
.int 0x5bee3f40

# CHECK: 40 4f 0e 5b f32sisov2amp $a14:15, $a4, $a0:1, 0
.int 0x5b0e4f40

# CHECK: 40 4f 2e 5b f32sisov2amp $a14:15, $a4, $a2:3, 0
.int 0x5b2e4f40

# CHECK: 40 4f 4e 5b f32sisov2amp $a14:15, $a4, $a4:5, 0
.int 0x5b4e4f40

# CHECK: 40 4f 6e 5b f32sisov2amp $a14:15, $a4, $a6:7, 0
.int 0x5b6e4f40

# CHECK: 40 4f 8e 5b f32sisov2amp $a14:15, $a4, $a8:9, 0
.int 0x5b8e4f40

# CHECK: 40 4f ae 5b f32sisov2amp $a14:15, $a4, $a10:11, 0
.int 0x5bae4f40

# CHECK: 40 4f ce 5b f32sisov2amp $a14:15, $a4, $a12:13, 0
.int 0x5bce4f40

# CHECK: 40 4f ee 5b f32sisov2amp $a14:15, $a4, $a14:15, 0
.int 0x5bee4f40

# CHECK: 40 5f 0e 5b f32sisov2amp $a14:15, $a5, $a0:1, 0
.int 0x5b0e5f40

# CHECK: 40 5f 2e 5b f32sisov2amp $a14:15, $a5, $a2:3, 0
.int 0x5b2e5f40

# CHECK: 40 5f 4e 5b f32sisov2amp $a14:15, $a5, $a4:5, 0
.int 0x5b4e5f40

# CHECK: 40 5f 6e 5b f32sisov2amp $a14:15, $a5, $a6:7, 0
.int 0x5b6e5f40

# CHECK: 40 5f 8e 5b f32sisov2amp $a14:15, $a5, $a8:9, 0
.int 0x5b8e5f40

# CHECK: 40 5f ae 5b f32sisov2amp $a14:15, $a5, $a10:11, 0
.int 0x5bae5f40

# CHECK: 40 5f ce 5b f32sisov2amp $a14:15, $a5, $a12:13, 0
.int 0x5bce5f40

# CHECK: 40 5f ee 5b f32sisov2amp $a14:15, $a5, $a14:15, 0
.int 0x5bee5f40

# CHECK: 40 6f 0e 5b f32sisov2amp $a14:15, $a6, $a0:1, 0
.int 0x5b0e6f40

# CHECK: 40 6f 2e 5b f32sisov2amp $a14:15, $a6, $a2:3, 0
.int 0x5b2e6f40

# CHECK: 40 6f 4e 5b f32sisov2amp $a14:15, $a6, $a4:5, 0
.int 0x5b4e6f40

# CHECK: 40 6f 6e 5b f32sisov2amp $a14:15, $a6, $a6:7, 0
.int 0x5b6e6f40

# CHECK: 40 6f 8e 5b f32sisov2amp $a14:15, $a6, $a8:9, 0
.int 0x5b8e6f40

# CHECK: 40 6f ae 5b f32sisov2amp $a14:15, $a6, $a10:11, 0
.int 0x5bae6f40

# CHECK: 40 6f ce 5b f32sisov2amp $a14:15, $a6, $a12:13, 0
.int 0x5bce6f40

# CHECK: 40 6f ee 5b f32sisov2amp $a14:15, $a6, $a14:15, 0
.int 0x5bee6f40

# CHECK: 40 7f 0e 5b f32sisov2amp $a14:15, $a7, $a0:1, 0
.int 0x5b0e7f40

# CHECK: 40 7f 2e 5b f32sisov2amp $a14:15, $a7, $a2:3, 0
.int 0x5b2e7f40

# CHECK: 40 7f 4e 5b f32sisov2amp $a14:15, $a7, $a4:5, 0
.int 0x5b4e7f40

# CHECK: 40 7f 6e 5b f32sisov2amp $a14:15, $a7, $a6:7, 0
.int 0x5b6e7f40

# CHECK: 40 7f 8e 5b f32sisov2amp $a14:15, $a7, $a8:9, 0
.int 0x5b8e7f40

# CHECK: 40 7f ae 5b f32sisov2amp $a14:15, $a7, $a10:11, 0
.int 0x5bae7f40

# CHECK: 40 7f ce 5b f32sisov2amp $a14:15, $a7, $a12:13, 0
.int 0x5bce7f40

# CHECK: 40 7f ee 5b f32sisov2amp $a14:15, $a7, $a14:15, 0
.int 0x5bee7f40

# CHECK: 40 8f 0e 5b f32sisov2amp $a14:15, $a8, $a0:1, 0
.int 0x5b0e8f40

# CHECK: 40 8f 2e 5b f32sisov2amp $a14:15, $a8, $a2:3, 0
.int 0x5b2e8f40

# CHECK: 40 8f 4e 5b f32sisov2amp $a14:15, $a8, $a4:5, 0
.int 0x5b4e8f40

# CHECK: 40 8f 6e 5b f32sisov2amp $a14:15, $a8, $a6:7, 0
.int 0x5b6e8f40

# CHECK: 40 8f 8e 5b f32sisov2amp $a14:15, $a8, $a8:9, 0
.int 0x5b8e8f40

# CHECK: 40 8f ae 5b f32sisov2amp $a14:15, $a8, $a10:11, 0
.int 0x5bae8f40

# CHECK: 40 8f ce 5b f32sisov2amp $a14:15, $a8, $a12:13, 0
.int 0x5bce8f40

# CHECK: 40 8f ee 5b f32sisov2amp $a14:15, $a8, $a14:15, 0
.int 0x5bee8f40

# CHECK: 40 9f 0e 5b f32sisov2amp $a14:15, $a9, $a0:1, 0
.int 0x5b0e9f40

# CHECK: 40 9f 2e 5b f32sisov2amp $a14:15, $a9, $a2:3, 0
.int 0x5b2e9f40

# CHECK: 40 9f 4e 5b f32sisov2amp $a14:15, $a9, $a4:5, 0
.int 0x5b4e9f40

# CHECK: 40 9f 6e 5b f32sisov2amp $a14:15, $a9, $a6:7, 0
.int 0x5b6e9f40

# CHECK: 40 9f 8e 5b f32sisov2amp $a14:15, $a9, $a8:9, 0
.int 0x5b8e9f40

# CHECK: 40 9f ae 5b f32sisov2amp $a14:15, $a9, $a10:11, 0
.int 0x5bae9f40

# CHECK: 40 9f ce 5b f32sisov2amp $a14:15, $a9, $a12:13, 0
.int 0x5bce9f40

# CHECK: 40 9f ee 5b f32sisov2amp $a14:15, $a9, $a14:15, 0
.int 0x5bee9f40

# CHECK: 40 af 0e 5b f32sisov2amp $a14:15, $a10, $a0:1, 0
.int 0x5b0eaf40

# CHECK: 40 af 2e 5b f32sisov2amp $a14:15, $a10, $a2:3, 0
.int 0x5b2eaf40

# CHECK: 40 af 4e 5b f32sisov2amp $a14:15, $a10, $a4:5, 0
.int 0x5b4eaf40

# CHECK: 40 af 6e 5b f32sisov2amp $a14:15, $a10, $a6:7, 0
.int 0x5b6eaf40

# CHECK: 40 af 8e 5b f32sisov2amp $a14:15, $a10, $a8:9, 0
.int 0x5b8eaf40

# CHECK: 40 af ae 5b f32sisov2amp $a14:15, $a10, $a10:11, 0
.int 0x5baeaf40

# CHECK: 40 af ce 5b f32sisov2amp $a14:15, $a10, $a12:13, 0
.int 0x5bceaf40

# CHECK: 40 af ee 5b f32sisov2amp $a14:15, $a10, $a14:15, 0
.int 0x5beeaf40

# CHECK: 40 bf 0e 5b f32sisov2amp $a14:15, $a11, $a0:1, 0
.int 0x5b0ebf40

# CHECK: 40 bf 2e 5b f32sisov2amp $a14:15, $a11, $a2:3, 0
.int 0x5b2ebf40

# CHECK: 40 bf 4e 5b f32sisov2amp $a14:15, $a11, $a4:5, 0
.int 0x5b4ebf40

# CHECK: 40 bf 6e 5b f32sisov2amp $a14:15, $a11, $a6:7, 0
.int 0x5b6ebf40

# CHECK: 40 bf 8e 5b f32sisov2amp $a14:15, $a11, $a8:9, 0
.int 0x5b8ebf40

# CHECK: 40 bf ae 5b f32sisov2amp $a14:15, $a11, $a10:11, 0
.int 0x5baebf40

# CHECK: 40 bf ce 5b f32sisov2amp $a14:15, $a11, $a12:13, 0
.int 0x5bcebf40

# CHECK: 40 bf ee 5b f32sisov2amp $a14:15, $a11, $a14:15, 0
.int 0x5beebf40

# CHECK: 40 cf 0e 5b f32sisov2amp $a14:15, $a12, $a0:1, 0
.int 0x5b0ecf40

# CHECK: 40 cf 2e 5b f32sisov2amp $a14:15, $a12, $a2:3, 0
.int 0x5b2ecf40

# CHECK: 40 cf 4e 5b f32sisov2amp $a14:15, $a12, $a4:5, 0
.int 0x5b4ecf40

# CHECK: 40 cf 6e 5b f32sisov2amp $a14:15, $a12, $a6:7, 0
.int 0x5b6ecf40

# CHECK: 40 cf 8e 5b f32sisov2amp $a14:15, $a12, $a8:9, 0
.int 0x5b8ecf40

# CHECK: 40 cf ae 5b f32sisov2amp $a14:15, $a12, $a10:11, 0
.int 0x5baecf40

# CHECK: 40 cf ce 5b f32sisov2amp $a14:15, $a12, $a12:13, 0
.int 0x5bcecf40

# CHECK: 40 cf ee 5b f32sisov2amp $a14:15, $a12, $a14:15, 0
.int 0x5beecf40

# CHECK: 40 df 0e 5b f32sisov2amp $a14:15, $a13, $a0:1, 0
.int 0x5b0edf40

# CHECK: 40 df 2e 5b f32sisov2amp $a14:15, $a13, $a2:3, 0
.int 0x5b2edf40

# CHECK: 40 df 4e 5b f32sisov2amp $a14:15, $a13, $a4:5, 0
.int 0x5b4edf40

# CHECK: 40 df 6e 5b f32sisov2amp $a14:15, $a13, $a6:7, 0
.int 0x5b6edf40

# CHECK: 40 df 8e 5b f32sisov2amp $a14:15, $a13, $a8:9, 0
.int 0x5b8edf40

# CHECK: 40 df ae 5b f32sisov2amp $a14:15, $a13, $a10:11, 0
.int 0x5baedf40

# CHECK: 40 df ce 5b f32sisov2amp $a14:15, $a13, $a12:13, 0
.int 0x5bcedf40

# CHECK: 40 df ee 5b f32sisov2amp $a14:15, $a13, $a14:15, 0
.int 0x5beedf40

# CHECK: 40 ef 0e 5b f32sisov2amp $a14:15, $a14, $a0:1, 0
.int 0x5b0eef40

# CHECK: 40 ef 2e 5b f32sisov2amp $a14:15, $a14, $a2:3, 0
.int 0x5b2eef40

# CHECK: 40 ef 4e 5b f32sisov2amp $a14:15, $a14, $a4:5, 0
.int 0x5b4eef40

# CHECK: 40 ef 6e 5b f32sisov2amp $a14:15, $a14, $a6:7, 0
.int 0x5b6eef40

# CHECK: 40 ef 8e 5b f32sisov2amp $a14:15, $a14, $a8:9, 0
.int 0x5b8eef40

# CHECK: 40 ef ae 5b f32sisov2amp $a14:15, $a14, $a10:11, 0
.int 0x5baeef40

# CHECK: 40 ef ce 5b f32sisov2amp $a14:15, $a14, $a12:13, 0
.int 0x5bceef40

# CHECK: 40 ef ee 5b f32sisov2amp $a14:15, $a14, $a14:15, 0
.int 0x5beeef40

# CHECK: 40 ff 0e 5b f32sisov2amp $a14:15, $a15, $a0:1, 0
.int 0x5b0eff40

# CHECK: 40 ff 2e 5b f32sisov2amp $a14:15, $a15, $a2:3, 0
.int 0x5b2eff40

# CHECK: 40 ff 4e 5b f32sisov2amp $a14:15, $a15, $a4:5, 0
.int 0x5b4eff40

# CHECK: 40 ff 6e 5b f32sisov2amp $a14:15, $a15, $a6:7, 0
.int 0x5b6eff40

# CHECK: 40 ff 8e 5b f32sisov2amp $a14:15, $a15, $a8:9, 0
.int 0x5b8eff40

# CHECK: 40 ff ae 5b f32sisov2amp $a14:15, $a15, $a10:11, 0
.int 0x5baeff40

# CHECK: 40 ff ce 5b f32sisov2amp $a14:15, $a15, $a12:13, 0
.int 0x5bceff40

# CHECK: 40 ff ee 5b f32sisov2amp $a14:15, $a15, $a14:15, 0
.int 0x5beeff40