Jean Perier [Thu, 28 Mar 2019 09:34:32 +0000 (02:34 -0700)]
[flang] Silence GCC 8.1 spurious warning
Original-commit: flang-compiler/f18@
69e05d0632cd9722767ce4c945a614a29917ec92
Tree-same-pre-rewrite: false
Steve Scalpone [Thu, 28 Mar 2019 20:15:43 +0000 (13:15 -0700)]
[flang] Merge pull request flang-compiler/f18#364 from flang-compiler/sjs-make-install
Add CMake rules to install static and shared libraries.
Original-commit: flang-compiler/f18@
88c3b1fa128ad262b586619c2ed7cbdbdf8e3f2e
Reviewed-on: https://github.com/flang-compiler/f18/pull/364
Steve Scalpone [Thu, 28 Mar 2019 16:55:56 +0000 (09:55 -0700)]
[flang] Add CMake rules to install static and shared libraries in
the default install directory or in the directory specified
with CMAKE_INSTALL_PREFIX. Fixes flang-compiler/f18#359.
Original-commit: flang-compiler/f18@
35ce1628e24d85eb5fa8fe467af06f7a33a4d293
Reviewed-on: https://github.com/flang-compiler/f18/pull/364
Tim Keith [Thu, 28 Mar 2019 18:30:05 +0000 (11:30 -0700)]
[flang] Merge pull request flang-compiler/f18#357 from flang-compiler/tsk6
Track current statement location in SemanticsVisitor
Original-commit: flang-compiler/f18@
69575f87f2253f178b28755889a29d43193f28c5
Reviewed-on: https://github.com/flang-compiler/f18/pull/357
Tim Keith [Tue, 26 Mar 2019 19:40:13 +0000 (12:40 -0700)]
[flang] Track current statement location in SemanticsVisitor
Change `SemanticsVisitor` to track the location of the current
statement, if any, so that it's available through
`SemanticsContext::location()`
Add overloading of `SemanticsContext::Say()` that reports the
message at the location of the current statement if a `CharBlock`
is not provided.
Original-commit: flang-compiler/f18@
5185c721ee9e2da8adcc4cad5a74acc0bf5c8d2d
Reviewed-on: https://github.com/flang-compiler/f18/pull/357
Steve Scalpone [Thu, 28 Mar 2019 03:49:55 +0000 (20:49 -0700)]
[flang] Merge pull request flang-compiler/f18#360 from flang-compiler/computed-goto
Implement semantics for computed GOTO
Original-commit: flang-compiler/f18@
624623a063eda832ea8c6a543bf82d443506c7b5
Reviewed-on: https://github.com/flang-compiler/f18/pull/360
Steve Scalpone [Thu, 28 Mar 2019 03:46:51 +0000 (20:46 -0700)]
[flang] Removed unused #include files from check-computed-goto.cc.
Did the same for a few other similar files.
Original-commit: flang-compiler/f18@
6f7569b93887b32e0b18da42d655e6fde1686e31
Reviewed-on: https://github.com/flang-compiler/f18/pull/360
Steve Scalpone [Wed, 27 Mar 2019 22:48:46 +0000 (15:48 -0700)]
[flang] Fix typo: "check" becomes "checked"
Original-commit: flang-compiler/f18@
2b2b0bf324db2745200b1b82e0a286942adb0c6a
Reviewed-on: https://github.com/flang-compiler/f18/pull/360
Tree-same-pre-rewrite: false
Steve Scalpone [Wed, 27 Mar 2019 22:44:17 +0000 (15:44 -0700)]
[flang] Implement semantics for computed GOTO. Note that a PGI extension
will implicitly convert a float to integer (and issue a warning).
This commit does not implement that extension.
Original-commit: flang-compiler/f18@
b85755f26fef767850572ef5d3deea87258d87a7
Reviewed-on: https://github.com/flang-compiler/f18/pull/360
Tree-same-pre-rewrite: false
Eric Schweitz [Wed, 27 Mar 2019 23:08:33 +0000 (16:08 -0700)]
[flang] Merge pull request flang-compiler/f18#354 from schweitzpgi/master
FIR: continued development work
Original-commit: flang-compiler/f18@
60f4ef672eb1d2a7b7340df916d742d18d4454ae
Reviewed-on: https://github.com/flang-compiler/f18/pull/354
Eric Schweitz [Wed, 27 Mar 2019 17:54:14 +0000 (10:54 -0700)]
[flang] add comment per Steve's request in review
Original-commit: flang-compiler/f18@
c3a5d6a15eca27c25ba1dcd50e3a478228e98eda
Reviewed-on: https://github.com/flang-compiler/f18/pull/354
Eric Schweitz [Wed, 27 Mar 2019 15:58:59 +0000 (08:58 -0700)]
[flang] Change per Jean's review comment
Original-commit: flang-compiler/f18@
9a3a79927bbc2820706398dc2ac03f0eb1c79ad6
Reviewed-on: https://github.com/flang-compiler/f18/pull/354
Tree-same-pre-rewrite: false
Eric Schweitz [Tue, 26 Mar 2019 01:56:44 +0000 (18:56 -0700)]
[flang] remove use of undefined behavior
Original-commit: flang-compiler/f18@
d7c5879f2c86ede4304f98a4e16af6c97b2a09b9
Reviewed-on: https://github.com/flang-compiler/f18/pull/354
Tree-same-pre-rewrite: false
Eric Schweitz [Fri, 22 Mar 2019 15:21:01 +0000 (08:21 -0700)]
[flang] temporary symbol creation and improve dump routine
check for labels on construct delimiting statements
ifdef out code to avoid warning
Original-commit: flang-compiler/f18@
667674aaa08a90f65dd9f0023a157c337f749892
Reviewed-on: https://github.com/flang-compiler/f18/pull/354
Tree-same-pre-rewrite: false
Eric Schweitz [Thu, 21 Mar 2019 21:40:10 +0000 (14:40 -0700)]
[flang] remove the DO stub instructions
Original-commit: flang-compiler/f18@
f1ddcd8d76cce67aa988da8eb356c8d8d93c79a8
Reviewed-on: https://github.com/flang-compiler/f18/pull/354
Tree-same-pre-rewrite: false
Eric Schweitz [Wed, 20 Mar 2019 23:26:07 +0000 (16:26 -0700)]
[flang] build up expressions implied by DO loop construct
Original-commit: flang-compiler/f18@
1e7b9adb62666223662b5445f9303d82be432299
Reviewed-on: https://github.com/flang-compiler/f18/pull/354
Tree-same-pre-rewrite: false
Eric Schweitz [Wed, 20 Mar 2019 22:58:06 +0000 (15:58 -0700)]
[flang] simplify switch builders
Original-commit: flang-compiler/f18@
787ee1fecd275dd2b34171cd165cc38e7c46f8ba
Reviewed-on: https://github.com/flang-compiler/f18/pull/354
Tree-same-pre-rewrite: false
Eric Schweitz [Wed, 20 Mar 2019 20:01:26 +0000 (13:01 -0700)]
[flang] improved output on flat fir
Original-commit: flang-compiler/f18@
9be07963a5f70b71f4e9c38f7d89c837dbedc1a1
Reviewed-on: https://github.com/flang-compiler/f18/pull/354
Tree-same-pre-rewrite: false
Eric Schweitz [Tue, 19 Mar 2019 23:29:43 +0000 (16:29 -0700)]
[flang] refactor linear representation -> flattened
Original-commit: flang-compiler/f18@
4253e2484f15657bff75de5c22947be0c567645a
Reviewed-on: https://github.com/flang-compiler/f18/pull/354
Tree-same-pre-rewrite: false
Eric Schweitz [Tue, 19 Mar 2019 17:33:03 +0000 (10:33 -0700)]
[flang] replace GenericExprWrapper with Expr<SomeType>
Original-commit: flang-compiler/f18@
0821d00cb8b7499a7e98f4f402cf6b7ed29a825d
Reviewed-on: https://github.com/flang-compiler/f18/pull/354
Tree-same-pre-rewrite: false
Eric Schweitz [Tue, 19 Mar 2019 16:07:11 +0000 (09:07 -0700)]
[flang] FIR: more code cleanup
Original-commit: flang-compiler/f18@
eaac944aca994e64d970506c426c222d28e680b5
Reviewed-on: https://github.com/flang-compiler/f18/pull/354
Tree-same-pre-rewrite: false
jeanPerier [Wed, 27 Mar 2019 17:16:07 +0000 (10:16 -0700)]
[flang] Add abstraction layer to fold intrinsic functions with host runtime
Merge pull request flang-compiler/f18#292 from flang-compiler/jpr0
Original-commit: flang-compiler/f18@
d24de5513e6f746a539aaded6091759fa54998e4
Jean Perier [Wed, 27 Mar 2019 17:13:46 +0000 (10:13 -0700)]
[flang] Only have cmake look for libpgmath if LIBPGMATH_DIR is given
Original-commit: flang-compiler/f18@
1d778f5c1a49c2db15c1fc245ea05bb44eb13295
Jean Perier [Wed, 27 Mar 2019 15:08:12 +0000 (08:08 -0700)]
[flang] fix clang errors and warnings
Original-commit: flang-compiler/f18@
410f96384fd8d6652689956cda13147c6cd0c9f4
Tree-same-pre-rewrite: false
Jean Perier [Tue, 26 Mar 2019 17:29:46 +0000 (10:29 -0700)]
[flang] Prepare to be merged with master branch
ActualArgument was modified in the master branch from
a struct to class. In order to compile once merged, this PR
required the related access paterns to be adapted to match
the new ActualArgument.
As a consequence, this PR does not compile anymore on its own,
it needs to be merged with the master branch to work.
Original-commit: flang-compiler/f18@
48cdd2ed0ed18b9749f976257c7302e34c20b025
Tree-same-pre-rewrite: false
Jean Perier [Tue, 26 Mar 2019 17:29:22 +0000 (10:29 -0700)]
[flang] Test cases for folding intrinsic function with runtime
Original-commit: flang-compiler/f18@
92caee1def0f21b7112565de67a2ec48f326ea07
Tree-same-pre-rewrite: false
Jean Perier [Fri, 22 Mar 2019 16:22:00 +0000 (09:22 -0700)]
[flang] Enable folding of some more intrinsic functions
Enable folding of the following 80 intrinsic functions:
+ Without runtime:
++ Integer:
abs, dim, dshiftl, dshiftr, exponent, iand, ibclr, ibset, ieor, int,
ior, ishft, kind, len, leadz, maskl, maskr, merge_bits, popcnt, poppar,
shifta, shiftl, shiftr, trailz
++ Real:
abs, aimag, aint, dprod, real
+ Complex:
cmplx, conjg
++ Logical:
bge, bgt, ble, blt
+ With Runtime :
+ Real:
acos, acosh, asinh, atan, atan2, atanh, bessel_j0, bessel_j1,
bessel_jn (elemental), bessel_y0, bessel_y1, bessel_yn (elemental),
cos, cosh, erf, erfc, erfc_scaled, exp, gamma, hypot, log, log10,
log_gamma, mod, sin, sqrt, sinh, sqrt, tan, tanh
++ Complex:
acos, acosh, asin, asinh, atan, atanh, cos, cosh, exp, log, sin,
sinh, sqrt, tan, tanh
Original-commit: flang-compiler/f18@
7e7d1920f882e7ca22c1320dd9b7e0a3d6eaec28
Tree-same-pre-rewrite: false
Jean Perier [Fri, 22 Mar 2019 10:17:06 +0000 (03:17 -0700)]
[flang] make HostIntrinsicProceduresLibrary a class
Original-commit: flang-compiler/f18@
b9f5015d4df0d43a639fe58684291df5665ee585
Tree-same-pre-rewrite: false
Jean Perier [Fri, 22 Mar 2019 10:14:10 +0000 (03:14 -0700)]
[flang] add the possibility to use libpgmath for constant folding
Original-commit: flang-compiler/f18@
948a6656277befa60311d38e728c550636cccb5b
Tree-same-pre-rewrite: false
Jean Perier [Fri, 22 Mar 2019 09:14:34 +0000 (02:14 -0700)]
[flang] Map more intrinsic functions to <cmath> functions
Original-commit: flang-compiler/f18@
f0f20622116cb0b5b63ae879ca99eccf38dced60
Tree-same-pre-rewrite: false
Jean Perier [Fri, 22 Mar 2019 09:01:22 +0000 (02:01 -0700)]
[flang] Move host floating point environment handling in host.h/host.cc
Original-commit: flang-compiler/f18@
0cba8b13089b12f4add5323e9c595e5367ece48e
Tree-same-pre-rewrite: false
Jean Perier [Thu, 21 Mar 2019 17:08:57 +0000 (10:08 -0700)]
[flang] Removed dynamic loading feature for intrinsic folding
After more reflexion, dynamic loading brings to much uncertainty
regarding which library is actually being use for folding.
It is removed to avoid pushing people to use it.
A static linking to libpgmath will be provided in a later commit.
Original-commit: flang-compiler/f18@
2161627d2896f06e763848443f61ae9624f03db1
Tree-same-pre-rewrite: false
Jean Perier [Mon, 4 Mar 2019 09:57:38 +0000 (01:57 -0800)]
[flang] fix clang++ linking issue with libm
Original-commit: flang-compiler/f18@
805c861bd0c96f2e124fa28664bd7914d9366677
Tree-same-pre-rewrite: false
Jean Perier [Fri, 1 Mar 2019 17:20:12 +0000 (09:20 -0800)]
[flang] renaming to focus scope on intrinsic runtime
Original-commit: flang-compiler/f18@
7cfd33b178d3ea3502ea87cb9416720f6cce4ba9
Tree-same-pre-rewrite: false
Jean Perier [Fri, 1 Mar 2019 14:47:47 +0000 (06:47 -0800)]
[flang] made fenv errors internal errors
Original-commit: flang-compiler/f18@
f776c8db91d6cd3bee295d73b92f52688d59b362
Tree-same-pre-rewrite: false
Jean Perier [Fri, 1 Mar 2019 13:50:06 +0000 (05:50 -0800)]
[flang] fix signed/unsigned comparison
Original-commit: flang-compiler/f18@
46148712e192da9bef7ae406639dcae714fefe1d
Tree-same-pre-rewrite: false
Jean Perier [Fri, 1 Mar 2019 12:27:10 +0000 (04:27 -0800)]
[flang] Limits C++ implementation behaviors
The issue addressed here is the use of cast between object pointers
and function pointers. It is implementation defined because C++,
just like C, does not mandate that function and object pointers
must have the same size.
It is needed to have such cast because it is a will to ba able to
call inside F18 numerical function from libraries linked during
a Fortran program compilation in order to perform folding.
dlopen returns function pointers as void* that need to be cast to
pointer before use.
This change limits the usage of such cast inside ifdefs where POSIX
is required. In POSIX context, such cast is defined. Dlopen is
anyway used only if the environment is POSIX compliant.
In the rest of the code, opaque function pointers have been changed
from void* to void*(*)(). reinterpret_cast from function pointer to
function pointer are standard compliant.
Original-commit: flang-compiler/f18@
4b2f29a1289e955469c9b9778a7db0034b0fce70
Tree-same-pre-rewrite: false
Jean Perier [Fri, 1 Mar 2019 12:15:04 +0000 (04:15 -0800)]
[flang] fixed use before init in elemental folding helper
Original-commit: flang-compiler/f18@
2cea43ddf94c369ff4446234e880a47ef306d847
Tree-same-pre-rewrite: false
Jean Perier [Mon, 25 Feb 2019 17:33:12 +0000 (09:33 -0800)]
[flang] add support to fold elemental intrisics over arrays
Original-commit: flang-compiler/f18@
c2fec22856b9bae7221036173c785d0732c7a7c3
Tree-same-pre-rewrite: false
Jean Perier [Mon, 25 Feb 2019 17:32:16 +0000 (09:32 -0800)]
[flang] answer comments on host/f18 type mappings
Original-commit: flang-compiler/f18@
96bce5c4d9348a325a6da30d08c78c56b5a906d3
Tree-same-pre-rewrite: false
Jean Perier [Fri, 22 Feb 2019 17:09:03 +0000 (09:09 -0800)]
[flang] Adds the possibility to use part of libpgmath for folding if it is available
Original-commit: flang-compiler/f18@
1c2093ff32bb4867d5024f076151e8b0160c7ede
Tree-same-pre-rewrite: false
Jean Perier [Fri, 22 Feb 2019 17:06:44 +0000 (09:06 -0800)]
[flang] answer some comments
Original-commit: flang-compiler/f18@
8161f77f60ee8efb491ace2b9e86d877296f655c
Tree-same-pre-rewrite: false
Jean Perier [Wed, 20 Feb 2019 16:55:00 +0000 (08:55 -0800)]
[flang] Use new indirection layer to host runtime in folding
Original-commit: flang-compiler/f18@
e8bb9c52afce3a4e6175bd4b1a3d4641f77491b9
Tree-same-pre-rewrite: false
Jean Perier [Wed, 20 Feb 2019 16:53:35 +0000 (08:53 -0800)]
[flang] Add RTE description structure and indirection layer to host runtime for folding
Original-commit: flang-compiler/f18@
329a61405204186d202b1072a17ee068e3d22b15
Tree-same-pre-rewrite: false
Jean Perier [Fri, 1 Feb 2019 16:30:23 +0000 (08:30 -0800)]
[flang] Cherry picking commits from #PR275 and simplifying it
Commit was: Draft of elemental intrinsics function folding
Simplification was made in order to solve conflicts and
to prepare for commit of host math library indirection.
Conflicts:
lib/evaluate/fold.cc
Original-commit: flang-compiler/f18@
45678bc44c796509a0d70a079e3912b11ebea2ab
Tree-same-pre-rewrite: false
Jean Perier [Fri, 1 Feb 2019 16:28:21 +0000 (08:28 -0800)]
[flang] Add a utility to safely interact with host types
Original-commit: flang-compiler/f18@
32cd789dc2036e888a23e146ff5b251827a1c0c4
Tree-same-pre-rewrite: false
Steve Scalpone [Wed, 27 Mar 2019 06:36:45 +0000 (23:36 -0700)]
[flang] Merge pull request flang-compiler/f18#356 from flang-compiler/if-semantics
Implement semantic checks for if statements, if constructs and arithmetic ifs.
Original-commit: flang-compiler/f18@
87acf05d0bdd438c768b17bd2e5a893616f04978
Reviewed-on: https://github.com/flang-compiler/f18/pull/356
Steve Scalpone [Wed, 27 Mar 2019 03:48:51 +0000 (20:48 -0700)]
[flang] Inline the constructors for IF semantics checkers.
Remove some leftover cruft from check-if-stmt.h too.
Original-commit: flang-compiler/f18@
5c150289a9f48a2fccd15af40d73d4c1e4a0a984
Reviewed-on: https://github.com/flang-compiler/f18/pull/356
Steve Scalpone [Wed, 27 Mar 2019 01:03:33 +0000 (18:03 -0700)]
[flang] Remove the IF specific context classes; in these cases they
added no value. Change several error messages to better say
what is expected. Adjust tests for new messages. Reformat
with llvm7 clang-format.
Original-commit: flang-compiler/f18@
706b506e26ac675ac443c5b616abda5c4cbd0523
Reviewed-on: https://github.com/flang-compiler/f18/pull/356
Tree-same-pre-rewrite: false
Steve Scalpone [Tue, 26 Mar 2019 07:33:03 +0000 (00:33 -0700)]
[flang] Implement semantic checks for if statements, if constructs and
arithmetic ifs.
Original-commit: flang-compiler/f18@
deb2726aad63b9bc4c7d35872b4b4279fbcc78f8
Reviewed-on: https://github.com/flang-compiler/f18/pull/356
Tree-same-pre-rewrite: false
Eric Schweitz [Sat, 23 Mar 2019 18:10:09 +0000 (11:10 -0700)]
[flang] Merge pull request flang-compiler/f18#353 from schweitzpgi/master
When computing the stack of scopes, a label on the first statement
Original-commit: flang-compiler/f18@
f665939b6148362ec80d4f923dba41f319857192
Reviewed-on: https://github.com/flang-compiler/f18/pull/353
Eric [Sat, 23 Mar 2019 02:20:16 +0000 (19:20 -0700)]
[flang] When computing the stack of scopes, a label on the first statement
that begins a construct should be considered as in the parent scope
rather that within the scope of the construct that is being entered.
Original-commit: flang-compiler/f18@
93da3538bcd31b165535dadefe4d67ee81a42ad9
Reviewed-on: https://github.com/flang-compiler/f18/pull/353
Eric Schweitz [Fri, 22 Mar 2019 23:01:19 +0000 (16:01 -0700)]
[flang] Merge pull request flang-compiler/f18#351 from schweitzpgi/master
implement the DO WHILE check
Original-commit: flang-compiler/f18@
230e75f803e6cd8a4592780178b6002583509d69
Reviewed-on: https://github.com/flang-compiler/f18/pull/351
Eric Schweitz [Fri, 22 Mar 2019 22:39:51 +0000 (15:39 -0700)]
[flang] Simply the test per review comment.
Original-commit: flang-compiler/f18@
66ab8bb2aaf43edd6b6351c85b255d354f85345c
Reviewed-on: https://github.com/flang-compiler/f18/pull/351
Eric Schweitz [Fri, 22 Mar 2019 21:54:45 +0000 (14:54 -0700)]
[flang] implement the DO WHILE check
Original-commit: flang-compiler/f18@
c367551041af03d07da05c4174c8541d57e11ae6
Reviewed-on: https://github.com/flang-compiler/f18/pull/351
Tree-same-pre-rewrite: false
Steve Scalpone [Fri, 22 Mar 2019 17:14:42 +0000 (10:14 -0700)]
[flang] Merge pull request flang-compiler/f18#345 from kiranchandramohan/c1167
C1167 : Check for exit statments in do-concurrent
Original-commit: flang-compiler/f18@
f5f6ed8e983bbaffe078e4b206efe95a975a6c85
Reviewed-on: https://github.com/flang-compiler/f18/pull/345
Kiran Chandramohan [Tue, 19 Mar 2019 18:15:36 +0000 (18:15 +0000)]
[flang] C1167 : Check for exit statments in do-concurrent
Addresses https://github.com/flang-compiler/f18/issues/288
Original-commit: flang-compiler/f18@
2a99e1ea5404fce9fd88ea2c9710ec4c01975eb6
Reviewed-on: https://github.com/flang-compiler/f18/pull/345
jeanPerier [Fri, 22 Mar 2019 07:27:17 +0000 (00:27 -0700)]
[flang] Add test framework for folding and fix minor bug found with it
Merge pull request flang-compiler/f18#347 from flang-compiler/jpr1
Original-commit: flang-compiler/f18@
547c9f3561a8ea6528ba417a268704e77f51e505
Jean Perier [Thu, 21 Mar 2019 15:49:38 +0000 (08:49 -0700)]
[flang] removed hard coded path
Original-commit: flang-compiler/f18@
d2fcd312576c304a52d962bd701e914c09c60d3c
Jean Perier [Thu, 21 Mar 2019 15:33:14 +0000 (08:33 -0700)]
[flang] Fix .NOT. folding bug
Original-commit: flang-compiler/f18@
dd4d9091f15ce3912937b9ceaac7efbbf793d0b5
Tree-same-pre-rewrite: false
Jean Perier [Thu, 21 Mar 2019 15:31:21 +0000 (08:31 -0700)]
[flang] Add test framework for folding
Original-commit: flang-compiler/f18@
d6b658c318ff6e5f61bb1c7490e96394fe7f03a8
Tree-same-pre-rewrite: false
Peter Klausler [Thu, 21 Mar 2019 21:32:06 +0000 (14:32 -0700)]
[flang] Merge pull request flang-compiler/f18#349 from flang-compiler/pmk-bug348
Fix bug#348
Original-commit: flang-compiler/f18@
2a4b38071574ef5fa674226f8eff7e6a51793f30
Reviewed-on: https://github.com/flang-compiler/f18/pull/349
peter klausler [Thu, 21 Mar 2019 20:42:35 +0000 (13:42 -0700)]
[flang] Better error locations
Original-commit: flang-compiler/f18@
9d4a3e973464f1fe581544bdbe10fd31f7e4823b
Reviewed-on: https://github.com/flang-compiler/f18/pull/349
peter klausler [Thu, 21 Mar 2019 17:36:04 +0000 (10:36 -0700)]
[flang] Fix bug#348
Original-commit: flang-compiler/f18@
ba3504b00e4704aa876182677e495c069dd66d49
Reviewed-on: https://github.com/flang-compiler/f18/pull/349
Tree-same-pre-rewrite: false
Peter Klausler [Wed, 20 Mar 2019 22:07:59 +0000 (15:07 -0700)]
[flang] Merge pull request flang-compiler/f18#346 from flang-compiler/pmk-pointers
Simplify indirection.h, remove needless classes
Original-commit: flang-compiler/f18@
72ac1b7ef657d6a83ebd69792a2d448c08597a2c
Reviewed-on: https://github.com/flang-compiler/f18/pull/346
peter klausler [Wed, 20 Mar 2019 21:17:12 +0000 (14:17 -0700)]
[flang] Fix unparsing of defined operators.
Original-commit: flang-compiler/f18@
14aa5198f3154bfd740a62f5c81bd8d24c50e52c
Reviewed-on: https://github.com/flang-compiler/f18/pull/346
peter klausler [Wed, 20 Mar 2019 20:44:00 +0000 (13:44 -0700)]
[flang] get clean compile
Original-commit: flang-compiler/f18@
3a606d804d5a4b237cc4aeab550da4772dbef7f2
Reviewed-on: https://github.com/flang-compiler/f18/pull/346
Tree-same-pre-rewrite: false
peter klausler [Wed, 20 Mar 2019 20:11:49 +0000 (13:11 -0700)]
[flang] checkpoint
Original-commit: flang-compiler/f18@
1e213f3fbe93dbba161c59dde89c9a369a0e3a20
Reviewed-on: https://github.com/flang-compiler/f18/pull/346
Tree-same-pre-rewrite: false
peter klausler [Wed, 20 Mar 2019 18:49:32 +0000 (11:49 -0700)]
[flang] cleanup after extraction and merging
Original-commit: flang-compiler/f18@
6314daadc1a610d1c0e97780ff3d5eba398e7407
Reviewed-on: https://github.com/flang-compiler/f18/pull/346
Tree-same-pre-rewrite: false
peter klausler [Wed, 20 Mar 2019 18:38:45 +0000 (11:38 -0700)]
[flang] Remove OwningPointer, use unique_ptr better instead.
Original-commit: flang-compiler/f18@
89aff868aaec0a9ab6c65e86458a3e23a93da7d1
Reviewed-on: https://github.com/flang-compiler/f18/pull/346
Tree-same-pre-rewrite: false
Steve Scalpone [Wed, 20 Mar 2019 21:12:41 +0000 (14:12 -0700)]
[flang] Merge pull request flang-compiler/f18#344 from flang-compiler/LLVM-dependency
Update the build instructions in README.md.
Original-commit: flang-compiler/f18@
a3c5319e617eac17e03ab79dfa3c496d65489a76
Reviewed-on: https://github.com/flang-compiler/f18/pull/344
Steve Scalpone [Wed, 20 Mar 2019 21:09:35 +0000 (14:09 -0700)]
[flang] Reorder the advice about putting GCC bin and lib on
the PATH and LD_LIBRARY_PATH. Add concrete example.
Original-commit: flang-compiler/f18@
88c34fbe86025cc15d93c2e331a4ceae0d7fe725
Reviewed-on: https://github.com/flang-compiler/f18/pull/344
Steve Scalpone [Wed, 20 Mar 2019 06:47:18 +0000 (23:47 -0700)]
[flang] Update README.md with a list of compilers that are known to
compile f18. Explain how to configure LLVM on the cmake cmd
line. Add more detail about how to compile with clang++.
Original-commit: flang-compiler/f18@
e7f678147bc842188d90beafc77e2c84c614239d
Reviewed-on: https://github.com/flang-compiler/f18/pull/344
Tree-same-pre-rewrite: false
Tim Keith [Tue, 19 Mar 2019 21:46:10 +0000 (14:46 -0700)]
[flang] Merge pull request flang-compiler/f18#343 from flang-compiler/tsk3
Strip whitespace from parse tree source locations
Original-commit: flang-compiler/f18@
eb1e8cd38bc12f7ef2b0a9731d70a6bf798a62df
Reviewed-on: https://github.com/flang-compiler/f18/pull/343
Tim Keith [Tue, 19 Mar 2019 21:18:44 +0000 (14:18 -0700)]
[flang] Address review comments
Original-commit: flang-compiler/f18@
511c9ec536b6a529a5111b2e502c738505faf91b
Reviewed-on: https://github.com/flang-compiler/f18/pull/343
Tim Keith [Tue, 19 Mar 2019 20:44:56 +0000 (13:44 -0700)]
[flang] Fix warning when compiling with clang
Original-commit: flang-compiler/f18@
0f18c3443a76c931c07c08d0b459ed70698ac122
Reviewed-on: https://github.com/flang-compiler/f18/pull/343
Tree-same-pre-rewrite: false
Tim Keith [Tue, 19 Mar 2019 20:38:54 +0000 (13:38 -0700)]
[flang] Strip whitespace from parse tree source locations
Parse tree nodes have `source` fields that map the node back to
a range in the cooked input stream. These are used for names and
to locate error messages.
This change strips spaces from the beginning and end of those
source ranges before they are saved. This fixes two problems:
1. For a statement like this: `generic :: operator(+) => ...`,
the name of the symbol we want to create is "operator(+)" but
the parser was including the following space in the CharBlock
it captured.
2. Error messages referring to parts of expressions sometimes included
extra spaces in the source locations. For example:
```
t.f90:9:29: error: subscripts may be applied only to an object or component
integer, parameter :: b = a(1) + 1
^^^^^
t.f90:4:8: error: operands to LOGICAL operation must be LOGICAL
i = j .or. k
^^^^^^^
```
Original-commit: flang-compiler/f18@
fa14297967b7852fd130790eca4186f259f0a1f2
Reviewed-on: https://github.com/flang-compiler/f18/pull/343
Tree-same-pre-rewrite: false
Peter Klausler [Tue, 19 Mar 2019 19:16:33 +0000 (12:16 -0700)]
[flang] Merge pull request flang-compiler/f18#342 from flang-compiler/pmk-stop
Simplify grammar for STOP/ERROR STOP.
Original-commit: flang-compiler/f18@
6a90817f3c24d648dfbc6fdd7ba1a8d6026e6274
Reviewed-on: https://github.com/flang-compiler/f18/pull/342
peter klausler [Tue, 19 Mar 2019 18:59:58 +0000 (11:59 -0700)]
[flang] Still do scalar- constraint check.
Original-commit: flang-compiler/f18@
e50b4c4b48c0281473670cdf011e335b37d526dc
Reviewed-on: https://github.com/flang-compiler/f18/pull/342
peter klausler [Tue, 19 Mar 2019 18:44:35 +0000 (11:44 -0700)]
[flang] Simplify grammar for STOP/ERROR STOP.
Original-commit: flang-compiler/f18@
eddaea25a2f9be240edad9127aa412fbd2923e4a
Reviewed-on: https://github.com/flang-compiler/f18/pull/342
Tree-same-pre-rewrite: false
Peter Klausler [Tue, 19 Mar 2019 18:14:44 +0000 (11:14 -0700)]
[flang] Merge pull request flang-compiler/f18#341 from flang-compiler/klausler-patch-1
Update FortranForCProgrammers.md
Original-commit: flang-compiler/f18@
678cff1bc70defe5bc074e840c725cb493793f68
Reviewed-on: https://github.com/flang-compiler/f18/pull/341
Peter Klausler [Tue, 19 Mar 2019 17:14:23 +0000 (10:14 -0700)]
[flang] Update FortranForCProgrammers.md
Original-commit: flang-compiler/f18@
39d81438442cc1185409240842084338c2c5d276
Reviewed-on: https://github.com/flang-compiler/f18/pull/341
Tim Keith [Mon, 18 Mar 2019 22:37:17 +0000 (15:37 -0700)]
[flang] Merge pull request flang-compiler/f18#338 from flang-compiler/tsk2
Name resolution for defined operators
Original-commit: flang-compiler/f18@
6b3edf2b713074c33ff2bfb6f748590d247b8cbc
Reviewed-on: https://github.com/flang-compiler/f18/pull/338
Tim Keith [Mon, 18 Mar 2019 18:48:02 +0000 (11:48 -0700)]
[flang] Name resolution for defined operators
Instead of tracking just genericName_ while in a generic interface
block or generic statement, now we immediately create a symbol for it.
A parser::Name isn't good enough because a defined-operator or
defined-io-generic-spec doesn't have a name.
Change the parse tree to add a source field to GenericSpec. Use these
as names for symbols for defined-operator and defined-io-generic-spec
(e.g. "operator(+)" or "read(formatted)").
Change the source for defined-op-name to include the dots so that they
can be distinguished from normal symbols with the same name (e.g. you
can have both ".foo." and "foo"). These symbols have names in the symbol
table like ".foo.", not "operator(.foo.)", because references to them
have that form.
Add GenericKind enum to GenericDetails and GenericBindingDetails.
This allows us to know a symbol is "assignment(=)", for example,
without having to do a string comparison.
Add GenericSpecInfo to handle analyzing the various kinds of
generic-spec and generating symbol names and GenericKind for them.
Add reference to LanguageFeatureControl to SemanticsContext so that
they can be checked during semantics. For this change, if
LogicalAbbreviations is enabled, report an error if the user tries
to define an operator named ".T." or ".F.".
Add resolve-name-utils.cc to hold utility functions and classes that
don't have to be in the ResolveNamesVisitor class hierarchy. The goal
is to reduce the size of resolve-names.cc where possible.
Original-commit: flang-compiler/f18@
3081f694e21dbcaef2554198a682c9af57f2e185
Reviewed-on: https://github.com/flang-compiler/f18/pull/338
Peter Klausler [Mon, 18 Mar 2019 20:46:22 +0000 (13:46 -0700)]
[flang] Merge pull request flang-compiler/f18#339 from flang-compiler/pmk-spaces
Squash free-form white space in prescanner around parentheses.
Original-commit: flang-compiler/f18@
11eb9c89490bfb90abac1b308781580e54f2de46
Reviewed-on: https://github.com/flang-compiler/f18/pull/339
peter klausler [Mon, 18 Mar 2019 20:43:03 +0000 (13:43 -0700)]
[flang] Improve comment
Original-commit: flang-compiler/f18@
140ebe060e31ffcdbcc2d069249fbd0d18c598c5
Reviewed-on: https://github.com/flang-compiler/f18/pull/339
peter klausler [Mon, 18 Mar 2019 20:05:21 +0000 (13:05 -0700)]
[flang] Final tweak before review
Original-commit: flang-compiler/f18@
5dda7b2f658198b21a35edc295a488ebada84244
Reviewed-on: https://github.com/flang-compiler/f18/pull/339
Tree-same-pre-rewrite: false
peter klausler [Mon, 18 Mar 2019 19:24:44 +0000 (12:24 -0700)]
[flang] Simplify
Original-commit: flang-compiler/f18@
42bee00a457e46e77f4ee912a3a5fcd7fb4ae44f
Reviewed-on: https://github.com/flang-compiler/f18/pull/339
Tree-same-pre-rewrite: false
peter klausler [Mon, 18 Mar 2019 19:19:35 +0000 (12:19 -0700)]
[flang] Squash spaces in generic specs.
Original-commit: flang-compiler/f18@
bd5e29f5f807abf58c9169f96ce944e600a02cae
Reviewed-on: https://github.com/flang-compiler/f18/pull/339
Tree-same-pre-rewrite: false
Peter Klausler [Sun, 17 Mar 2019 23:16:19 +0000 (16:16 -0700)]
[flang] Merge pull request flang-compiler/f18#336 from flang-compiler/pmk-fixes
Fix parse of .TRUE._8
Original-commit: flang-compiler/f18@
5e44e67f784dee20067c9ac6ec67080126e57908
Reviewed-on: https://github.com/flang-compiler/f18/pull/336
peter klausler [Sat, 16 Mar 2019 17:04:18 +0000 (10:04 -0700)]
[flang] Fix parse of .TRUE._8
Original-commit: flang-compiler/f18@
b03e7a691d21f84b53a04ed71327720f5500c924
Reviewed-on: https://github.com/flang-compiler/f18/pull/336
Eric Schweitz [Sat, 16 Mar 2019 16:56:33 +0000 (09:56 -0700)]
[flang] Merge pull request flang-compiler/f18#334 from flang-compiler/eas0
FIR sync: replace the stubs for translating terminal symbols to expressions; st…
Original-commit: flang-compiler/f18@
0a93e2c393c67448f7a0494a2fef47612fd664f0
Reviewed-on: https://github.com/flang-compiler/f18/pull/334
Eric [Sat, 16 Mar 2019 01:57:52 +0000 (18:57 -0700)]
[flang] more compiler warnings
Original-commit: flang-compiler/f18@
df8c83c106ee5f8ab7c66f5ad6a87bf8571860bf
Reviewed-on: https://github.com/flang-compiler/f18/pull/334
Eric Schweitz [Fri, 15 Mar 2019 19:50:27 +0000 (12:50 -0700)]
[flang] review comments
Original-commit: flang-compiler/f18@
1ba1c0268f293c3b6652d313e68a87cc118f71e3
Reviewed-on: https://github.com/flang-compiler/f18/pull/334
Tree-same-pre-rewrite: false
Eric Schweitz [Fri, 15 Mar 2019 18:35:18 +0000 (11:35 -0700)]
[flang] muzzle clang++ warnings
Original-commit: flang-compiler/f18@
02decb4040e4e7c57a6404adef17215ce8f276a5
Reviewed-on: https://github.com/flang-compiler/f18/pull/334
Tree-same-pre-rewrite: false
Eric Schweitz [Tue, 12 Mar 2019 14:36:36 +0000 (07:36 -0700)]
[flang] replace the stubs for translating terminal symbols to expressions; start pushing Value type into FIR; cleanup terminator succ_blocks; remove parser element from disassociate; run clang-format; etc.
Original-commit: flang-compiler/f18@
c5561646ea4f72431174f28131a49426b8a03495
Reviewed-on: https://github.com/flang-compiler/f18/pull/334
Tree-same-pre-rewrite: false
Peter Klausler [Fri, 15 Mar 2019 22:59:25 +0000 (15:59 -0700)]
[flang] Merge pull request flang-compiler/f18#335 from flang-compiler/pmk-spec
Some tweaks to preprocess & parse all Fortran in SPEC CPUv6
Original-commit: flang-compiler/f18@
b2828f1318e31917558c28d7ca695234b9ba9b4b
Reviewed-on: https://github.com/flang-compiler/f18/pull/335
peter klausler [Fri, 15 Mar 2019 22:19:27 +0000 (15:19 -0700)]
[flang] Document extension
Original-commit: flang-compiler/f18@
ca2a7dc5a8af1079a832407c23acfbbb3a12c17f
Reviewed-on: https://github.com/flang-compiler/f18/pull/335
peter klausler [Fri, 15 Mar 2019 22:01:54 +0000 (15:01 -0700)]
[flang] Final tweaks, can now parse all SPEC CPUv6
Original-commit: flang-compiler/f18@
015152f1ba44bf938fc581622b89130e73a5c144
Reviewed-on: https://github.com/flang-compiler/f18/pull/335
Tree-same-pre-rewrite: false
peter klausler [Fri, 15 Mar 2019 20:57:41 +0000 (13:57 -0700)]
[flang] more spec work, handle classic C comments
Original-commit: flang-compiler/f18@
d901ee7f500df48c81d786a2f9fcef4c65049d2f
Reviewed-on: https://github.com/flang-compiler/f18/pull/335
Tree-same-pre-rewrite: false