Revision 4faf28a83e9fd6c02fd03abc23daf9ea4dcf3a43 authored by Keno Fischer on 15 September 2022, 02:57:54 UTC, committed by Keno Fischer on 15 September 2022, 03:14:28 UTC
Currently we represent an unknown :static_parameter, as `Any`. However, we actually have a fair bit of additional information about it. In particular, a value that came from a static parameter must have been a `valid_tparam` and thus if it's used in `apply_type` again, we're guaranteed that such a use will be nothrow. This adds a special lattice element to encode this set of values. The primary benefit is to be able to prove the nothrow fact about many more apply_type calls and thus cut down the size of the IR. That said, at the moment, we cannot prove nothrow for unknown `:static_parameter` either, but that's a separate bit of work (and we need to do both to really be able to eliminate common patterns).
1 parent f7dea04
ctypes.jl
# This file is a part of Julia. License is MIT: https://julialang.org/license
# essential type definitions for interacting with C code
# (platform- or OS-dependent types are defined in c.jl)
"""
Cuchar
Equivalent to the native `unsigned char` c-type ([`UInt8`](@ref)).
"""
const Cuchar = UInt8
"""
Cshort
Equivalent to the native `signed short` c-type ([`Int16`](@ref)).
"""
const Cshort = Int16
"""
Cushort
Equivalent to the native `unsigned short` c-type ([`UInt16`](@ref)).
"""
const Cushort = UInt16
"""
Cint
Equivalent to the native `signed int` c-type ([`Int32`](@ref)).
"""
const Cint = Int32
"""
Cuint
Equivalent to the native `unsigned int` c-type ([`UInt32`](@ref)).
"""
const Cuint = UInt32
"""
Cptrdiff_t
Equivalent to the native `ptrdiff_t` c-type (`Int`).
"""
const Cptrdiff_t = Int
"""
Csize_t
Equivalent to the native `size_t` c-type (`UInt`).
"""
const Csize_t = UInt
"""
Cssize_t
Equivalent to the native `ssize_t` c-type.
"""
const Cssize_t = Int
"""
Cintmax_t
Equivalent to the native `intmax_t` c-type ([`Int64`](@ref)).
"""
const Cintmax_t = Int64
"""
Cuintmax_t
Equivalent to the native `uintmax_t` c-type ([`UInt64`](@ref)).
"""
const Cuintmax_t = UInt64
"""
Clonglong
Equivalent to the native `signed long long` c-type ([`Int64`](@ref)).
"""
const Clonglong = Int64
"""
Culonglong
Equivalent to the native `unsigned long long` c-type ([`UInt64`](@ref)).
"""
const Culonglong = UInt64
"""
Cfloat
Equivalent to the native `float` c-type ([`Float32`](@ref)).
"""
const Cfloat = Float32
"""
Cdouble
Equivalent to the native `double` c-type ([`Float64`](@ref)).
"""
const Cdouble = Float64
Computing file changes ...
