Remove VoidRep from PrimRep, introduce PrimOrVoidRep
This introduces data PrimOrVoidRep = VoidRep | NVRep PrimRep changes typePrimRep1 to return PrimOrVoidRep, and adds a new function typePrimRepU to be used when the argument is definitely non-void. Details in Note [VoidRep] in GHC.Types.RepType. Fixes #19520
Showing
- compiler/GHC/Builtin/PrimOps.hs 8 additions, 4 deletionscompiler/GHC/Builtin/PrimOps.hs
- compiler/GHC/ByteCode/InfoTable.hs 2 additions, 2 deletionscompiler/GHC/ByteCode/InfoTable.hs
- compiler/GHC/Cmm/Utils.hs 5 additions, 7 deletionscompiler/GHC/Cmm/Utils.hs
- compiler/GHC/Core/TyCon.hs 45 additions, 48 deletionscompiler/GHC/Core/TyCon.hs
- compiler/GHC/HsToCore/Foreign/Utils.hs 1 addition, 1 deletioncompiler/GHC/HsToCore/Foreign/Utils.hs
- compiler/GHC/Stg/Lift/Analysis.hs 1 addition, 1 deletioncompiler/GHC/Stg/Lift/Analysis.hs
- compiler/GHC/Stg/Lint.hs 1 addition, 9 deletionscompiler/GHC/Stg/Lint.hs
- compiler/GHC/Stg/Syntax.hs 15 additions, 8 deletionscompiler/GHC/Stg/Syntax.hs
- compiler/GHC/Stg/Unarise.hs 9 additions, 9 deletionscompiler/GHC/Stg/Unarise.hs
- compiler/GHC/StgToByteCode.hs 31 additions, 34 deletionscompiler/GHC/StgToByteCode.hs
- compiler/GHC/StgToCmm.hs 2 additions, 2 deletionscompiler/GHC/StgToCmm.hs
- compiler/GHC/StgToCmm/ArgRep.hs 8 additions, 5 deletionscompiler/GHC/StgToCmm/ArgRep.hs
- compiler/GHC/StgToCmm/Bind.hs 1 addition, 1 deletioncompiler/GHC/StgToCmm/Bind.hs
- compiler/GHC/StgToCmm/Closure.hs 10 additions, 7 deletionscompiler/GHC/StgToCmm/Closure.hs
- compiler/GHC/StgToCmm/Env.hs 1 addition, 1 deletioncompiler/GHC/StgToCmm/Env.hs
- compiler/GHC/StgToCmm/Expr.hs 3 additions, 3 deletionscompiler/GHC/StgToCmm/Expr.hs
- compiler/GHC/StgToCmm/Layout.hs 6 additions, 7 deletionscompiler/GHC/StgToCmm/Layout.hs
- compiler/GHC/StgToCmm/Lit.hs 0 additions, 1 deletioncompiler/GHC/StgToCmm/Lit.hs
- compiler/GHC/StgToCmm/Prim.hs 1 addition, 1 deletioncompiler/GHC/StgToCmm/Prim.hs
- compiler/GHC/StgToCmm/Ticky.hs 2 additions, 2 deletionscompiler/GHC/StgToCmm/Ticky.hs
Loading
Please register or sign in to comment