120 lines · plain
1! RUN: bbc -emit-fir %s -o - | FileCheck %s2! RUN: %flang_fc1 -emit-fir %s -o - | FileCheck %s3 4! CHECK-LABEL: maskr_test5subroutine maskr_test(a, b)6 integer :: a7 integer :: b8 ! CHECK-DAG: %[[BITS:.*]] = arith.constant 32 : i329 ! CHECK-DAG: %[[C__1:.*]] = arith.constant -1 : i3210 ! CHECK-DAG: %[[C__0:.*]] = arith.constant 0 : i3211 ! CHECK: %[[A:.*]] = fir.declare %{{.*}}Ea12 ! CHECK: %[[B:.*]] = fir.declare %{{.*}}Eb13 14 ! CHECK: %[[A_VAL:.*]] = fir.load %[[A]] : !fir.ref<i32>15 b = maskr(a)16 ! CHECK: %[[LEN:.*]] = arith.subi %[[BITS]], %[[A_VAL]] : i3217 ! CHECK: %[[SHIFT:.*]] = arith.shrui %[[C__1]], %[[LEN]] : i3218 ! CHECK: %[[IS0:.*]] = arith.cmpi eq, %[[A_VAL]], %[[C__0]] : i3219 ! CHECK: %[[RESULT:.*]] = arith.select %[[IS0]], %[[C__0]], %[[SHIFT]] : i3220 ! CHECK: fir.store %[[RESULT]] to %[[B]] : !fir.ref<i32>21end subroutine maskr_test22 23! CHECK-LABEL: maskr1_test24subroutine maskr1_test(a, b)25 integer :: a26 integer(kind=1) :: b27 ! CHECK-DAG: %[[BITS:.*]] = arith.constant 8 : i828 ! CHECK-DAG: %[[C__1:.*]] = arith.constant -1 : i829 ! CHECK-DAG: %[[C__0:.*]] = arith.constant 0 : i830 ! CHECK: %[[A:.*]] = fir.declare %{{.*}}Ea31 ! CHECK: %[[B:.*]] = fir.declare %{{.*}}Eb32 33 ! CHECK: %[[A_VAL:.*]] = fir.load %[[A]] : !fir.ref<i32>34 b = maskr(a, 1)35 ! CHECK: %[[A_CONV:.*]] = fir.convert %[[A_VAL]] : (i32) -> i836 ! CHECK: %[[LEN:.*]] = arith.subi %[[BITS]], %[[A_CONV]] : i837 ! CHECK: %[[SHIFT:.*]] = arith.shrui %[[C__1]], %[[LEN]] : i838 ! CHECK: %[[IS0:.*]] = arith.cmpi eq, %[[A_CONV]], %[[C__0]] : i839 ! CHECK: %[[RESULT:.*]] = arith.select %[[IS0]], %[[C__0]], %[[SHIFT]] : i840 ! CHECK: fir.store %[[RESULT]] to %[[B]] : !fir.ref<i8>41end subroutine maskr1_test42 43! CHECK-LABEL: maskr2_test44subroutine maskr2_test(a, b)45 integer :: a46 integer(kind=2) :: b47 ! CHECK-DAG: %[[BITS:.*]] = arith.constant 16 : i1648 ! CHECK-DAG: %[[C__1:.*]] = arith.constant -1 : i1649 ! CHECK-DAG: %[[C__0:.*]] = arith.constant 0 : i1650 ! CHECK: %[[A:.*]] = fir.declare %{{.*}}Ea51 ! CHECK: %[[B:.*]] = fir.declare %{{.*}}Eb52 53 ! CHECK: %[[A_VAL:.*]] = fir.load %[[A]] : !fir.ref<i32>54 b = maskr(a, 2)55 ! CHECK: %[[A_CONV:.*]] = fir.convert %[[A_VAL]] : (i32) -> i1656 ! CHECK: %[[LEN:.*]] = arith.subi %[[BITS]], %[[A_CONV]] : i1657 ! CHECK: %[[SHIFT:.*]] = arith.shrui %[[C__1]], %[[LEN]] : i1658 ! CHECK: %[[IS0:.*]] = arith.cmpi eq, %[[A_CONV]], %[[C__0]] : i1659 ! CHECK: %[[RESULT:.*]] = arith.select %[[IS0]], %[[C__0]], %[[SHIFT]] : i1660 ! CHECK: fir.store %[[RESULT]] to %[[B]] : !fir.ref<i16>61end subroutine maskr2_test62 63! CHECK-LABEL: maskr4_test64subroutine maskr4_test(a, b)65 integer :: a66 integer(kind=4) :: b67 ! CHECK-DAG: %[[BITS:.*]] = arith.constant 32 : i3268 ! CHECK-DAG: %[[C__1:.*]] = arith.constant -1 : i3269 ! CHECK-DAG: %[[C__0:.*]] = arith.constant 0 : i3270 ! CHECK: %[[A:.*]] = fir.declare %{{.*}}Ea71 ! CHECK: %[[B:.*]] = fir.declare %{{.*}}Eb72 73 ! CHECK: %[[A_VAL:.*]] = fir.load %[[A]] : !fir.ref<i32>74 b = maskr(a, 4)75 ! CHECK: %[[LEN:.*]] = arith.subi %[[BITS]], %[[A_VAL]] : i3276 ! CHECK: %[[SHIFT:.*]] = arith.shrui %[[C__1]], %[[LEN]] : i3277 ! CHECK: %[[IS0:.*]] = arith.cmpi eq, %[[A_VAL]], %[[C__0]] : i3278 ! CHECK: %[[RESULT:.*]] = arith.select %[[IS0]], %[[C__0]], %[[SHIFT]] : i3279 ! CHECK: fir.store %[[RESULT]] to %[[B]] : !fir.ref<i32>80end subroutine maskr4_test81 82! CHECK-LABEL: maskr8_test83subroutine maskr8_test(a, b)84 integer :: a85 integer(kind=8) :: b86 ! CHECK-DAG: %[[BITS:.*]] = arith.constant 64 : i6487 ! CHECK-DAG: %[[C__1:.*]] = arith.constant -1 : i6488 ! CHECK-DAG: %[[C__0:.*]] = arith.constant 0 : i6489 ! CHECK: %[[A:.*]] = fir.declare %{{.*}}Ea90 ! CHECK: %[[B:.*]] = fir.declare %{{.*}}Eb91 92 ! CHECK: %[[A_VAL:.*]] = fir.load %[[A]] : !fir.ref<i32>93 b = maskr(a, 8)94 ! CHECK: %[[A_CONV:.*]] = fir.convert %[[A_VAL]] : (i32) -> i6495 ! CHECK: %[[LEN:.*]] = arith.subi %[[BITS]], %[[A_CONV]] : i6496 ! CHECK: %[[SHIFT:.*]] = arith.shrui %[[C__1]], %[[LEN]] : i6497 ! CHECK: %[[IS0:.*]] = arith.cmpi eq, %[[A_CONV]], %[[C__0]] : i6498 ! CHECK: %[[RESULT:.*]] = arith.select %[[IS0]], %[[C__0]], %[[SHIFT]] : i6499 ! CHECK: fir.store %[[RESULT]] to %[[B]] : !fir.ref<i64>100end subroutine maskr8_test101 102subroutine maskr16_test(a, b)103 integer :: a104 integer(16) :: b105 ! CHECK-DAG: %[[BITS:.*]] = arith.constant 128 : i128106 ! CHECK-DAG: %[[C__1:.*]] = arith.constant -1 : i128107 ! CHECK-DAG: %[[C__0:.*]] = arith.constant 0 : i128108 ! CHECK: %[[A:.*]] = fir.declare %{{.*}}Ea109 ! CHECK: %[[B:.*]] = fir.declare %{{.*}}Eb110 111 ! CHECK: %[[A_VAL:.*]] = fir.load %[[A]] : !fir.ref<i32>112 b = maskr(a, 16)113 ! CHECK: %[[A_CONV:.*]] = fir.convert %[[A_VAL]] : (i32) -> i128114 ! CHECK: %[[LEN:.*]] = arith.subi %[[BITS]], %[[A_CONV]] : i128115 ! CHECK: %[[SHIFT:.*]] = arith.shrui %[[C__1]], %[[LEN]] : i128116 ! CHECK: %[[IS0:.*]] = arith.cmpi eq, %[[A_CONV]], %[[C__0]] : i128117 ! CHECK: %[[RESULT:.*]] = arith.select %[[IS0]], %[[C__0]], %[[SHIFT]] : i128118 ! CHECK: fir.store %[[RESULT]] to %[[B]] : !fir.ref<i128>119end subroutine120