| 123456789101112131415161718192021222324252627282930313233343536373839 |
- ; RUN: opt < %s -basicaa -licm -S | FileCheck %s
- @a = external constant float*
- define void @test(i32 %count) {
- entry:
- br label %forcond
- ; CHECK: %tmp3 = load float*, float** @a
- ; CHECK: br label %forcond
- forcond:
- %i.0 = phi i32 [ 0, %entry ], [ %inc, %forbody ]
- %cmp = icmp ult i32 %i.0, %count
- br i1 %cmp, label %forbody, label %afterfor
- ; CHECK: %i.0 = phi i32 [ 0, %entry ], [ %inc, %forbody ]
- ; CHECK: %cmp = icmp ult i32 %i.0, %count
- ; CHECK: br i1 %cmp, label %forbody, label %afterfor
- forbody:
- %tmp3 = load float*, float** @a
- %arrayidx = getelementptr float, float* %tmp3, i32 %i.0
- %tmp7 = uitofp i32 %i.0 to float
- store float %tmp7, float* %arrayidx
- %inc = add i32 %i.0, 1
- br label %forcond
- ; CHECK: %arrayidx = getelementptr float, float* %tmp3, i32 %i.0
- ; CHECK: %tmp7 = uitofp i32 %i.0 to float
- ; CHECK: store float %tmp7, float* %arrayidx
- ; CHECK: %inc = add i32 %i.0, 1
- ; CHECK: br label %forcond
- afterfor:
- ret void
- }
- ; CHECK: ret void
|
