93 lines · plain
1; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 -O3 | FileCheck %s2;3; Check that CodeGenPrepare transforms these functions to use4; uadd.with.overflow / usub.with.overflow intrinsics so that the compare5; instruction is eliminated.6 7define i32 @uaddo_32(i32 %arg) {8; CHECK-LABEL: uaddo_32:9; CHECK: alhsik %r0, %r2, -110; CHECK: locrnle %r2, %r011; CHECK: br %r1412 13bb:14 %tmp10 = icmp ne i32 %arg, 015 %tmp11 = add nsw i32 %arg, -116 %tmp12 = select i1 %tmp10, i32 %tmp11, i32 %arg17 ret i32 %tmp1218}19 20define i64 @uaddo_64(i64 %arg) {21; CHECK-LABEL: uaddo_64:22; CHECK: alghsik %r0, %r2, -123; CHECK: locgrnle %r2, %r024; CHECK: br %r1425bb:26 %tmp10 = icmp ne i64 %arg, 027 %tmp11 = add nsw i64 %arg, -128 %tmp12 = select i1 %tmp10, i64 %tmp11, i64 %arg29 ret i64 %tmp1230}31 32define i32 @usubo_32(i32 %arg) {33; CHECK-LABEL: usubo_32:34; CHECK: alhsik %r0, %r2, -135; CHECK: locrle %r2, %r036; CHECK: br %r1437bb:38 %tmp10 = icmp eq i32 %arg, 039 %tmp11 = sub nsw i32 %arg, 140 %tmp12 = select i1 %tmp10, i32 %tmp11, i32 %arg41 ret i32 %tmp1242}43 44define i64 @usubo_64(i64 %arg) {45; CHECK-LABEL: usubo_64:46; CHECK: alghsik %r0, %r2, -147; CHECK: locgrle %r2, %r048; CHECK: br %r1449bb:50 %tmp10 = icmp eq i64 %arg, 051 %tmp11 = sub nsw i64 %arg, 152 %tmp12 = select i1 %tmp10, i64 %tmp11, i64 %arg53 ret i64 %tmp1254}55 56define i32 @optbranch_32(i32 %Arg) {57; CHECK-LABEL: optbranch_32:58; CHECK: alhsik %r2, %r2, 159; CHECK-NEXT: bler %r1460; CHECK-NEXT: .LBB4_1:61; CHECK-NEXT: lhi %r2, -162; CHECK-NEXT: br %r1463bb:64 %i1 = icmp eq i32 %Arg, -165 br i1 %i1, label %bb2, label %bb366 67bb2:68 ret i32 -169 70bb3:71 %i4 = add nuw i32 %Arg, 172 ret i32 %i473}74 75define i64 @optbranch_64(i64 %Arg) {76; CHECK-LABEL: optbranch_64:77; CHECK: alghsik %r2, %r2, 178; CHECK-NEXT: bler %r1479; CHECK-NEXT: .LBB5_1:80; CHECK-NEXT: lghi %r2, -181; CHECK-NEXT: br %r1482bb:83 %i1 = icmp eq i64 %Arg, -184 br i1 %i1, label %bb2, label %bb385 86bb2:87 ret i64 -188 89bb3:90 %i4 = add nuw i64 %Arg, 191 ret i64 %i492}93