57 lines · plain
1; Test that divisions by constants are implemented as multiplications.2;3; RUN: llc < %s -mtriple=s390x-linux-gnu -asm-verbose=0 | FileCheck %s4 5; Check signed 32-bit division.6define i32 @f1(i32 %a) {7; CHECK-LABEL: f1:8; CHECK: lgfr [[REG:%r[0-5]]], %r29; CHECK: msgfi [[REG]], 50274880110; CHECK-DAG: srlg [[RES1:%r[0-5]]], [[REG]], 6311; CHECK-DAG: srag %r2, [[REG]], 4612; CHECK: ar %r2, [[RES1]]13; CHECK: br %r1414 %b = sdiv i32 %a, 13996815 ret i32 %b16}17 18; Check unsigned 32-bit division.19define i32 @f2(i32 %a) {20; CHECK-LABEL: f2:21; CHECK: llgfr [[REG:%r[0-5]]], %r222; CHECK: msgfi [[REG]], 50274880123; CHECK: srlg %r2, [[REG]], 4624; CHECK: br %r1425 %b = udiv i32 %a, 13996826 ret i32 %b27}28 29; Check signed 64-bit division.30define i64 @f3(i64 %dummy, i64 %a) {31; CHECK-LABEL: f3:32; CHECK-DAG: llihf [[CONST:%r[0-5]]], 100549760133; CHECK-DAG: oilf [[CONST]], 425176232134; CHECK-DAG: srag [[REG:%r[0-5]]], %r3, 6335; CHECK-DAG: ngr [[REG]], [[CONST]]36; CHECK-DAG: mlgr %r2, [[CONST]]37; CHECK: sgr %r2, [[REG]]38; CHECK: srlg [[RES1:%r[0-5]]], %r2, 6339; CHECK: srag %r2, %r2, 1540; CHECK: agr %r2, [[RES1]]41; CHECK: br %r1442 %b = sdiv i64 %a, 13996843 ret i64 %b44}45 46; Check unsigned 64-bit division.47define i64 @f4(i64 %dummy, i64 %a) {48; CHECK-LABEL: f4:49; CHECK: llihf [[CONST:%r[0-5]]], 100549760150; CHECK: oilf [[CONST]], 425176232151; CHECK: mlgr %r2, [[CONST]]52; CHECK: srlg %r2, %r2, 1553; CHECK: br %r1454 %b = udiv i64 %a, 13996855 ret i64 %b56}57