llvm/test/CodeGen/AArch64/GlobalISel/combine-fpowi.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -o - -mtriple=aarch64-unknown-unknown -run-pass=aarch64-prelegalizer-combiner -verify-machineinstrs  %s | FileCheck %s
   3
   4 ---
   5 name: fpowi_s64_zero
   6 body: |
   7     bb.0:
   8       liveins: $d0, $w0
   9
  10     ; CHECK-LABEL: name: fpowi_s64_zero
  11     ; CHECK: liveins: $d0, $w0
  12     ; CHECK-NEXT: {{  $}}
  13     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_FCONSTANT double 1.000000e+00
  14     ; CHECK-NEXT: $d0 = COPY [[C]](s64)
  15       %0:_(s64) = COPY $d0
  16       %1:_(s32) = COPY $w0
  17       %2:_(s32) = G_CONSTANT i32 0
  18       %3:_(s64) = nnan ninf nsz arcp contract afn reassoc G_FPOWI %0, %2(s32)
  19       $d0 = COPY %3(s64)
  20 ...
  21
  22 ---
  23 name: fpowi_s32_zero
  24 body: |
  25     bb.0:
  26       liveins: $d0, $w0
  27
  28     ; CHECK-LABEL: name: fpowi_s32_zero
  29     ; CHECK: liveins: $d0, $w0
  30     ; CHECK-NEXT: {{  $}}
  31     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_FCONSTANT float 1.000000e+00
  32     ; CHECK-NEXT: $s0 = COPY [[C]](s32)
  33       %0:_(s32) = COPY $s0
  34       %1:_(s32) = COPY $w0
  35       %2:_(s32) = G_CONSTANT i32 0
  36       %3:_(s32) = nnan ninf nsz arcp contract afn reassoc G_FPOWI %0, %2(s32)
  37       $s0 = COPY %3(s32)
  38 ...
  39
  40 ---
  41 name: fpowi_positive
  42 body: |
  43     bb.0:
  44       liveins: $d0, $w0
  45
  46     ; CHECK-LABEL: name: fpowi_positive
  47     ; CHECK: liveins: $d0, $w0
  48     ; CHECK-NEXT: {{  $}}
  49     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $d0
  50     ; CHECK-NEXT: [[FMUL:%[0-9]+]]:_(s64) = G_FMUL [[COPY]], [[COPY]]
  51     ; CHECK-NEXT: [[FMUL1:%[0-9]+]]:_(s64) = G_FMUL [[FMUL]], [[FMUL]]
  52     ; CHECK-NEXT: [[FMUL2:%[0-9]+]]:_(s64) = G_FMUL [[COPY]], [[FMUL1]]
  53     ; CHECK-NEXT: $d0 = COPY [[FMUL2]](s64)
  54       %0:_(s64) = COPY $d0
  55       %1:_(s32) = COPY $w0
  56       %2:_(s32) = G_CONSTANT i32 5
  57       %3:_(s64) = nnan ninf nsz arcp contract afn reassoc G_FPOWI %0, %2(s32)
  58       $d0 = COPY %3(s64)
  59 ...
  60
  61 ---
  62 name: fpowi_s64_negative
  63 body: |
  64     bb.0:
  65       liveins: $d0, $w0
  66
  67     ; CHECK-LABEL: name: fpowi_s64_negative
  68     ; CHECK: liveins: $d0, $w0
  69     ; CHECK-NEXT: {{  $}}
  70     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $d0
  71     ; CHECK-NEXT: [[FMUL:%[0-9]+]]:_(s64) = G_FMUL [[COPY]], [[COPY]]
  72     ; CHECK-NEXT: [[FMUL1:%[0-9]+]]:_(s64) = G_FMUL [[FMUL]], [[FMUL]]
  73     ; CHECK-NEXT: [[FMUL2:%[0-9]+]]:_(s64) = G_FMUL [[COPY]], [[FMUL1]]
  74     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_FCONSTANT double 1.000000e+00
  75     ; CHECK-NEXT: [[FDIV:%[0-9]+]]:_(s64) = nnan ninf nsz arcp contract afn reassoc G_FDIV [[C]], [[FMUL2]]
  76     ; CHECK-NEXT: $d0 = COPY [[FDIV]](s64)
  77       %0:_(s64) = COPY $d0
  78       %1:_(s32) = COPY $w0
  79       %2:_(s32) = G_CONSTANT i32 -5
  80       %3:_(s64) = nnan ninf nsz arcp contract afn reassoc G_FPOWI %0, %2(s32)
  81       $d0 = COPY %3(s64)
  82 ...
  83
  84 ---
  85 name: fpowi_s32_negative
  86 body: |
  87     bb.0:
  88       liveins: $d0, $w0
  89
  90     ; CHECK-LABEL: name: fpowi_s32_negative
  91     ; CHECK: liveins: $d0, $w0
  92     ; CHECK-NEXT: {{  $}}
  93     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $s0
  94     ; CHECK-NEXT: [[FMUL:%[0-9]+]]:_(s32) = G_FMUL [[COPY]], [[COPY]]
  95     ; CHECK-NEXT: [[FMUL1:%[0-9]+]]:_(s32) = G_FMUL [[FMUL]], [[FMUL]]
  96     ; CHECK-NEXT: [[FMUL2:%[0-9]+]]:_(s32) = G_FMUL [[COPY]], [[FMUL1]]
  97     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_FCONSTANT float 1.000000e+00
  98     ; CHECK-NEXT: [[FDIV:%[0-9]+]]:_(s32) = nnan ninf nsz arcp contract afn reassoc G_FDIV [[C]], [[FMUL2]]
  99     ; CHECK-NEXT: $s0 = COPY [[FDIV]](s32)
 100       %0:_(s32) = COPY $s0
 101       %1:_(s32) = COPY $w0
 102       %2:_(s32) = G_CONSTANT i32 -5
 103       %3:_(s32) = nnan ninf nsz arcp contract afn reassoc G_FPOWI %0, %2(s32)
 104       $s0 = COPY %3(s32)
 105 ...
 106
 107 ---
 108 name: fpowi_libcall
 109 body: |
 110     bb.0:
 111       liveins: $d0, $w0
 112
 113     ; CHECK-LABEL: name: fpowi_libcall
 114     ; CHECK: liveins: $d0, $w0
 115     ; CHECK-NEXT: {{  $}}
 116     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $d0
 117     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w0
 118     ; CHECK-NEXT: [[FPOWI:%[0-9]+]]:_(s64) = nnan ninf nsz arcp contract afn reassoc G_FPOWI [[COPY]], [[COPY1]](s32)
 119     ; CHECK-NEXT: $d0 = COPY [[FPOWI]](s64)
 120       %0:_(s64) = COPY $d0
 121       %1:_(s32) = COPY $w0
 122       %2:_(s64) = nnan ninf nsz arcp contract afn reassoc G_FPOWI %0, %1(s32)
 123       $d0 = COPY %2(s64)
 124 ...