95 lines · plain
1; RUN: llc -mtriple=hexagon -mcpu=hexagonv5 < %s | FileCheck %s2 3; Check that we do not generate extract.4; CHECK-NOT: extractu5target datalayout = "e-p:32:32:32-i64:64:64-i32:32:32-i16:16:16-i1:32:32-f64:64:64-f32:32:32-v64:64:64-v32:32:32-a0:0-n16:32"6target triple = "hexagon"7 8define void @foo(i32 %N, ptr nocapture %C, ptr nocapture %A, i16 signext %val) #0 {9entry:10 %cmp14 = icmp eq i32 %N, 011 br i1 %cmp14, label %for.end11, label %for.cond1.preheader.single_entry.preheader12 13for.cond1.preheader.single_entry.preheader: ; preds = %entry14 %0 = add i32 %N, -115 %leftover_lb = and i32 %0, -216 %p_conv4 = sext i16 %val to i3217 br label %for.cond1.preheader.single_entry18 19for.cond1.preheader.single_entry: ; preds = %for.inc9, %for.cond1.preheader.single_entry.preheader20 %indvar = phi i32 [ %indvar.next, %for.inc9 ], [ 0, %for.cond1.preheader.single_entry.preheader ]21 %1 = mul i32 %indvar, %N22 %.not = icmp slt i32 %N, 223 %.not41 = icmp slt i32 %leftover_lb, 124 %brmerge = or i1 %.not, %.not4125 %.mux = select i1 %.not, i32 0, i32 %leftover_lb26 br i1 %brmerge, label %polly.loop_header26.preheader, label %polly.loop_body.lr.ph27 28for.inc9.loopexit: ; preds = %polly.stmt.for.body33129 br label %for.inc930 31for.inc9: ; preds = %for.inc9.loopexit, %polly.loop_header26.preheader32 %indvar.next = add i32 %indvar, 133 %exitcond40 = icmp eq i32 %indvar.next, %N34 br i1 %exitcond40, label %for.end11.loopexit, label %for.cond1.preheader.single_entry35 36for.end11.loopexit: ; preds = %for.inc937 br label %for.end1138 39for.end11: ; preds = %for.end11.loopexit, %entry40 ret void41 42polly.loop_body.lr.ph: ; preds = %for.cond1.preheader.single_entry43 %2 = call i64 @llvm.hexagon.A2.combinew(i32 %1, i32 %1)44 %3 = bitcast i64 %2 to <2 x i32>45 %4 = extractelement <2 x i32> %3, i32 046 %5 = call i64 @llvm.hexagon.A2.combinew(i32 %p_conv4, i32 %p_conv4)47 %6 = bitcast i64 %5 to <2 x i32>48 %p_arrayidx8.gep = getelementptr i32, ptr %C, i32 %449 %p_arrayidx.gep = getelementptr i16, ptr %A, i32 %450 br label %polly.loop_body51 52polly.loop_body: ; preds = %polly.loop_body.lr.ph, %polly.loop_body53 %p_arrayidx8.phi = phi ptr [ %p_arrayidx8.gep, %polly.loop_body.lr.ph ], [ %p_arrayidx8.inc, %polly.loop_body ]54 %p_arrayidx.phi = phi ptr [ %p_arrayidx.gep, %polly.loop_body.lr.ph ], [ %p_arrayidx.inc, %polly.loop_body ]55 %polly.loopiv38 = phi i32 [ 0, %polly.loop_body.lr.ph ], [ %polly.next_loopiv, %polly.loop_body ]56 %polly.next_loopiv = add nsw i32 %polly.loopiv38, 257 %_p_vec_full = load <2 x i16>, ptr %p_arrayidx.phi, align 258 %7 = sext <2 x i16> %_p_vec_full to <2 x i32>59 %mul5p_vec = mul <2 x i32> %7, %660 store <2 x i32> %mul5p_vec, ptr %p_arrayidx8.phi, align 461 %8 = icmp slt i32 %polly.next_loopiv, %leftover_lb62 %p_arrayidx8.inc = getelementptr i32, ptr %p_arrayidx8.phi, i32 263 %p_arrayidx.inc = getelementptr i16, ptr %p_arrayidx.phi, i32 264 br i1 %8, label %polly.loop_body, label %polly.loop_header26.preheader.loopexit65 66polly.loop_header26.preheader.loopexit: ; preds = %polly.loop_body67 br label %polly.loop_header26.preheader68 69polly.loop_header26.preheader: ; preds = %polly.loop_header26.preheader.loopexit, %for.cond1.preheader.single_entry70 %polly.loopiv29.ph = phi i32 [ %.mux, %for.cond1.preheader.single_entry ], [ %leftover_lb, %polly.loop_header26.preheader.loopexit ]71 %9 = icmp slt i32 %polly.loopiv29.ph, %N72 br i1 %9, label %polly.stmt.for.body331.preheader, label %for.inc973 74polly.stmt.for.body331.preheader: ; preds = %polly.loop_header26.preheader75 br label %polly.stmt.for.body33176 77polly.stmt.for.body331: ; preds = %polly.stmt.for.body331.preheader, %polly.stmt.for.body33178 %polly.loopiv2939 = phi i32 [ %polly.next_loopiv30, %polly.stmt.for.body331 ], [ %polly.loopiv29.ph, %polly.stmt.for.body331.preheader ]79 %polly.next_loopiv30 = add nsw i32 %polly.loopiv2939, 180 %p_32 = add i32 %polly.loopiv2939, %181 %p_arrayidx833 = getelementptr i32, ptr %C, i32 %p_3282 %p_arrayidx34 = getelementptr i16, ptr %A, i32 %p_3283 %_p_scalar_ = load i16, ptr %p_arrayidx34, align 284 %p_conv = sext i16 %_p_scalar_ to i3285 %p_mul5 = mul nsw i32 %p_conv, %p_conv486 store i32 %p_mul5, ptr %p_arrayidx833, align 487 %exitcond = icmp eq i32 %polly.next_loopiv30, %N88 br i1 %exitcond, label %for.inc9.loopexit, label %polly.stmt.for.body33189}90 91declare i64 @llvm.hexagon.A2.combinew(i32, i32) #192 93attributes #0 = { nounwind "less-precise-fpmad"="false" "frame-pointer"="non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" }94attributes #1 = { nounwind readnone }95