1! RUN: bbc -emit-fir -hlfir=false %s -o - | FileCheck %s 2! RUN: %flang_fc1 -emit-fir -flang-deprecated-no-hlfir %s -o - | FileCheck %s 3 4! CHECK-LABEL: merge_bits1_test 5! CHECK-SAME: %[[IREF:.*]]: !fir.ref<i8>{{.*}}, %[[JREF:.*]]: !fir.ref<i8>{{.*}}, %[[MREF:.*]]: !fir.ref<i8>{{.*}}, %[[RREF:.*]]: !fir.ref<i8>{{.*}} 6subroutine merge_bits1_test(i, j, m, r) 7 integer(1) :: i, j, m 8 integer(1) :: r 9 10 ! CHECK: %[[I:.*]] = fir.load %[[IREF]] : !fir.ref<i8> 11 ! CHECK: %[[J:.*]] = fir.load %[[JREF]] : !fir.ref<i8> 12 ! CHECK: %[[M:.*]] = fir.load %[[MREF]] : !fir.ref<i8> 13 r = merge_bits(i, j, m) 14 ! CHECK: %[[C__1:.*]] = arith.constant -1 : i8 15 ! CHECK: %[[NM:.*]] = arith.xori %[[M]], %[[C__1]] : i8 16 ! CHECK: %[[LFT:.*]] = arith.andi %[[I]], %[[M]] : i8 17 ! CHECK: %[[RGT:.*]] = arith.andi %[[J]], %[[NM]] : i8 18 ! CHECK: %[[RES:.*]] = arith.ori %[[LFT]], %[[RGT]] : i8 19 ! CHECK: fir.store %[[RES]] to %[[RREF]] : !fir.ref<i8> 20end subroutine merge_bits1_test 21 22! CHECK-LABEL: merge_bits2_test 23! CHECK-SAME: %[[IREF:.*]]: !fir.ref<i16>{{.*}}, %[[JREF:.*]]: !fir.ref<i16>{{.*}}, %[[MREF:.*]]: !fir.ref<i16>{{.*}}, %[[RREF:.*]]: !fir.ref<i16>{{.*}} 24subroutine merge_bits2_test(i, j, m, r) 25 integer(2) :: i, j, m 26 integer(2) :: r 27 28 ! CHECK: %[[I:.*]] = fir.load %[[IREF]] : !fir.ref<i16> 29 ! CHECK: %[[J:.*]] = fir.load %[[JREF]] : !fir.ref<i16> 30 ! CHECK: %[[M:.*]] = fir.load %[[MREF]] : !fir.ref<i16> 31 r = merge_bits(i, j, m) 32 ! CHECK: %[[C__1:.*]] = arith.constant -1 : i16 33 ! CHECK: %[[NM:.*]] = arith.xori %[[M]], %[[C__1]] : i16 34 ! CHECK: %[[LFT:.*]] = arith.andi %[[I]], %[[M]] : i16 35 ! CHECK: %[[RGT:.*]] = arith.andi %[[J]], %[[NM]] : i16 36 ! CHECK: %[[RES:.*]] = arith.ori %[[LFT]], %[[RGT]] : i16 37 ! CHECK: fir.store %[[RES]] to %[[RREF]] : !fir.ref<i16> 38end subroutine merge_bits2_test 39 40! CHECK-LABEL: merge_bits4_test 41! CHECK-SAME: %[[IREF:.*]]: !fir.ref<i32>{{.*}}, %[[JREF:.*]]: !fir.ref<i32>{{.*}}, %[[MREF:.*]]: !fir.ref<i32>{{.*}}, %[[RREF:.*]]: !fir.ref<i32>{{.*}} 42subroutine merge_bits4_test(i, j, m, r) 43 integer(4) :: i, j, m 44 integer(4) :: r 45 46 ! CHECK: %[[I:.*]] = fir.load %[[IREF]] : !fir.ref<i32> 47 ! CHECK: %[[J:.*]] = fir.load %[[JREF]] : !fir.ref<i32> 48 ! CHECK: %[[M:.*]] = fir.load %[[MREF]] : !fir.ref<i32> 49 r = merge_bits(i, j, m) 50 ! CHECK: %[[C__1:.*]] = arith.constant -1 : i32 51 ! CHECK: %[[NM:.*]] = arith.xori %[[M]], %[[C__1]] : i32 52 ! CHECK: %[[LFT:.*]] = arith.andi %[[I]], %[[M]] : i32 53 ! CHECK: %[[RGT:.*]] = arith.andi %[[J]], %[[NM]] : i32 54 ! CHECK: %[[RES:.*]] = arith.ori %[[LFT]], %[[RGT]] : i32 55 ! CHECK: fir.store %[[RES]] to %[[RREF]] : !fir.ref<i32> 56end subroutine merge_bits4_test 57 58! CHECK-LABEL: merge_bits8_test 59! CHECK-SAME: %[[IREF:.*]]: !fir.ref<i64>{{.*}}, %[[JREF:.*]]: !fir.ref<i64>{{.*}}, %[[MREF:.*]]: !fir.ref<i64>{{.*}}, %[[RREF:.*]]: !fir.ref<i64>{{.*}} 60subroutine merge_bits8_test(i, j, m, r) 61 integer(8) :: i, j, m 62 integer(8) :: r 63 64 ! CHECK: %[[I:.*]] = fir.load %[[IREF]] : !fir.ref<i64> 65 ! CHECK: %[[J:.*]] = fir.load %[[JREF]] : !fir.ref<i64> 66 ! CHECK: %[[M:.*]] = fir.load %[[MREF]] : !fir.ref<i64> 67 r = merge_bits(i, j, m) 68 ! CHECK: %[[C__1:.*]] = arith.constant -1 : i64 69 ! CHECK: %[[NM:.*]] = arith.xori %[[M]], %[[C__1]] : i64 70 ! CHECK: %[[LFT:.*]] = arith.andi %[[I]], %[[M]] : i64 71 ! CHECK: %[[RGT:.*]] = arith.andi %[[J]], %[[NM]] : i64 72 ! CHECK: %[[RES:.*]] = arith.ori %[[LFT]], %[[RGT]] : i64 73 ! CHECK: fir.store %[[RES]] to %[[RREF]] : !fir.ref<i64> 74end subroutine merge_bits8_test 75 76! CHECK-LABEL: merge_bitsz0_test 77! CHECK-SAME: %[[JREF:.*]]: !fir.ref<i32>{{.*}}, %[[MREF:.*]]: !fir.ref<i32>{{.*}}, %[[RREF:.*]]: !fir.ref<i32>{{.*}} 78subroutine merge_bitsz0_test(j, m, r) 79 integer :: j, m 80 integer :: r 81 82 ! CHECK: %[[I:.*]] = arith.constant 13 : i32 83 ! CHECK: %[[J:.*]] = fir.load %[[JREF]] : !fir.ref<i32> 84 ! CHECK: %[[M:.*]] = fir.load %[[MREF]] : !fir.ref<i32> 85 r = merge_bits(B'1101', j, m) 86 ! CHECK: %[[C__1:.*]] = arith.constant -1 : i32 87 ! CHECK: %[[NM:.*]] = arith.xori %[[M]], %[[C__1]] : i32 88 ! CHECK: %[[LFT:.*]] = arith.andi %[[I]], %[[M]] : i32 89 ! CHECK: %[[RGT:.*]] = arith.andi %[[J]], %[[NM]] : i32 90 ! CHECK: %[[RES:.*]] = arith.ori %[[LFT]], %[[RGT]] : i32 91 ! CHECK: fir.store %[[RES]] to %[[RREF]] : !fir.ref<i32> 92end subroutine merge_bitsz0_test 93 94! CHECK-LABEL: merge_bitsz1_test 95! CHECK-SAME: %[[IREF:.*]]: !fir.ref<i32>{{.*}}, %[[MREF:.*]]: !fir.ref<i32>{{.*}}, %[[RREF:.*]]: !fir.ref<i32>{{.*}} 96subroutine merge_bitsz1_test(i, m, r) 97 integer :: i, m 98 integer :: r 99 100 ! CHECK: %[[I:.*]] = fir.load %[[IREF]] : !fir.ref<i32> 101 ! CHECK: %[[J:.*]] = arith.constant 13 : i32 102 ! CHECK: %[[M:.*]] = fir.load %[[MREF]] : !fir.ref<i32> 103 r = merge_bits(i, Z'0D', m) 104 ! CHECK: %[[C__1:.*]] = arith.constant -1 : i32 105 ! CHECK: %[[NM:.*]] = arith.xori %[[M]], %[[C__1]] : i32 106 ! CHECK: %[[LFT:.*]] = arith.andi %[[I]], %[[M]] : i32 107 ! CHECK: %[[RGT:.*]] = arith.andi %[[J]], %[[NM]] : i32 108 ! CHECK: %[[RES:.*]] = arith.ori %[[LFT]], %[[RGT]] : i32 109 ! CHECK: fir.store %[[RES]] to %[[RREF]] : !fir.ref<i32> 110end subroutine merge_bitsz1_test 111