llvm/test/CodeGen/AArch64/combine_andor_with_cmps.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
   2 ; RUN: llc -mtriple=aarch64-none-linux-gnu -mcpu=neoverse-n1 -verify-machineinstrs < %s | FileCheck %s
   3
   4 ; The tests check the following optimization of DAGCombiner for AArch64:
   5 ; CMP(A,C)||CMP(B,C) => CMP(MIN/MAX(A,B), C)
   6 ; CMP(A,C)&&CMP(B,C) => CMP(MIN/MAX(A,B), C)
   7
   8 define i1 @test1(float %arg1, float %arg2, float %arg3) #0 {
   9 ; CHECK-LABEL: test1:
  10 ; CHECK:       // %bb.0:
  11 ; CHECK-NEXT:    fminnm s0, s0, s1
  12 ; CHECK-NEXT:    fcmp s0, s2
  13 ; CHECK-NEXT:    cset w0, mi
  14 ; CHECK-NEXT:    ret
  15   %cmp1 = fcmp olt float %arg1, %arg3
  16   %cmp2 = fcmp olt float %arg2, %arg3
  17   %or1  = or i1 %cmp1, %cmp2
  18   ret i1 %or1
  19 }
  20
  21 define i1 @test2(double %arg1, double %arg2, double %arg3) #0 {
  22 ; CHECK-LABEL: test2:
  23 ; CHECK:       // %bb.0:
  24 ; CHECK-NEXT:    fmaxnm d0, d0, d1
  25 ; CHECK-NEXT:    fcmp d0, d2
  26 ; CHECK-NEXT:    cset w0, gt
  27 ; CHECK-NEXT:    ret
  28   %cmp1 = fcmp ogt double %arg1, %arg3
  29   %cmp2 = fcmp ogt double %arg2, %arg3
  30   %or1  = or i1 %cmp1, %cmp2
  31   ret i1 %or1
  32 }
  33
  34 ; It is illegal to apply the optimization in the following two test cases
  35 ; because FMINNUM_IEEE and FMAXNUM_IEEE are not supported.
  36
  37 define i1 @test3(float %arg1, float %arg2, float %arg3) {
  38 ; CHECK-LABEL: test3:
  39 ; CHECK:       // %bb.0:
  40 ; CHECK-NEXT:    fmov s3, #1.00000000
  41 ; CHECK-NEXT:    fadd s0, s0, s3
  42 ; CHECK-NEXT:    fmov s3, #2.00000000
  43 ; CHECK-NEXT:    fadd s1, s1, s3
  44 ; CHECK-NEXT:    fcmp s1, s2
  45 ; CHECK-NEXT:    fccmp s0, s2, #0, lt
  46 ; CHECK-NEXT:    cset w0, lt
  47 ; CHECK-NEXT:    ret
  48   %add1 = fadd nnan float %arg1, 1.0
  49   %add2 = fadd nnan float %arg2, 2.0
  50   %cmp1 = fcmp nnan olt float %add1, %arg3
  51   %cmp2 = fcmp nnan olt float %add2, %arg3
  52   %or1  = and i1 %cmp1, %cmp2
  53   ret i1 %or1
  54 }
  55
  56 define i1 @test4(float %arg1, float %arg2, float %arg3) {
  57 ; CHECK-LABEL: test4:
  58 ; CHECK:       // %bb.0:
  59 ; CHECK-NEXT:    fmov s3, #1.00000000
  60 ; CHECK-NEXT:    fadd s0, s0, s3
  61 ; CHECK-NEXT:    fmov s3, #2.00000000
  62 ; CHECK-NEXT:    fadd s1, s1, s3
  63 ; CHECK-NEXT:    fcmp s1, s2
  64 ; CHECK-NEXT:    fccmp s0, s2, #4, gt
  65 ; CHECK-NEXT:    cset w0, gt
  66 ; CHECK-NEXT:    ret
  67   %add1 = fadd nnan float %arg1, 1.0
  68   %add2 = fadd nnan float %arg2, 2.0
  69   %cmp1 = fcmp nnan ogt float %add1, %arg3
  70   %cmp2 = fcmp nnan ogt float %add2, %arg3
  71   %or1  = and i1 %cmp1, %cmp2
  72   ret i1 %or1
  73 }
  74