| Quentin Colombet | 03e43f8 | 2014-08-20 17:41:48 +0000 | [diff] [blame] | 1 | ; RUN: llc -O1 -mtriple=armv7s-apple-ios -mcpu=swift < %s -disable-adv-copy-opt=true | FileCheck -check-prefix=NOOPT --check-prefix=CHECK %s | 
|  | 2 | ; RUN: llc -O1 -mtriple=armv7s-apple-ios -mcpu=swift < %s -disable-adv-copy-opt=false | FileCheck -check-prefix=OPT --check-prefix=CHECK %s | 
| Quentin Colombet | d358e84 | 2014-08-22 18:05:22 +0000 | [diff] [blame] | 3 | ; RUN: llc -O1 -mtriple=thumbv7s-apple-ios -mcpu=swift < %s -disable-adv-copy-opt=true | FileCheck -check-prefix=NOOPT --check-prefix=CHECK %s | 
|  | 4 | ; RUN: llc -O1 -mtriple=thumbv7s-apple-ios -mcpu=swift < %s -disable-adv-copy-opt=false | FileCheck -check-prefix=OPT --check-prefix=CHECK %s | 
| Quentin Colombet | 03e43f8 | 2014-08-20 17:41:48 +0000 | [diff] [blame] | 5 |  | 
|  | 6 | ; CHECK-LABEL: simpleVectorDiv | 
|  | 7 | ; ABI: %A => r0, r1. | 
|  | 8 | ;      %B => r2, r3 | 
|  | 9 | ;      ret => r0, r1 | 
|  | 10 | ; We want to compute: | 
|  | 11 | ; r0 = r0 / r2 | 
|  | 12 | ; r1 = r1 / r3 | 
|  | 13 | ; | 
| Matthias Braun | 9e85980 | 2015-07-17 23:18:30 +0000 | [diff] [blame] | 14 | ; NOOPT: vmov	[[A:d[0-9]+]], r0, r1 | 
|  | 15 | ; NOOPT-NEXT: vmov	[[B:d[0-9]+]], r2, r3 | 
| Quentin Colombet | 03e43f8 | 2014-08-20 17:41:48 +0000 | [diff] [blame] | 16 | ; Move the low part of B into a register. | 
|  | 17 | ; Unfortunately, we cannot express that the 's' register is the low | 
|  | 18 | ; part of B, i.e., sIdx == BIdx x 2. E.g., B = d1, B_low = s2. | 
|  | 19 | ; NOOPT-NEXT: vmov	[[B_LOW:r[0-9]+]], s{{[0-9]+}} | 
| Adam Nemet | 5a6d5bc | 2015-07-17 18:14:19 +0000 | [diff] [blame] | 20 | ; NOOPT-NEXT: vmov	[[B_HIGH:r[0-9]+]], s{{[0-9]+}} | 
| Matthias Braun | 9e85980 | 2015-07-17 23:18:30 +0000 | [diff] [blame] | 21 | ; NOOPT-NEXT: vmov	[[A_LOW:r[0-9]+]], s{{[0-9]+}} | 
| Adam Nemet | 5a6d5bc | 2015-07-17 18:14:19 +0000 | [diff] [blame] | 22 | ; NOOPT-NEXT: vmov	[[A_HIGH:r[0-9]+]], s{{[0-9]+}} | 
| Matthias Braun | 9e85980 | 2015-07-17 23:18:30 +0000 | [diff] [blame] | 23 | ; NOOPT-NEXT: udiv	[[RES_LOW:r[0-9]+]], [[A_LOW]], [[B_LOW]] | 
| Adam Nemet | 5a6d5bc | 2015-07-17 18:14:19 +0000 | [diff] [blame] | 24 | ; NOOPT-NEXT: vmov.32	[[RES:d[0-9]+]][0], [[RES_LOW]] | 
| Matthias Braun | 9e85980 | 2015-07-17 23:18:30 +0000 | [diff] [blame] | 25 | ; NOOPT-NEXT: udiv	[[RES_HIGH:r[0-9]+]], [[A_HIGH]], [[B_HIGH]] | 
| Quentin Colombet | 03e43f8 | 2014-08-20 17:41:48 +0000 | [diff] [blame] | 26 | ; NOOPT-NEXT: vmov.32	[[RES]][1], [[RES_HIGH]] | 
|  | 27 | ; NOOPT-NEXT: vmov	r0, r1, [[RES]] | 
|  | 28 | ; NOOPT-NEXT: bx	lr | 
|  | 29 | ; | 
|  | 30 | ; OPT-NOT: vmov | 
| Matthias Braun | 9e85980 | 2015-07-17 23:18:30 +0000 | [diff] [blame] | 31 | ; OPT: udiv	r1, r1, r3 | 
|  | 32 | ; OPT-NEXT: 	udiv	r0, r0, r2 | 
| Quentin Colombet | 03e43f8 | 2014-08-20 17:41:48 +0000 | [diff] [blame] | 33 | ; OPT-NEXT: bx	lr | 
|  | 34 | define <2 x i32> @simpleVectorDiv(<2 x i32> %A, <2 x i32> %B) nounwind { | 
|  | 35 | entry: | 
|  | 36 | %div = udiv <2 x i32> %A, %B | 
|  | 37 | ret <2 x i32> %div | 
|  | 38 | } |