GitLab

Alan Zimmerman pushed to branch wip/az/ghc-cpp at Glasgow Haskell Compiler / GHC

Commits:

2e204269

by Andreas Klebinger at 2025-04-22T12:20:41+02:00

Simplifier: Constant fold invald tagToEnum# calls to bottom expr.

When applying tagToEnum# to a out-of-range value it's best to simply
constant fold it to a bottom expression. That potentially allows more
dead code elimination and makes debugging easier.

Fixes #25976

7250fc0c

by Matthew Pickering at 2025-04-22T16:24:04-04:00

Move -fno-code note into Downsweep module

This note was left behind when all the code which referred to it was
moved into the GHC.Driver.Downsweep module

d2dc89b4

by Matthew Pickering at 2025-04-22T16:24:04-04:00

Apply editing notes to Note [-fno-code mode] suggested by sheaf

These notes were suggested in https://gitlab.haskell.org/ghc/ghc/-/merge_requests/14241

f760da42

by Alan Zimmerman at 2025-04-23T18:20:32+01:00

GHC-CPP: first rough proof of concept

Processes

     #define FOO
     #ifdef FOO
     x = 1
     #endif

Into

    [ITcppIgnored [L loc ITcppDefine]
    ,ITcppIgnored [L loc ITcppIfdef]
    ,ITvarid "x"
    ,ITequal
    ,ITinteger (IL {il_text = SourceText "1", il_neg = False, il_value = 1})
    ,ITcppIgnored [L loc ITcppEndif]
    ,ITeof]

In time, ITcppIgnored will be pushed into a comment

ba8eca9c

by Alan Zimmerman at 2025-04-23T18:20:32+01:00

Tidy up before re-visiting the continuation mechanic

37f29de9

by Alan Zimmerman at 2025-04-23T18:20:32+01:00

Switch preprocessor to continuation passing style

Proof of concept, needs tidying up

26a44e45
by Alan Zimmerman at 2025-04-23T18:20:32+01:00
```
Small cleanup
```
957e9fbc
by Alan Zimmerman at 2025-04-23T18:20:32+01:00
```
Get rid of some cruft
```

fd702662

by Alan Zimmerman at 2025-04-23T18:20:32+01:00

Starting to integrate.

Need to get the pragma recognised and set

725f77c9

by Alan Zimmerman at 2025-04-23T18:20:32+01:00

Make cppTokens extend to end of line, and process CPP comments

196b44dc
by Alan Zimmerman at 2025-04-23T18:20:32+01:00
```
Remove unused ITcppDefined
```

a76e00af

by Alan Zimmerman at 2025-04-23T18:20:32+01:00

Allow spaces between # and keyword for preprocessor directive

f328c99b

by Alan Zimmerman at 2025-04-23T18:20:32+01:00

Process CPP continuation lines

They are emited as separate ITcppContinue tokens.
Perhaps the processing should be more like a comment, and keep on
going to the end.
BUT, the last line needs to be slurped as a whole.

337b85ae

by Alan Zimmerman at 2025-04-23T18:20:32+01:00

Accumulate CPP continuations, process when ready

Can be simplified further, we only need one CPP token

39bb5972

by Alan Zimmerman at 2025-04-23T18:20:32+01:00

Simplify Lexer interface. Only ITcpp

We transfer directive lines through it, then parse them from scratch
in the preprocessor.

d793afa9

by Alan Zimmerman at 2025-04-23T18:20:32+01:00

Deal with directive on last line, with no trailing \n

73aa548c
by Alan Zimmerman at 2025-04-23T18:20:32+01:00
```
Start parsing and processing the directives
```
43fd6c16
by Alan Zimmerman at 2025-04-23T18:20:32+01:00
```
Prepare for processing include files
```

ea14b5d1

by Alan Zimmerman at 2025-04-23T18:20:32+01:00

Move PpState into PreProcess

And initParserState, initPragState too

31691fc8

by Alan Zimmerman at 2025-04-23T18:20:32+01:00

Process nested include files

Also move PpState out of Lexer.x, so it is easy to evolve it in a ghci
session, loading utils/check-cpp/Main.hs

cefc0b99
by Alan Zimmerman at 2025-04-23T18:20:32+01:00
```
Split into separate files
```

7fdb5df3

by Alan Zimmerman at 2025-04-23T18:20:32+01:00

Starting on expression parser.

But it hangs. Time for Text.Parsec.Expr

f6234083