1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc -mtriple=thumbv7em-arm-none-eabi < %s | FileCheck %s
3
4target datalayout = "e-m:e-p:32:32-Fi8-i64:64-v128:64:128-a:0:32-n32-S64"
5target triple = "thumbv7em-arm-none-eabi"
6
7@a = hidden global i32 0, align 4
8
9define hidden void @fn1() nounwind #0 {
10; CHECK-LABEL: fn1:
11; CHECK:       @ %bb.0: @ %entry
12; CHECK-NEXT:    movs r0, #1
13; CHECK-NEXT:    cbnz r0, .LBB0_2
14; CHECK-NEXT:    b .LBB0_1
15; CHECK-NEXT:  .LBB0_1: @ %land.rhs
16; CHECK-NEXT:    b .LBB0_2
17; CHECK-NEXT:  .LBB0_2: @ %land.end
18; CHECK-NEXT:    bx lr
19entry:
20  %0 = load i32, i32* @a, align 4
21  %conv = sitofp i32 %0 to double
22  %mul = fmul nnan ninf nsz double 0.000000e+00, %conv
23  %tobool = fcmp nnan ninf nsz une double %mul, 0.000000e+00
24  br i1 %tobool, label %land.rhs, label %land.end
25
26land.rhs:                                         ; preds = %entry
27  br label %land.end
28
29land.end:                                         ; preds = %land.rhs, %entry
30  %1 = phi i1 [ false, %entry ], [ false, %land.rhs ]
31  %land.ext = zext i1 %1 to i32
32  ret void
33}
34
35attributes #0 = { noinline nounwind optnone "correctly-rounded-divide-sqrt-fp-math"="false" "denormal-fp-math"="preserve-sign,preserve-sign" "disable-tail-calls"="false" "frame-pointer"="none" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-infs-fp-math"="true" "no-jump-tables"="false" "no-nans-fp-math"="true" "no-signed-zeros-fp-math"="true" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="cortex-m4" "target-features"="+armv7e-m,+dsp,+fp16,+hwdiv,+thumb-mode,+vfp2sp,+vfp3d16sp,+vfp4d16sp,-aes,-crc,-crypto,-dotprod,-fp16fml,-fullfp16,-hwdiv-arm,-lob,-mve,-mve.fp,-ras,-sb,-sha2" "unsafe-fp-math"="false" "use-soft-float"="false" }
36