-; RUN: llc -verify-machineinstrs < %s
+; RUN: llc -verify-machineinstrs < %s | FileCheck %s
; ModuleID = 'new.bc'
target datalayout = "e-m:e-i64:64-n32:64"
target triple = "powerpc64le--linux-gnu"
; Function Attrs: nounwind
declare ptr @halide_int64_to_string(ptr, ptr, i64, i32) #1
+;; FIXME: hardware loop should not be generated in the loop that already has a
+;; user defined hardware loop. Only one mtctr should be in the final assembly.
+; CHECK-LABEL: halide_double_to_string
+; CHECK-COUNT-2: mtctr
+
; Function Attrs: nounwind
define weak ptr @halide_double_to_string(ptr %dst, ptr %end, double %arg, i32 %scientific) #1 {
entry: