1 ! RUN: %python %S/test_folding.py %s %flang_fc1 -funsigned
2 ! UNSIGNED operations and intrinsic functions
6 logical, parameter :: test_neg0
= -0u_1 == 0u_1
7 logical, parameter :: test_neg0_k
= kind(-0u_1) == 1
8 logical, parameter :: test_neg1
= -1u_1 == 255u
9 logical, parameter :: test_neg255
= -255u_1 == 1u
10 logical, parameter :: test_add1
= 0u_1 + 1u_1 == 1u_1
11 logical, parameter :: test_add1_k
= kind(0u_1 + 1u_1) == 1
12 logical, parameter :: test_addprom
= 255u_1 + 1u == 256u
13 logical, parameter :: test_addmix
= 255u_1 + z
'1' == 0u
14 logical, parameter :: test_sub1
= 0u_1 - 1u_1 == 255u_1
15 logical, parameter :: test_sub1_k
= kind(0u_1 + 1u_1) == 1
16 logical, parameter :: test_mul15
= 15u_1 * 15u_1 == 225u_1
17 logical, parameter :: test_mul15_k
= kind(15u_1 * 15u_1) == 1
18 logical, parameter :: test_mul152
= 5u_1 * 52u_1 == 4u_1
19 logical, parameter :: test_div15
= 225u_1 / 15u_1 == 15u_1
20 logical, parameter :: test_div15_k
= kind(225u_1 / 15u_1) == 1
22 logical, parameter :: test_rel
= all([0u_1 < 255u_1, 255u_1 > 0u_1, &
23 0u_1 <= 255u_1, 255u_1 >= 0u_1])
25 logical, parameter :: test_cus0
= int(0u,1) == 0
26 logical, parameter :: test_cus0_k
= kind(int(0u,1)) == 1
27 !WARN: warning: conversion of 255_U1 to INTEGER(1) overflowed; result is -1
28 logical, parameter :: test_cus255
= int(255u_1,1) == -1
29 logical, parameter :: test_cur255
= real(255u) == 255.
31 logical, parameter :: test_csu255
= uint(255,1) == 255u_1
32 logical, parameter :: test_csu255_k
= kind(uint(255,1)) == 1
33 logical, parameter :: test_cru255
= uint(255.) == 255u
34 logical, parameter :: test_ctu255
= uint(z
'ff',1) == 255u_1
35 logical, parameter :: test_ctu255_k
= kind(uint(z
'ff',1)) == 1
37 logical, parameter :: test_not1a
= not(0u_1) == 255u_1
38 logical, parameter :: test_not1b
= not(255u_1) == 0u_1
39 logical, parameter :: test_not4a
= not(0u) == huge(0u)
40 logical, parameter :: test_not4b
= not(huge(0u)) == 0u
42 logical, parameter :: test_iand1
= iand(170u,240u) == 160u
43 logical, parameter :: test_ior1
= ior(170u,240u) == 250u
44 logical, parameter :: test_ieor1
= ieor(170u,240u) == 90u
45 logical, parameter :: test_ibclr1
= all(ibclr(255u,[(j
,j
=7,0,-1)]) == &
46 [127u,191u,223u,239u, &
48 logical, parameter :: test_ibset1
= all(ibset(0u,[(j
,j
=7,0,-1)]) == &
49 [128u,64u,32u,16u,8u,4u,2u,1u])
50 logical, parameter :: test_ibits1
= all(ibits(126u,[(j
,j
=0,7)],3) == &
51 [6u,7u,7u,7u,7u,3u,1u,0u])
53 logical, parameter :: test_mb_1
= merge_bits(13u_1, 18u_1, 22u_1) .EQ
. 4u_1
54 logical, parameter :: test_mb_2
= merge_bits(13u_2, 18u_2, 22u_2) .EQ
. 4u_2
55 logical, parameter :: test_mb_4
= merge_bits(13u_4, 18u_4, 22u_4) .EQ
. 4u_4
56 logical, parameter :: test_mb_8
= merge_bits(13u_8, 18u_8, 22u_8) .EQ
. 4u_8
57 logical, parameter :: test_mb_16
= merge_bits(13u_16, 18u_16, 22u_16) .EQ
. 4u_16
59 logical, parameter :: test_mb_z11
= merge_bits(13u_1, B
'00010010', 22u_1) .EQ
. 4u_1
60 logical, parameter :: test_mb_z12
= merge_bits(13u_2, B
'00010010', 22u_2) .EQ
. 4u_2
61 logical, parameter :: test_mb_z14
= merge_bits(13u_4, B
'00010010', 22u_4) .EQ
. 4u_4
62 logical, parameter :: test_mb_z18
= merge_bits(13u_8, B
'00010010', 22u_8) .EQ
. 4u_8
63 logical, parameter :: test_mb_z116
= merge_bits(13u_16, B
'00010010', 22u_16) .EQ
. 4u_16
65 logical, parameter :: test_mb_z01
= merge_bits(Z
'0D', 18u_1, 22u_1) .EQ
. 4u_1
66 logical, parameter :: test_mb_z02
= merge_bits(Z
'0D', 18u_2, 22u_2) .EQ
. 4u_2
67 logical, parameter :: test_mb_z04
= merge_bits(Z
'0D', 18u_4, 22u_4) .EQ
. 4u_4
68 logical, parameter :: test_mb_z08
= merge_bits(Z
'0D', 18u_8, 22u_8) .EQ
. 4u_8
69 logical, parameter :: test_mb_z016
= merge_bits(Z
'0D', 18u_16, 22u_16) .EQ
. 4u_16
71 logical, parameter :: test_btest1
= all(btest(uint(b
'00011011'),[(j
,j
=0,7)]) .eqv
. &
72 [.true
., .true
., .false
., .true
., &
73 .true
., .false
., .false
., .false
.])
75 logical, parameter :: test_ishft1
= all(ishft(1u_1,[(j
,j
=0,8)]) == &
76 [1u, 2u, 4u, 8u, 16u, 32u, 64u, 128u, 0u])
77 logical, parameter :: test_ishft2
= all(ishft(255u,[(j
,j
=0,-8,-1)]) == &
78 [255u, 127u, 63u, 31u, 15u, 7u, 3u, 1u, 0u])
80 logical, parameter :: test_ishftc1
= all(ishftc(254u_1,[(j
,j
=0,8)]) == &
81 [254u, 253u, 251u, 247u, 239u, 223u, 191u, 127u, 254u])
82 logical, parameter :: test_ishftc2
= all(ishftc(254u_1,[(j
,j
=0,-8,-1)]) == &
83 [254u, 127u, 191u, 223u, 239u, 247u, 251u, 253u, 254u])
85 logical, parameter :: test_shifta1
= all(shifta(128u_1,[(j
,j
=0,8)]) == &
86 [128u, 192u, 224u, 240u, 248u, 252u, 254u, 255u, 255u])
87 logical, parameter :: test_shiftl1
= all(shiftl(1u_1,[(j
,j
=0,8)]) == &
88 [1u, 2u, 4u, 8u, 16u, 32u, 64u, 128u, 0u])
89 logical, parameter :: test_shiftr1
= all(shiftr(128u_1,[(j
,j
=0,8)]) == &
90 [128u,64u,32u,16u,8u,4u,2u,1u,0u])
91 logical, parameter :: test_shiftr2
= all(shiftr(255u,[(j
,j
=0,8)]) == &
92 [255u, 127u, 63u, 31u, 15u, 7u, 3u, 1u, 0u])
94 logical, parameter :: test_transfer1
= transfer(1.,0u) == uint(z
'3f800000')
95 logical, parameter :: test_transfer2
= transfer(uint(z
'3f800000'),0.) == 1.
97 logical, parameter :: test_bit_size
= &
98 all([integer::bit_size(0u_1), bit_size(0u_2), &
99 bit_size(0u_4), bit_size(0u_8), &
100 bit_size(0u_16)] == [8,16,32,64,128])
102 logical, parameter :: test_digits
= &
103 all([digits(0u_1), digits(0u_2), digits(0u_4), digits(0u_8), &
104 digits(0u_16)] == [8,16,32,64,128])
106 logical, parameter :: test_huge_1
= huge(0u_1) == 255u_1
107 logical, parameter :: test_huge_2
= huge(0u_2) == 65535u_2
108 logical, parameter :: test_huge_4
= huge(0u_4) == uint(huge(0_4),4) * 2u + 1u
109 logical, parameter :: test_huge_8
= huge(0u_8) == uint(huge(0_8),8) * 2u + 1u
110 logical, parameter :: test_huge_16
= huge(0u_16) == uint(huge(0_16),16) * 2u + 1u
112 logical, parameter :: test_range
= &
113 all([range(0u_1), range(0u_2), range(0u_4), range(0u_8), range(0u_16)] == &
116 logical, parameter :: test_max1
= max(0u,255u,128u) == 255u
117 logical, parameter :: test_max1k
= kind(max(0u_1,255u_1,128u_1)) == 1
118 logical, parameter :: test_min1
= min(0u,255u,128u) == 0u
119 logical, parameter :: test_min1k
= kind(min(0u_1,255u_1,128u_1)) == 1
