1*520608b2SStanislav Mekhanoshin; RUN: llc -march=amdgcn < %s | FileCheck -check-prefix=GCN %s 2*520608b2SStanislav Mekhanoshin 3*520608b2SStanislav Mekhanoshin; Check we can compile this test without infinite loop in the 4*520608b2SStanislav Mekhanoshin; DAG.computeKnownBits() due to missing (Depth + 1) argument in 5*520608b2SStanislav Mekhanoshin; call to it from computeKnownBitsForTargetNode(). 6*520608b2SStanislav Mekhanoshin 7*520608b2SStanislav Mekhanoshin; Check that we actually have that target 24 bit multiplication 8*520608b2SStanislav Mekhanoshin; node produced. 9*520608b2SStanislav Mekhanoshin 10*520608b2SStanislav Mekhanoshin; GCN: v_mul_u32_u24 11*520608b2SStanislav Mekhanoshindefine amdgpu_kernel void @test(i32 addrspace(1)* nocapture %arg) { 12*520608b2SStanislav Mekhanoshinbb: 13*520608b2SStanislav Mekhanoshin %tmp = tail call i32 @llvm.amdgcn.workitem.id.x() 14*520608b2SStanislav Mekhanoshin br label %bb4 15*520608b2SStanislav Mekhanoshin 16*520608b2SStanislav Mekhanoshinbb1: ; preds = %bb4 17*520608b2SStanislav Mekhanoshin %tmp3 = getelementptr inbounds i32, i32 addrspace(1)* %arg, i32 %tmp46 18*520608b2SStanislav Mekhanoshin store i32 %tmp46, i32 addrspace(1)* %tmp3, align 4 19*520608b2SStanislav Mekhanoshin ret void 20*520608b2SStanislav Mekhanoshin 21*520608b2SStanislav Mekhanoshinbb4: ; preds = %bb4, %bb 22*520608b2SStanislav Mekhanoshin %tmp5 = phi i32 [ 0, %bb ], [ %tmp87, %bb4 ] 23*520608b2SStanislav Mekhanoshin %tmp6 = phi i32 [ %tmp, %bb ], [ %tmp46, %bb4 ] 24*520608b2SStanislav Mekhanoshin %tmp7 = ashr i32 %tmp6, 16 25*520608b2SStanislav Mekhanoshin %tmp8 = mul nsw i32 %tmp7, %tmp7 26*520608b2SStanislav Mekhanoshin %tmp9 = lshr i32 %tmp8, 16 27*520608b2SStanislav Mekhanoshin %tmp10 = mul nuw nsw i32 %tmp9, %tmp9 28*520608b2SStanislav Mekhanoshin %tmp11 = lshr i32 %tmp10, 16 29*520608b2SStanislav Mekhanoshin %tmp12 = mul nuw nsw i32 %tmp11, %tmp11 30*520608b2SStanislav Mekhanoshin %tmp13 = lshr i32 %tmp12, 16 31*520608b2SStanislav Mekhanoshin %tmp14 = mul nuw nsw i32 %tmp13, %tmp13 32*520608b2SStanislav Mekhanoshin %tmp15 = lshr i32 %tmp14, 16 33*520608b2SStanislav Mekhanoshin %tmp16 = mul nuw nsw i32 %tmp15, %tmp15 34*520608b2SStanislav Mekhanoshin %tmp17 = lshr i32 %tmp16, 16 35*520608b2SStanislav Mekhanoshin %tmp18 = mul nuw nsw i32 %tmp17, %tmp17 36*520608b2SStanislav Mekhanoshin %tmp19 = lshr i32 %tmp18, 16 37*520608b2SStanislav Mekhanoshin %tmp20 = mul nuw nsw i32 %tmp19, %tmp19 38*520608b2SStanislav Mekhanoshin %tmp21 = lshr i32 %tmp20, 16 39*520608b2SStanislav Mekhanoshin %tmp22 = mul nuw nsw i32 %tmp21, %tmp21 40*520608b2SStanislav Mekhanoshin %tmp23 = lshr i32 %tmp22, 16 41*520608b2SStanislav Mekhanoshin %tmp24 = mul nuw nsw i32 %tmp23, %tmp23 42*520608b2SStanislav Mekhanoshin %tmp25 = lshr i32 %tmp24, 16 43*520608b2SStanislav Mekhanoshin %tmp26 = mul nuw nsw i32 %tmp25, %tmp25 44*520608b2SStanislav Mekhanoshin %tmp27 = lshr i32 %tmp26, 16 45*520608b2SStanislav Mekhanoshin %tmp28 = mul nuw nsw i32 %tmp27, %tmp27 46*520608b2SStanislav Mekhanoshin %tmp29 = lshr i32 %tmp28, 16 47*520608b2SStanislav Mekhanoshin %tmp30 = mul nuw nsw i32 %tmp29, %tmp29 48*520608b2SStanislav Mekhanoshin %tmp31 = lshr i32 %tmp30, 16 49*520608b2SStanislav Mekhanoshin %tmp32 = mul nuw nsw i32 %tmp31, %tmp31 50*520608b2SStanislav Mekhanoshin %tmp33 = lshr i32 %tmp32, 16 51*520608b2SStanislav Mekhanoshin %tmp34 = mul nuw nsw i32 %tmp33, %tmp33 52*520608b2SStanislav Mekhanoshin %tmp35 = lshr i32 %tmp34, 16 53*520608b2SStanislav Mekhanoshin %tmp36 = mul nuw nsw i32 %tmp35, %tmp35 54*520608b2SStanislav Mekhanoshin %tmp37 = lshr i32 %tmp36, 16 55*520608b2SStanislav Mekhanoshin %tmp38 = mul nuw nsw i32 %tmp37, %tmp37 56*520608b2SStanislav Mekhanoshin %tmp39 = lshr i32 %tmp38, 16 57*520608b2SStanislav Mekhanoshin %tmp40 = mul nuw nsw i32 %tmp39, %tmp39 58*520608b2SStanislav Mekhanoshin %tmp41 = lshr i32 %tmp40, 16 59*520608b2SStanislav Mekhanoshin %tmp42 = mul nuw nsw i32 %tmp41, %tmp41 60*520608b2SStanislav Mekhanoshin %tmp43 = lshr i32 %tmp42, 16 61*520608b2SStanislav Mekhanoshin %tmp44 = mul nuw nsw i32 %tmp43, %tmp43 62*520608b2SStanislav Mekhanoshin %tmp45 = lshr i32 %tmp44, 16 63*520608b2SStanislav Mekhanoshin %tmp46 = mul nuw nsw i32 %tmp45, %tmp45 64*520608b2SStanislav Mekhanoshin %tmp87 = add nuw nsw i32 %tmp5, 1 65*520608b2SStanislav Mekhanoshin %tmp88 = icmp eq i32 %tmp87, 1000 66*520608b2SStanislav Mekhanoshin br i1 %tmp88, label %bb1, label %bb4 67*520608b2SStanislav Mekhanoshin} 68*520608b2SStanislav Mekhanoshin 69*520608b2SStanislav Mekhanoshindeclare i32 @llvm.amdgcn.workitem.id.x() 70