1; RUN: llc -mtriple=arm-eabi -mattr=+v6,+vfp2 %s -o - | FileCheck %s
2
3define void @test3(float* %glob, i32 %X) {
4entry:
5        %tmp = load float, float* %glob                ; <float> [#uses=1]
6        %tmp2 = getelementptr float, float* %glob, i32 2               ; <float*> [#uses=1]
7        %tmp3 = load float, float* %tmp2               ; <float> [#uses=1]
8        %tmp.upgrd.1 = fcmp ogt float %tmp, %tmp3               ; <i1> [#uses=1]
9        br i1 %tmp.upgrd.1, label %cond_true, label %UnifiedReturnBlock
10
11cond_true:              ; preds = %entry
12        %tmp.upgrd.2 = tail call i32 (...) @bar( )             ; <i32> [#uses=0]
13        ret void
14
15UnifiedReturnBlock:             ; preds = %entry
16        ret void
17}
18
19declare i32 @bar(...)
20
21; CHECK: vcmpe.f32
22
23