{"name": "hpctimer_getwtime", "code": "double hpctimer_getwtime ( ) { __int64 @@v0@@ ; double @@v1@@ ; double @@v2@@ ; @@v0@@ = hpctimer_gettime ( ) ; if ( @@v0@@ < Number ) @@v1@@ = ( double ) ( int ) ( @@v0@@ & Number | ( ( unsigned __int64 ) @@v0@@ >> Number ) ) + ( double ) ( int ) ( @@v0@@ & Number | ( ( unsigned __int64 ) @@v0@@ >> Number ) ) ; else @@v1@@ = ( double ) ( int ) @@v0@@ ; if ( qword_550 < Number ) @@v2@@ = ( double ) ( int ) ( qword_550 & Number | ( ( unsigned __int64 ) qword_550 >> Number ) ) + ( double ) ( int ) ( qword_550 & Number | ( ( unsigned __int64 ) qword_550 >> Number ) ) ; else @@v2@@ = ( double ) ( int ) qword_550 ; return Number * ( @@v1@@ / @@v2@@ ) ; }", "source": [{"n": "v1", "t": {"T": 1, "n": "double", "s": 8}, "location": "r496"}, {"n": "v2", "t": {"T": 1, "n": "double", "s": 8}, "location": "r512"}, {"n": "v0", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]}