diff options
Diffstat (limited to 'test/monniaux/profiling/test_profiling.cm')
| -rw-r--r-- | test/monniaux/profiling/test_profiling.cm | 112 |
1 files changed, 0 insertions, 112 deletions
diff --git a/test/monniaux/profiling/test_profiling.cm b/test/monniaux/profiling/test_profiling.cm deleted file mode 100644 index 2a352510..00000000 --- a/test/monniaux/profiling/test_profiling.cm +++ /dev/null @@ -1,112 +0,0 @@ -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; -} - |