54 lines · plain
1; RUN: llc < %s -mtriple thumbv7 | FileCheck %s2 3; ModuleID = 'bugpoint-reduced-simplified.bc'4define hidden void @bn_mul_comba8(ptr nocapture %r, ptr nocapture readonly %a, ptr nocapture readonly %b) local_unnamed_addr {5entry:6; This test is actually checking that no cycle is introduced but at least we7; want to see a couple of umull and one umlal in the output8; CHECK: umull9; CHECK: umull10; CHECK: umlal11 %0 = load i32, ptr %a, align 412 %conv = zext i32 %0 to i6413 %1 = load i32, ptr %b, align 414 %conv2 = zext i32 %1 to i6415 %mul = mul nuw i64 %conv2, %conv16 %shr = lshr i64 %mul, 3217 %2 = load i32, ptr %a, align 418 %conv13 = zext i32 %2 to i6419 %3 = load i32, ptr undef, align 420 %conv15 = zext i32 %3 to i6421 %mul16 = mul nuw i64 %conv15, %conv1322 %add18 = add i64 %mul16, %shr23 %shr20 = lshr i64 %add18, 3224 %conv21 = trunc i64 %shr20 to i3225 %4 = load i32, ptr undef, align 426 %conv34 = zext i32 %4 to i6427 %5 = load i32, ptr %b, align 428 %conv36 = zext i32 %5 to i6429 %mul37 = mul nuw i64 %conv36, %conv3430 %conv38 = and i64 %add18, 429496729531 %add39 = add i64 %mul37, %conv3832 %shr41 = lshr i64 %add39, 3233 %conv42 = trunc i64 %shr41 to i3234 %add43 = add i32 %conv42, %conv2135 %cmp44 = icmp ult i32 %add43, %conv4236 %c1.1 = zext i1 %cmp44 to i3237 %add65 = add i32 0, %c1.138 %add86 = add i32 %add65, 039 %add107 = add i32 %add86, 040 %conv124 = zext i32 %add107 to i6441 %add125 = add i64 0, %conv12442 %conv145 = and i64 %add125, 429496729543 %add146 = add i64 %conv145, 044 %conv166 = and i64 %add146, 429496729545 %add167 = add i64 %conv166, 046 %conv187 = and i64 %add167, 429496729547 %add188 = add i64 %conv187, 048 %conv189 = trunc i64 %add188 to i3249 %arrayidx200 = getelementptr inbounds i32, ptr %r, i32 350 store i32 %conv189, ptr %arrayidx200, align 451 ret void52}53 54