2720 assert(!
getContext().BuiltinInfo.isImmediate(BuiltinID) &&
2721 "Should not codegen for consteval builtins");
2728 !
Result.hasSideEffects()) {
2732 if (
Result.Val.isFloat())
2742 &
getTarget().getLongDoubleFormat() == &llvm::APFloat::IEEEquad())
2749 const unsigned BuiltinIDIfNoAsmLabel =
2750 FD->
hasAttr<AsmLabelAttr>() ? 0 : BuiltinID;
2752 std::optional<bool> ErrnoOverriden;
2758 if (OP.hasMathErrnoOverride())
2759 ErrnoOverriden = OP.getMathErrnoOverride();
2765 bool IsOptimizationEnabled =
CGM.getCodeGenOpts().OptimizationLevel != 0;
2767 bool GenerateFPMathIntrinsics =
2769 BuiltinID,
CGM.getTriple(), ErrnoOverriden,
getLangOpts().MathErrno,
2770 OptNone, IsOptimizationEnabled);
2772 if (GenerateFPMathIntrinsics) {
2773 switch (BuiltinIDIfNoAsmLabel) {
2774 case Builtin::BIacos:
2775 case Builtin::BIacosf:
2776 case Builtin::BIacosl:
2777 case Builtin::BI__builtin_acos:
2778 case Builtin::BI__builtin_acosf:
2779 case Builtin::BI__builtin_acosf16:
2780 case Builtin::BI__builtin_acosl:
2781 case Builtin::BI__builtin_acosf128:
2782 case Builtin::BI__builtin_elementwise_acos:
2784 *
this, E, Intrinsic::acos, Intrinsic::experimental_constrained_acos));
2786 case Builtin::BIasin:
2787 case Builtin::BIasinf:
2788 case Builtin::BIasinl:
2789 case Builtin::BI__builtin_asin:
2790 case Builtin::BI__builtin_asinf:
2791 case Builtin::BI__builtin_asinf16:
2792 case Builtin::BI__builtin_asinl:
2793 case Builtin::BI__builtin_asinf128:
2794 case Builtin::BI__builtin_elementwise_asin:
2796 *
this, E, Intrinsic::asin, Intrinsic::experimental_constrained_asin));
2798 case Builtin::BIatan:
2799 case Builtin::BIatanf:
2800 case Builtin::BIatanl:
2801 case Builtin::BI__builtin_atan:
2802 case Builtin::BI__builtin_atanf:
2803 case Builtin::BI__builtin_atanf16:
2804 case Builtin::BI__builtin_atanl:
2805 case Builtin::BI__builtin_atanf128:
2806 case Builtin::BI__builtin_elementwise_atan:
2808 *
this, E, Intrinsic::atan, Intrinsic::experimental_constrained_atan));
2810 case Builtin::BIatan2:
2811 case Builtin::BIatan2f:
2812 case Builtin::BIatan2l:
2813 case Builtin::BI__builtin_atan2:
2814 case Builtin::BI__builtin_atan2f:
2815 case Builtin::BI__builtin_atan2f16:
2816 case Builtin::BI__builtin_atan2l:
2817 case Builtin::BI__builtin_atan2f128:
2818 case Builtin::BI__builtin_elementwise_atan2:
2820 *
this, E, Intrinsic::atan2,
2821 Intrinsic::experimental_constrained_atan2));
2823 case Builtin::BIceil:
2824 case Builtin::BIceilf:
2825 case Builtin::BIceill:
2826 case Builtin::BI__builtin_ceil:
2827 case Builtin::BI__builtin_ceilf:
2828 case Builtin::BI__builtin_ceilf16:
2829 case Builtin::BI__builtin_ceill:
2830 case Builtin::BI__builtin_ceilf128:
2831 case Builtin::BI__builtin_elementwise_ceil:
2834 Intrinsic::experimental_constrained_ceil));
2836 case Builtin::BIcopysign:
2837 case Builtin::BIcopysignf:
2838 case Builtin::BIcopysignl:
2839 case Builtin::BI__builtin_copysign:
2840 case Builtin::BI__builtin_copysignf:
2841 case Builtin::BI__builtin_copysignf16:
2842 case Builtin::BI__builtin_copysignl:
2843 case Builtin::BI__builtin_copysignf128:
2847 case Builtin::BIcos:
2848 case Builtin::BIcosf:
2849 case Builtin::BIcosl:
2850 case Builtin::BI__builtin_cos:
2851 case Builtin::BI__builtin_cosf:
2852 case Builtin::BI__builtin_cosf16:
2853 case Builtin::BI__builtin_cosl:
2854 case Builtin::BI__builtin_cosf128:
2855 case Builtin::BI__builtin_elementwise_cos:
2858 Intrinsic::experimental_constrained_cos));
2860 case Builtin::BIcosh:
2861 case Builtin::BIcoshf:
2862 case Builtin::BIcoshl:
2863 case Builtin::BI__builtin_cosh:
2864 case Builtin::BI__builtin_coshf:
2865 case Builtin::BI__builtin_coshf16:
2866 case Builtin::BI__builtin_coshl:
2867 case Builtin::BI__builtin_coshf128:
2868 case Builtin::BI__builtin_elementwise_cosh:
2870 *
this, E, Intrinsic::cosh, Intrinsic::experimental_constrained_cosh));
2872 case Builtin::BIexp:
2873 case Builtin::BIexpf:
2874 case Builtin::BIexpl:
2875 case Builtin::BI__builtin_exp:
2876 case Builtin::BI__builtin_expf:
2877 case Builtin::BI__builtin_expf16:
2878 case Builtin::BI__builtin_expl:
2879 case Builtin::BI__builtin_expf128:
2880 case Builtin::BI__builtin_elementwise_exp:
2883 Intrinsic::experimental_constrained_exp));
2885 case Builtin::BIexp2:
2886 case Builtin::BIexp2f:
2887 case Builtin::BIexp2l:
2888 case Builtin::BI__builtin_exp2:
2889 case Builtin::BI__builtin_exp2f:
2890 case Builtin::BI__builtin_exp2f16:
2891 case Builtin::BI__builtin_exp2l:
2892 case Builtin::BI__builtin_exp2f128:
2893 case Builtin::BI__builtin_elementwise_exp2:
2896 Intrinsic::experimental_constrained_exp2));
2897 case Builtin::BI__builtin_exp10:
2898 case Builtin::BI__builtin_exp10f:
2899 case Builtin::BI__builtin_exp10f16:
2900 case Builtin::BI__builtin_exp10l:
2901 case Builtin::BI__builtin_exp10f128:
2902 case Builtin::BI__builtin_elementwise_exp10: {
2904 if (
Builder.getIsFPConstrained())
2909 case Builtin::BIfabs:
2910 case Builtin::BIfabsf:
2911 case Builtin::BIfabsl:
2912 case Builtin::BI__builtin_fabs:
2913 case Builtin::BI__builtin_fabsf:
2914 case Builtin::BI__builtin_fabsf16:
2915 case Builtin::BI__builtin_fabsl:
2916 case Builtin::BI__builtin_fabsf128:
2920 case Builtin::BIfloor:
2921 case Builtin::BIfloorf:
2922 case Builtin::BIfloorl:
2923 case Builtin::BI__builtin_floor:
2924 case Builtin::BI__builtin_floorf:
2925 case Builtin::BI__builtin_floorf16:
2926 case Builtin::BI__builtin_floorl:
2927 case Builtin::BI__builtin_floorf128:
2928 case Builtin::BI__builtin_elementwise_floor:
2931 Intrinsic::experimental_constrained_floor));
2933 case Builtin::BIfma:
2934 case Builtin::BIfmaf:
2935 case Builtin::BIfmal:
2936 case Builtin::BI__builtin_fma:
2937 case Builtin::BI__builtin_fmaf:
2938 case Builtin::BI__builtin_fmaf16:
2939 case Builtin::BI__builtin_fmal:
2940 case Builtin::BI__builtin_fmaf128:
2941 case Builtin::BI__builtin_elementwise_fma:
2944 Intrinsic::experimental_constrained_fma));
2946 case Builtin::BIfmax:
2947 case Builtin::BIfmaxf:
2948 case Builtin::BIfmaxl:
2949 case Builtin::BI__builtin_fmax:
2950 case Builtin::BI__builtin_fmaxf:
2951 case Builtin::BI__builtin_fmaxf16:
2952 case Builtin::BI__builtin_fmaxl:
2953 case Builtin::BI__builtin_fmaxf128: {
2954 IRBuilder<>::FastMathFlagGuard FMFGuard(
Builder);
2955 Builder.getFastMathFlags().setNoSignedZeros();
2957 *
this, E, Intrinsic::maxnum,
2958 Intrinsic::experimental_constrained_maxnum));
2961 case Builtin::BIfmin:
2962 case Builtin::BIfminf:
2963 case Builtin::BIfminl:
2964 case Builtin::BI__builtin_fmin:
2965 case Builtin::BI__builtin_fminf:
2966 case Builtin::BI__builtin_fminf16:
2967 case Builtin::BI__builtin_fminl:
2968 case Builtin::BI__builtin_fminf128: {
2969 IRBuilder<>::FastMathFlagGuard FMFGuard(
Builder);
2970 Builder.getFastMathFlags().setNoSignedZeros();
2972 *
this, E, Intrinsic::minnum,
2973 Intrinsic::experimental_constrained_minnum));
2976 case Builtin::BIfmaximum_num:
2977 case Builtin::BIfmaximum_numf:
2978 case Builtin::BIfmaximum_numl:
2979 case Builtin::BI__builtin_fmaximum_num:
2980 case Builtin::BI__builtin_fmaximum_numf:
2981 case Builtin::BI__builtin_fmaximum_numf16:
2982 case Builtin::BI__builtin_fmaximum_numl:
2983 case Builtin::BI__builtin_fmaximum_numf128:
2987 case Builtin::BIfminimum_num:
2988 case Builtin::BIfminimum_numf:
2989 case Builtin::BIfminimum_numl:
2990 case Builtin::BI__builtin_fminimum_num:
2991 case Builtin::BI__builtin_fminimum_numf:
2992 case Builtin::BI__builtin_fminimum_numf16:
2993 case Builtin::BI__builtin_fminimum_numl:
2994 case Builtin::BI__builtin_fminimum_numf128:
3000 case Builtin::BIfmod:
3001 case Builtin::BIfmodf:
3002 case Builtin::BIfmodl:
3003 case Builtin::BI__builtin_fmod:
3004 case Builtin::BI__builtin_fmodf:
3005 case Builtin::BI__builtin_fmodf16:
3006 case Builtin::BI__builtin_fmodl:
3007 case Builtin::BI__builtin_fmodf128:
3008 case Builtin::BI__builtin_elementwise_fmod: {
3012 if (
Builder.getIsFPConstrained()) {
3013 Function *F =
CGM.getIntrinsic(Intrinsic::experimental_constrained_frem,
3021 case Builtin::BIlog:
3022 case Builtin::BIlogf:
3023 case Builtin::BIlogl:
3024 case Builtin::BI__builtin_log:
3025 case Builtin::BI__builtin_logf:
3026 case Builtin::BI__builtin_logf16:
3027 case Builtin::BI__builtin_logl:
3028 case Builtin::BI__builtin_logf128:
3029 case Builtin::BI__builtin_elementwise_log:
3032 Intrinsic::experimental_constrained_log));
3034 case Builtin::BIlog10:
3035 case Builtin::BIlog10f:
3036 case Builtin::BIlog10l:
3037 case Builtin::BI__builtin_log10:
3038 case Builtin::BI__builtin_log10f:
3039 case Builtin::BI__builtin_log10f16:
3040 case Builtin::BI__builtin_log10l:
3041 case Builtin::BI__builtin_log10f128:
3042 case Builtin::BI__builtin_elementwise_log10:
3045 Intrinsic::experimental_constrained_log10));
3047 case Builtin::BIlog2:
3048 case Builtin::BIlog2f:
3049 case Builtin::BIlog2l:
3050 case Builtin::BI__builtin_log2:
3051 case Builtin::BI__builtin_log2f:
3052 case Builtin::BI__builtin_log2f16:
3053 case Builtin::BI__builtin_log2l:
3054 case Builtin::BI__builtin_log2f128:
3055 case Builtin::BI__builtin_elementwise_log2:
3058 Intrinsic::experimental_constrained_log2));
3060 case Builtin::BInearbyint:
3061 case Builtin::BInearbyintf:
3062 case Builtin::BInearbyintl:
3063 case Builtin::BI__builtin_nearbyint:
3064 case Builtin::BI__builtin_nearbyintf:
3065 case Builtin::BI__builtin_nearbyintl:
3066 case Builtin::BI__builtin_nearbyintf128:
3067 case Builtin::BI__builtin_elementwise_nearbyint:
3069 Intrinsic::nearbyint,
3070 Intrinsic::experimental_constrained_nearbyint));
3072 case Builtin::BIpow:
3073 case Builtin::BIpowf:
3074 case Builtin::BIpowl:
3075 case Builtin::BI__builtin_pow:
3076 case Builtin::BI__builtin_powf:
3077 case Builtin::BI__builtin_powf16:
3078 case Builtin::BI__builtin_powl:
3079 case Builtin::BI__builtin_powf128:
3080 case Builtin::BI__builtin_elementwise_pow:
3083 Intrinsic::experimental_constrained_pow));
3085 case Builtin::BIrint:
3086 case Builtin::BIrintf:
3087 case Builtin::BIrintl:
3088 case Builtin::BI__builtin_rint:
3089 case Builtin::BI__builtin_rintf:
3090 case Builtin::BI__builtin_rintf16:
3091 case Builtin::BI__builtin_rintl:
3092 case Builtin::BI__builtin_rintf128:
3093 case Builtin::BI__builtin_elementwise_rint:
3096 Intrinsic::experimental_constrained_rint));
3098 case Builtin::BIround:
3099 case Builtin::BIroundf:
3100 case Builtin::BIroundl:
3101 case Builtin::BI__builtin_round:
3102 case Builtin::BI__builtin_roundf:
3103 case Builtin::BI__builtin_roundf16:
3104 case Builtin::BI__builtin_roundl:
3105 case Builtin::BI__builtin_roundf128:
3106 case Builtin::BI__builtin_elementwise_round:
3109 Intrinsic::experimental_constrained_round));
3111 case Builtin::BIroundeven:
3112 case Builtin::BIroundevenf:
3113 case Builtin::BIroundevenl:
3114 case Builtin::BI__builtin_roundeven:
3115 case Builtin::BI__builtin_roundevenf:
3116 case Builtin::BI__builtin_roundevenf16:
3117 case Builtin::BI__builtin_roundevenl:
3118 case Builtin::BI__builtin_roundevenf128:
3119 case Builtin::BI__builtin_elementwise_roundeven:
3121 Intrinsic::roundeven,
3122 Intrinsic::experimental_constrained_roundeven));
3124 case Builtin::BIsin:
3125 case Builtin::BIsinf:
3126 case Builtin::BIsinl:
3127 case Builtin::BI__builtin_sin:
3128 case Builtin::BI__builtin_sinf:
3129 case Builtin::BI__builtin_sinf16:
3130 case Builtin::BI__builtin_sinl:
3131 case Builtin::BI__builtin_sinf128:
3132 case Builtin::BI__builtin_elementwise_sin:
3135 Intrinsic::experimental_constrained_sin));
3137 case Builtin::BIsinh:
3138 case Builtin::BIsinhf:
3139 case Builtin::BIsinhl:
3140 case Builtin::BI__builtin_sinh:
3141 case Builtin::BI__builtin_sinhf:
3142 case Builtin::BI__builtin_sinhf16:
3143 case Builtin::BI__builtin_sinhl:
3144 case Builtin::BI__builtin_sinhf128:
3145 case Builtin::BI__builtin_elementwise_sinh:
3147 *
this, E, Intrinsic::sinh, Intrinsic::experimental_constrained_sinh));
3149 case Builtin::BI__builtin_sincospi:
3150 case Builtin::BI__builtin_sincospif:
3151 case Builtin::BI__builtin_sincospil:
3152 if (
Builder.getIsFPConstrained())
3157 case Builtin::BIsincos:
3158 case Builtin::BIsincosf:
3159 case Builtin::BIsincosl:
3160 case Builtin::BI__builtin_sincos:
3161 case Builtin::BI__builtin_sincosf:
3162 case Builtin::BI__builtin_sincosf16:
3163 case Builtin::BI__builtin_sincosl:
3164 case Builtin::BI__builtin_sincosf128:
3165 if (
Builder.getIsFPConstrained())
3170 case Builtin::BIsqrt:
3171 case Builtin::BIsqrtf:
3172 case Builtin::BIsqrtl:
3173 case Builtin::BI__builtin_sqrt:
3174 case Builtin::BI__builtin_sqrtf:
3175 case Builtin::BI__builtin_sqrtf16:
3176 case Builtin::BI__builtin_sqrtl:
3177 case Builtin::BI__builtin_sqrtf128:
3178 case Builtin::BI__builtin_elementwise_sqrt: {
3180 *
this, E, Intrinsic::sqrt, Intrinsic::experimental_constrained_sqrt);
3185 case Builtin::BItan:
3186 case Builtin::BItanf:
3187 case Builtin::BItanl:
3188 case Builtin::BI__builtin_tan:
3189 case Builtin::BI__builtin_tanf:
3190 case Builtin::BI__builtin_tanf16:
3191 case Builtin::BI__builtin_tanl:
3192 case Builtin::BI__builtin_tanf128:
3193 case Builtin::BI__builtin_elementwise_tan:
3195 *
this, E, Intrinsic::tan, Intrinsic::experimental_constrained_tan));
3197 case Builtin::BItanh:
3198 case Builtin::BItanhf:
3199 case Builtin::BItanhl:
3200 case Builtin::BI__builtin_tanh:
3201 case Builtin::BI__builtin_tanhf:
3202 case Builtin::BI__builtin_tanhf16:
3203 case Builtin::BI__builtin_tanhl:
3204 case Builtin::BI__builtin_tanhf128:
3205 case Builtin::BI__builtin_elementwise_tanh:
3207 *
this, E, Intrinsic::tanh, Intrinsic::experimental_constrained_tanh));
3209 case Builtin::BItrunc:
3210 case Builtin::BItruncf:
3211 case Builtin::BItruncl:
3212 case Builtin::BI__builtin_trunc:
3213 case Builtin::BI__builtin_truncf:
3214 case Builtin::BI__builtin_truncf16:
3215 case Builtin::BI__builtin_truncl:
3216 case Builtin::BI__builtin_truncf128:
3217 case Builtin::BI__builtin_elementwise_trunc:
3220 Intrinsic::experimental_constrained_trunc));
3222 case Builtin::BIlround:
3223 case Builtin::BIlroundf:
3224 case Builtin::BIlroundl:
3225 case Builtin::BI__builtin_lround:
3226 case Builtin::BI__builtin_lroundf:
3227 case Builtin::BI__builtin_lroundl:
3228 case Builtin::BI__builtin_lroundf128:
3230 *
this, E, Intrinsic::lround,
3231 Intrinsic::experimental_constrained_lround));
3233 case Builtin::BIllround:
3234 case Builtin::BIllroundf:
3235 case Builtin::BIllroundl:
3236 case Builtin::BI__builtin_llround:
3237 case Builtin::BI__builtin_llroundf:
3238 case Builtin::BI__builtin_llroundl:
3239 case Builtin::BI__builtin_llroundf128:
3241 *
this, E, Intrinsic::llround,
3242 Intrinsic::experimental_constrained_llround));
3244 case Builtin::BIlrint:
3245 case Builtin::BIlrintf:
3246 case Builtin::BIlrintl:
3247 case Builtin::BI__builtin_lrint:
3248 case Builtin::BI__builtin_lrintf:
3249 case Builtin::BI__builtin_lrintl:
3250 case Builtin::BI__builtin_lrintf128:
3252 *
this, E, Intrinsic::lrint,
3253 Intrinsic::experimental_constrained_lrint));
3255 case Builtin::BIllrint:
3256 case Builtin::BIllrintf:
3257 case Builtin::BIllrintl:
3258 case Builtin::BI__builtin_llrint:
3259 case Builtin::BI__builtin_llrintf:
3260 case Builtin::BI__builtin_llrintl:
3261 case Builtin::BI__builtin_llrintf128:
3263 *
this, E, Intrinsic::llrint,
3264 Intrinsic::experimental_constrained_llrint));
3265 case Builtin::BI__builtin_ldexp:
3266 case Builtin::BI__builtin_ldexpf:
3267 case Builtin::BI__builtin_ldexpl:
3268 case Builtin::BI__builtin_ldexpf16:
3269 case Builtin::BI__builtin_ldexpf128:
3270 case Builtin::BI__builtin_elementwise_ldexp:
3272 *
this, E, Intrinsic::ldexp,
3273 Intrinsic::experimental_constrained_ldexp));
3282 Value *Val = A.emitRawPointer(*
this);
3286 if (
SanOpts.has(SanitizerKind::Alignment)) {
3288 SkippedChecks.
set(SanitizerKind::All);
3289 SkippedChecks.
clear(SanitizerKind::Alignment);
3292 if (
auto *CE = dyn_cast<ImplicitCastExpr>(Arg))
3293 if (CE->getCastKind() == CK_BitCast)
3294 Arg = CE->getSubExpr();
3300 switch (BuiltinIDIfNoAsmLabel) {
3302 case Builtin::BI__builtin___CFStringMakeConstantString:
3303 case Builtin::BI__builtin___NSStringMakeConstantString:
3305 case Builtin::BI__builtin_stdarg_start:
3306 case Builtin::BI__builtin_va_start:
3307 case Builtin::BI__va_start:
3308 case Builtin::BI__builtin_c23_va_start:
3309 case Builtin::BI__builtin_va_end:
3313 BuiltinID != Builtin::BI__builtin_va_end);
3315 case Builtin::BI__builtin_va_copy: {
3318 Builder.CreateCall(
CGM.getIntrinsic(Intrinsic::vacopy, {DstPtr->getType()}),
3322 case Builtin::BIabs:
3323 case Builtin::BIlabs:
3324 case Builtin::BIllabs:
3325 case Builtin::BI__builtin_abs:
3326 case Builtin::BI__builtin_labs:
3327 case Builtin::BI__builtin_llabs: {
3328 bool SanitizeOverflow =
SanOpts.has(SanitizerKind::SignedIntegerOverflow);
3331 switch (
getLangOpts().getSignedOverflowBehavior()) {
3336 if (!SanitizeOverflow) {
3348 case Builtin::BI__builtin_complex: {
3353 case Builtin::BI__builtin_conj:
3354 case Builtin::BI__builtin_conjf:
3355 case Builtin::BI__builtin_conjl:
3356 case Builtin::BIconj:
3357 case Builtin::BIconjf:
3358 case Builtin::BIconjl: {
3360 Value *Real = ComplexVal.first;
3361 Value *Imag = ComplexVal.second;
3362 Imag =
Builder.CreateFNeg(Imag,
"neg");
3365 case Builtin::BI__builtin_creal:
3366 case Builtin::BI__builtin_crealf:
3367 case Builtin::BI__builtin_creall:
3368 case Builtin::BIcreal:
3369 case Builtin::BIcrealf:
3370 case Builtin::BIcreall: {
3375 case Builtin::BI__builtin_preserve_access_index: {
3380 CGM.Error(E->
getExprLoc(),
"using builtin_preserve_access_index() without -g");
3386 CGM.Error(E->
getExprLoc(),
"nested builtin_preserve_access_index() not supported");
3396 case Builtin::BI__builtin_cimag:
3397 case Builtin::BI__builtin_cimagf:
3398 case Builtin::BI__builtin_cimagl:
3399 case Builtin::BIcimag:
3400 case Builtin::BIcimagf:
3401 case Builtin::BIcimagl: {
3406 case Builtin::BI__builtin_clrsb:
3407 case Builtin::BI__builtin_clrsbl:
3408 case Builtin::BI__builtin_clrsbll: {
3419 Value *Tmp =
Builder.CreateSelect(IsNeg, Inverse, ArgValue);
3427 case Builtin::BI__builtin_ctzs:
3428 case Builtin::BI__builtin_ctz:
3429 case Builtin::BI__builtin_ctzl:
3430 case Builtin::BI__builtin_ctzll:
3431 case Builtin::BI__builtin_ctzg:
3432 case Builtin::BI__builtin_elementwise_ctzg: {
3434 (BuiltinIDIfNoAsmLabel == Builtin::BI__builtin_ctzg ||
3435 BuiltinIDIfNoAsmLabel == Builtin::BI__builtin_elementwise_ctzg) &&
3448 HasFallback ||
getTarget().isCLZForZeroUndef() ||
3449 BuiltinIDIfNoAsmLabel == Builtin::BI__builtin_elementwise_ctzg);
3451 if (
Result->getType() != ResultType)
3460 Value *ResultOrFallback =
3461 Builder.CreateSelect(IsZero, FallbackValue,
Result,
"ctzg");
3464 case Builtin::BI__builtin_clzs:
3465 case Builtin::BI__builtin_clz:
3466 case Builtin::BI__builtin_clzl:
3467 case Builtin::BI__builtin_clzll:
3468 case Builtin::BI__builtin_clzg:
3469 case Builtin::BI__builtin_elementwise_clzg: {
3471 (BuiltinIDIfNoAsmLabel == Builtin::BI__builtin_clzg ||
3472 BuiltinIDIfNoAsmLabel == Builtin::BI__builtin_elementwise_clzg) &&
3485 HasFallback ||
getTarget().isCLZForZeroUndef() ||
3486 BuiltinIDIfNoAsmLabel == Builtin::BI__builtin_elementwise_clzg);
3488 if (
Result->getType() != ResultType)
3497 Value *ResultOrFallback =
3498 Builder.CreateSelect(IsZero, FallbackValue,
Result,
"clzg");
3501 case Builtin::BI__builtin_ffs:
3502 case Builtin::BI__builtin_ffsl:
3503 case Builtin::BI__builtin_ffsll: {
3512 Builder.CreateAdd(
Builder.CreateCall(F, {ArgValue, Builder.getTrue()}),
3513 llvm::ConstantInt::get(
ArgType, 1));
3517 if (
Result->getType() != ResultType)
3522 case Builtin::BI__builtin_parity:
3523 case Builtin::BI__builtin_parityl:
3524 case Builtin::BI__builtin_parityll: {
3534 if (
Result->getType() != ResultType)
3539 case Builtin::BI__lzcnt16:
3540 case Builtin::BI__lzcnt:
3541 case Builtin::BI__lzcnt64: {
3549 if (
Result->getType() != ResultType)
3554 case Builtin::BI__popcnt16:
3555 case Builtin::BI__popcnt:
3556 case Builtin::BI__popcnt64:
3557 case Builtin::BI__builtin_popcount:
3558 case Builtin::BI__builtin_popcountl:
3559 case Builtin::BI__builtin_popcountll:
3560 case Builtin::BI__builtin_popcountg: {
3568 if (
Result->getType() != ResultType)
3573 case Builtin::BI__builtin_unpredictable: {
3579 case Builtin::BI__builtin_expect: {
3587 if (
CGM.getCodeGenOpts().OptimizationLevel == 0)
3592 Builder.CreateCall(FnExpect, {ArgValue, ExpectedValue},
"expval");
3595 case Builtin::BI__builtin_expect_with_probability: {
3600 llvm::APFloat Probability(0.0);
3603 assert(EvalSucceed &&
"probability should be able to evaluate as float");
3605 bool LoseInfo =
false;
3606 Probability.convert(llvm::APFloat::IEEEdouble(),
3607 llvm::RoundingMode::Dynamic, &LoseInfo);
3609 Constant *Confidence = ConstantFP::get(Ty, Probability);
3613 if (
CGM.getCodeGenOpts().OptimizationLevel == 0)
3617 CGM.getIntrinsic(Intrinsic::expect_with_probability,
ArgType);
3619 FnExpect, {ArgValue, ExpectedValue, Confidence},
"expval");
3622 case Builtin::BI__builtin_assume_aligned: {
3625 Value *OffsetValue =
3630 if (AlignmentCI->getValue().ugt(llvm::Value::MaximumAlignment))
3631 AlignmentCI = ConstantInt::get(AlignmentCI->getIntegerType(),
3632 llvm::Value::MaximumAlignment);
3636 AlignmentCI, OffsetValue);
3639 case Builtin::BI__builtin_assume_dereferenceable: {
3647 Builder.CreateDereferenceableAssumption(PtrValue, SizeValue);
3650 case Builtin::BI__assume:
3651 case Builtin::BI__builtin_assume: {
3656 Function *FnAssume =
CGM.getIntrinsic(Intrinsic::assume);
3657 Builder.CreateCall(FnAssume, ArgValue);
3660 case Builtin::BI__builtin_assume_separate_storage: {
3667 Value *Values[] = {Value0, Value1};
3668 OperandBundleDefT<Value *> OBD(
"separate_storage", Values);
3669 Builder.CreateAssumption({OBD});
3672 case Builtin::BI__builtin_allow_runtime_check: {
3675 LLVMContext &Ctx =
CGM.getLLVMContext();
3677 CGM.getIntrinsic(Intrinsic::allow_runtime_check),
3678 llvm::MetadataAsValue::get(Ctx, llvm::MDString::get(Ctx, Kind)));
3681 case Builtin::BI__builtin_allow_sanitize_check: {
3682 Intrinsic::ID IntrID = Intrinsic::not_intrinsic;
3690 if (
getLangOpts().Sanitize.hasOneOf(SanitizerKind::Address |
3691 SanitizerKind::KernelAddress) &&
3692 (Name ==
"address" || Name ==
"kernel-address")) {
3693 IntrID = Intrinsic::allow_sanitize_address;
3694 }
else if (
getLangOpts().Sanitize.has(SanitizerKind::Thread) &&
3696 IntrID = Intrinsic::allow_sanitize_thread;
3697 }
else if (
getLangOpts().Sanitize.hasOneOf(SanitizerKind::Memory |
3698 SanitizerKind::KernelMemory) &&
3699 (Name ==
"memory" || Name ==
"kernel-memory")) {
3700 IntrID = Intrinsic::allow_sanitize_memory;
3702 SanitizerKind::HWAddress | SanitizerKind::KernelHWAddress) &&
3703 (Name ==
"hwaddress" || Name ==
"kernel-hwaddress")) {
3704 IntrID = Intrinsic::allow_sanitize_hwaddress;
3707 if (IntrID != Intrinsic::not_intrinsic) {
3716 case Builtin::BI__arithmetic_fence: {
3720 llvm::FastMathFlags FMF =
Builder.getFastMathFlags();
3721 bool isArithmeticFenceEnabled =
3722 FMF.allowReassoc() &&
3725 if (
ArgType->isComplexType()) {
3726 if (isArithmeticFenceEnabled) {
3729 Value *Real =
Builder.CreateArithmeticFence(ComplexVal.first,
3731 Value *Imag =
Builder.CreateArithmeticFence(ComplexVal.second,
3736 Value *Real = ComplexVal.first;
3737 Value *Imag = ComplexVal.second;
3741 if (isArithmeticFenceEnabled)
3746 case Builtin::BI__builtin_bswapg: {
3749 assert(
IntTy &&
"LLVM's __builtin_bswapg only supports integer variants");
3750 if (
IntTy->getBitWidth() == 1 ||
IntTy->getBitWidth() == 8)
3752 assert(((
IntTy->getBitWidth() % 16 == 0 &&
IntTy->getBitWidth() != 0)) &&
3753 "LLVM's __builtin_bswapg only supports integer variants that has a "
3754 "multiple of 16 bits as well as a single byte");
3758 case Builtin::BI__builtin_bswap16:
3759 case Builtin::BI__builtin_bswap32:
3760 case Builtin::BI__builtin_bswap64:
3761 case Builtin::BI_byteswap_ushort:
3762 case Builtin::BI_byteswap_ulong:
3763 case Builtin::BI_byteswap_uint64: {
3767 case Builtin::BI__builtin_bitreverseg: {
3771 "LLVM's __builtin_bitreverseg only support integer variants");
3772 if (
IntTy->getBitWidth() == 1)
3777 case Builtin::BI__builtin_bitreverse8:
3778 case Builtin::BI__builtin_bitreverse16:
3779 case Builtin::BI__builtin_bitreverse32:
3780 case Builtin::BI__builtin_bitreverse64: {
3784 case Builtin::BI__builtin_rotateleft8:
3785 case Builtin::BI__builtin_rotateleft16:
3786 case Builtin::BI__builtin_rotateleft32:
3787 case Builtin::BI__builtin_rotateleft64:
3788 case Builtin::BI__builtin_stdc_rotate_left:
3789 case Builtin::BIstdc_rotate_left_uc:
3790 case Builtin::BIstdc_rotate_left_us:
3791 case Builtin::BIstdc_rotate_left_ui:
3792 case Builtin::BIstdc_rotate_left_ul:
3793 case Builtin::BIstdc_rotate_left_ull:
3794 case Builtin::BI_rotl8:
3795 case Builtin::BI_rotl16:
3796 case Builtin::BI_rotl:
3797 case Builtin::BI_lrotl:
3798 case Builtin::BI_rotl64:
3801 case Builtin::BI__builtin_rotateright8:
3802 case Builtin::BI__builtin_rotateright16:
3803 case Builtin::BI__builtin_rotateright32:
3804 case Builtin::BI__builtin_rotateright64:
3805 case Builtin::BI__builtin_stdc_rotate_right:
3806 case Builtin::BIstdc_rotate_right_uc:
3807 case Builtin::BIstdc_rotate_right_us:
3808 case Builtin::BIstdc_rotate_right_ui:
3809 case Builtin::BIstdc_rotate_right_ul:
3810 case Builtin::BIstdc_rotate_right_ull:
3811 case Builtin::BI_rotr8:
3812 case Builtin::BI_rotr16:
3813 case Builtin::BI_rotr:
3814 case Builtin::BI_lrotr:
3815 case Builtin::BI_rotr64:
3818 case Builtin::BIstdc_leading_zeros_uc:
3819 case Builtin::BIstdc_leading_zeros_us:
3820 case Builtin::BIstdc_leading_zeros_ui:
3821 case Builtin::BIstdc_leading_zeros_ul:
3822 case Builtin::BIstdc_leading_zeros_ull:
3823 case Builtin::BI__builtin_stdc_leading_zeros:
3825 case Builtin::BIstdc_leading_ones_uc:
3826 case Builtin::BIstdc_leading_ones_us:
3827 case Builtin::BIstdc_leading_ones_ui:
3828 case Builtin::BIstdc_leading_ones_ul:
3829 case Builtin::BIstdc_leading_ones_ull:
3830 case Builtin::BI__builtin_stdc_leading_ones:
3832 case Builtin::BIstdc_trailing_zeros_uc:
3833 case Builtin::BIstdc_trailing_zeros_us:
3834 case Builtin::BIstdc_trailing_zeros_ui:
3835 case Builtin::BIstdc_trailing_zeros_ul:
3836 case Builtin::BIstdc_trailing_zeros_ull:
3837 case Builtin::BI__builtin_stdc_trailing_zeros:
3839 case Builtin::BIstdc_trailing_ones_uc:
3840 case Builtin::BIstdc_trailing_ones_us:
3841 case Builtin::BIstdc_trailing_ones_ui:
3842 case Builtin::BIstdc_trailing_ones_ul:
3843 case Builtin::BIstdc_trailing_ones_ull:
3844 case Builtin::BI__builtin_stdc_trailing_ones:
3846 case Builtin::BIstdc_first_leading_zero_uc:
3847 case Builtin::BIstdc_first_leading_zero_us:
3848 case Builtin::BIstdc_first_leading_zero_ui:
3849 case Builtin::BIstdc_first_leading_zero_ul:
3850 case Builtin::BIstdc_first_leading_zero_ull:
3851 case Builtin::BI__builtin_stdc_first_leading_zero:
3853 case Builtin::BIstdc_first_leading_one_uc:
3854 case Builtin::BIstdc_first_leading_one_us:
3855 case Builtin::BIstdc_first_leading_one_ui:
3856 case Builtin::BIstdc_first_leading_one_ul:
3857 case Builtin::BIstdc_first_leading_one_ull:
3858 case Builtin::BI__builtin_stdc_first_leading_one:
3860 case Builtin::BIstdc_first_trailing_zero_uc:
3861 case Builtin::BIstdc_first_trailing_zero_us:
3862 case Builtin::BIstdc_first_trailing_zero_ui:
3863 case Builtin::BIstdc_first_trailing_zero_ul:
3864 case Builtin::BIstdc_first_trailing_zero_ull:
3865 case Builtin::BI__builtin_stdc_first_trailing_zero:
3867 case Builtin::BIstdc_first_trailing_one_uc:
3868 case Builtin::BIstdc_first_trailing_one_us:
3869 case Builtin::BIstdc_first_trailing_one_ui:
3870 case Builtin::BIstdc_first_trailing_one_ul:
3871 case Builtin::BIstdc_first_trailing_one_ull:
3872 case Builtin::BI__builtin_stdc_first_trailing_one:
3874 case Builtin::BIstdc_count_zeros_uc:
3875 case Builtin::BIstdc_count_zeros_us:
3876 case Builtin::BIstdc_count_zeros_ui:
3877 case Builtin::BIstdc_count_zeros_ul:
3878 case Builtin::BIstdc_count_zeros_ull:
3879 case Builtin::BI__builtin_stdc_count_zeros:
3881 case Builtin::BIstdc_count_ones_uc:
3882 case Builtin::BIstdc_count_ones_us:
3883 case Builtin::BIstdc_count_ones_ui:
3884 case Builtin::BIstdc_count_ones_ul:
3885 case Builtin::BIstdc_count_ones_ull:
3886 case Builtin::BI__builtin_stdc_count_ones:
3889 case Builtin::BIstdc_has_single_bit_uc:
3890 case Builtin::BIstdc_has_single_bit_us:
3891 case Builtin::BIstdc_has_single_bit_ui:
3892 case Builtin::BIstdc_has_single_bit_ul:
3893 case Builtin::BIstdc_has_single_bit_ull:
3894 case Builtin::BI__builtin_stdc_has_single_bit: {
3902 case Builtin::BIstdc_bit_width_uc:
3903 case Builtin::BIstdc_bit_width_us:
3904 case Builtin::BIstdc_bit_width_ui:
3905 case Builtin::BIstdc_bit_width_ul:
3906 case Builtin::BIstdc_bit_width_ull:
3907 case Builtin::BI__builtin_stdc_bit_width:
3909 case Builtin::BIstdc_bit_floor_uc:
3910 case Builtin::BIstdc_bit_floor_us:
3911 case Builtin::BIstdc_bit_floor_ui:
3912 case Builtin::BIstdc_bit_floor_ul:
3913 case Builtin::BIstdc_bit_floor_ull:
3914 case Builtin::BI__builtin_stdc_bit_floor: {
3917 unsigned BitWidth =
ArgType->getIntegerBitWidth();
3929 case Builtin::BIstdc_bit_ceil_uc:
3930 case Builtin::BIstdc_bit_ceil_us:
3931 case Builtin::BIstdc_bit_ceil_ui:
3932 case Builtin::BIstdc_bit_ceil_ul:
3933 case Builtin::BIstdc_bit_ceil_ull:
3934 case Builtin::BI__builtin_stdc_bit_ceil: {
3938 Value *IsLEOne =
Builder.CreateICmpULE(ArgValue, One,
"isleone");
3940 BasicBlock *EntryBB =
Builder.GetInsertBlock();
3944 Builder.CreateCondBr(IsLEOne, MergeBB, CalcBB);
3946 Builder.SetInsertPoint(CalcBB);
3953 unsigned BitWidth =
ArgType->getIntegerBitWidth();
3960 Builder.SetInsertPoint(MergeBB);
3962 Phi->addIncoming(One, EntryBB);
3963 Phi->addIncoming(Tmp, CalcBB);
3968 case Builtin::BIstdc_memreverse8u8:
3971 case Builtin::BIstdc_memreverse8u16:
3972 case Builtin::BIstdc_memreverse8u32:
3973 case Builtin::BIstdc_memreverse8u64:
3977 case Builtin::BIstdc_memreverse8:
3978 case Builtin::BI__builtin_stdc_memreverse8: {
3981 uint64_t Size = R.Val.getInt().getZExtValue();
3986 if (Size == 2 || Size == 4 || Size == 8) {
4004 case Builtin::BIstdc_load8_leu8:
4005 case Builtin::BIstdc_load8_les8:
4006 case Builtin::BIstdc_load8_beu8:
4007 case Builtin::BIstdc_load8_bes8:
4008 case Builtin::BIstdc_load8_aligned_leu8:
4009 case Builtin::BIstdc_load8_aligned_les8:
4010 case Builtin::BIstdc_load8_aligned_beu8:
4011 case Builtin::BIstdc_load8_aligned_bes8:
4012 case Builtin::BIstdc_load8_leu16:
4013 case Builtin::BIstdc_load8_les16:
4014 case Builtin::BIstdc_load8_beu16:
4015 case Builtin::BIstdc_load8_bes16:
4016 case Builtin::BIstdc_load8_aligned_leu16:
4017 case Builtin::BIstdc_load8_aligned_les16:
4018 case Builtin::BIstdc_load8_aligned_beu16:
4019 case Builtin::BIstdc_load8_aligned_bes16:
4020 case Builtin::BIstdc_load8_leu32:
4021 case Builtin::BIstdc_load8_les32:
4022 case Builtin::BIstdc_load8_beu32:
4023 case Builtin::BIstdc_load8_bes32:
4024 case Builtin::BIstdc_load8_aligned_leu32:
4025 case Builtin::BIstdc_load8_aligned_les32:
4026 case Builtin::BIstdc_load8_aligned_beu32:
4027 case Builtin::BIstdc_load8_aligned_bes32:
4028 case Builtin::BIstdc_load8_leu64:
4029 case Builtin::BIstdc_load8_les64:
4030 case Builtin::BIstdc_load8_beu64:
4031 case Builtin::BIstdc_load8_bes64:
4032 case Builtin::BIstdc_load8_aligned_leu64:
4033 case Builtin::BIstdc_load8_aligned_les64:
4034 case Builtin::BIstdc_load8_aligned_beu64:
4035 case Builtin::BIstdc_load8_aligned_bes64: {
4036 bool IsBE = BuiltinID == Builtin::BIstdc_load8_beu8 ||
4037 BuiltinID == Builtin::BIstdc_load8_bes8 ||
4038 BuiltinID == Builtin::BIstdc_load8_beu16 ||
4039 BuiltinID == Builtin::BIstdc_load8_bes16 ||
4040 BuiltinID == Builtin::BIstdc_load8_beu32 ||
4041 BuiltinID == Builtin::BIstdc_load8_bes32 ||
4042 BuiltinID == Builtin::BIstdc_load8_beu64 ||
4043 BuiltinID == Builtin::BIstdc_load8_bes64 ||
4044 BuiltinID == Builtin::BIstdc_load8_aligned_beu8 ||
4045 BuiltinID == Builtin::BIstdc_load8_aligned_bes8 ||
4046 BuiltinID == Builtin::BIstdc_load8_aligned_beu16 ||
4047 BuiltinID == Builtin::BIstdc_load8_aligned_bes16 ||
4048 BuiltinID == Builtin::BIstdc_load8_aligned_beu32 ||
4049 BuiltinID == Builtin::BIstdc_load8_aligned_bes32 ||
4050 BuiltinID == Builtin::BIstdc_load8_aligned_beu64 ||
4051 BuiltinID == Builtin::BIstdc_load8_aligned_bes64;
4052 bool IsAligned = BuiltinID == Builtin::BIstdc_load8_aligned_leu8 ||
4053 BuiltinID == Builtin::BIstdc_load8_aligned_les8 ||
4054 BuiltinID == Builtin::BIstdc_load8_aligned_beu8 ||
4055 BuiltinID == Builtin::BIstdc_load8_aligned_bes8 ||
4056 BuiltinID == Builtin::BIstdc_load8_aligned_leu16 ||
4057 BuiltinID == Builtin::BIstdc_load8_aligned_les16 ||
4058 BuiltinID == Builtin::BIstdc_load8_aligned_beu16 ||
4059 BuiltinID == Builtin::BIstdc_load8_aligned_bes16 ||
4060 BuiltinID == Builtin::BIstdc_load8_aligned_leu32 ||
4061 BuiltinID == Builtin::BIstdc_load8_aligned_les32 ||
4062 BuiltinID == Builtin::BIstdc_load8_aligned_beu32 ||
4063 BuiltinID == Builtin::BIstdc_load8_aligned_bes32 ||
4064 BuiltinID == Builtin::BIstdc_load8_aligned_leu64 ||
4065 BuiltinID == Builtin::BIstdc_load8_aligned_les64 ||
4066 BuiltinID == Builtin::BIstdc_load8_aligned_beu64 ||
4067 BuiltinID == Builtin::BIstdc_load8_aligned_bes64;
4070 unsigned BitWidth =
IntTy->getIntegerBitWidth();
4072 (BitWidth == 8 || BitWidth == 16 || BitWidth == 32 || BitWidth == 64) &&
4073 "unexpected bit width for stdc_load8_*");
4077 Addr =
Addr.withAlignment(std::max(
Addr.getAlignment(), TypeAlign));
4081 if ((BitWidth == 16 || BitWidth == 32 || BitWidth == 64) &&
4083 Val =
Builder.CreateCall(
CGM.getIntrinsic(Intrinsic::bswap,
IntTy), Val);
4088 case Builtin::BI__builtin_constant_p: {
4095 if (!
ArgType->isIntegralOrEnumerationType() && !
ArgType->isFloatingType() &&
4096 !
ArgType->isObjCObjectPointerType() && !
ArgType->isBlockPointerType())
4099 return RValue::get(ConstantInt::get(ResultType, 0));
4104 return RValue::get(ConstantInt::get(ResultType, 0));
4107 if (
ArgType->isObjCObjectPointerType()) {
4116 if (
Result->getType() != ResultType)
4120 case Builtin::BI__builtin_dynamic_object_size:
4121 case Builtin::BI__builtin_object_size: {
4128 bool IsDynamic = BuiltinID == Builtin::BI__builtin_dynamic_object_size;
4130 nullptr, IsDynamic));
4132 case Builtin::BI__builtin_counted_by_ref: {
4134 llvm::Value *
Result = llvm::ConstantPointerNull::get(
4139 if (
auto *UO = dyn_cast<UnaryOperator>(Arg);
4140 UO && UO->getOpcode() == UO_AddrOf) {
4143 if (
auto *ASE = dyn_cast<ArraySubscriptExpr>(Arg))
4147 if (
const MemberExpr *ME = dyn_cast_if_present<MemberExpr>(Arg)) {
4155 llvm::report_fatal_error(
"Cannot find the counted_by 'count' field");
4161 case Builtin::BI__builtin_prefetch: {
4163 unsigned ICEArguments = (1 << 1) | (1 << 2);
4165 : llvm::ConstantInt::get(
Int32Ty, 0);
4169 : llvm::ConstantInt::get(
Int32Ty, 3);
4176 case Builtin::BI__builtin_readcyclecounter: {
4177 Function *F =
CGM.getIntrinsic(Intrinsic::readcyclecounter);
4180 case Builtin::BI__builtin_readsteadycounter: {
4181 Function *F =
CGM.getIntrinsic(Intrinsic::readsteadycounter);
4184 case Builtin::BI__builtin___clear_cache: {
4187 Function *F =
CGM.getIntrinsic(Intrinsic::clear_cache, {
CGM.DefaultPtrTy});
4190 case Builtin::BI__builtin_trap:
4193 case Builtin::BI__builtin_verbose_trap: {
4194 llvm::DebugLoc CallLocation =
Builder.getCurrentDebugLocation();
4195 llvm::DILocation *TrapLocation = CallLocation;
4202 TrapLocation = llvm::DILocation::get(
4204 TrapLocation->getScope(), TrapLocation->getInlinedAt());
4211 case Builtin::BI__debugbreak:
4214 case Builtin::BI__builtin_unreachable: {
4223 case Builtin::BI__builtin_powi:
4224 case Builtin::BI__builtin_powif:
4225 case Builtin::BI__builtin_powil: {
4229 if (
Builder.getIsFPConstrained()) {
4233 Function *F =
CGM.getIntrinsic(Intrinsic::experimental_constrained_powi,
4239 { Src0->getType(), Src1->getType() });
4242 case Builtin::BI__builtin_frexpl: {
4246 if (&
getTarget().getLongDoubleFormat() == &llvm::APFloat::PPCDoubleDouble())
4250 case Builtin::BI__builtin_frexp:
4251 case Builtin::BI__builtin_frexpf:
4252 case Builtin::BI__builtin_frexpf128:
4253 case Builtin::BI__builtin_frexpf16:
4255 case Builtin::BImodf:
4256 case Builtin::BImodff:
4257 case Builtin::BImodfl:
4258 case Builtin::BI__builtin_modf:
4259 case Builtin::BI__builtin_modff:
4260 case Builtin::BI__builtin_modfl:
4261 if (
Builder.getIsFPConstrained())
4264 case Builtin::BI__builtin_isgreater:
4265 case Builtin::BI__builtin_isgreaterequal:
4266 case Builtin::BI__builtin_isless:
4267 case Builtin::BI__builtin_islessequal:
4268 case Builtin::BI__builtin_islessgreater:
4269 case Builtin::BI__builtin_isunordered: {
4276 switch (BuiltinID) {
4277 default: llvm_unreachable(
"Unknown ordered comparison");
4278 case Builtin::BI__builtin_isgreater:
4279 LHS =
Builder.CreateFCmpOGT(LHS, RHS,
"cmp");
4281 case Builtin::BI__builtin_isgreaterequal:
4282 LHS =
Builder.CreateFCmpOGE(LHS, RHS,
"cmp");
4284 case Builtin::BI__builtin_isless:
4285 LHS =
Builder.CreateFCmpOLT(LHS, RHS,
"cmp");
4287 case Builtin::BI__builtin_islessequal:
4288 LHS =
Builder.CreateFCmpOLE(LHS, RHS,
"cmp");
4290 case Builtin::BI__builtin_islessgreater:
4291 LHS =
Builder.CreateFCmpONE(LHS, RHS,
"cmp");
4293 case Builtin::BI__builtin_isunordered:
4294 LHS =
Builder.CreateFCmpUNO(LHS, RHS,
"cmp");
4301 case Builtin::BI__builtin_isnan: {
4311 case Builtin::BI__builtin_issignaling: {
4319 case Builtin::BI__builtin_isinf: {
4329 case Builtin::BIfinite:
4330 case Builtin::BI__finite:
4331 case Builtin::BIfinitef:
4332 case Builtin::BI__finitef:
4333 case Builtin::BIfinitel:
4334 case Builtin::BI__finitel:
4335 case Builtin::BI__builtin_isfinite: {
4345 case Builtin::BI__builtin_isnormal: {
4353 case Builtin::BI__builtin_issubnormal: {
4357 Builder.CreateZExt(
Builder.createIsFPClass(
V, FPClassTest::fcSubnormal),
4361 case Builtin::BI__builtin_iszero: {
4369 case Builtin::BI__builtin_isfpclass: {
4373 uint64_t Test =
Result.Val.getInt().getLimitedValue();
4380 case Builtin::BI__builtin_nondeterministic_value: {
4389 case Builtin::BI__builtin_elementwise_abs: {
4394 QT = VecTy->getElementType();
4396 QT = MatTy->getElementType();
4400 nullptr,
"elt.abs");
4407 case Builtin::BI__builtin_elementwise_bitreverse:
4409 *
this, E, Intrinsic::bitreverse,
"elt.bitreverse"));
4410 case Builtin::BI__builtin_elementwise_popcount:
4412 *
this, E, Intrinsic::ctpop,
"elt.ctpop"));
4413 case Builtin::BI__builtin_elementwise_canonicalize:
4415 *
this, E, Intrinsic::canonicalize,
"elt.canonicalize"));
4416 case Builtin::BI__builtin_elementwise_copysign:
4419 case Builtin::BI__builtin_elementwise_fshl:
4422 case Builtin::BI__builtin_elementwise_fshr:
4425 case Builtin::BI__builtin_elementwise_clmul:
4428 case Builtin::BI__builtin_elementwise_pext:
4431 case Builtin::BI__builtin_elementwise_pdep:
4435 case Builtin::BI__builtin_elementwise_add_sat:
4436 case Builtin::BI__builtin_elementwise_sub_sat: {
4440 assert(Op0->
getType()->isIntOrIntVectorTy() &&
"integer type expected");
4443 Ty = VecTy->getElementType();
4446 if (BuiltinIDIfNoAsmLabel == Builtin::BI__builtin_elementwise_add_sat)
4447 Opc = IsSigned ? Intrinsic::sadd_sat : Intrinsic::uadd_sat;
4449 Opc = IsSigned ? Intrinsic::ssub_sat : Intrinsic::usub_sat;
4450 Result =
Builder.CreateBinaryIntrinsic(Opc, Op0, Op1,
nullptr,
"elt.sat");
4454 case Builtin::BI__builtin_elementwise_max: {
4458 if (Op0->
getType()->isIntOrIntVectorTy()) {
4463 Op0, Op1,
nullptr,
"elt.max");
4465 Result =
Builder.CreateMaxNum(Op0, Op1,
nullptr,
"elt.max");
4468 case Builtin::BI__builtin_elementwise_min: {
4472 if (Op0->
getType()->isIntOrIntVectorTy()) {
4477 Op0, Op1,
nullptr,
"elt.min");
4479 Result =
Builder.CreateMinNum(Op0, Op1,
nullptr,
"elt.min");
4483 case Builtin::BI__builtin_elementwise_maxnum: {
4487 Op1,
nullptr,
"elt.maxnum");
4491 case Builtin::BI__builtin_elementwise_minnum: {
4495 Op1,
nullptr,
"elt.minnum");
4499 case Builtin::BI__builtin_elementwise_maximum: {
4503 nullptr,
"elt.maximum");
4507 case Builtin::BI__builtin_elementwise_minimum: {
4511 nullptr,
"elt.minimum");
4515 case Builtin::BI__builtin_elementwise_maximumnum: {
4519 Intrinsic::maximumnum, Op0, Op1,
nullptr,
"elt.maximumnum");
4523 case Builtin::BI__builtin_elementwise_minimumnum: {
4527 Intrinsic::minimumnum, Op0, Op1,
nullptr,
"elt.minimumnum");
4531 case Builtin::BI__builtin_reduce_max: {
4532 auto GetIntrinsicID = [
this](
QualType QT) {
4534 QT = VecTy->getElementType();
4535 else if (QT->isSizelessVectorType())
4536 QT = QT->getSizelessVectorEltType(
CGM.getContext());
4538 if (QT->isSignedIntegerType())
4539 return Intrinsic::vector_reduce_smax;
4540 if (QT->isUnsignedIntegerType())
4541 return Intrinsic::vector_reduce_umax;
4542 assert(QT->isFloatingType() &&
"must have a float here");
4543 return Intrinsic::vector_reduce_fmax;
4546 *
this, E, GetIntrinsicID(E->
getArg(0)->
getType()),
"rdx.min"));
4549 case Builtin::BI__builtin_reduce_min: {
4550 auto GetIntrinsicID = [
this](
QualType QT) {
4552 QT = VecTy->getElementType();
4553 else if (QT->isSizelessVectorType())
4554 QT = QT->getSizelessVectorEltType(
CGM.getContext());
4556 if (QT->isSignedIntegerType())
4557 return Intrinsic::vector_reduce_smin;
4558 if (QT->isUnsignedIntegerType())
4559 return Intrinsic::vector_reduce_umin;
4560 assert(QT->isFloatingType() &&
"must have a float here");
4561 return Intrinsic::vector_reduce_fmin;
4565 *
this, E, GetIntrinsicID(E->
getArg(0)->
getType()),
"rdx.min"));
4568 case Builtin::BI__builtin_reduce_add:
4570 *
this, E, Intrinsic::vector_reduce_add,
"rdx.add"));
4571 case Builtin::BI__builtin_reduce_mul:
4573 *
this, E, Intrinsic::vector_reduce_mul,
"rdx.mul"));
4574 case Builtin::BI__builtin_reduce_xor:
4576 *
this, E, Intrinsic::vector_reduce_xor,
"rdx.xor"));
4577 case Builtin::BI__builtin_reduce_or:
4579 *
this, E, Intrinsic::vector_reduce_or,
"rdx.or"));
4580 case Builtin::BI__builtin_reduce_and:
4582 *
this, E, Intrinsic::vector_reduce_and,
"rdx.and"));
4583 case Builtin::BI__builtin_reduce_maximum:
4585 *
this, E, Intrinsic::vector_reduce_fmaximum,
"rdx.maximum"));
4586 case Builtin::BI__builtin_reduce_minimum:
4588 *
this, E, Intrinsic::vector_reduce_fminimum,
"rdx.minimum"));
4589 case Builtin::BI__builtin_reduce_assoc_fadd:
4590 case Builtin::BI__builtin_reduce_in_order_fadd: {
4592 llvm::Type *ScalarTy =
Vector->getType()->getScalarType();
4593 llvm::Value *StartValue =
nullptr;
4596 llvm::Value *Args[] = {StartValue
4598 : llvm::ConstantFP::get(ScalarTy, -0.0F),
4601 CGM.getIntrinsic(Intrinsic::vector_reduce_fadd,
Vector->getType());
4602 llvm::CallBase *Reduce =
Builder.CreateCall(F, Args,
"rdx.addf");
4603 if (BuiltinIDIfNoAsmLabel == Builtin::BI__builtin_reduce_assoc_fadd) {
4606 llvm::FastMathFlags FMF;
4607 FMF.setAllowReassoc();
4613 case Builtin::BI__builtin_matrix_transpose: {
4617 Value *
Result = MB.CreateMatrixTranspose(MatValue, MatrixTy->getNumRows(),
4618 MatrixTy->getNumColumns());
4622 case Builtin::BI__builtin_matrix_column_major_load: {
4628 assert(PtrTy &&
"arg0 must be of pointer type");
4629 bool IsVolatile = PtrTy->getPointeeType().isVolatileQualified();
4638 ResultTy->getNumRows(), ResultTy->getNumColumns(),
"matrix");
4642 case Builtin::BI__builtin_matrix_column_major_store: {
4650 assert(PtrTy &&
"arg1 must be of pointer type");
4651 bool IsVolatile = PtrTy->getPointeeType().isVolatileQualified();
4659 MatrixTy->getNumRows(), MatrixTy->getNumColumns());
4664 case Builtin::BI__builtin_masked_load:
4665 case Builtin::BI__builtin_masked_expand_load: {
4669 llvm::Type *RetTy =
CGM.getTypes().ConvertType(E->
getType());
4670 llvm::Value *PassThru = llvm::PoisonValue::get(RetTy);
4678 if (BuiltinID == Builtin::BI__builtin_masked_load)
4680 PassThru,
"masked_load");
4682 Result =
Builder.CreateMaskedExpandLoad(RetTy, Ptr, MaybeAlign(), Mask,
4683 PassThru,
"masked_expand_load");
4687 case Builtin::BI__builtin_masked_gather: {
4692 llvm::Type *RetTy =
CGM.getTypes().ConvertType(E->
getType());
4696 llvm::Value *PassThru = llvm::PoisonValue::get(RetTy);
4700 llvm::Type *ElemTy =
CGM.getTypes().ConvertType(
4702 llvm::Value *PtrVec =
Builder.CreateGEP(ElemTy, Ptr, Idx);
4705 RetTy, PtrVec, Align.
getAsAlign(), Mask, PassThru,
"masked_gather");
4708 case Builtin::BI__builtin_masked_store:
4709 case Builtin::BI__builtin_masked_compress_store: {
4718 if (BuiltinID == Builtin::BI__builtin_masked_store)
4721 Builder.CreateMaskedCompressStore(Val, Ptr, MaybeAlign(), Mask);
4725 case Builtin::BI__builtin_masked_scatter: {
4735 llvm::Type *ElemTy =
CGM.getTypes().ConvertType(
4737 llvm::Value *PtrVec =
Builder.CreateGEP(ElemTy, Ptr, Idx);
4742 case Builtin::BI__builtin_isinf_sign: {
4749 AbsArg, ConstantFP::getInfinity(Arg->
getType()),
"isinf");
4755 Value *NegativeOne = ConstantInt::getAllOnesValue(
IntTy);
4756 Value *SignResult =
Builder.CreateSelect(IsNeg, NegativeOne, One);
4761 case Builtin::BI__builtin_flt_rounds: {
4762 Function *F =
CGM.getIntrinsic(Intrinsic::get_rounding);
4766 if (
Result->getType() != ResultType)
4772 case Builtin::BI__builtin_set_flt_rounds: {
4773 Function *F =
CGM.getIntrinsic(Intrinsic::set_rounding);
4780 case Builtin::BI__builtin_fpclassify: {
4787 BasicBlock *Begin =
Builder.GetInsertBlock();
4792 "fpclassify_result");
4795 Builder.SetInsertPoint(Begin);
4796 Value *IsZero =
Builder.CreateFCmpOEQ(
V, Constant::getNullValue(Ty),
4800 Builder.CreateCondBr(IsZero, End, NotZero);
4801 Result->addIncoming(ZeroLiteral, Begin);
4804 Builder.SetInsertPoint(NotZero);
4808 Builder.CreateCondBr(IsNan, End, NotNan);
4809 Result->addIncoming(NanLiteral, NotZero);
4812 Builder.SetInsertPoint(NotNan);
4815 Builder.CreateFCmpOEQ(VAbs, ConstantFP::getInfinity(
V->getType()),
4819 Builder.CreateCondBr(IsInf, End, NotInf);
4820 Result->addIncoming(InfLiteral, NotNan);
4823 Builder.SetInsertPoint(NotInf);
4824 APFloat Smallest = APFloat::getSmallestNormalized(
4827 Builder.CreateFCmpUGE(VAbs, ConstantFP::get(
V->getContext(), Smallest),
4829 Value *NormalResult =
4833 Result->addIncoming(NormalResult, NotInf);
4846 case Builtin::BIalloca:
4847 case Builtin::BI_alloca:
4848 case Builtin::BI__builtin_alloca_uninitialized:
4849 case Builtin::BI__builtin_alloca: {
4853 const Align SuitableAlignmentInBytes =
4857 AllocaInst *AI =
Builder.CreateAlloca(
Builder.getInt8Ty(), Size);
4858 AI->setAlignment(SuitableAlignmentInBytes);
4859 if (BuiltinID != Builtin::BI__builtin_alloca_uninitialized)
4861 if (AI->getAddressSpace() !=
4862 CGM.getContext().getTargetAddressSpace(
4864 llvm::Type *Ty =
CGM.getTypes().ConvertType(E->
getType());
4870 case Builtin::BI__builtin_alloca_with_align_uninitialized:
4871 case Builtin::BI__builtin_alloca_with_align: {
4875 unsigned AlignmentInBits = AlignmentInBitsCI->getZExtValue();
4876 const Align AlignmentInBytes =
4877 CGM.getContext().toCharUnitsFromBits(AlignmentInBits).getAsAlign();
4878 AllocaInst *AI =
Builder.CreateAlloca(
Builder.getInt8Ty(), Size);
4879 AI->setAlignment(AlignmentInBytes);
4880 if (BuiltinID != Builtin::BI__builtin_alloca_with_align_uninitialized)
4882 if (AI->getAddressSpace() !=
4883 CGM.getContext().getTargetAddressSpace(
4885 llvm::Type *Ty =
CGM.getTypes().ConvertType(E->
getType());
4891 case Builtin::BI__builtin_infer_alloc_token: {
4895 CGM.getIntrinsic(llvm::Intrinsic::alloc_token_id, {
IntPtrTy});
4896 llvm::CallBase *TokenID =
Builder.CreateCall(F, MDV);
4900 case Builtin::BIbzero:
4901 case Builtin::BI__builtin_bzero: {
4906 auto *I =
Builder.CreateMemSet(Dest,
Builder.getInt8(0), SizeVal,
false);
4911 case Builtin::BIbcopy:
4912 case Builtin::BI__builtin_bcopy: {
4922 auto *I =
Builder.CreateMemMove(Dest, Src, SizeVal,
false);
4927 case Builtin::BImemcpy:
4928 case Builtin::BI__builtin_memcpy:
4929 case Builtin::BImempcpy:
4930 case Builtin::BI__builtin_mempcpy: {
4936 auto *I =
Builder.CreateMemCpy(Dest, Src, SizeVal,
false);
4938 if (BuiltinID == Builtin::BImempcpy ||
4939 BuiltinID == Builtin::BI__builtin_mempcpy)
4946 case Builtin::BI__builtin_memcpy_inline: {
4953 auto *I =
Builder.CreateMemCpyInline(Dest, Src, Size);
4958 case Builtin::BI__builtin_char_memchr:
4959 BuiltinID = Builtin::BI__builtin_memchr;
4962 case Builtin::BI__builtin___memcpy_chk: {
4968 llvm::APSInt Size = SizeResult.
Val.
getInt();
4969 llvm::APSInt DstSize = DstSizeResult.
Val.
getInt();
4970 if (Size.ugt(DstSize))
4974 Value *SizeVal = llvm::ConstantInt::get(
Builder.getContext(), Size);
4975 auto *I =
Builder.CreateMemCpy(Dest, Src, SizeVal,
false);
4980 case Builtin::BI__builtin_objc_memmove_collectable: {
4984 CGM.getObjCRuntime().EmitGCMemmoveCollectable(*
this,
4985 DestAddr, SrcAddr, SizeVal);
4989 case Builtin::BI__builtin___memmove_chk: {
4995 llvm::APSInt Size = SizeResult.
Val.
getInt();
4996 llvm::APSInt DstSize = DstSizeResult.
Val.
getInt();
4997 if (Size.ugt(DstSize))
5001 Value *SizeVal = llvm::ConstantInt::get(
Builder.getContext(), Size);
5002 auto *I =
Builder.CreateMemMove(Dest, Src, SizeVal,
false);
5007 case Builtin::BI__builtin_trivially_relocate:
5008 case Builtin::BImemmove:
5009 case Builtin::BI__builtin_memmove: {
5013 if (BuiltinIDIfNoAsmLabel == Builtin::BI__builtin_trivially_relocate)
5023 auto *I =
Builder.CreateMemMove(Dest, Src, SizeVal,
false);
5027 case Builtin::BImemset:
5028 case Builtin::BI__builtin_memset: {
5035 auto *I =
Builder.CreateMemSet(Dest, ByteVal, SizeVal,
false);
5039 case Builtin::BI__builtin_memset_inline: {
5048 auto *I =
Builder.CreateMemSetInline(Dest, ByteVal, Size);
5052 case Builtin::BI__builtin___memset_chk: {
5058 llvm::APSInt Size = SizeResult.
Val.
getInt();
5059 llvm::APSInt DstSize = DstSizeResult.
Val.
getInt();
5060 if (Size.ugt(DstSize))
5065 Value *SizeVal = llvm::ConstantInt::get(
Builder.getContext(), Size);
5066 auto *I =
Builder.CreateMemSet(Dest, ByteVal, SizeVal,
false);
5070 case Builtin::BI__builtin_wmemchr: {
5081 BasicBlock *Entry =
Builder.GetInsertBlock();
5086 Builder.CreateCondBr(SizeEq0, Exit, CmpEq);
5090 StrPhi->addIncoming(Str, Entry);
5092 SizePhi->addIncoming(Size, Entry);
5095 Value *StrCh =
Builder.CreateAlignedLoad(WCharTy, StrPhi, WCharAlign);
5096 Value *FoundChr =
Builder.CreateConstInBoundsGEP1_32(WCharTy, StrPhi, 0);
5101 Value *NextStr =
Builder.CreateConstInBoundsGEP1_32(WCharTy, StrPhi, 1);
5103 Value *NextSizeEq0 =
5104 Builder.CreateICmpEQ(NextSize, ConstantInt::get(
SizeTy, 0));
5105 Builder.CreateCondBr(NextSizeEq0, Exit, CmpEq);
5106 StrPhi->addIncoming(NextStr,
Next);
5107 SizePhi->addIncoming(NextSize,
Next);
5111 Ret->addIncoming(llvm::Constant::getNullValue(Str->
getType()), Entry);
5112 Ret->addIncoming(llvm::Constant::getNullValue(Str->
getType()),
Next);
5113 Ret->addIncoming(FoundChr, CmpEq);
5116 case Builtin::BI__builtin_wmemcmp: {
5128 BasicBlock *Entry =
Builder.GetInsertBlock();
5134 Builder.CreateCondBr(SizeEq0, Exit, CmpGT);
5138 DstPhi->addIncoming(Dst, Entry);
5140 SrcPhi->addIncoming(Src, Entry);
5142 SizePhi->addIncoming(Size, Entry);
5145 Value *DstCh =
Builder.CreateAlignedLoad(WCharTy, DstPhi, WCharAlign);
5146 Value *SrcCh =
Builder.CreateAlignedLoad(WCharTy, SrcPhi, WCharAlign);
5148 Builder.CreateCondBr(DstGtSrc, Exit, CmpLT);
5155 Value *NextDst =
Builder.CreateConstInBoundsGEP1_32(WCharTy, DstPhi, 1);
5156 Value *NextSrc =
Builder.CreateConstInBoundsGEP1_32(WCharTy, SrcPhi, 1);
5158 Value *NextSizeEq0 =
5159 Builder.CreateICmpEQ(NextSize, ConstantInt::get(
SizeTy, 0));
5160 Builder.CreateCondBr(NextSizeEq0, Exit, CmpGT);
5161 DstPhi->addIncoming(NextDst,
Next);
5162 SrcPhi->addIncoming(NextSrc,
Next);
5163 SizePhi->addIncoming(NextSize,
Next);
5167 Ret->addIncoming(ConstantInt::get(
IntTy, 0), Entry);
5168 Ret->addIncoming(ConstantInt::get(
IntTy, 1), CmpGT);
5169 Ret->addIncoming(ConstantInt::getAllOnesValue(
IntTy), CmpLT);
5170 Ret->addIncoming(ConstantInt::get(
IntTy, 0),
Next);
5173 case Builtin::BI__builtin_dwarf_cfa: {
5184 Function *F =
CGM.getIntrinsic(Intrinsic::eh_dwarf_cfa);
5186 llvm::ConstantInt::get(
Int32Ty, Offset)));
5188 case Builtin::BI__builtin_return_address: {
5193 CGM.getIntrinsic(Intrinsic::returnaddress, {
CGM.ProgramPtrTy});
5196 case Builtin::BI_ReturnAddress: {
5198 CGM.getIntrinsic(Intrinsic::returnaddress, {
CGM.ProgramPtrTy});
5201 case Builtin::BI__builtin_frame_address: {
5208 case Builtin::BI__builtin_stack_address: {
5212 case Builtin::BI__builtin_extract_return_addr: {
5217 case Builtin::BI__builtin_frob_return_addr: {
5222 case Builtin::BI__builtin_dwarf_sp_column: {
5223 llvm::IntegerType *Ty
5227 CGM.ErrorUnsupported(E,
"__builtin_dwarf_sp_column");
5232 case Builtin::BI__builtin_init_dwarf_reg_size_table: {
5235 CGM.ErrorUnsupported(E,
"__builtin_init_dwarf_reg_size_table");
5238 case Builtin::BI__builtin_eh_return: {
5243 assert((
IntTy->getBitWidth() == 32 ||
IntTy->getBitWidth() == 64) &&
5244 "LLVM's __builtin_eh_return only supports 32- and 64-bit variants");
5246 CGM.getIntrinsic(
IntTy->getBitWidth() == 32 ? Intrinsic::eh_return_i32
5247 : Intrinsic::eh_return_i64);
5256 case Builtin::BI__builtin_unwind_init: {
5257 Function *F =
CGM.getIntrinsic(Intrinsic::eh_unwind_init);
5261 case Builtin::BI__builtin_extend_pointer: {
5286 case Builtin::BI__builtin_setjmp: {
5294 Function *F =
CGM.getIntrinsic(Intrinsic::eh_sjlj_setjmp);
5301 ConstantInt::get(
Int32Ty, 0));
5302 Builder.CreateStore(FrameAddr, Buf);
5309 Builder.CreateStore(StackAddr, StackSaveSlot);
5312 Function *F =
CGM.getIntrinsic(Intrinsic::eh_sjlj_setjmp);
5315 case Builtin::BI__builtin_longjmp: {
5319 Builder.CreateCall(
CGM.getIntrinsic(Intrinsic::eh_sjlj_longjmp), Buf);
5329 case Builtin::BI__builtin_launder: {
5334 Ptr =
Builder.CreateLaunderInvariantGroup(Ptr);
5338 case Builtin::BI__builtin_clear_padding: {
5344 for (
const auto &Interval : Padding)
5349 case Builtin::BI__sync_fetch_and_add:
5350 case Builtin::BI__sync_fetch_and_sub:
5351 case Builtin::BI__sync_fetch_and_or:
5352 case Builtin::BI__sync_fetch_and_and:
5353 case Builtin::BI__sync_fetch_and_xor:
5354 case Builtin::BI__sync_fetch_and_nand:
5355 case Builtin::BI__sync_add_and_fetch:
5356 case Builtin::BI__sync_sub_and_fetch:
5357 case Builtin::BI__sync_and_and_fetch:
5358 case Builtin::BI__sync_or_and_fetch:
5359 case Builtin::BI__sync_xor_and_fetch:
5360 case Builtin::BI__sync_nand_and_fetch:
5361 case Builtin::BI__sync_val_compare_and_swap:
5362 case Builtin::BI__sync_bool_compare_and_swap:
5363 case Builtin::BI__sync_lock_test_and_set:
5364 case Builtin::BI__sync_lock_release:
5365 case Builtin::BI__sync_swap:
5366 llvm_unreachable(
"Shouldn't make it through sema");
5367 case Builtin::BI__sync_fetch_and_add_1:
5368 case Builtin::BI__sync_fetch_and_add_2:
5369 case Builtin::BI__sync_fetch_and_add_4:
5370 case Builtin::BI__sync_fetch_and_add_8:
5371 case Builtin::BI__sync_fetch_and_add_16:
5373 case Builtin::BI__sync_fetch_and_sub_1:
5374 case Builtin::BI__sync_fetch_and_sub_2:
5375 case Builtin::BI__sync_fetch_and_sub_4:
5376 case Builtin::BI__sync_fetch_and_sub_8:
5377 case Builtin::BI__sync_fetch_and_sub_16:
5379 case Builtin::BI__sync_fetch_and_or_1:
5380 case Builtin::BI__sync_fetch_and_or_2:
5381 case Builtin::BI__sync_fetch_and_or_4:
5382 case Builtin::BI__sync_fetch_and_or_8:
5383 case Builtin::BI__sync_fetch_and_or_16:
5385 case Builtin::BI__sync_fetch_and_and_1:
5386 case Builtin::BI__sync_fetch_and_and_2:
5387 case Builtin::BI__sync_fetch_and_and_4:
5388 case Builtin::BI__sync_fetch_and_and_8:
5389 case Builtin::BI__sync_fetch_and_and_16:
5391 case Builtin::BI__sync_fetch_and_xor_1:
5392 case Builtin::BI__sync_fetch_and_xor_2:
5393 case Builtin::BI__sync_fetch_and_xor_4:
5394 case Builtin::BI__sync_fetch_and_xor_8:
5395 case Builtin::BI__sync_fetch_and_xor_16:
5397 case Builtin::BI__sync_fetch_and_nand_1:
5398 case Builtin::BI__sync_fetch_and_nand_2:
5399 case Builtin::BI__sync_fetch_and_nand_4:
5400 case Builtin::BI__sync_fetch_and_nand_8:
5401 case Builtin::BI__sync_fetch_and_nand_16:
5405 case Builtin::BI__sync_fetch_and_min:
5407 case Builtin::BI__sync_fetch_and_max:
5409 case Builtin::BI__sync_fetch_and_umin:
5411 case Builtin::BI__sync_fetch_and_umax:
5414 case Builtin::BI__sync_add_and_fetch_1:
5415 case Builtin::BI__sync_add_and_fetch_2:
5416 case Builtin::BI__sync_add_and_fetch_4:
5417 case Builtin::BI__sync_add_and_fetch_8:
5418 case Builtin::BI__sync_add_and_fetch_16:
5420 llvm::Instruction::Add);
5421 case Builtin::BI__sync_sub_and_fetch_1:
5422 case Builtin::BI__sync_sub_and_fetch_2:
5423 case Builtin::BI__sync_sub_and_fetch_4:
5424 case Builtin::BI__sync_sub_and_fetch_8:
5425 case Builtin::BI__sync_sub_and_fetch_16:
5427 llvm::Instruction::Sub);
5428 case Builtin::BI__sync_and_and_fetch_1:
5429 case Builtin::BI__sync_and_and_fetch_2:
5430 case Builtin::BI__sync_and_and_fetch_4:
5431 case Builtin::BI__sync_and_and_fetch_8:
5432 case Builtin::BI__sync_and_and_fetch_16:
5434 llvm::Instruction::And);
5435 case Builtin::BI__sync_or_and_fetch_1:
5436 case Builtin::BI__sync_or_and_fetch_2:
5437 case Builtin::BI__sync_or_and_fetch_4:
5438 case Builtin::BI__sync_or_and_fetch_8:
5439 case Builtin::BI__sync_or_and_fetch_16:
5441 llvm::Instruction::Or);
5442 case Builtin::BI__sync_xor_and_fetch_1:
5443 case Builtin::BI__sync_xor_and_fetch_2:
5444 case Builtin::BI__sync_xor_and_fetch_4:
5445 case Builtin::BI__sync_xor_and_fetch_8:
5446 case Builtin::BI__sync_xor_and_fetch_16:
5448 llvm::Instruction::Xor);
5449 case Builtin::BI__sync_nand_and_fetch_1:
5450 case Builtin::BI__sync_nand_and_fetch_2:
5451 case Builtin::BI__sync_nand_and_fetch_4:
5452 case Builtin::BI__sync_nand_and_fetch_8:
5453 case Builtin::BI__sync_nand_and_fetch_16:
5455 llvm::Instruction::And,
true);
5457 case Builtin::BI__sync_val_compare_and_swap_1:
5458 case Builtin::BI__sync_val_compare_and_swap_2:
5459 case Builtin::BI__sync_val_compare_and_swap_4:
5460 case Builtin::BI__sync_val_compare_and_swap_8:
5461 case Builtin::BI__sync_val_compare_and_swap_16:
5463 *
this, E,
false, AtomicOrdering::SequentiallyConsistent,
5464 AtomicOrdering::SequentiallyConsistent));
5466 case Builtin::BI__sync_bool_compare_and_swap_1:
5467 case Builtin::BI__sync_bool_compare_and_swap_2:
5468 case Builtin::BI__sync_bool_compare_and_swap_4:
5469 case Builtin::BI__sync_bool_compare_and_swap_8:
5470 case Builtin::BI__sync_bool_compare_and_swap_16:
5472 *
this, E,
true, AtomicOrdering::SequentiallyConsistent,
5473 AtomicOrdering::SequentiallyConsistent));
5475 case Builtin::BI__sync_swap_1:
5476 case Builtin::BI__sync_swap_2:
5477 case Builtin::BI__sync_swap_4:
5478 case Builtin::BI__sync_swap_8:
5479 case Builtin::BI__sync_swap_16:
5482 case Builtin::BI__sync_lock_test_and_set_1:
5483 case Builtin::BI__sync_lock_test_and_set_2:
5484 case Builtin::BI__sync_lock_test_and_set_4:
5485 case Builtin::BI__sync_lock_test_and_set_8:
5486 case Builtin::BI__sync_lock_test_and_set_16:
5489 case Builtin::BI__sync_lock_release_1:
5490 case Builtin::BI__sync_lock_release_2:
5491 case Builtin::BI__sync_lock_release_4:
5492 case Builtin::BI__sync_lock_release_8:
5493 case Builtin::BI__sync_lock_release_16: {
5499 llvm::StoreInst *Store =
5500 Builder.CreateStore(llvm::Constant::getNullValue(ITy), Ptr);
5501 Store->setAtomic(llvm::AtomicOrdering::Release);
5505 case Builtin::BI__sync_synchronize: {
5513 Builder.CreateFence(llvm::AtomicOrdering::SequentiallyConsistent);
5517 case Builtin::BI__builtin_nontemporal_load:
5519 case Builtin::BI__builtin_nontemporal_store:
5521 case Builtin::BI__c11_atomic_is_lock_free:
5522 case Builtin::BI__atomic_is_lock_free: {
5526 const char *LibCallName =
"__atomic_is_lock_free";
5530 if (BuiltinID == Builtin::BI__atomic_is_lock_free)
5537 CGM.getTypes().arrangeBuiltinFunctionCall(E->
getType(), Args);
5538 llvm::FunctionType *FTy =
CGM.getTypes().GetFunctionType(FuncInfo);
5539 llvm::FunctionCallee
Func =
CGM.CreateRuntimeFunction(FTy, LibCallName);
5544 case Builtin::BI__atomic_thread_fence:
5545 case Builtin::BI__atomic_signal_fence:
5546 case Builtin::BI__c11_atomic_thread_fence:
5547 case Builtin::BI__c11_atomic_signal_fence: {
5548 llvm::SyncScope::ID SSID;
5549 if (BuiltinID == Builtin::BI__atomic_signal_fence ||
5550 BuiltinID == Builtin::BI__c11_atomic_signal_fence)
5551 SSID = llvm::SyncScope::SingleThread;
5553 SSID = llvm::SyncScope::System;
5578 llvm::BasicBlock *AcquireBB, *ReleaseBB, *AcqRelBB, *SeqCstBB;
5585 Order =
Builder.CreateIntCast(Order,
Builder.getInt32Ty(),
false);
5586 llvm::SwitchInst *SI =
Builder.CreateSwitch(Order, ContBB);
5588 Builder.SetInsertPoint(AcquireBB);
5591 SI->addCase(
Builder.getInt32(1), AcquireBB);
5592 SI->addCase(
Builder.getInt32(2), AcquireBB);
5594 Builder.SetInsertPoint(ReleaseBB);
5597 SI->addCase(
Builder.getInt32(3), ReleaseBB);
5599 Builder.SetInsertPoint(AcqRelBB);
5602 SI->addCase(
Builder.getInt32(4), AcqRelBB);
5604 Builder.SetInsertPoint(SeqCstBB);
5607 SI->addCase(
Builder.getInt32(5), SeqCstBB);
5609 Builder.SetInsertPoint(ContBB);
5612 case Builtin::BI__scoped_atomic_thread_fence: {
5617 auto Ord = dyn_cast<llvm::ConstantInt>(Order);
5618 auto Scp = dyn_cast<llvm::ConstantInt>(
Scope);
5620 SyncScope SS = ScopeModel->isValid(Scp->getZExtValue())
5621 ? ScopeModel->map(Scp->getZExtValue())
5622 : ScopeModel->map(ScopeModel->getFallBackValue());
5623 switch (Ord->getZExtValue()) {
5644 llvm::AtomicOrdering::AcquireRelease,
5651 llvm::AtomicOrdering::SequentiallyConsistent,
5663 switch (Ord->getZExtValue()) {
5666 ContBB->eraseFromParent();
5670 OrderBBs.emplace_back(
Builder.GetInsertBlock(),
5671 llvm::AtomicOrdering::Acquire);
5674 OrderBBs.emplace_back(
Builder.GetInsertBlock(),
5675 llvm::AtomicOrdering::Release);
5678 OrderBBs.emplace_back(
Builder.GetInsertBlock(),
5679 llvm::AtomicOrdering::AcquireRelease);
5682 OrderBBs.emplace_back(
Builder.GetInsertBlock(),
5683 llvm::AtomicOrdering::SequentiallyConsistent);
5692 Order =
Builder.CreateIntCast(Order,
Builder.getInt32Ty(),
false);
5693 llvm::SwitchInst *SI =
Builder.CreateSwitch(Order, ContBB);
5694 SI->addCase(
Builder.getInt32(1), AcquireBB);
5695 SI->addCase(
Builder.getInt32(2), AcquireBB);
5696 SI->addCase(
Builder.getInt32(3), ReleaseBB);
5697 SI->addCase(
Builder.getInt32(4), AcqRelBB);
5698 SI->addCase(
Builder.getInt32(5), SeqCstBB);
5700 OrderBBs.emplace_back(AcquireBB, llvm::AtomicOrdering::Acquire);
5701 OrderBBs.emplace_back(ReleaseBB, llvm::AtomicOrdering::Release);
5702 OrderBBs.emplace_back(AcqRelBB, llvm::AtomicOrdering::AcquireRelease);
5703 OrderBBs.emplace_back(SeqCstBB,
5704 llvm::AtomicOrdering::SequentiallyConsistent);
5707 for (
auto &[OrderBB, Ordering] : OrderBBs) {
5708 Builder.SetInsertPoint(OrderBB);
5710 SyncScope SS = ScopeModel->isValid(Scp->getZExtValue())
5711 ? ScopeModel->map(Scp->getZExtValue())
5712 : ScopeModel->map(ScopeModel->getFallBackValue());
5718 llvm::DenseMap<unsigned, llvm::BasicBlock *> BBs;
5719 for (
unsigned Scp : ScopeModel->getRuntimeValues())
5723 llvm::SwitchInst *SI =
Builder.CreateSwitch(SC, ContBB);
5724 for (
unsigned Scp : ScopeModel->getRuntimeValues()) {
5726 SI->addCase(
Builder.getInt32(Scp), B);
5737 Builder.SetInsertPoint(ContBB);
5741 case Builtin::BI__builtin_signbit:
5742 case Builtin::BI__builtin_signbitf:
5743 case Builtin::BI__builtin_signbitl: {
5748 case Builtin::BI__warn_memset_zero_len:
5750 case Builtin::BI__annotation: {
5755 assert(Str->getCharByteWidth() == 2 || Str->getCharByteWidth() == 4);
5756 StringRef WideBytes = Str->getBytes();
5757 std::string StrUtf8;
5759 (Str->getCharByteWidth() == 2)
5760 ? convertUTF16ToUTF8String(
5761 ArrayRef(WideBytes.data(), WideBytes.size()), StrUtf8)
5762 : convertUTF32ToUTF8String(
5763 ArrayRef(WideBytes.data(), WideBytes.size()), StrUtf8);
5765 CGM.ErrorUnsupported(E,
"non-Unicode __annotation argument");
5768 Strings.push_back(llvm::MDString::get(
getLLVMContext(), StrUtf8));
5772 llvm::Function *F =
CGM.getIntrinsic(Intrinsic::codeview_annotation, {});
5777 case Builtin::BI__builtin_annotation: {
5779 llvm::Function *F =
CGM.getIntrinsic(
5780 Intrinsic::annotation, {AnnVal->getType(),
CGM.ConstGlobalsPtrTy});
5789 case Builtin::BI__builtin_addcb:
5790 case Builtin::BI__builtin_addcs:
5791 case Builtin::BI__builtin_addc:
5792 case Builtin::BI__builtin_addcl:
5793 case Builtin::BI__builtin_addcll:
5794 case Builtin::BI__builtin_subcb:
5795 case Builtin::BI__builtin_subcs:
5796 case Builtin::BI__builtin_subc:
5797 case Builtin::BI__builtin_subcl:
5798 case Builtin::BI__builtin_subcll: {
5824 Intrinsic::ID IntrinsicId;
5825 switch (BuiltinID) {
5826 default: llvm_unreachable(
"Unknown multiprecision builtin id.");
5827 case Builtin::BI__builtin_addcb:
5828 case Builtin::BI__builtin_addcs:
5829 case Builtin::BI__builtin_addc:
5830 case Builtin::BI__builtin_addcl:
5831 case Builtin::BI__builtin_addcll:
5832 IntrinsicId = Intrinsic::uadd_with_overflow;
5834 case Builtin::BI__builtin_subcb:
5835 case Builtin::BI__builtin_subcs:
5836 case Builtin::BI__builtin_subc:
5837 case Builtin::BI__builtin_subcl:
5838 case Builtin::BI__builtin_subcll:
5839 IntrinsicId = Intrinsic::usub_with_overflow;
5844 llvm::Value *Carry1;
5847 llvm::Value *Carry2;
5849 Sum1, Carryin, Carry2);
5850 llvm::Value *CarryOut =
Builder.CreateZExt(
Builder.CreateOr(Carry1, Carry2),
5852 Builder.CreateStore(CarryOut, CarryOutPtr);
5856 case Builtin::BI__builtin_add_overflow:
5857 case Builtin::BI__builtin_sub_overflow:
5858 case Builtin::BI__builtin_mul_overflow: {
5866 WidthAndSignedness LeftInfo =
5868 WidthAndSignedness RightInfo =
5870 WidthAndSignedness ResultInfo =
5877 RightInfo, ResultArg, ResultQTy,
5883 *
this, LeftArg, LeftInfo, RightArg, RightInfo, ResultArg, ResultQTy,
5886 WidthAndSignedness EncompassingInfo =
5889 llvm::Type *EncompassingLLVMTy =
5890 llvm::IntegerType::get(
CGM.getLLVMContext(), EncompassingInfo.Width);
5892 llvm::Type *ResultLLVMTy =
CGM.getTypes().ConvertType(ResultQTy);
5894 Intrinsic::ID IntrinsicId;
5895 switch (BuiltinID) {
5897 llvm_unreachable(
"Unknown overflow builtin id.");
5898 case Builtin::BI__builtin_add_overflow:
5899 IntrinsicId = EncompassingInfo.Signed ? Intrinsic::sadd_with_overflow
5900 : Intrinsic::uadd_with_overflow;
5902 case Builtin::BI__builtin_sub_overflow:
5903 IntrinsicId = EncompassingInfo.Signed ? Intrinsic::ssub_with_overflow
5904 : Intrinsic::usub_with_overflow;
5906 case Builtin::BI__builtin_mul_overflow:
5907 IntrinsicId = EncompassingInfo.Signed ? Intrinsic::smul_with_overflow
5908 : Intrinsic::umul_with_overflow;
5917 Left =
Builder.CreateIntCast(Left, EncompassingLLVMTy, LeftInfo.Signed);
5918 Right =
Builder.CreateIntCast(Right, EncompassingLLVMTy, RightInfo.Signed);
5921 llvm::Value *Overflow, *
Result;
5924 if (EncompassingInfo.Width > ResultInfo.Width) {
5927 llvm::Value *ResultTrunc =
Builder.CreateTrunc(
Result, ResultLLVMTy);
5931 llvm::Value *ResultTruncExt =
Builder.CreateIntCast(
5932 ResultTrunc, EncompassingLLVMTy, ResultInfo.Signed);
5933 llvm::Value *TruncationOverflow =
5936 Overflow =
Builder.CreateOr(Overflow, TruncationOverflow);
5948 case Builtin::BI__builtin_uadd_overflow:
5949 case Builtin::BI__builtin_uaddl_overflow:
5950 case Builtin::BI__builtin_uaddll_overflow:
5951 case Builtin::BI__builtin_usub_overflow:
5952 case Builtin::BI__builtin_usubl_overflow:
5953 case Builtin::BI__builtin_usubll_overflow:
5954 case Builtin::BI__builtin_umul_overflow:
5955 case Builtin::BI__builtin_umull_overflow:
5956 case Builtin::BI__builtin_umulll_overflow:
5957 case Builtin::BI__builtin_sadd_overflow:
5958 case Builtin::BI__builtin_saddl_overflow:
5959 case Builtin::BI__builtin_saddll_overflow:
5960 case Builtin::BI__builtin_ssub_overflow:
5961 case Builtin::BI__builtin_ssubl_overflow:
5962 case Builtin::BI__builtin_ssubll_overflow:
5963 case Builtin::BI__builtin_smul_overflow:
5964 case Builtin::BI__builtin_smull_overflow:
5965 case Builtin::BI__builtin_smulll_overflow: {
5975 Intrinsic::ID IntrinsicId;
5976 switch (BuiltinID) {
5977 default: llvm_unreachable(
"Unknown overflow builtin id.");
5978 case Builtin::BI__builtin_uadd_overflow:
5979 case Builtin::BI__builtin_uaddl_overflow:
5980 case Builtin::BI__builtin_uaddll_overflow:
5981 IntrinsicId = Intrinsic::uadd_with_overflow;
5983 case Builtin::BI__builtin_usub_overflow:
5984 case Builtin::BI__builtin_usubl_overflow:
5985 case Builtin::BI__builtin_usubll_overflow:
5986 IntrinsicId = Intrinsic::usub_with_overflow;
5988 case Builtin::BI__builtin_umul_overflow:
5989 case Builtin::BI__builtin_umull_overflow:
5990 case Builtin::BI__builtin_umulll_overflow:
5991 IntrinsicId = Intrinsic::umul_with_overflow;
5993 case Builtin::BI__builtin_sadd_overflow:
5994 case Builtin::BI__builtin_saddl_overflow:
5995 case Builtin::BI__builtin_saddll_overflow:
5996 IntrinsicId = Intrinsic::sadd_with_overflow;
5998 case Builtin::BI__builtin_ssub_overflow:
5999 case Builtin::BI__builtin_ssubl_overflow:
6000 case Builtin::BI__builtin_ssubll_overflow:
6001 IntrinsicId = Intrinsic::ssub_with_overflow;
6003 case Builtin::BI__builtin_smul_overflow:
6004 case Builtin::BI__builtin_smull_overflow:
6005 case Builtin::BI__builtin_smulll_overflow:
6006 IntrinsicId = Intrinsic::smul_with_overflow;
6013 Builder.CreateStore(Sum, SumOutPtr);
6017 case Builtin::BIaddressof:
6018 case Builtin::BI__addressof:
6019 case Builtin::BI__builtin_addressof:
6021 case Builtin::BI__builtin_function_start:
6024 case Builtin::BI__builtin_operator_new:
6027 case Builtin::BI__builtin_operator_delete:
6032 case Builtin::BI__builtin_is_aligned:
6034 case Builtin::BI__builtin_align_up:
6036 case Builtin::BI__builtin_align_down:
6039 case Builtin::BI__noop:
6042 case Builtin::BI__builtin_call_with_static_chain: {
6049 case Builtin::BI_InterlockedExchange8:
6050 case Builtin::BI_InterlockedExchange16:
6051 case Builtin::BI_InterlockedExchange:
6052 case Builtin::BI_InterlockedExchangePointer:
6055 case Builtin::BI_InterlockedCompareExchangePointer:
6058 case Builtin::BI_InterlockedCompareExchangePointer_nf:
6061 case Builtin::BI_InterlockedCompareExchange8:
6062 case Builtin::BI_InterlockedCompareExchange16:
6063 case Builtin::BI_InterlockedCompareExchange:
6064 case Builtin::BI_InterlockedCompareExchange64:
6066 case Builtin::BI_InterlockedIncrement16:
6067 case Builtin::BI_InterlockedIncrement:
6070 case Builtin::BI_InterlockedDecrement16:
6071 case Builtin::BI_InterlockedDecrement:
6074 case Builtin::BI_InterlockedAnd8:
6075 case Builtin::BI_InterlockedAnd16:
6076 case Builtin::BI_InterlockedAnd:
6078 case Builtin::BI_InterlockedExchangeAdd8:
6079 case Builtin::BI_InterlockedExchangeAdd16:
6080 case Builtin::BI_InterlockedExchangeAdd:
6083 case Builtin::BI_InterlockedExchangeSub8:
6084 case Builtin::BI_InterlockedExchangeSub16:
6085 case Builtin::BI_InterlockedExchangeSub:
6088 case Builtin::BI_InterlockedOr8:
6089 case Builtin::BI_InterlockedOr16:
6090 case Builtin::BI_InterlockedOr:
6092 case Builtin::BI_InterlockedXor8:
6093 case Builtin::BI_InterlockedXor16:
6094 case Builtin::BI_InterlockedXor:
6097 case Builtin::BI_bittest64:
6098 case Builtin::BI_bittest:
6099 case Builtin::BI_bittestandcomplement64:
6100 case Builtin::BI_bittestandcomplement:
6101 case Builtin::BI_bittestandreset64:
6102 case Builtin::BI_bittestandreset:
6103 case Builtin::BI_bittestandset64:
6104 case Builtin::BI_bittestandset:
6105 case Builtin::BI_interlockedbittestandreset:
6106 case Builtin::BI_interlockedbittestandreset64:
6107 case Builtin::BI_interlockedbittestandreset64_acq:
6108 case Builtin::BI_interlockedbittestandreset64_rel:
6109 case Builtin::BI_interlockedbittestandreset64_nf:
6110 case Builtin::BI_interlockedbittestandset64:
6111 case Builtin::BI_interlockedbittestandset64_acq:
6112 case Builtin::BI_interlockedbittestandset64_rel:
6113 case Builtin::BI_interlockedbittestandset64_nf:
6114 case Builtin::BI_interlockedbittestandset:
6115 case Builtin::BI_interlockedbittestandset_acq:
6116 case Builtin::BI_interlockedbittestandset_rel:
6117 case Builtin::BI_interlockedbittestandset_nf:
6118 case Builtin::BI_interlockedbittestandreset_acq:
6119 case Builtin::BI_interlockedbittestandreset_rel:
6120 case Builtin::BI_interlockedbittestandreset_nf:
6125 case Builtin::BI__iso_volatile_load8:
6126 case Builtin::BI__iso_volatile_load16:
6127 case Builtin::BI__iso_volatile_load32:
6128 case Builtin::BI__iso_volatile_load64:
6130 case Builtin::BI__iso_volatile_store8:
6131 case Builtin::BI__iso_volatile_store16:
6132 case Builtin::BI__iso_volatile_store32:
6133 case Builtin::BI__iso_volatile_store64:
6136 case Builtin::BI__builtin_ptrauth_sign_constant:
6139 case Builtin::BI__builtin_ptrauth_auth:
6140 case Builtin::BI__builtin_ptrauth_auth_and_resign:
6141 case Builtin::BI__builtin_ptrauth_auth_with_pc_and_resign:
6142 case Builtin::BI__builtin_ptrauth_auth_load_relative_and_sign:
6143 case Builtin::BI__builtin_ptrauth_blend_discriminator:
6144 case Builtin::BI__builtin_ptrauth_sign_generic_data:
6145 case Builtin::BI__builtin_ptrauth_sign_unauthenticated:
6146 case Builtin::BI__builtin_ptrauth_strip: {
6153 llvm::Type *OrigValueType = Args[0]->getType();
6154 if (OrigValueType->isPointerTy())
6157 switch (BuiltinID) {
6158 case Builtin::BI__builtin_ptrauth_auth_with_pc_and_resign:
6161 if (Args[2]->
getType()->isPointerTy())
6163 if (Args[3]->
getType()->isPointerTy())
6165 if (Args[5]->
getType()->isPointerTy())
6169 case Builtin::BI__builtin_ptrauth_auth_and_resign:
6170 case Builtin::BI__builtin_ptrauth_auth_load_relative_and_sign:
6171 if (Args[4]->
getType()->isPointerTy())
6175 case Builtin::BI__builtin_ptrauth_auth:
6176 case Builtin::BI__builtin_ptrauth_sign_unauthenticated:
6177 if (Args[2]->
getType()->isPointerTy())
6181 case Builtin::BI__builtin_ptrauth_sign_generic_data:
6182 if (Args[1]->
getType()->isPointerTy())
6186 case Builtin::BI__builtin_ptrauth_blend_discriminator:
6187 case Builtin::BI__builtin_ptrauth_strip:
6192 auto IntrinsicID = [&]() ->
unsigned {
6193 switch (BuiltinID) {
6194 case Builtin::BI__builtin_ptrauth_auth:
6195 return Intrinsic::ptrauth_auth;
6196 case Builtin::BI__builtin_ptrauth_auth_and_resign:
6197 return Intrinsic::ptrauth_resign;
6198 case Builtin::BI__builtin_ptrauth_auth_with_pc_and_resign:
6199 return Intrinsic::ptrauth_auth_with_pc_and_resign;
6200 case Builtin::BI__builtin_ptrauth_auth_load_relative_and_sign:
6201 return Intrinsic::ptrauth_resign_load_relative;
6202 case Builtin::BI__builtin_ptrauth_blend_discriminator:
6203 return Intrinsic::ptrauth_blend;
6204 case Builtin::BI__builtin_ptrauth_sign_generic_data:
6205 return Intrinsic::ptrauth_sign_generic;
6206 case Builtin::BI__builtin_ptrauth_sign_unauthenticated:
6207 return Intrinsic::ptrauth_sign;
6208 case Builtin::BI__builtin_ptrauth_strip:
6209 return Intrinsic::ptrauth_strip;
6211 llvm_unreachable(
"bad ptrauth intrinsic");
6213 auto Intrinsic =
CGM.getIntrinsic(IntrinsicID);
6216 if (BuiltinID != Builtin::BI__builtin_ptrauth_sign_generic_data &&
6217 BuiltinID != Builtin::BI__builtin_ptrauth_blend_discriminator &&
6218 OrigValueType->isPointerTy()) {
6224 case Builtin::BI__builtin_get_vtable_pointer: {
6230 assert(ThisAddress.isValid());
6231 llvm::Value *VTablePointer =
6236 case Builtin::BI__exception_code:
6237 case Builtin::BI_exception_code:
6239 case Builtin::BI__exception_info:
6240 case Builtin::BI_exception_info:
6242 case Builtin::BI__abnormal_termination:
6243 case Builtin::BI_abnormal_termination:
6245 case Builtin::BI_setjmpex:
6250 case Builtin::BI_setjmp:
6262 case Builtin::BImove:
6263 case Builtin::BImove_if_noexcept:
6264 case Builtin::BIforward:
6265 case Builtin::BIforward_like:
6266 case Builtin::BIas_const:
6268 case Builtin::BI__GetExceptionInfo: {
6269 if (llvm::GlobalVariable *GV =
6275 case Builtin::BI__fastfail:
6278 case Builtin::BI__builtin_coro_id:
6280 case Builtin::BI__builtin_coro_promise:
6282 case Builtin::BI__builtin_coro_resume:
6285 case Builtin::BI__builtin_coro_frame:
6287 case Builtin::BI__builtin_coro_noop:
6289 case Builtin::BI__builtin_coro_free:
6291 case Builtin::BI__builtin_coro_destroy:
6294 case Builtin::BI__builtin_coro_done:
6296 case Builtin::BI__builtin_coro_alloc:
6298 case Builtin::BI__builtin_coro_begin:
6300 case Builtin::BI__builtin_coro_end:
6302 case Builtin::BI__builtin_coro_suspend:
6304 case Builtin::BI__builtin_coro_size:
6306 case Builtin::BI__builtin_coro_align:
6310 case Builtin::BIread_pipe:
6311 case Builtin::BIwrite_pipe: {
6319 unsigned GenericAS =
6321 llvm::Type *I8PTy = llvm::PointerType::get(
getLLVMContext(), GenericAS);
6325 const char *Name = (BuiltinID == Builtin::BIread_pipe) ?
"__read_pipe_2"
6330 llvm::FunctionType *FTy = llvm::FunctionType::get(
Int32Ty, ArgTys,
false);
6331 Value *ACast =
Builder.CreateAddrSpaceCast(Arg1, I8PTy);
6334 {Arg0, ACast, PacketSize, PacketAlign}));
6337 "Illegal number of parameters to pipe function");
6338 const char *Name = (BuiltinID == Builtin::BIread_pipe) ?
"__read_pipe_4"
6341 llvm::Type *ArgTys[] = {Arg0->
getType(), Arg1->getType(),
Int32Ty, I8PTy,
6345 llvm::FunctionType *FTy = llvm::FunctionType::get(
Int32Ty, ArgTys,
false);
6346 Value *ACast =
Builder.CreateAddrSpaceCast(Arg3, I8PTy);
6353 {Arg0, Arg1, Arg2, ACast, PacketSize, PacketAlign}));
6358 case Builtin::BIreserve_read_pipe:
6359 case Builtin::BIreserve_write_pipe:
6360 case Builtin::BIwork_group_reserve_read_pipe:
6361 case Builtin::BIwork_group_reserve_write_pipe:
6362 case Builtin::BIsub_group_reserve_read_pipe:
6363 case Builtin::BIsub_group_reserve_write_pipe: {
6366 if (BuiltinID == Builtin::BIreserve_read_pipe)
6367 Name =
"__reserve_read_pipe";
6368 else if (BuiltinID == Builtin::BIreserve_write_pipe)
6369 Name =
"__reserve_write_pipe";
6370 else if (BuiltinID == Builtin::BIwork_group_reserve_read_pipe)
6371 Name =
"__work_group_reserve_read_pipe";
6372 else if (BuiltinID == Builtin::BIwork_group_reserve_write_pipe)
6373 Name =
"__work_group_reserve_write_pipe";
6374 else if (BuiltinID == Builtin::BIsub_group_reserve_read_pipe)
6375 Name =
"__sub_group_reserve_read_pipe";
6377 Name =
"__sub_group_reserve_write_pipe";
6388 llvm::FunctionType *FTy =
6389 llvm::FunctionType::get(ReservedIDTy, ArgTys,
false);
6392 if (Arg1->getType() !=
Int32Ty)
6395 {Arg0, Arg1, PacketSize, PacketAlign}));
6399 case Builtin::BIcommit_read_pipe:
6400 case Builtin::BIcommit_write_pipe:
6401 case Builtin::BIwork_group_commit_read_pipe:
6402 case Builtin::BIwork_group_commit_write_pipe:
6403 case Builtin::BIsub_group_commit_read_pipe:
6404 case Builtin::BIsub_group_commit_write_pipe: {
6406 if (BuiltinID == Builtin::BIcommit_read_pipe)
6407 Name =
"__commit_read_pipe";
6408 else if (BuiltinID == Builtin::BIcommit_write_pipe)
6409 Name =
"__commit_write_pipe";
6410 else if (BuiltinID == Builtin::BIwork_group_commit_read_pipe)
6411 Name =
"__work_group_commit_read_pipe";
6412 else if (BuiltinID == Builtin::BIwork_group_commit_write_pipe)
6413 Name =
"__work_group_commit_write_pipe";
6414 else if (BuiltinID == Builtin::BIsub_group_commit_read_pipe)
6415 Name =
"__sub_group_commit_read_pipe";
6417 Name =
"__sub_group_commit_write_pipe";
6427 llvm::FunctionType *FTy = llvm::FunctionType::get(
6431 {Arg0, Arg1, PacketSize, PacketAlign}));
6434 case Builtin::BIget_pipe_num_packets:
6435 case Builtin::BIget_pipe_max_packets: {
6436 const char *BaseName;
6438 if (BuiltinID == Builtin::BIget_pipe_num_packets)
6439 BaseName =
"__get_pipe_num_packets";
6441 BaseName =
"__get_pipe_max_packets";
6442 std::string Name = std::string(BaseName) +
6443 std::string(PipeTy->isReadOnly() ?
"_ro" :
"_wo");
6451 llvm::FunctionType *FTy = llvm::FunctionType::get(
Int32Ty, ArgTys,
false);
6454 {Arg0, PacketSize, PacketAlign}));
6458 case Builtin::BIto_global:
6459 case Builtin::BIto_local:
6460 case Builtin::BIto_private: {
6462 auto NewArgT = llvm::PointerType::get(
6465 auto NewRetT = llvm::PointerType::get(
6467 CGM.getContext().getTargetAddressSpace(
6469 auto FTy = llvm::FunctionType::get(NewRetT, {NewArgT},
false);
6470 llvm::Value *NewArg;
6471 if (Arg0->getType()->getPointerAddressSpace() !=
6472 NewArgT->getPointerAddressSpace())
6473 NewArg =
Builder.CreateAddrSpaceCast(Arg0, NewArgT);
6475 NewArg =
Builder.CreateBitOrPointerCast(Arg0, NewArgT);
6491 case Builtin::BIenqueue_kernel: {
6496 llvm::Type *GenericVoidPtrTy =
Builder.getPtrTy(
6513 Range = Range->stripPointerCasts();
6515 llvm::Type *RangePtrTy = Range->getType();
6520 Name =
"__enqueue_kernel_basic";
6521 llvm::Type *ArgTys[] = {QueueTy,
Int32Ty, RangePtrTy, GenericVoidPtrTy,
6523 llvm::FunctionType *FTy = llvm::FunctionType::get(
Int32Ty, ArgTys,
false);
6526 CGM.getOpenCLRuntime().emitOpenCLEnqueuedBlock(*
this, E->
getArg(3));
6528 Builder.CreatePointerCast(Info.KernelHandle, GenericVoidPtrTy);
6529 llvm::Value *
Block =
6530 Builder.CreatePointerCast(Info.BlockArg, GenericVoidPtrTy);
6533 {Queue, Flags, Range, Kernel, Block});
6536 assert(NumArgs >= 5 &&
"Invalid enqueue_kernel signature");
6540 auto CreateArrayForSizeVar =
6541 [=](
unsigned First) -> std::pair<llvm::Value *, llvm::Value *> {
6542 llvm::APInt ArraySize(32, NumArgs -
First);
6544 getContext().getSizeType(), ArraySize,
nullptr,
6548 llvm::Value *Alloca = Tmp.getPointer();
6549 llvm::Value *ElemPtr;
6553 auto *
Zero = llvm::ConstantInt::get(
IntTy, 0);
6554 for (
unsigned I =
First; I < NumArgs; ++I) {
6555 auto *Index = llvm::ConstantInt::get(
IntTy, I -
First);
6557 Builder.CreateGEP(Tmp.getElementType(), Alloca, {Zero, Index});
6563 V, GEP,
CGM.getDataLayout().getPrefTypeAlign(
SizeTy));
6565 return {ElemPtr, Alloca};
6571 Name =
"__enqueue_kernel_varargs";
6573 CGM.getOpenCLRuntime().emitOpenCLEnqueuedBlock(*
this, E->
getArg(3));
6575 Builder.CreatePointerCast(Info.KernelHandle, GenericVoidPtrTy);
6576 auto *
Block =
Builder.CreatePointerCast(Info.BlockArg, GenericVoidPtrTy);
6577 auto [ElemPtr, TmpPtr] = CreateArrayForSizeVar(4);
6581 llvm::Value *
const Args[] = {Queue, Flags,
6585 llvm::Type *
const ArgTys[] = {
6586 QueueTy,
IntTy, RangePtrTy, GenericVoidPtrTy,
6587 GenericVoidPtrTy,
IntTy, ElemPtr->getType()};
6589 llvm::FunctionType *FTy = llvm::FunctionType::get(
Int32Ty, ArgTys,
false);
6597 llvm::PointerType *PtrTy = llvm::PointerType::get(
6598 CGM.getLLVMContext(),
6601 llvm::Value *NumEvents =
6607 llvm::Value *EventWaitList =
nullptr;
6610 EventWaitList = llvm::ConstantPointerNull::get(PtrTy);
6617 EventWaitList =
Builder.CreatePointerCast(EventWaitList, PtrTy);
6619 llvm::Value *EventRet =
nullptr;
6622 EventRet = llvm::ConstantPointerNull::get(PtrTy);
6629 CGM.getOpenCLRuntime().emitOpenCLEnqueuedBlock(*
this, E->
getArg(6));
6631 Builder.CreatePointerCast(Info.KernelHandle, GenericVoidPtrTy);
6632 llvm::Value *
Block =
6633 Builder.CreatePointerCast(Info.BlockArg, GenericVoidPtrTy);
6635 std::vector<llvm::Type *> ArgTys = {
6637 PtrTy, PtrTy, GenericVoidPtrTy, GenericVoidPtrTy};
6639 std::vector<llvm::Value *> Args = {Queue, Flags, Range,
6640 NumEvents, EventWaitList, EventRet,
6645 Name =
"__enqueue_kernel_basic_events";
6646 llvm::FunctionType *FTy =
6647 llvm::FunctionType::get(
Int32Ty, ArgTys,
false);
6653 Args.push_back(ConstantInt::get(
Int32Ty, NumArgs - 7));
6655 Name =
"__enqueue_kernel_events_varargs";
6657 auto [ElemPtr, TmpPtr] = CreateArrayForSizeVar(7);
6658 Args.push_back(ElemPtr);
6659 ArgTys.push_back(ElemPtr->getType());
6661 llvm::FunctionType *FTy = llvm::FunctionType::get(
Int32Ty, ArgTys,
false);
6667 llvm_unreachable(
"Unexpected enqueue_kernel signature");
6671 case Builtin::BIget_kernel_work_group_size: {
6672 llvm::Type *GenericVoidPtrTy =
Builder.getPtrTy(
6675 CGM.getOpenCLRuntime().emitOpenCLEnqueuedBlock(*
this, E->
getArg(0));
6677 Builder.CreatePointerCast(Info.KernelHandle, GenericVoidPtrTy);
6678 Value *Arg =
Builder.CreatePointerCast(Info.BlockArg, GenericVoidPtrTy);
6680 CGM.CreateRuntimeFunction(
6681 llvm::FunctionType::get(
IntTy, {GenericVoidPtrTy, GenericVoidPtrTy},
6683 "__get_kernel_work_group_size_impl"),
6686 case Builtin::BIget_kernel_preferred_work_group_size_multiple: {
6687 llvm::Type *GenericVoidPtrTy =
Builder.getPtrTy(
6690 CGM.getOpenCLRuntime().emitOpenCLEnqueuedBlock(*
this, E->
getArg(0));
6692 Builder.CreatePointerCast(Info.KernelHandle, GenericVoidPtrTy);
6693 Value *Arg =
Builder.CreatePointerCast(Info.BlockArg, GenericVoidPtrTy);
6695 CGM.CreateRuntimeFunction(
6696 llvm::FunctionType::get(
IntTy, {GenericVoidPtrTy, GenericVoidPtrTy},
6698 "__get_kernel_preferred_work_group_size_multiple_impl"),
6701 case Builtin::BIget_kernel_max_sub_group_size_for_ndrange:
6702 case Builtin::BIget_kernel_sub_group_count_for_ndrange: {
6703 llvm::Type *GenericVoidPtrTy =
Builder.getPtrTy(
6708 CGM.getOpenCLRuntime().emitOpenCLEnqueuedBlock(*
this, E->
getArg(1));
6710 Builder.CreatePointerCast(Info.KernelHandle, GenericVoidPtrTy);
6713 BuiltinID == Builtin::BIget_kernel_max_sub_group_size_for_ndrange
6714 ?
"__get_kernel_max_sub_group_size_for_ndrange_impl"
6715 :
"__get_kernel_sub_group_count_for_ndrange_impl";
6717 CGM.CreateRuntimeFunction(
6718 llvm::FunctionType::get(
6719 IntTy, {NDRange->getType(), GenericVoidPtrTy, GenericVoidPtrTy},
6722 {NDRange, Kernel, Block}));
6724 case Builtin::BI__builtin_store_half:
6725 case Builtin::BI__builtin_store_halff: {
6733 case Builtin::BI__builtin_load_half: {
6738 case Builtin::BI__builtin_load_halff: {
6743 case Builtin::BI__builtin_printf:
6744 case Builtin::BIprintf:
6758 case Builtin::BI__builtin_canonicalize:
6759 case Builtin::BI__builtin_canonicalizef:
6760 case Builtin::BI__builtin_canonicalizef16:
6761 case Builtin::BI__builtin_canonicalizel:
6765 case Builtin::BI__builtin_thread_pointer: {
6766 if (!
getContext().getTargetInfo().isTLSSupported())
6767 CGM.ErrorUnsupported(E,
"__builtin_thread_pointer");
6770 {GlobalsInt8PtrTy}, {}));
6772 case Builtin::BI__builtin_os_log_format:
6775 case Builtin::BI__xray_customevent: {
6779 if (!
CGM.getCodeGenOpts().XRayInstrumentationBundle.has(
6783 if (
const auto *XRayAttr =
CurFuncDecl->getAttr<XRayInstrumentAttr>())
6787 Function *F =
CGM.getIntrinsic(Intrinsic::xray_customevent);
6788 auto FTy = F->getFunctionType();
6789 auto Arg0 = E->
getArg(0);
6791 auto Arg0Ty = Arg0->getType();
6792 auto PTy0 = FTy->getParamType(0);
6793 if (PTy0 != Arg0Val->getType()) {
6794 if (Arg0Ty->isArrayType())
6797 Arg0Val =
Builder.CreatePointerCast(Arg0Val, PTy0);
6800 auto PTy1 = FTy->getParamType(1);
6801 if (PTy1 != Arg1->getType())
6802 Arg1 =
Builder.CreateTruncOrBitCast(Arg1, PTy1);
6806 case Builtin::BI__xray_typedevent: {
6813 if (!
CGM.getCodeGenOpts().XRayInstrumentationBundle.has(
6817 if (
const auto *XRayAttr =
CurFuncDecl->getAttr<XRayInstrumentAttr>())
6821 Function *F =
CGM.getIntrinsic(Intrinsic::xray_typedevent);
6822 auto FTy = F->getFunctionType();
6824 auto PTy0 = FTy->getParamType(0);
6825 if (PTy0 != Arg0->getType())
6826 Arg0 =
Builder.CreateTruncOrBitCast(Arg0, PTy0);
6827 auto Arg1 = E->
getArg(1);
6829 auto Arg1Ty = Arg1->getType();
6830 auto PTy1 = FTy->getParamType(1);
6831 if (PTy1 != Arg1Val->getType()) {
6832 if (Arg1Ty->isArrayType())
6835 Arg1Val =
Builder.CreatePointerCast(Arg1Val, PTy1);
6838 auto PTy2 = FTy->getParamType(2);
6839 if (PTy2 != Arg2->getType())
6840 Arg2 =
Builder.CreateTruncOrBitCast(Arg2, PTy2);
6844 case Builtin::BI__builtin_ms_va_start:
6845 case Builtin::BI__builtin_ms_va_end:
6848 BuiltinID == Builtin::BI__builtin_ms_va_start));
6850 case Builtin::BI__builtin_ms_va_copy: {
6867 case Builtin::BI__builtin_zos_va_start:
6868 case Builtin::BI__builtin_zos_va_end: {
6881 BuiltinID == Builtin::BI__builtin_zos_va_start));
6883 case Builtin::BI__builtin_zos_va_copy: {
6888 uint64_t SizeBytes =
6889 CGM.getDataLayout().getTypeAllocSize(VAListTy).getFixedValue();
6890 Value *SizeVal = llvm::ConstantInt::get(
Int64Ty, SizeBytes);
6891 Builder.CreateMemCpy(Dest, Src, SizeVal,
false);
6895 case Builtin::BI__builtin_get_device_side_mangled_name: {
6896 auto Name =
CGM.getCUDARuntime().getDeviceSideName(
6898 auto Str =
CGM.GetAddrOfConstantCString(Name,
"");
6908 BI.isLibFunction(BuiltinID))
6910 CGM.getBuiltinLibFunction(FD, BuiltinID));
6914 if (BI.isPredefinedLibFunction(BuiltinID))
6924 if (
unsigned VectorWidth =
getContext().BuiltinInfo.getRequiredVectorWidth(BuiltinID))
6925 LargestVectorWidth = std::max(LargestVectorWidth, VectorWidth);
6929 Intrinsic::ID IntrinsicID = Intrinsic::not_intrinsic;
6932 if (!Prefix.empty()) {
6933 IntrinsicID = Intrinsic::getIntrinsicForClangBuiltin(Prefix.data(), Name);
6934 if (IntrinsicID == Intrinsic::not_intrinsic && Prefix ==
"spv" &&
6936 IntrinsicID = Intrinsic::getIntrinsicForClangBuiltin(
"amdgcn", Name);
6940 if (IntrinsicID == Intrinsic::not_intrinsic)
6941 IntrinsicID = Intrinsic::getIntrinsicForMSBuiltin(Prefix.data(), Name);
6944 if (IntrinsicID != Intrinsic::not_intrinsic) {
6949 unsigned ICEArguments = 0;
6955 llvm::FunctionType *FTy = F->getFunctionType();
6957 for (
unsigned i = 0, e = E->
getNumArgs(); i != e; ++i) {
6961 llvm::Type *PTy = FTy->getParamType(i);
6962 if (PTy != ArgValue->
getType()) {
6964 if (
auto *PtrTy = dyn_cast<llvm::PointerType>(PTy)) {
6965 if (PtrTy->getAddressSpace() !=
6966 ArgValue->
getType()->getPointerAddressSpace()) {
6967 ArgValue =
Builder.CreateAddrSpaceCast(
6969 PtrTy->getAddressSpace()));
6975 if (PTy->isX86_AMXTy())
6976 ArgValue =
Builder.CreateIntrinsic(Intrinsic::x86_cast_vector_to_tile,
6977 {ArgValue->
getType()}, {ArgValue});
6979 ArgValue =
Builder.CreateBitCast(ArgValue, PTy);
6982 Args.push_back(ArgValue);
6990 llvm::Type *RetTy =
VoidTy;
6994 if (RetTy !=
V->getType()) {
6996 if (
auto *PtrTy = dyn_cast<llvm::PointerType>(RetTy)) {
6997 if (PtrTy->getAddressSpace() !=
V->getType()->getPointerAddressSpace()) {
7000 PtrTy->getAddressSpace()));
7006 if (
V->getType()->isX86_AMXTy())
7007 V =
Builder.CreateIntrinsic(Intrinsic::x86_cast_tile_to_vector, {RetTy},
7013 if (RetTy->isVoidTy())
7033 if (
V->getType()->isVoidTy())
7040 llvm_unreachable(
"No current target builtin returns complex");
7042 llvm_unreachable(
"Bad evaluation kind in EmitBuiltinExpr");
7049 if (
V->getType()->isVoidTy())
7056 llvm_unreachable(
"No current hlsl builtin returns complex");
7058 llvm_unreachable(
"Bad evaluation kind in EmitBuiltinExpr");