| ; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc-unknown-linux-gnu | |
| ; PR4280 | |
| define i32 @__fixunssfsi(float %a) nounwind readnone { | |
| entry: | |
| %0 = fcmp ult float %a, 0x41E0000000000000 ; <i1> [#uses=1] | |
| br i1 %0, label %bb1, label %bb | |
| bb: ; preds = %entry | |
| ret i32 1 | |
| bb1: ; preds = %entry | |
| ret i32 0 | |
| } | |