Wint2

[bgregoir]

This PR introduce new types in jasmin source: siXX and uiXX.
For the compiler they are equal to wXX.
It also introduce the operator word_to_sint and word_to_uint
(int) w : is word_to_uint (for compatibility)
(uint) w : is word_to_uint
(sint) w : is word_to_sint ( NEW)
(XXsi) w : cast from wXX to siXX
(XXsi) si : cast from siYY to siXX
(XXsi) i : cast from int to sint
Same with XXui
(int) si | (sint) si : cast from siXX to int
(int) ui | (uint) si : cast from uiXX to int

New notation for uXX : wXX is not accepted and used for printing
Compilation starts by replacing all operations on siXX uiXX by corresponding wXX operations.
Extraction starts by replacing all operations on siXX uiXX by corresponding int operations.

[vbgl]

Suggested change

	| WIword_of_int of wsize (* int → word *)
	| WIint_of_word of wsize (* word/uint/sint → int, signed or unsigned interpretation *)
	| WIword_of_wint of wsize (* uint/sint -> word *)
	| WIwint_of_word of wsize (* word -> uint/sint *)
	| WIword_ext of wsize & wsize (* Sign-extension: output-size, input-size *)
	| WIwint_of_int of wsize (* int → word *)
	| WIint_of_wint of wsize (* word/uint/sint → int, signed or unsigned interpretation *)
	| WIword_of_wint of wsize (* uint/sint -> word *)
	| WIwint_of_word of wsize (* word -> uint/sint *)
	| WIwint_ext of wsize & wsize (* Sign-extension: output-size, input-size *)

(note to self)