39 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2;3; Test that DAGCombiner does not produce an addcarry node if the carry4; producer is not legal. This can happen e.g. with an uaddo with a type5; that is not legal.6;7; RUN: llc -mtriple=s390x-linux-gnu -mcpu=z13 < %s | FileCheck %s8 9define void @fun(i16 %arg0, ptr %src, ptr %dst) {10; CHECK-LABEL: fun:11; CHECK: # %bb.0: # %bb12; CHECK-NEXT: llhr %r0, %r213; CHECK-NEXT: llh %r2, 0(%r3)14; CHECK-NEXT: chi %r0, 961615; CHECK-NEXT: lhi %r1, 016; CHECK-NEXT: lochil %r1, 117; CHECK-NEXT: afi %r2, 6553518; CHECK-NEXT: llhr %r3, %r219; CHECK-NEXT: lhi %r0, 020; CHECK-NEXT: cr %r3, %r221; CHECK-NEXT: lochilh %r0, 122; CHECK-NEXT: ar %r0, %r123; CHECK-NEXT: st %r0, 0(%r4)24; CHECK-NEXT: br %r1425bb:26 %tmp = icmp ult i16 %arg0, 961627 %tmp1 = zext i1 %tmp to i3228 %tmp2 = load i16, ptr %src29 %0 = call { i16, i1 } @llvm.uadd.with.overflow.i16(i16 %tmp2, i16 -1)30 %math = extractvalue { i16, i1 } %0, 031 %ov = extractvalue { i16, i1 } %0, 132 %tmp5 = zext i1 %ov to i3233 %tmp6 = add nuw nsw i32 %tmp5, %tmp134 store i32 %tmp6, ptr %dst35 ret void36}37 38declare { i16, i1 } @llvm.uadd.with.overflow.i16(i16, i16) #139