The zext fills the high order bits of the value with zero -bits until it reaches the size of the destination type, ty2. When the -the operand and the type are the same size, no bit filling is done and the -cast is considered a no-op cast because no bits change (only the type -changes).
+bits until it reaches the size of the destination type, ty2.When zero extending from i1, the result will always be either 0 or 1.
@@ -2949,9 +2946,7 @@ also be of integer type. The bit size of theThe 'sext' instruction performs a sign extension by copying the sign bit (highest order bit) of the value until it reaches the bit size of -the type ty2. When the the operand and the type are the same size, -no bit filling is done and the cast is considered a no-op cast because -no bits change (only the type changes).
+the type ty2.When sign extending from i1, the extension always results in -1 or 0.