1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
! RUN: bbc -hlfir=false %s -o "-" | FileCheck %s
! Test logical intrinsic operation lowering to fir.
! CHECK-LABEL:eqv0_test
LOGICAL(1) FUNCTION eqv0_test(x0, x1)
LOGICAL(1) :: x0
LOGICAL(1) :: x1
! CHECK-DAG:[[reg1:%[0-9]+]] = fir.load %arg0
! CHECK-DAG:[[reg2:%[0-9]+]] = fir.load %arg1
! CHECK-DAG:[[reg3:%[0-9]+]] = fir.convert [[reg1]] {{.*}} -> i1
! CHECK-DAG:[[reg4:%[0-9]+]] = fir.convert [[reg2]] {{.*}} -> i1
! CHECK:[[reg5:%[0-9]+]] = arith.cmpi eq, [[reg3]], [[reg4]]
! CHECK:fir.convert [[reg5]] {{.*}} -> !fir.logical<1>
eqv0_test = x0 .EQV. x1
END FUNCTION
! CHECK-LABEL:neqv1_test
LOGICAL(1) FUNCTION neqv1_test(x0, x1)
LOGICAL(1) :: x0
LOGICAL(1) :: x1
! CHECK-DAG:[[reg1:%[0-9]+]] = fir.load %arg0
! CHECK-DAG:[[reg2:%[0-9]+]] = fir.load %arg1
! CHECK-DAG:[[reg3:%[0-9]+]] = fir.convert [[reg1]] {{.*}} -> i1
! CHECK-DAG:[[reg4:%[0-9]+]] = fir.convert [[reg2]] {{.*}} -> i1
! CHECK:[[reg5:%[0-9]+]] = arith.cmpi ne, [[reg3]], [[reg4]]
! CHECK:fir.convert [[reg5]] {{.*}} -> !fir.logical<1>
neqv1_test = x0 .NEQV. x1
END FUNCTION
! CHECK-LABEL:or2_test
LOGICAL(1) FUNCTION or2_test(x0, x1)
LOGICAL(1) :: x0
LOGICAL(1) :: x1
! CHECK-DAG:[[reg1:%[0-9]+]] = fir.load %arg0
! CHECK-DAG:[[reg2:%[0-9]+]] = fir.load %arg1
! CHECK-DAG:[[reg3:%[0-9]+]] = fir.convert [[reg1]] {{.*}} -> i1
! CHECK-DAG:[[reg4:%[0-9]+]] = fir.convert [[reg2]] {{.*}} -> i1
! CHECK:[[reg5:%[0-9]+]] = arith.ori [[reg3]], [[reg4]]
! CHECK:fir.convert [[reg5]] {{.*}} -> !fir.logical<1>
or2_test = x0 .OR. x1
END FUNCTION
! CHECK-LABEL:and3_test
LOGICAL(1) FUNCTION and3_test(x0, x1)
LOGICAL(1) :: x0
LOGICAL(1) :: x1
! CHECK-DAG:[[reg1:%[0-9]+]] = fir.load %arg0
! CHECK-DAG:[[reg2:%[0-9]+]] = fir.load %arg1
! CHECK-DAG:[[reg3:%[0-9]+]] = fir.convert [[reg1]] {{.*}} -> i1
! CHECK-DAG:[[reg4:%[0-9]+]] = fir.convert [[reg2]] {{.*}} -> i1
! CHECK:[[reg5:%[0-9]+]] = arith.andi [[reg3]], [[reg4]]
! CHECK:fir.convert [[reg5]] {{.*}} -> !fir.logical<1>
and3_test = x0 .AND. x1
END FUNCTION
! CHECK-LABEL:not4_test
LOGICAL(1) FUNCTION not4_test(x0)
LOGICAL(1) :: x0
! CHECK:[[reg1:%[0-9]+]] = fir.load %arg0
! CHECK:[[reg2:%[0-9]+]] = fir.convert [[reg1]] {{.*}} -> i1
! CHECK:[[reg3:%[0-9]+]] = arith.xori [[reg2]], %true
! CHECK:fir.convert [[reg3]] {{.*}} -> !fir.logical<1>
not4_test = .NOT. x0
END FUNCTION
|
