view run/html_entity_grk3.html @ 1630:d0efa3ae5522 default tip

run/mini/naked_asm5: New x86_64 ABI passes the arguments in reverse order.
author David Nadlinger <code@klickverbot.at>
date Sat, 23 Apr 2011 22:57:32 +0200
parents 9a121126b077
children
line wrap: on
line source

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head><title>dstress.run.html_entity_grk3</title></head>
<body><pre><CODE>
module dstress.run.html_entity_grk3;

int main(){
	static assert('&alpha;' == 0x3B1);
	static assert('&beta;' == 0x3B2);
	static assert('&chi;' == 0x3C7);
	static assert('&Delta;' == 0x394);
	static assert('&delta;' == 0x3B4);
	static assert('&epsi;' == 0x3F5);
	static assert('&epsiv;' == 0x3B5);
	static assert('&eta;' == 0x3B7);
	static assert('&Gamma;' == 0x393);
	static assert('&gamma;' == 0x3B3);
	static assert('&Gammad;' == 0x3DC);
	static assert('&gammad;' == 0x3DD);
	static assert('&iota;' == 0x3B9);
	static assert('&kappa;' == 0x3BA);
	static assert('&kappav;' == 0x3F0);
	static assert('&Lambda;' == 0x39B);
	static assert('&lambda;' == 0x3BB);
	static assert('&mu;' == 0x3BC);
	static assert('&nu;' == 0x3BD);
	static assert('&Omega;' == 0x3A9);
	static assert('&omega;' == 0x3C9);
	static assert('&Phi;' == 0x3A6);
	static assert('&phi;' == 0x3D5);
	static assert('&phiv;' == 0x3C6);
	static assert('&Pi;' == 0x3A0);
	static assert('&pi;' == 0x3C0);
	static assert('&piv;' == 0x3D6);
	static assert('&Psi;' == 0x3A8);
	static assert('&psi;' == 0x3C8);
	static assert('&rho;' == 0x3C1);
	static assert('&rhov;' == 0x3F1);
	static assert('&Sigma;' == 0x3A3);
	static assert('&sigma;' == 0x3C3);
	static assert('&sigmav;' == 0x3C2);
	static assert('&tau;' == 0x3C4);
	static assert('&Theta;' == 0x398);
	static assert('&theta;' == 0x3B8);
	static assert('&thetav;' == 0x3D1);
	static assert('&upsi;' == 0x3C5);
	static assert('&Upsi;' == 0x3D2);
	static assert('&Xi;' == 0x39E);
	static assert('&xi;' == 0x3BE);
	static assert('&zeta;' == 0x3B6);
	return 0;
}
</CODE></pre></body>
</html>