diff options
Diffstat (limited to 'test/monniaux/profiling/test_profiling.cm')
-rw-r--r-- | test/monniaux/profiling/test_profiling.cm | 112 |
1 files changed, 112 insertions, 0 deletions
diff --git a/test/monniaux/profiling/test_profiling.cm b/test/monniaux/profiling/test_profiling.cm new file mode 100644 index 00000000..2a352510 --- /dev/null +++ b/test/monniaux/profiling/test_profiling.cm @@ -0,0 +1,112 @@ +var "__stringlit_2" readonly {int8 122,int8 101,int8 114,int8 111,int8 10,int8 0} +var "__stringlit_1" readonly {int8 110,int8 101,int8 103,int8 97,int8 116,int8 105,int8 118,int8 101,int8 10,int8 0} +var "__stringlit_3" readonly {int8 112,int8 111,int8 115,int8 105,int8 116,int8 105,int8 118,int8 101,int8 10,int8 0} + +extern "__builtin_ais_annot" = builtin "__builtin_ais_annot" : long -> void +extern "__builtin_expect" = builtin "__builtin_expect" : long -> long -> long +extern "__builtin_bswap64" = builtin "__builtin_bswap64" : long -> long +extern "__builtin_bswap" = builtin "__builtin_bswap" : int -> int +extern "__builtin_bswap32" = builtin "__builtin_bswap32" : int -> int +extern "__builtin_bswap16" = builtin "__builtin_bswap16" : int -> int16u +extern "__builtin_clz" = builtin "__builtin_clz" : int -> int +extern "__builtin_clzl" = builtin "__builtin_clzl" : long -> int +extern "__builtin_clzll" = builtin "__builtin_clzll" : long -> int +extern "__builtin_ctz" = builtin "__builtin_ctz" : int -> int +extern "__builtin_ctzl" = builtin "__builtin_ctzl" : long -> int +extern "__builtin_ctzll" = builtin "__builtin_ctzll" : long -> int +extern "__builtin_fabs" = builtin "__builtin_fabs" : float -> float +extern "__builtin_fabsf" = builtin "__builtin_fabsf" : single -> single +extern "__builtin_fsqrt" = builtin "__builtin_fsqrt" : float -> float +extern "__builtin_sqrt" = builtin "__builtin_sqrt" : float -> float +extern "__builtin_memcpy_aligned" = builtin "__builtin_memcpy_aligned" : + long -> long -> long -> long -> void +extern "__builtin_sel" = builtin "__builtin_sel" : int -> void +extern "__builtin_annot" = builtin "__builtin_annot" : long -> void +extern "__builtin_annot_intval" = builtin "__builtin_annot_intval" : long -> + int -> int +extern "__builtin_membar" = builtin "__builtin_membar" : void +extern "__builtin_va_start" = builtin "__builtin_va_start" : long -> void +extern "__builtin_va_arg" = builtin "__builtin_va_arg" : long -> int -> void +extern "__builtin_va_copy" = builtin "__builtin_va_copy" : long -> long -> + void +extern "__builtin_va_end" = builtin "__builtin_va_end" : long -> void +extern "__compcert_va_int32" = extern "__compcert_va_int32" : long -> int +extern "__compcert_va_int64" = extern "__compcert_va_int64" : long -> long +extern "__compcert_va_float64" = extern "__compcert_va_float64" : long -> + float +extern "__compcert_va_composite" = extern "__compcert_va_composite" : long -> + long -> long +extern "__compcert_i64_dtos" = runtime "__compcert_i64_dtos" : float -> long +extern "__compcert_i64_dtou" = runtime "__compcert_i64_dtou" : float -> long +extern "__compcert_i64_stod" = runtime "__compcert_i64_stod" : long -> float +extern "__compcert_i64_utod" = runtime "__compcert_i64_utod" : long -> float +extern "__compcert_i64_stof" = runtime "__compcert_i64_stof" : long -> single +extern "__compcert_i64_utof" = runtime "__compcert_i64_utof" : long -> single +extern "__compcert_i64_sdiv" = runtime "__compcert_i64_sdiv" : long -> + long -> long +extern "__compcert_i64_udiv" = runtime "__compcert_i64_udiv" : long -> + long -> long +extern "__compcert_i64_smod" = runtime "__compcert_i64_smod" : long -> + long -> long +extern "__compcert_i64_umod" = runtime "__compcert_i64_umod" : long -> + long -> long +extern "__compcert_i64_shl" = runtime "__compcert_i64_shl" : long -> int -> + long +extern "__compcert_i64_shr" = runtime "__compcert_i64_shr" : long -> int -> + long +extern "__compcert_i64_sar" = runtime "__compcert_i64_sar" : long -> int -> + long +extern "__compcert_i64_smulh" = runtime "__compcert_i64_smulh" : long -> + long -> long +extern "__compcert_i64_umulh" = runtime "__compcert_i64_umulh" : long -> + long -> long +extern "__compcert_i32_sdiv" = runtime "__compcert_i32_sdiv" : int -> int -> + int +extern "__compcert_i32_udiv" = runtime "__compcert_i32_udiv" : int -> int -> + int +extern "__compcert_i32_smod" = runtime "__compcert_i32_smod" : int -> int -> + int +extern "__compcert_i32_umod" = runtime "__compcert_i32_umod" : int -> int -> + int +extern "__compcert_f32_div" = runtime "__compcert_f32_div" : single -> + single -> single +extern "__compcert_f64_div" = runtime "__compcert_f64_div" : float -> + float -> float +extern "__builtin_fence" = builtin "__builtin_fence" : void +extern "__builtin_cls" = builtin "__builtin_cls" : int -> int +extern "__builtin_clsl" = builtin "__builtin_clsl" : long -> int +extern "__builtin_clsll" = builtin "__builtin_clsll" : long -> int +extern "__builtin_fmadd" = builtin "__builtin_fmadd" : float -> float -> + float -> float +extern "__builtin_fmsub" = builtin "__builtin_fmsub" : float -> float -> + float -> float +extern "__builtin_fnmadd" = builtin "__builtin_fnmadd" : float -> float -> + float -> float +extern "__builtin_fnmsub" = builtin "__builtin_fnmsub" : float -> float -> + float -> float +extern "__builtin_fmax" = builtin "__builtin_fmax" : float -> float -> float +extern "__builtin_fmin" = builtin "__builtin_fmin" : float -> float -> float +extern "__builtin_debug" = extern "__builtin_debug" : int -> void +extern "atoi" = extern "atoi" : long -> int +extern "printf" = extern "printf" : long -> int +"main"('argc', 'argv') : int -> long -> int +{ + var 'i', '$71'; + if ('argc' < 2) { + return 1; + } + '$71' = "atoi"(int64['argv' +l 8LL *l longofint 1]) : long -> int; + 'i' = '$71'; + if ('i' > 0) { + "printf"("__stringlit_3") : long -> int; + } else { + if ('i' == 0) { + "printf"("__stringlit_2") : long -> int; + } else { + "printf"("__stringlit_1") : long -> int; + } + } + return 0; + return 0; +} + |