Introduce new ISL_CTX_(GET|SET)_INT_DEF macro
Introduce new ISL_CTX_(GET|SET)_INT_DEF macro

This macro uses the same implementation as the corresponding
BOOL and CHOICE macros. Hence, we simplify BOOL and CHOICE by
forwarding to the new INT macro.

Signed-off-by: Tobias Grosser <059b8b880f8441509ec8a65b50b4c6ae74ebea76@grosser.es>
Signed-off-by: Sven Verdoolaege <e5350bbed4977f5eb8ae1dc6abd9ae59d21ace75@kotnet.org>

PollyLabs/isl,SaberMod/isl-current,Meinersbur/isl,UBERTC/isl,pierrotdelalune/isl,BenzoSM/isl,evaautomation/isl,Distrotech/isl,serge-sans-paille/isl,Distrotech/isl,cfx-next/toolchain_isl-upstream,KangDroidSMProject/ISL,jleben/isl,inducer/isl-mirror,jleben/isl,tobig/isl,tobig/isl,Meinersbur/isl,VanirLLVM/toolchain_isl,pierrotdelalune/isl,abduld/isl,nicolasvasilache/isl,epowers/isl,BobSaget-Mod/libisl,inducer/isl-mirror,crossbuild/isl,crossbuild/isl,BenzoSM/isl,BenzoSM/isl,serge-sans-paille/isl,nicolasvasilache/isl,VanirLLVM/toolchain_isl,VanirLLVM/toolchain_isl,evaautomation/isl,simbuerg/isl,BenzoSM/isl,crossbuild/isl,BobSaget-Mod/libisl,BobSaget-Mod/libisl,nicolasvasilache/isl,abduld/isl,VanirLLVM/toolchain_isl,BenzoSM/isl,BobSaget-Mod/libisl,inducer/isl-mirror,serge-sans-paille/isl,KangDroidSMProject/ISL,cfx-next/toolchain_isl-upstream,pierrotdelalune/isl,inducer/isl-mirror,jleben/isl,PollyLabs/isl,cfx-next/toolchain_isl-upstream,simbuerg/isl,nicolasvasilache/isl,inducer/isl-mirror,epowers/isl,SaberMod/isl-current,jleben/isl,epowers/isl,BobSaget-Mod/libisl,Distrotech/isl,SaberMod/isl-current,PollyLabs/isl,tobig/isl,Meinersbur/isl,tobig/isl,jleben/isl,epowers/isl,abduld/isl,UBERTC/isl,nicolasvasilache/isl,cfx-next/toolchain_isl-upstream,PollyLabs/isl,simbuerg/isl,crossbuild/isl,KangDroidSMProject/ISL,evaautomation/isl,serge-sans-paille/isl,PollyLabs/isl,simbuerg/isl,KangDroidSMProject/ISL,VanirLLVM/toolchain_isl,KangDroidSMProject/ISL,Distrotech/isl,cfx-next/toolchain_isl-upstream,epowers/isl,SaberMod/isl-current,Distrotech/isl,UBERTC/isl,abduld/isl,evaautomation/isl,simbuerg/isl,pierrotdelalune/isl,pierrotdelalune/isl,Meinersbur/isl,UBERTC/isl,serge-sans-paille/isl