[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / LoopIdiom / int_sideeffect.ll
blob40acf3cbe2a54d4d8ece3afce542cc459596df23
1 ; RUN: opt -S < %s -loop-idiom | FileCheck %s
3 declare void @llvm.sideeffect()
5 ; Loop idiom recognition across a @llvm.sideeffect.
7 ; CHECK-LABEL: zero
8 ; CHECK: llvm.memset
9 define void @zero(float* %p, i64 %n) nounwind {
10 bb7.lr.ph:
11   br label %bb7
13 bb7:
14   %i.02 = phi i64 [ 0, %bb7.lr.ph ], [ %tmp13, %bb7 ]
15   %tmp10 = getelementptr inbounds float, float* %p, i64 %i.02
16   store float 0.000000e+00, float* %tmp10, align 4
17   %tmp13 = add i64 %i.02, 1
18   %tmp6 = icmp ult i64 %tmp13, %n
19   br i1 %tmp6, label %bb7, label %bb14
21 bb14:
22   ret void