148c6b272SRoman Lebedev; RUN: opt -S < %s -passes=loop-idiom | FileCheck %s 2cee313d2SEric Christopher 3cee313d2SEric Christopherdeclare void @llvm.sideeffect() 4cee313d2SEric Christopher 5cee313d2SEric Christopher; Loop idiom recognition across a @llvm.sideeffect. 6cee313d2SEric Christopher 7cee313d2SEric Christopher; CHECK-LABEL: zero 8cee313d2SEric Christopher; CHECK: llvm.memset 9*055fb779SNikita Popovdefine void @zero(ptr %p, i64 %n) nounwind { 10cee313d2SEric Christopherbb7.lr.ph: 11cee313d2SEric Christopher br label %bb7 12cee313d2SEric Christopher 13cee313d2SEric Christopherbb7: 14cee313d2SEric Christopher %i.02 = phi i64 [ 0, %bb7.lr.ph ], [ %tmp13, %bb7 ] 15*055fb779SNikita Popov %tmp10 = getelementptr inbounds float, ptr %p, i64 %i.02 16*055fb779SNikita Popov store float 0.000000e+00, ptr %tmp10, align 4 17cee313d2SEric Christopher %tmp13 = add i64 %i.02, 1 18cee313d2SEric Christopher %tmp6 = icmp ult i64 %tmp13, %n 19cee313d2SEric Christopher br i1 %tmp6, label %bb7, label %bb14 20cee313d2SEric Christopher 21cee313d2SEric Christopherbb14: 22cee313d2SEric Christopher ret void 23cee313d2SEric Christopher} 24