159 lines · plain
1! RUN: bbc -emit-fir -hlfir=false %s -o - | FileCheck %s2! RUN: %flang_fc1 -emit-fir -flang-deprecated-no-hlfir %s -o - | FileCheck %s3 4! CHECK-LABEL: bge_test5! CHECK-SAME: %[[A:.*]]: !fir.ref<i32>{{.*}}, %[[B:.*]]: !fir.ref<i32>{{.*}}, %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}6subroutine bge_test(a, b, c)7 integer :: a, b8 logical :: c9 ! CHECK: %[[A_VAL:.*]] = fir.load %[[A]] : !fir.ref<i32>10 ! CHECK: %[[B_VAL:.*]] = fir.load %[[B]] : !fir.ref<i32>11 c = bge(a, b)12 ! CHECK: %[[C_CMP:.*]] = arith.cmpi uge, %[[A_VAL]], %[[B_VAL]] : i3213 ! CHECK: %[[C_VAL:.*]] = fir.convert %[[C_CMP]] : (i1) -> !fir.logical<4>14 ! CHECK: fir.store %[[C_VAL]] to %[[C]] : !fir.ref<!fir.logical<4>>15end subroutine bge_test16 17! CHECK-LABEL: bge_test118! CHECK-SAME: %[[A:.*]]: !fir.ref<i8>{{.*}}, %[[B:.*]]: !fir.ref<i8>{{.*}}, %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}19subroutine bge_test1(a, b, c)20 integer(kind=1) :: a, b21 logical :: c22 ! CHECK: %[[A_VAL:.*]] = fir.load %[[A]] : !fir.ref<i8>23 ! CHECK: %[[B_VAL:.*]] = fir.load %[[B]] : !fir.ref<i8>24 c = bge(a, b)25 ! CHECK: %[[C_CMP:.*]] = arith.cmpi uge, %[[A_VAL]], %[[B_VAL]] : i826 ! CHECK: %[[C_VAL:.*]] = fir.convert %[[C_CMP]] : (i1) -> !fir.logical<4>27 ! CHECK: fir.store %[[C_VAL]] to %[[C]] : !fir.ref<!fir.logical<4>>28end subroutine bge_test129 30! CHECK-LABEL: bge_test231! CHECK-SAME: %[[A:.*]]: !fir.ref<i16>{{.*}}, %[[B:.*]]: !fir.ref<i16>{{.*}}, %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}32subroutine bge_test2(a, b, c)33 integer(kind=2) :: a, b34 logical :: c35 ! CHECK: %[[A_VAL:.*]] = fir.load %[[A]] : !fir.ref<i16>36 ! CHECK: %[[B_VAL:.*]] = fir.load %[[B]] : !fir.ref<i16>37 c = bge(a, b)38 ! CHECK: %[[C_CMP:.*]] = arith.cmpi uge, %[[A_VAL]], %[[B_VAL]] : i1639 ! CHECK: %[[C_VAL:.*]] = fir.convert %[[C_CMP]] : (i1) -> !fir.logical<4>40 ! CHECK: fir.store %[[C_VAL]] to %[[C]] : !fir.ref<!fir.logical<4>>41end subroutine bge_test242 43! CHECK-LABEL: bge_test344! CHECK-SAME: %[[A:.*]]: !fir.ref<i32>{{.*}}, %[[B:.*]]: !fir.ref<i32>{{.*}}, %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}45subroutine bge_test3(a, b, c)46 integer(kind=4) :: a, b47 logical :: c48 ! CHECK: %[[A_VAL:.*]] = fir.load %[[A]] : !fir.ref<i32>49 ! CHECK: %[[B_VAL:.*]] = fir.load %[[B]] : !fir.ref<i32>50 c = bge(a, b)51 ! CHECK: %[[C_CMP:.*]] = arith.cmpi uge, %[[A_VAL]], %[[B_VAL]] : i3252 ! CHECK: %[[C_VAL:.*]] = fir.convert %[[C_CMP]] : (i1) -> !fir.logical<4>53 ! CHECK: fir.store %[[C_VAL]] to %[[C]] : !fir.ref<!fir.logical<4>>54end subroutine bge_test355 56! CHECK-LABEL: bge_test457! CHECK-SAME: %[[A:.*]]: !fir.ref<i64>{{.*}}, %[[B:.*]]: !fir.ref<i64>{{.*}}, %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}58subroutine bge_test4(a, b, c)59 integer(kind=8) :: a, b60 logical :: c61 ! CHECK: %[[A_VAL:.*]] = fir.load %[[A]] : !fir.ref<i64>62 ! CHECK: %[[B_VAL:.*]] = fir.load %[[B]] : !fir.ref<i64>63 c = bge(a, b)64 ! CHECK: %[[C_CMP:.*]] = arith.cmpi uge, %[[A_VAL]], %[[B_VAL]] : i6465 ! CHECK: %[[C_VAL:.*]] = fir.convert %[[C_CMP]] : (i1) -> !fir.logical<4>66 ! CHECK: fir.store %[[C_VAL]] to %[[C]] : !fir.ref<!fir.logical<4>>67end subroutine bge_test468 69! CHECK-LABEL: bge_test570! CHECK-SAME: %[[A:.*]]: !fir.ref<i128>{{.*}}, %[[B:.*]]: !fir.ref<i128>{{.*}}, %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}71subroutine bge_test5(a, b, c)72 integer(kind=16) :: a, b73 logical :: c74 ! CHECK: %[[A_VAL:.*]] = fir.load %[[A]] : !fir.ref<i128>75 ! CHECK: %[[B_VAL:.*]] = fir.load %[[B]] : !fir.ref<i128>76 c = bge(a, b)77 ! CHECK: %[[C_CMP:.*]] = arith.cmpi uge, %[[A_VAL]], %[[B_VAL]] : i12878 ! CHECK: %[[C_VAL:.*]] = fir.convert %[[C_CMP]] : (i1) -> !fir.logical<4>79 ! CHECK: fir.store %[[C_VAL]] to %[[C]] : !fir.ref<!fir.logical<4>>80end subroutine bge_test581 82! CHECK-LABEL: bge_test683! CHECK-SAME: %[[A:.*]]: !fir.ref<i16>{{.*}}, %[[B:.*]]: !fir.ref<i32>{{.*}}, %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}84subroutine bge_test6(a, b, c)85 integer(kind=2) :: a86 integer(kind=4) :: b87 logical :: c88 ! CHECK: %[[A_VAL:.*]] = fir.load %[[A]] : !fir.ref<i16>89 ! CHECK: %[[B_VAL:.*]] = fir.load %[[B]] : !fir.ref<i32>90 c = bge(a, b)91 ! CHECK: %[[A_EXT:.*]] = arith.extui %[[A_VAL]] : i16 to i3292 ! CHECK: %[[C_CMP:.*]] = arith.cmpi uge, %[[A_EXT]], %[[B_VAL]] : i3293 ! CHECK: %[[C_VAL:.*]] = fir.convert %[[C_CMP]] : (i1) -> !fir.logical<4>94 ! CHECK: fir.store %[[C_VAL]] to %[[C]] : !fir.ref<!fir.logical<4>>95end subroutine bge_test696 97! CHECK-LABEL: bge_test798! CHECK-SAME: %[[A:.*]]: !fir.ref<i32>{{.*}}, %[[B:.*]]: !fir.ref<i16>{{.*}}, %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}99subroutine bge_test7(a, b, c)100 integer(kind=4) :: a101 integer(kind=2) :: b102 logical :: c103 ! CHECK: %[[A_VAL:.*]] = fir.load %[[A]] : !fir.ref<i32>104 ! CHECK: %[[B_VAL:.*]] = fir.load %[[B]] : !fir.ref<i16>105 c = bge(a, b)106 ! CHECK: %[[B_EXT:.*]] = arith.extui %[[B_VAL]] : i16 to i32107 ! CHECK: %[[C_CMP:.*]] = arith.cmpi uge, %[[A_VAL]], %[[B_EXT]] : i32108 ! CHECK: %[[C_VAL:.*]] = fir.convert %[[C_CMP]] : (i1) -> !fir.logical<4>109 ! CHECK: fir.store %[[C_VAL]] to %[[C]] : !fir.ref<!fir.logical<4>>110end subroutine bge_test7111 112! CHECK-LABEL: bge_test8113! CHECK-SAME: %[[A:.*]]: !fir.ref<i16>{{.*}}, %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}114subroutine bge_test8(a, c)115 integer(kind=2) :: a116 logical :: c117 ! CHECK: %[[A_VAL:.*]] = fir.load %[[A]] : !fir.ref<i16>118 ! CHECK: %[[B_VAL:.*]] = arith.constant 42 : i32119 c = bge(a, 42_4)120 ! CHECK: %[[A_EXT:.*]] = arith.extui %[[A_VAL]] : i16 to i32121 ! CHECK: %[[C_CMP:.*]] = arith.cmpi uge, %[[A_EXT]], %[[B_VAL]] : i32122 ! CHECK: %[[C_VAL:.*]] = fir.convert %[[C_CMP]] : (i1) -> !fir.logical<4>123 ! CHECK: fir.store %[[C_VAL]] to %[[C]] : !fir.ref<!fir.logical<4>>124end subroutine bge_test8125 126! CHECK-LABEL: bge_test9127! CHECK-SAME: %[[A:.*]]: !fir.ref<i32>{{.*}}, %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}128subroutine bge_test9(a, c)129 integer(kind=4) :: a130 logical :: c131 ! CHECK: %[[A_VAL:.*]] = fir.load %[[A]] : !fir.ref<i32>132 ! CHECK: %[[B_VAL:.*]] = arith.constant 42 : i16133 c = bge(a, 42_2)134 ! CHECK: %[[B_EXT:.*]] = arith.extui %[[B_VAL]] : i16 to i32135 ! CHECK: %[[C_CMP:.*]] = arith.cmpi uge, %[[A_VAL]], %[[B_EXT]] : i32136 ! CHECK: %[[C_VAL:.*]] = fir.convert %[[C_CMP]] : (i1) -> !fir.logical<4>137 ! CHECK: fir.store %[[C_VAL]] to %[[C]] : !fir.ref<!fir.logical<4>>138end subroutine bge_test9139 140! CHECK-LABEL: bge_test10141! CHECK-SAME: %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}142subroutine bge_test10(c)143 logical :: c144 c = bge(-1_2, -1_4)145 ! CHECK: %[[R:.*]] = arith.constant false146 ! CHECK: %[[V:.*]] = fir.convert %[[R]] : (i1) -> !fir.logical<4>147 ! CHECK: fir.store %[[V]] to %[[C]] : !fir.ref<!fir.logical<4>>148end subroutine bge_test10149 150! CHECK-LABEL: bge_test11151! CHECK-SAME: %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}152subroutine bge_test11(c)153 logical :: c154 c = bge(-1_4, -1_2)155 ! CHECK: %[[R:.*]] = arith.constant true156 ! CHECK: %[[V:.*]] = fir.convert %[[R]] : (i1) -> !fir.logical<4>157 ! CHECK: fir.store %[[V]] to %[[C]] : !fir.ref<!fir.logical<4>>158end subroutine bge_test11159