1; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc-unknown-linux-gnu 2; PR4280 3 4define i32 @__fixunssfsi(float %a) nounwind readnone { 5entry: 6 %0 = fcmp ult float %a, 0x41E0000000000000 ; <i1> [#uses=1] 7 br i1 %0, label %bb1, label %bb 8 9bb: ; preds = %entry 10 ret i32 1 11 12bb1: ; preds = %entry 13 ret i32 0 14} 15 16