xref: /llvm-project/llvm/test/CodeGen/ARM/adv-copy-opt.ll (revision 9e85980658ad017c5c916beab05eba5a71d83d5e)
103e43f8eSQuentin Colombet; RUN: llc -O1 -mtriple=armv7s-apple-ios -mcpu=swift < %s -disable-adv-copy-opt=true | FileCheck -check-prefix=NOOPT --check-prefix=CHECK %s
203e43f8eSQuentin Colombet; RUN: llc -O1 -mtriple=armv7s-apple-ios -mcpu=swift < %s -disable-adv-copy-opt=false | FileCheck -check-prefix=OPT --check-prefix=CHECK %s
3d358e84dSQuentin Colombet; RUN: llc -O1 -mtriple=thumbv7s-apple-ios -mcpu=swift < %s -disable-adv-copy-opt=true | FileCheck -check-prefix=NOOPT --check-prefix=CHECK %s
4d358e84dSQuentin Colombet; RUN: llc -O1 -mtriple=thumbv7s-apple-ios -mcpu=swift < %s -disable-adv-copy-opt=false | FileCheck -check-prefix=OPT --check-prefix=CHECK %s
503e43f8eSQuentin Colombet
603e43f8eSQuentin Colombet; CHECK-LABEL: simpleVectorDiv
703e43f8eSQuentin Colombet; ABI: %A => r0, r1.
803e43f8eSQuentin Colombet;      %B => r2, r3
903e43f8eSQuentin Colombet;      ret => r0, r1
1003e43f8eSQuentin Colombet; We want to compute:
1103e43f8eSQuentin Colombet; r0 = r0 / r2
1203e43f8eSQuentin Colombet; r1 = r1 / r3
1303e43f8eSQuentin Colombet;
14*9e859806SMatthias Braun; NOOPT: vmov	[[A:d[0-9]+]], r0, r1
15*9e859806SMatthias Braun; NOOPT-NEXT: vmov	[[B:d[0-9]+]], r2, r3
1603e43f8eSQuentin Colombet; Move the low part of B into a register.
1703e43f8eSQuentin Colombet; Unfortunately, we cannot express that the 's' register is the low
1803e43f8eSQuentin Colombet; part of B, i.e., sIdx == BIdx x 2. E.g., B = d1, B_low = s2.
1903e43f8eSQuentin Colombet; NOOPT-NEXT: vmov	[[B_LOW:r[0-9]+]], s{{[0-9]+}}
205a6d5bc1SAdam Nemet; NOOPT-NEXT: vmov	[[B_HIGH:r[0-9]+]], s{{[0-9]+}}
21*9e859806SMatthias Braun; NOOPT-NEXT: vmov	[[A_LOW:r[0-9]+]], s{{[0-9]+}}
225a6d5bc1SAdam Nemet; NOOPT-NEXT: vmov	[[A_HIGH:r[0-9]+]], s{{[0-9]+}}
23*9e859806SMatthias Braun; NOOPT-NEXT: udiv	[[RES_LOW:r[0-9]+]], [[A_LOW]], [[B_LOW]]
245a6d5bc1SAdam Nemet; NOOPT-NEXT: vmov.32	[[RES:d[0-9]+]][0], [[RES_LOW]]
25*9e859806SMatthias Braun; NOOPT-NEXT: udiv	[[RES_HIGH:r[0-9]+]], [[A_HIGH]], [[B_HIGH]]
2603e43f8eSQuentin Colombet; NOOPT-NEXT: vmov.32	[[RES]][1], [[RES_HIGH]]
2703e43f8eSQuentin Colombet; NOOPT-NEXT: vmov	r0, r1, [[RES]]
2803e43f8eSQuentin Colombet; NOOPT-NEXT: bx	lr
2903e43f8eSQuentin Colombet;
3003e43f8eSQuentin Colombet; OPT-NOT: vmov
31*9e859806SMatthias Braun; OPT: udiv	r1, r1, r3
32*9e859806SMatthias Braun; OPT-NEXT: 	udiv	r0, r0, r2
3303e43f8eSQuentin Colombet; OPT-NEXT: bx	lr
3403e43f8eSQuentin Colombetdefine <2 x i32> @simpleVectorDiv(<2 x i32> %A, <2 x i32> %B) nounwind {
3503e43f8eSQuentin Colombetentry:
3603e43f8eSQuentin Colombet  %div = udiv <2 x i32> %A, %B
3703e43f8eSQuentin Colombet  ret <2 x i32> %div
3803e43f8eSQuentin Colombet}
39