diff --git a/docs/LangRef.html b/docs/LangRef.html index e7fc5396a8a..b4dc3f975f1 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -772,8 +772,8 @@ system. The current set of primitive types is as follows:
The number of elements is a constant integer value; elementtype may -be any integral or floating point type.
+be any integer or floating point type.The two arguments to the 'and' instruction must be integral values. Both arguments must have + href="#t_integer">integer values. Both arguments must have identical types.
The truth table used for the 'and' instruction is:
@@ -2004,7 +1999,7 @@ identical types. or of its two operands.The two arguments to the 'or' instruction must be integral values. Both arguments must have + href="#t_integer">integer values. Both arguments must have identical types.
The truth table used for the 'or' instruction is:
@@ -2059,7 +2054,7 @@ or of its two operands. The xor is used to implement the "one's complement" operation, which is the "~" operator in C.The two arguments to the 'xor' instruction must be integral values. Both arguments must have + href="#t_integer">integer values. Both arguments must have identical types.
The truth table used for the 'xor' instruction is:
@@ -2698,7 +2693,7 @@ The 'trunc' instruction truncates its operand to the type ty2.The 'trunc' instruction takes a value to trunc, which must be an integer type, and a type that specifies the size -and type of the result, which must be an integral +and type of the result, which must be an integer type. The bit size of value must be larger than the bit size of ty2. Equal sized types are not allowed.
@@ -2735,8 +2730,8 @@ It will always truncate bits.The 'zext' instruction takes a value to cast, which must be of -integral type, and a type to cast it to, which must -also be of integral type. The bit size of the +integer type, and a type to cast it to, which must +also be of integer type. The bit size of the value must be smaller than the bit size of the destination type, ty2.
@@ -2773,8 +2768,8 @@ changes).The 'sext' instruction takes a value to cast, which must be of -integral type, and a type to cast it to, which must -also be of integral type. The bit size of the +integer type, and a type to cast it to, which must +also be of integer type. The bit size of the value must be smaller than the bit size of the destination type, ty2.
@@ -2887,7 +2882,7 @@ unsigned integer equivalent of type ty2.The 'fp2uint' instruction takes a value to cast, which must be a floating point value, and a type to cast it to, which -must be an integral type.
+must be an integer type.The 'fp2uint' instruction converts its @@ -2927,7 +2922,7 @@ If the value was non-zero, the i1 result will be true.
The 'fptosi' instruction takes a value to cast, which must be a floating point value, and a type to cast it to, which -must also be an integral type.
+must also be an integer type.The 'fptosi' instruction converts its @@ -2965,7 +2960,7 @@ integer and converts that value to the ty2 type.
The 'uitofp' instruction takes a value to cast, which must be an -integral value, and a type to cast it to, which must +integer value, and a type to cast it to, which must be a floating point type.
The 'sitofp' instruction takes a value to cast, which must be an -integral value, and a type to cast it to, which must be +integer value, and a type to cast it to, which must be a floating point type.
The remaining two arguments must be integral or +
The remaining two arguments must be integer or pointer typed. They must also be identical types.
The 'icmp' compares var1 and var2 according to