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: blt_test5! CHECK-SAME: %[[A:.*]]: !fir.ref<i32>{{.*}}, %[[B:.*]]: !fir.ref<i32>{{.*}}, %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}6subroutine blt_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 = blt(a, b)12 ! CHECK: %[[C_CMP:.*]] = arith.cmpi ult, %[[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 blt_test16 17! CHECK-LABEL: blt_test118! CHECK-SAME: %[[A:.*]]: !fir.ref<i8>{{.*}}, %[[B:.*]]: !fir.ref<i8>{{.*}}, %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}19subroutine blt_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 = blt(a, b)25 ! CHECK: %[[C_CMP:.*]] = arith.cmpi ult, %[[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 blt_test129 30! CHECK-LABEL: blt_test231! CHECK-SAME: %[[A:.*]]: !fir.ref<i16>{{.*}}, %[[B:.*]]: !fir.ref<i16>{{.*}}, %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}32subroutine blt_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 = blt(a, b)38 ! CHECK: %[[C_CMP:.*]] = arith.cmpi ult, %[[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 blt_test242 43! CHECK-LABEL: blt_test344! CHECK-SAME: %[[A:.*]]: !fir.ref<i32>{{.*}}, %[[B:.*]]: !fir.ref<i32>{{.*}}, %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}45subroutine blt_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 = blt(a, b)51 ! CHECK: %[[C_CMP:.*]] = arith.cmpi ult, %[[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 blt_test355 56! CHECK-LABEL: blt_test457! CHECK-SAME: %[[A:.*]]: !fir.ref<i64>{{.*}}, %[[B:.*]]: !fir.ref<i64>{{.*}}, %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}58subroutine blt_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 = blt(a, b)64 ! CHECK: %[[C_CMP:.*]] = arith.cmpi ult, %[[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 blt_test468 69! CHECK-LABEL: blt_test570! CHECK-SAME: %[[A:.*]]: !fir.ref<i128>{{.*}}, %[[B:.*]]: !fir.ref<i128>{{.*}}, %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}71subroutine blt_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 = blt(a, b)77 ! CHECK: %[[C_CMP:.*]] = arith.cmpi ult, %[[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 blt_test581 82! CHECK-LABEL: blt_test683! CHECK-SAME: %[[A:.*]]: !fir.ref<i16>{{.*}}, %[[B:.*]]: !fir.ref<i32>{{.*}}, %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}84subroutine blt_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 = blt(a, b)91 ! CHECK: %[[A_EXT:.*]] = arith.extui %[[A_VAL]] : i16 to i3292 ! CHECK: %[[C_CMP:.*]] = arith.cmpi ult, %[[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 blt_test696 97! CHECK-LABEL: blt_test798! CHECK-SAME: %[[A:.*]]: !fir.ref<i32>{{.*}}, %[[B:.*]]: !fir.ref<i16>{{.*}}, %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}99subroutine blt_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 = blt(a, b)106 ! CHECK: %[[B_EXT:.*]] = arith.extui %[[B_VAL]] : i16 to i32107 ! CHECK: %[[C_CMP:.*]] = arith.cmpi ult, %[[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 blt_test7111 112! CHECK-LABEL: blt_test8113! CHECK-SAME: %[[A:.*]]: !fir.ref<i16>{{.*}}, %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}114subroutine blt_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 = blt(a, 42_4)120 ! CHECK: %[[A_EXT:.*]] = arith.extui %[[A_VAL]] : i16 to i32121 ! CHECK: %[[C_CMP:.*]] = arith.cmpi ult, %[[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 blt_test8125 126! CHECK-LABEL: blt_test9127! CHECK-SAME: %[[A:.*]]: !fir.ref<i32>{{.*}}, %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}128subroutine blt_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 = blt(a, 42_2)134 ! CHECK: %[[B_EXT:.*]] = arith.extui %[[B_VAL]] : i16 to i32135 ! CHECK: %[[C_CMP:.*]] = arith.cmpi ult, %[[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 blt_test9139 140! CHECK-LABEL: blt_test10141! CHECK-SAME: %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}142subroutine blt_test10(c)143 logical :: c144 c = blt(-1_2, -1_4)145 ! CHECK: %[[R:.*]] = arith.constant true146 ! CHECK: %[[V:.*]] = fir.convert %[[R]] : (i1) -> !fir.logical<4>147 ! CHECK: fir.store %[[V]] to %[[C]] : !fir.ref<!fir.logical<4>>148end subroutine blt_test10149 150! CHECK-LABEL: blt_test11151! CHECK-SAME: %[[C:.*]]: !fir.ref<!fir.logical<4>>{{.*}}152subroutine blt_test11(c)153 logical :: c154 c = blt(-1_4, -1_2)155 ! CHECK: %[[R:.*]] = arith.constant false156 ! CHECK: %[[V:.*]] = fir.convert %[[R]] : (i1) -> !fir.logical<4>157 ! CHECK: fir.store %[[V]] to %[[C]] : !fir.ref<!fir.logical<4>>158end subroutine blt_test11159