llvm/test/CodeGen/AArch64/fcmp.ll

   1 ; RUN: llc -verify-machineinstrs -o - %s -mtriple=aarch64-none-linux-gnu | FileCheck %s
   2
   3 declare void @bar(i32)
   4
   5 define void @test_float(float %a, float %b) {
   6 ; CHECK-LABEL: test_float:
   7
   8   %tst1 = fcmp oeq float %a, %b
   9   br i1 %tst1, label %end, label %t2
  10 ; CHECK: fcmp {{s[0-9]+}}, {{s[0-9]+}}
  11 ; CHECK: b.eq .L
  12
  13 t2:
  14   %tst2 = fcmp une float %b, 0.0
  15   br i1 %tst2, label %t3, label %end
  16 ; CHECK: fcmp {{s[0-9]+}}, #0.0
  17 ; CHECK: b.eq .L
  18
  19
  20 t3:
  21 ; This test can't be implemented with just one A64 conditional
  22 ; branch. LLVM converts "ordered and not equal" to "unordered or
  23 ; equal" before instruction selection, which is what we currently
  24 ; test. Obviously, other sequences are valid.
  25   %tst3 = fcmp one float %a,  %b
  26   br i1 %tst3, label %t4, label %end
  27 ; CHECK: fcmp {{s[0-9]+}}, {{s[0-9]+}}
  28 ; CHECK-NEXT: b.eq .[[T4:LBB[0-9]+_[0-9]+]]
  29 ; CHECK-NEXT: b.vs .[[T4]]
  30 t4:
  31   %tst4 = fcmp uge float %a, -0.0
  32   br i1 %tst4, label %t5, label %end
  33 ; CHECK-NOT: fcmp {{s[0-9]+}}, #0.0
  34 ; CHECK: b.mi .LBB
  35
  36 t5:
  37   call void @bar(i32 0)
  38   ret void
  39 end:
  40   ret void
  41
  42 }
  43
  44 define void @test_double(double %a, double %b) {
  45 ; CHECK-LABEL: test_double:
  46
  47   %tst1 = fcmp oeq double %a, %b
  48   br i1 %tst1, label %end, label %t2
  49 ; CHECK: fcmp {{d[0-9]+}}, {{d[0-9]+}}
  50 ; CHECK: b.eq .L
  51
  52 t2:
  53   %tst2 = fcmp une double %b, 0.0
  54   br i1 %tst2, label %t3, label %end
  55 ; CHECK: fcmp {{d[0-9]+}}, #0.0
  56 ; CHECK: b.eq .L
  57
  58
  59 t3:
  60 ; This test can't be implemented with just one A64 conditional
  61 ; branch. LLVM converts "ordered and not equal" to "unordered or
  62 ; equal" before instruction selection, which is what we currently
  63 ; test. Obviously, other sequences are valid.
  64   %tst3 = fcmp one double %a,  %b
  65   br i1 %tst3, label %t4, label %end
  66 ; CHECK: fcmp {{d[0-9]+}}, {{d[0-9]+}}
  67 ; CHECK-NEXT: b.eq .[[T4:LBB[0-9]+_[0-9]+]]
  68 ; CHECK-NEXT: b.vs .[[T4]]
  69 t4:
  70   %tst4 = fcmp uge double %a, -0.0
  71   br i1 %tst4, label %t5, label %end
  72 ; CHECK-NOT: fcmp {{d[0-9]+}}, #0.0
  73 ; CHECK: b.mi .LBB
  74
  75 t5:
  76   call void @bar(i32 0)
  77   ret void
  78 end:
  79   ret void
  80
  81 }