1DEF_MIR_INTRINSIC(JAVA_INTERFACE_CALL,\ 2 "__dex_interface_call", INTRNISJAVA, kArgTyDynany, kArgTyDynany, kArgTyDynany, kArgTyUndef, kArgTyUndef, kArgTyUndef, kArgTyUndef) 3DEF_MIR_INTRINSIC(JAVA_PRINT,\ 4 "printf", INTRNISJAVA, kArgTyVoid, kArgTyDynany, kArgTyDynany, kArgTyUndef, kArgTyUndef, kArgTyUndef, kArgTyUndef) 5DEF_MIR_INTRINSIC(JAVA_CLINIT_CHECK_SGET,\ 6 "__dex_clinit_check_sget", INTRNISJAVA, kArgTyVoid, kArgTyDynany, kArgTyUndef, kArgTyUndef, kArgTyUndef, kArgTyUndef, kArgTyUndef) 7DEF_MIR_INTRINSIC(JAVA_CLINIT_CHECK_SPUT,\ 8 "__dex__clinit_check_sput", INTRNISJAVA, kArgTyVoid, kArgTyDynany, kArgTyUndef, kArgTyUndef, kArgTyUndef, kArgTyUndef, kArgTyUndef) 9DEF_MIR_INTRINSIC(JAVA_CLINIT_CHECK_NEW,\ 10 "__dex_clinit_check_new", INTRNISJAVA, kArgTyVoid, kArgTyDynany, kArgTyUndef, kArgTyUndef, kArgTyUndef, kArgTyUndef, kArgTyUndef) 11DEF_MIR_INTRINSIC(JAVA_STR_TO_JSTR,\ 12 "__dex_str_to_jstr", INTRNISJAVA, kArgTyPtr, kArgTyPtr, kArgTyUndef, kArgTyUndef, kArgTyUndef, kArgTyUndef, kArgTyUndef) 13// __dex_random is used to generate a random value used in callback cfg 14DEF_MIR_INTRINSIC(JAVA_RANDOM,\ 15 "__dex_random", INTRNISJAVA | INTRNNOSIDEEFFECT, kArgTyI32, kArgTyUndef, kArgTyUndef, kArgTyUndef, kArgTyUndef, kArgTyUndef, kArgTyUndef) 16DEF_MIR_INTRINSIC(JAVA_THROW_CLASSCAST,\ 17 "MCC_ThrowClassCastException", INTRNISJAVA | INTRNNEVERRETURN, kArgTyVoid, kArgTyUndef, kArgTyUndef, kArgTyUndef, kArgTyUndef, kArgTyUndef, kArgTyUndef) 18