1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py 2# RUN: llc -mtriple=aarch64-none-linux-gnu -mcpu=neoverse-n2 -run-pass machine-combiner \ 3# RUN: -verify-machineinstrs -o - %s | FileCheck %s 4 5# Most machine-combiner reassociation tests are put in machine-combiner.ll. 6# However, we cannot test reassociation of SVE EORs in machine-combiner.ll 7# because isel combines two EORs to one EOR3. So SVE EOR-specific test is put 8# in this file. 9 10--- 11 12name: reassociate_xors_sve_1 13registers: 14 - { id: 0, class: zpr, preferred-register: '' } 15 - { id: 1, class: zpr, preferred-register: '' } 16 - { id: 2, class: zpr, preferred-register: '' } 17 - { id: 3, class: zpr, preferred-register: '' } 18 - { id: 4, class: zpr, preferred-register: '' } 19 - { id: 5, class: zpr, preferred-register: '' } 20 - { id: 6, class: zpr, preferred-register: '' } 21body: | 22 bb.0: 23 liveins: $z0, $z1, $z2, $z3 24 25 ; CHECK-LABEL: name: reassociate_xors_sve_1 26 ; CHECK: liveins: $z0, $z1, $z2, $z3 27 ; CHECK-NEXT: {{ $}} 28 ; CHECK-NEXT: [[COPY:%[0-9]+]]:zpr = COPY $z3 29 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:zpr = COPY $z2 30 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:zpr = COPY $z1 31 ; CHECK-NEXT: [[COPY3:%[0-9]+]]:zpr = COPY $z0 32 ; CHECK-NEXT: [[EOR_ZZZ:%[0-9]+]]:zpr = EOR_ZZZ [[COPY3]], [[COPY2]] 33 ; CHECK-NEXT: [[EOR_ZZZ1:%[0-9]+]]:zpr = EOR_ZZZ [[COPY1]], [[COPY]] 34 ; CHECK-NEXT: [[EOR_ZZZ2:%[0-9]+]]:zpr = EOR_ZZZ killed [[EOR_ZZZ]], killed [[EOR_ZZZ1]] 35 ; CHECK-NEXT: $z0 = COPY [[EOR_ZZZ2]] 36 ; CHECK-NEXT: RET_ReallyLR implicit $z0 37 %3:zpr = COPY $z3 38 %2:zpr = COPY $z2 39 %1:zpr = COPY $z1 40 %0:zpr = COPY $z0 41 %4:zpr = EOR_ZZZ %0, %1 42 %5:zpr = EOR_ZZZ killed %4, %2 43 %6:zpr = EOR_ZZZ killed %5, %3 44 $z0 = COPY %6 45 RET_ReallyLR implicit $z0 46 47... 48--- 49 50name: reassociate_xors_sve_2 51registers: 52 - { id: 0, class: zpr, preferred-register: '' } 53 - { id: 1, class: zpr, preferred-register: '' } 54 - { id: 2, class: zpr, preferred-register: '' } 55 - { id: 3, class: zpr, preferred-register: '' } 56 - { id: 4, class: zpr, preferred-register: '' } 57 - { id: 5, class: zpr, preferred-register: '' } 58 - { id: 6, class: zpr, preferred-register: '' } 59body: | 60 bb.0: 61 liveins: $z0, $z1, $z2, $z3 62 63 ; CHECK-LABEL: name: reassociate_xors_sve_2 64 ; CHECK: liveins: $z0, $z1, $z2, $z3 65 ; CHECK-NEXT: {{ $}} 66 ; CHECK-NEXT: [[COPY:%[0-9]+]]:zpr = COPY $z3 67 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:zpr = COPY $z2 68 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:zpr = COPY $z1 69 ; CHECK-NEXT: [[COPY3:%[0-9]+]]:zpr = COPY $z0 70 ; CHECK-NEXT: [[AND_ZZZ:%[0-9]+]]:zpr = AND_ZZZ [[COPY3]], [[COPY2]] 71 ; CHECK-NEXT: [[EOR_ZZZ:%[0-9]+]]:zpr = EOR_ZZZ [[COPY1]], [[COPY]] 72 ; CHECK-NEXT: [[EOR_ZZZ1:%[0-9]+]]:zpr = EOR_ZZZ killed [[AND_ZZZ]], killed [[EOR_ZZZ]] 73 ; CHECK-NEXT: $z0 = COPY [[EOR_ZZZ1]] 74 ; CHECK-NEXT: RET_ReallyLR implicit $z0 75 %3:zpr = COPY $z3 76 %2:zpr = COPY $z2 77 %1:zpr = COPY $z1 78 %0:zpr = COPY $z0 79 %4:zpr = AND_ZZZ %0, %1 80 %5:zpr = EOR_ZZZ killed %4, %2 81 %6:zpr = EOR_ZZZ killed %5, %3 82 $z0 = COPY %6 83 RET_ReallyLR implicit $z0 84 85... 86