39 lines · plain
1; REQUIRES: x86-registered-target2; RUN: llc -stop-after=twoaddressinstruction -mtriple=x86_64-- -o - %s | FileCheck %s3 4 5define dso_local double @twoaddressinstruction(i1 %c) local_unnamed_addr {6for.end:7 %0 = load i64, ptr undef, align 88 br label %for.body14.preheader9 10for.body14.preheader: ; preds = %for.end11 br i1 %c, label %for.cond25.preheader.loopexit.unr-lcssa, label %for.body14.preheader.new12 13for.body14.preheader.new: ; preds = %for.body14.preheader14 %unroll_iter136 = and i64 %0, -415 br label %for.body1416 17for.cond25.preheader.loopexit.unr-lcssa: ; preds = %for.body14, %for.body14.preheader18 %indvars.iv127.unr = phi i64 [ 1, %for.body14.preheader ], [ %indvars.iv.next128.3, %for.body14 ]19 ret double undef20 21for.body14: ; preds = %for.body14, %for.body14.preheader.new22 %indvars.iv127 = phi i64 [ 1, %for.body14.preheader.new ], [ %indvars.iv.next128.3, %for.body14 ]23 %niter137 = phi i64 [ %unroll_iter136, %for.body14.preheader.new ], [ %niter137.nsub.3, %for.body14 ]24 %indvars.iv.next128.3 = add nuw nsw i64 %indvars.iv127, 425; CHECK: PSEUDO_PROBE -6878943695821059507, 9, 0, 026 call void @llvm.pseudoprobe(i64 -6878943695821059507, i64 9, i32 0, i64 -1)27;; Check an opeq form of instruction is created.28; CHECK: %[[#REG:]]:gr64_nosp = COPY killed %[[#]]29; CHECK: %[[#REG]]:gr64_nosp = nuw ADD64ri32 %[[#REG]], 4, implicit-def dead $eflags30 %niter137.nsub.3 = add i64 %niter137, -431 %niter137.ncmp.3 = icmp eq i64 %niter137.nsub.3, 032 br i1 %niter137.ncmp.3, label %for.cond25.preheader.loopexit.unr-lcssa, label %for.body1433}34 35; Function Attrs: inaccessiblememonly nounwind willreturn36declare void @llvm.pseudoprobe(i64, i64, i32, i64) #037 38attributes #0 = { inaccessiblememonly nounwind willreturn }39