106 lines · plain
1; RUN: llc -mtriple=thumbv8 %s -o - | FileCheck %s --check-prefixes=CHECK,T22; RUN: llc -mtriple=thumbv8m.main %s -o - | FileCheck %s --check-prefixes=CHECK,T23; RUN: llc -mtriple=thumbv8m.base %s -o - | FileCheck %s --check-prefixes=CHECK,T14; RUN: llc -mtriple=thumbv7em %s -o - | FileCheck %s --check-prefixes=CHECK,T25; RUN: llc -mtriple=thumbv6m %s -o - | FileCheck %s --check-prefixes=V6M6 7; Armv6m targets don't have a sdiv instruction, so sdiv should not appear at8; all in the output:9 10; V6M: .file {{.*}}11; V6M-NOT: sdiv12; V6M-NOT: idiv13 14; Test sdiv i1615define dso_local signext i16 @f0(i16 signext %F) local_unnamed_addr #0 {16; CHECK-LABEL: f017; CHECK: movs r1, #218; CHECK-NEXT: sdiv r0, r0, r119; CHECK-NEXT: sxth r0, r020; CHECK-NEXT: bx lr21 22entry:23 %0 = sdiv i16 %F, 224 ret i16 %025}26 27; Same as above, but now with i3228define dso_local i32 @f1(i32 %F) local_unnamed_addr #0 {29; CHECK-LABEL: f130; CHECK: movs r1, #431; CHECK-NEXT: sdiv r0, r0, r132; CHECK-NEXT: bx lr33 34entry:35 %div = sdiv i32 %F, 436 ret i32 %div37}38 39; The immediate is not a power of 2, so we expect a sdiv.40define dso_local i32 @f2(i32 %F) local_unnamed_addr #0 {41; CHECK-LABEL: f242; CHECK: movs r1, #543; CHECK-NEXT: sdiv r0, r0, r144; CHECK-NEXT: bx lr45 46entry:47 %div = sdiv i32 %F, 548 ret i32 %div49}50 51; Try a larger power of 2 immediate: immediates larger than52; 128 don't give any code size savings.53define dso_local i32 @f3(i32 %F) local_unnamed_addr #0 {54; CHECK-LABEL: f355; CHECK-NOT: sdiv56entry:57 %div = sdiv i32 %F, 25658 ret i32 %div59}60 61attributes #0 = { minsize norecurse nounwind optsize readnone }62 63 64; These functions don't have the minsize attribute set, so should not lower65; the sdiv to sdiv, but to the faster instruction sequence.66 67define dso_local signext i16 @f4(i16 signext %F) {68; T2-LABEL: f469; T2: uxth r1, r070; T2-NEXT: add.w r0, r0, r1, lsr #1571; T2-NEXT: sxth r0, r072; T2-NEXT: asrs r0, r0, #173; T2-NEXT: bx lr74 75; T1-LABEL: f476; T1: uxth r1, r077; T1-NEXT: lsrs r1, r1, #1578; T1-NEXT: adds r0, r0, r179; T1-NEXT: sxth r0, r080; T1-NEXT: asrs r0, r0, #181; T1-NEXT: bx lr82 83entry:84 %0 = sdiv i16 %F, 285 ret i16 %086}87 88define dso_local i32 @f5(i32 %F) {89; T2-LABEL: f590; T2: asrs r1, r0, #3191; T2-NEXT: add.w r0, r0, r1, lsr #3092; T2-NEXT: asrs r0, r0, #293; T2-NEXT: bx lr94 95; T1-LABEL: f596; T1: asrs r1, r0, #3197; T1-NEXT: lsrs r1, r1, #3098; T1-NEXT: adds r0, r0, r199; T1-NEXT: asrs r0, r0, #2100; T1-NEXT: bx lr101 102entry:103 %div = sdiv i32 %F, 4104 ret i32 %div105}106