73 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 32; Test 128-bit subtraction on z13 and higher3;4; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 | FileCheck %s5 6define zeroext i1 @f1(i128 %a, i128 %b, ptr %res) {7; CHECK-LABEL: f1:8; CHECK: # %bb.0:9; CHECK-NEXT: vl %v0, 0(%r3), 310; CHECK-NEXT: vl %v1, 0(%r2), 311; CHECK-NEXT: vscbiq %v2, %v1, %v012; CHECK-NEXT: vlgvg %r2, %v2, 113; CHECK-NEXT: vsq %v0, %v1, %v014; CHECK-NEXT: xilf %r2, 115; CHECK-NEXT: vst %v0, 0(%r4), 316; CHECK-NEXT: br %r1417 %t = call {i128, i1} @llvm.usub.with.overflow.i128(i128 %a, i128 %b)18 %val = extractvalue {i128, i1} %t, 019 %obit = extractvalue {i128, i1} %t, 120 store i128 %val, ptr %res21 ret i1 %obit22}23 24define zeroext i1 @f2(i128 %a, i128 %b) {25; CHECK-LABEL: f2:26; CHECK: # %bb.0:27; CHECK-NEXT: vl %v0, 0(%r3), 328; CHECK-NEXT: vl %v1, 0(%r2), 329; CHECK-NEXT: vscbiq %v0, %v1, %v030; CHECK-NEXT: vlgvg %r2, %v0, 131; CHECK-NEXT: xilf %r2, 132; CHECK-NEXT: br %r1433 %t = call {i128, i1} @llvm.usub.with.overflow.i128(i128 %a, i128 %b)34 %obit = extractvalue {i128, i1} %t, 135 ret i1 %obit36}37 38define i128 @f3(i128 %a, i128 %b) {39; CHECK-LABEL: f3:40; CHECK: # %bb.0:41; CHECK-NEXT: vl %v0, 0(%r4), 342; CHECK-NEXT: vl %v1, 0(%r3), 343; CHECK-NEXT: vsq %v0, %v1, %v044; CHECK-NEXT: vst %v0, 0(%r2), 345; CHECK-NEXT: br %r1446 %t = call {i128, i1} @llvm.usub.with.overflow.i128(i128 %a, i128 %b)47 %val = extractvalue {i128, i1} %t, 048 ret i128 %val49}50 51define i128 @f4(i128 %a, i128 %b) {52; CHECK-LABEL: f4:53; CHECK: # %bb.0:54; CHECK-NEXT: vl %v0, 0(%r4), 355; CHECK-NEXT: vl %v1, 0(%r3), 356; CHECK-NEXT: vscbiq %v2, %v1, %v057; CHECK-NEXT: vlgvf %r0, %v2, 358; CHECK-NEXT: vgbm %v2, 059; CHECK-NEXT: xilf %r0, 160; CHECK-NEXT: jl .LBB3_261; CHECK-NEXT: # %bb.1:62; CHECK-NEXT: vsq %v2, %v1, %v063; CHECK-NEXT: .LBB3_2:64; CHECK-NEXT: vst %v2, 0(%r2), 365; CHECK-NEXT: br %r1466 %val = call i128 @llvm.usub.sat.i128(i128 %a, i128 %b)67 ret i128 %val68}69 70declare {i128, i1} @llvm.usub.with.overflow.i128(i128, i128) nounwind readnone71declare i128 @llvm.usub.sat.i128(i128, i128) nounwind readnone72 73