| # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py |
| # RUN: llc -mtriple=thumbv8.1-m.main-none-eabi -mattr=+mve -run-pass arm-mve-vpt %s -o - | FileCheck %s |
| |
| --- | |
| |
| define arm_aapcs_vfpcc <4 x i32> @vpnot(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) { |
| entry: |
| %0 = icmp slt <4 x i32> %a, zeroinitializer |
| %c2 = icmp sgt <4 x i32> %b, zeroinitializer |
| %c3 = icmp eq <4 x i32> %c, zeroinitializer |
| %o1 = and <4 x i1> %0, %c2 |
| %o2 = xor <4 x i1> %o1, <i1 true, i1 true, i1 true, i1 true> |
| %o = and <4 x i1> %c3, %o2 |
| %s = select <4 x i1> %o, <4 x i32> %a, <4 x i32> %b |
| ret <4 x i32> %s |
| } |
| |
| define arm_aapcs_vfpcc <4 x i32> @vpnot_end(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) { |
| entry: |
| %0 = icmp slt <4 x i32> %a, zeroinitializer |
| %c2 = icmp sgt <4 x i32> %b, zeroinitializer |
| %c3 = icmp eq <4 x i32> %c, zeroinitializer |
| %o1 = and <4 x i1> %0, %c2 |
| %o2 = xor <4 x i1> %o1, <i1 true, i1 true, i1 true, i1 true> |
| br label %bb2 |
| bb2: |
| %o = and <4 x i1> %c3, %o2 |
| %s = select <4 x i1> %o, <4 x i32> %a, <4 x i32> %b |
| ret <4 x i32> %s |
| } |
| |
| define arm_aapcs_vfpcc <4 x i32> @vpnot_two(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) { |
| entry: |
| unreachable |
| } |
| define arm_aapcs_vfpcc <4 x i32> @vpnot_lots(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) { |
| entry: |
| unreachable |
| } |
| define arm_aapcs_vfpcc <4 x i32> @vpnot_first(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) { |
| entry: |
| unreachable |
| } |
| define arm_aapcs_vfpcc <4 x i32> @vpnot_many(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) { |
| entry: |
| unreachable |
| } |
| |
| ... |
| --- |
| name: vpnot |
| alignment: 4 |
| tracksRegLiveness: true |
| liveins: |
| - { reg: '$q0', virtual-reg: '' } |
| - { reg: '$q1', virtual-reg: '' } |
| - { reg: '$q2', virtual-reg: '' } |
| body: | |
| bb.0.entry: |
| liveins: $q0, $q1, $q2 |
| |
| ; CHECK-LABEL: name: vpnot |
| ; CHECK: liveins: $q0, $q1, $q2 |
| ; CHECK: BUNDLE implicit-def $vpr, implicit $q0, implicit $zr, implicit $q1 { |
| ; CHECK: MVE_VPTv4s32r 8, renamable $q0, $zr, 11, implicit-def $vpr |
| ; CHECK: renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, internal killed renamable $vpr |
| ; CHECK: } |
| ; CHECK: renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| ; CHECK: BUNDLE implicit-def $vpr, implicit killed $vpr, implicit killed $q2, implicit $zr { |
| ; CHECK: MVE_VPST 8, implicit $vpr |
| ; CHECK: renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, killed renamable $vpr |
| ; CHECK: } |
| ; CHECK: renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, killed renamable $vpr |
| ; CHECK: tBX_RET 14, $noreg, implicit $q0 |
| renamable $vpr = MVE_VCMPs32r renamable $q0, $zr, 11, 0, $noreg |
| renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, killed renamable $vpr |
| renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, killed renamable $vpr |
| renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, killed renamable $vpr |
| tBX_RET 14, $noreg, implicit $q0 |
| |
| ... |
| --- |
| name: vpnot_end |
| alignment: 4 |
| tracksRegLiveness: true |
| liveins: |
| - { reg: '$q0', virtual-reg: '' } |
| - { reg: '$q1', virtual-reg: '' } |
| - { reg: '$q2', virtual-reg: '' } |
| body: | |
| ; CHECK-LABEL: name: vpnot_end |
| ; CHECK: bb.0.entry: |
| ; CHECK: successors: %bb.1(0x80000000) |
| ; CHECK: liveins: $q0, $q1, $q2 |
| ; CHECK: BUNDLE implicit-def $vpr, implicit $q0, implicit $zr, implicit $q1 { |
| ; CHECK: MVE_VPTv4s32r 8, renamable $q0, $zr, 11, implicit-def $vpr |
| ; CHECK: renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, internal killed renamable $vpr |
| ; CHECK: } |
| ; CHECK: renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| ; CHECK: bb.1.bb2: |
| ; CHECK: liveins: $q0, $q1, $q2, $vpr |
| ; CHECK: BUNDLE implicit-def $vpr, implicit killed $vpr, implicit killed $q2, implicit $zr { |
| ; CHECK: MVE_VPST 8, implicit $vpr |
| ; CHECK: renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, killed renamable $vpr |
| ; CHECK: } |
| ; CHECK: renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, killed renamable $vpr |
| ; CHECK: tBX_RET 14, $noreg, implicit $q0 |
| bb.0.entry: |
| liveins: $q0, $q1, $q2 |
| |
| renamable $vpr = MVE_VCMPs32r renamable $q0, $zr, 11, 0, $noreg |
| renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, killed renamable $vpr |
| renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| |
| bb.1.bb2: |
| liveins: $q0, $q1, $q2, $vpr |
| |
| renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, killed renamable $vpr |
| renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, killed renamable $vpr |
| tBX_RET 14, $noreg, implicit $q0 |
| |
| ... |
| --- |
| name: vpnot_two |
| alignment: 4 |
| tracksRegLiveness: true |
| liveins: |
| - { reg: '$q0', virtual-reg: '' } |
| - { reg: '$q1', virtual-reg: '' } |
| - { reg: '$q2', virtual-reg: '' } |
| body: | |
| bb.0.entry: |
| liveins: $q0, $q1, $q2 |
| |
| ; CHECK-LABEL: name: vpnot_two |
| ; CHECK: liveins: $q0, $q1, $q2 |
| ; CHECK: BUNDLE implicit-def $vpr, implicit $q0, implicit $zr, implicit $q1 { |
| ; CHECK: MVE_VPTv4s32r 8, renamable $q0, $zr, 11, implicit-def $vpr |
| ; CHECK: renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, internal killed renamable $vpr |
| ; CHECK: } |
| ; CHECK: renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| ; CHECK: renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| ; CHECK: BUNDLE implicit-def $vpr, implicit killed $vpr, implicit killed $q2, implicit $zr { |
| ; CHECK: MVE_VPST 8, implicit $vpr |
| ; CHECK: renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, killed renamable $vpr |
| ; CHECK: } |
| ; CHECK: renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, killed renamable $vpr |
| ; CHECK: tBX_RET 14, $noreg, implicit $q0 |
| renamable $vpr = MVE_VCMPs32r renamable $q0, $zr, 11, 0, $noreg |
| renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, killed renamable $vpr |
| renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, killed renamable $vpr |
| renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, killed renamable $vpr |
| tBX_RET 14, $noreg, implicit $q0 |
| |
| ... |
| --- |
| name: vpnot_lots |
| alignment: 4 |
| tracksRegLiveness: true |
| liveins: |
| - { reg: '$q0', virtual-reg: '' } |
| - { reg: '$q1', virtual-reg: '' } |
| - { reg: '$q2', virtual-reg: '' } |
| body: | |
| bb.0.entry: |
| liveins: $q0, $q1, $q2 |
| |
| ; CHECK-LABEL: name: vpnot_lots |
| ; CHECK: liveins: $q0, $q1, $q2 |
| ; CHECK: BUNDLE implicit-def $vpr, implicit $q0, implicit $zr, implicit $q1 { |
| ; CHECK: MVE_VPTv4s32r 8, renamable $q0, $zr, 11, implicit-def $vpr |
| ; CHECK: renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, internal killed renamable $vpr |
| ; CHECK: } |
| ; CHECK: renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| ; CHECK: renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| ; CHECK: renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| ; CHECK: renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| ; CHECK: renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| ; CHECK: BUNDLE implicit-def $vpr, implicit killed $vpr, implicit killed $q2, implicit $zr { |
| ; CHECK: MVE_VPST 8, implicit $vpr |
| ; CHECK: renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, killed renamable $vpr |
| ; CHECK: } |
| ; CHECK: renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, killed renamable $vpr |
| ; CHECK: tBX_RET 14, $noreg, implicit $q0 |
| renamable $vpr = MVE_VCMPs32r renamable $q0, $zr, 11, 0, $noreg |
| renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, killed renamable $vpr |
| renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, killed renamable $vpr |
| renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, killed renamable $vpr |
| tBX_RET 14, $noreg, implicit $q0 |
| |
| ... |
| --- |
| name: vpnot_first |
| alignment: 4 |
| tracksRegLiveness: true |
| liveins: |
| - { reg: '$q0', virtual-reg: '' } |
| - { reg: '$q1', virtual-reg: '' } |
| - { reg: '$q2', virtual-reg: '' } |
| body: | |
| bb.0.entry: |
| liveins: $q0, $q1, $q2 |
| |
| ; CHECK-LABEL: name: vpnot_first |
| ; CHECK: liveins: $q0, $q1, $q2 |
| ; CHECK: renamable $vpr = MVE_VCMPs32r renamable $q0, $zr, 11, 0, $noreg |
| ; CHECK: renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| ; CHECK: BUNDLE implicit-def $vpr, implicit killed $vpr, implicit $q1, implicit $zr, implicit killed $q2 { |
| ; CHECK: MVE_VPST 4, implicit $vpr |
| ; CHECK: renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, killed renamable $vpr |
| ; CHECK: renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, internal killed renamable $vpr |
| ; CHECK: } |
| ; CHECK: renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, killed renamable $vpr |
| ; CHECK: tBX_RET 14, $noreg, implicit $q0 |
| renamable $vpr = MVE_VCMPs32r renamable $q0, $zr, 11, 0, $noreg |
| renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, killed renamable $vpr |
| renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, killed renamable $vpr |
| renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, killed renamable $vpr |
| tBX_RET 14, $noreg, implicit $q0 |
| |
| ... |
| --- |
| name: vpnot_many |
| alignment: 4 |
| tracksRegLiveness: true |
| liveins: |
| - { reg: '$q0', virtual-reg: '' } |
| - { reg: '$q1', virtual-reg: '' } |
| - { reg: '$q2', virtual-reg: '' } |
| body: | |
| bb.0.entry: |
| liveins: $q0, $q1, $q2 |
| |
| ; CHECK-LABEL: name: vpnot_many |
| ; CHECK: liveins: $q0, $q1, $q2 |
| ; CHECK: renamable $vpr = MVE_VCMPs32r renamable $q0, $zr, 11, 0, $noreg |
| ; CHECK: renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| ; CHECK: BUNDLE implicit-def $vpr, implicit killed $vpr, implicit $q1, implicit $zr { |
| ; CHECK: MVE_VPST 8, implicit $vpr |
| ; CHECK: renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, killed renamable $vpr |
| ; CHECK: } |
| ; CHECK: renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| ; CHECK: BUNDLE implicit-def $vpr, implicit killed $vpr, implicit killed $q2, implicit $zr { |
| ; CHECK: MVE_VPST 8, implicit $vpr |
| ; CHECK: renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, killed renamable $vpr |
| ; CHECK: } |
| ; CHECK: renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| ; CHECK: renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, killed renamable $vpr |
| ; CHECK: tBX_RET 14, $noreg, implicit $q0 |
| renamable $vpr = MVE_VCMPs32r renamable $q0, $zr, 11, 0, $noreg |
| renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, killed renamable $vpr |
| renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, killed renamable $vpr |
| renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg |
| renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, killed renamable $vpr |
| tBX_RET 14, $noreg, implicit $q0 |
| |
| ... |