flang/test/Lower/real-operations-2.f90

   1 ! RUN: bbc -hlfir=false %s -o "-" | FileCheck %s
   2
   3 ! Test real intrinsic operation lowering to FIR.
   4
   5 ! CHECK-LABEL:eq0_test
   6 LOGICAL FUNCTION eq0_test(x0, x1)
   7 REAL(4) :: x0
   8 REAL(4) :: x1
   9 ! CHECK-DAG:[[reg1:%[0-9]+]] = fir.load %arg0
  10 ! CHECK-DAG:[[reg2:%[0-9]+]] = fir.load %arg1
  11 ! CHECK:[[reg3:%[0-9]+]] = arith.cmpf oeq, [[reg1]], [[reg2]] {{.*}} : f32
  12 ! CHECK:fir.convert [[reg3]] {{.*}} -> !fir.logical<4>
  13 eq0_test = x0 .EQ. x1
  14 END FUNCTION
  15
  16 ! CHECK-LABEL:ne1_test
  17 LOGICAL FUNCTION ne1_test(x0, x1)
  18 REAL(4) :: x0
  19 REAL(4) :: x1
  20 ! CHECK-DAG:[[reg1:%[0-9]+]] = fir.load %arg0
  21 ! CHECK-DAG:[[reg2:%[0-9]+]] = fir.load %arg1
  22 ! CHECK:[[reg3:%[0-9]+]] = arith.cmpf une, [[reg1]], [[reg2]] {{.*}} : f32
  23 ! CHECK:fir.convert [[reg3]] {{.*}} -> !fir.logical<4>
  24 ne1_test = x0 .NE. x1
  25 END FUNCTION
  26
  27 ! CHECK-LABEL:lt2_test
  28 LOGICAL FUNCTION lt2_test(x0, x1)
  29 REAL(4) :: x0
  30 REAL(4) :: x1
  31 ! CHECK-DAG:[[reg1:%[0-9]+]] = fir.load %arg0
  32 ! CHECK-DAG:[[reg2:%[0-9]+]] = fir.load %arg1
  33 ! CHECK:[[reg3:%[0-9]+]] = arith.cmpf olt, [[reg1]], [[reg2]] {{.*}} : f32
  34 ! CHECK:fir.convert [[reg3]] {{.*}} -> !fir.logical<4>
  35 lt2_test = x0 .LT. x1
  36 END FUNCTION
  37
  38 ! CHECK-LABEL:le3_test
  39 LOGICAL FUNCTION le3_test(x0, x1)
  40 REAL(4) :: x0
  41 REAL(4) :: x1
  42 ! CHECK-DAG:[[reg1:%[0-9]+]] = fir.load %arg0
  43 ! CHECK-DAG:[[reg2:%[0-9]+]] = fir.load %arg1
  44 ! CHECK:[[reg3:%[0-9]+]] = arith.cmpf ole, [[reg1]], [[reg2]] {{.*}} : f32
  45 ! CHECK:fir.convert [[reg3]] {{.*}} -> !fir.logical<4>
  46 le3_test = x0 .LE. x1
  47 END FUNCTION
  48
  49 ! CHECK-LABEL:gt4_test
  50 LOGICAL FUNCTION gt4_test(x0, x1)
  51 REAL(4) :: x0
  52 REAL(4) :: x1
  53 ! CHECK-DAG:[[reg1:%[0-9]+]] = fir.load %arg0
  54 ! CHECK-DAG:[[reg2:%[0-9]+]] = fir.load %arg1
  55 ! CHECK:[[reg3:%[0-9]+]] = arith.cmpf ogt, [[reg1]], [[reg2]] {{.*}} : f32
  56 ! CHECK:fir.convert [[reg3]] {{.*}} -> !fir.logical<4>
  57 gt4_test = x0 .GT. x1
  58 END FUNCTION
  59
  60 ! CHECK-LABEL:ge5_test
  61 LOGICAL FUNCTION ge5_test(x0, x1)
  62 REAL(4) :: x0
  63 REAL(4) :: x1
  64 ! CHECK-DAG:[[reg1:%[0-9]+]] = fir.load %arg0
  65 ! CHECK-DAG:[[reg2:%[0-9]+]] = fir.load %arg1
  66 ! CHECK:[[reg3:%[0-9]+]] = arith.cmpf oge, [[reg1]], [[reg2]] {{.*}} : f32
  67 ! CHECK:fir.convert [[reg3]] {{.*}} -> !fir.logical<4>
  68 ge5_test = x0 .GE. x1
  69 END FUNCTION
  70
  71 ! CHECK-LABEL:add6_test
  72 REAL(4) FUNCTION add6_test(x0, x1)
  73 REAL(4) :: x0
  74 REAL(4) :: x1
  75 ! CHECK-DAG:[[reg1:%[0-9]+]] = fir.load %arg0
  76 ! CHECK-DAG:[[reg2:%[0-9]+]] = fir.load %arg1
  77 ! CHECK:addf [[reg1]], [[reg2]] {{.*}}: f32
  78 add6_test = x0 + x1
  79 END FUNCTION
  80
  81 ! CHECK-LABEL:sub7_test
  82 REAL(4) FUNCTION sub7_test(x0, x1)
  83 REAL(4) :: x0
  84 REAL(4) :: x1
  85 ! CHECK-DAG:[[reg1:%[0-9]+]] = fir.load %arg0
  86 ! CHECK-DAG:[[reg2:%[0-9]+]] = fir.load %arg1
  87 ! CHECK:subf [[reg1]], [[reg2]] {{.*}}: f32
  88 sub7_test = x0 - x1
  89 END FUNCTION
  90
  91 ! CHECK-LABEL:mult8_test
  92 REAL(4) FUNCTION mult8_test(x0, x1)
  93 REAL(4) :: x0
  94 REAL(4) :: x1
  95 ! CHECK-DAG:[[reg1:%[0-9]+]] = fir.load %arg0
  96 ! CHECK-DAG:[[reg2:%[0-9]+]] = fir.load %arg1
  97 ! CHECK:mulf [[reg1]], [[reg2]] {{.*}}: f32
  98 mult8_test = x0 * x1
  99 END FUNCTION
 100
 101 ! CHECK-LABEL:div9_test
 102 REAL(4) FUNCTION div9_test(x0, x1)
 103 REAL(4) :: x0
 104 REAL(4) :: x1
 105 ! CHECK-DAG:[[reg1:%[0-9]+]] = fir.load %arg0
 106 ! CHECK-DAG:[[reg2:%[0-9]+]] = fir.load %arg1
 107 ! CHECK:divf [[reg1]], [[reg2]] {{.*}}: f32
 108 div9_test = x0 / x1
 109 END FUNCTION