--- tags: computer-arch --- # Quiz1 of Computer Architecture (2021 Fall) > Solutions ## Problem `A` [Two's Complement](https://en.wikipedia.org/wiki/Two%27s_complement) is the standard for representing signed integers: * The most significant bit (MSB) has a negative value; all others have positive values (same as unsigned) * Binary addition is performed the same way for signed and unsigned * The bit representation for the negative (additive inverse) of a two's complement number can be found by: - flipping all the bits and adding `1` (i.e.`-x = ~x + 1`). ![](https://hackmd.io/_uploads/ry-ws0uEt.png) The above "number wheel" showing the relationship between 4-bit numerals and their [Two's Complement](https://en.wikipedia.org/wiki/Two%27s_complement) interpretations is shown on the right: * The largest number is `7` whereas the smallest number is `-8` * There is a nice symmetry between numbers and their negative counterparts except for `-8` This section is designed as a conceptual check for you to determine if you conceptually understand and have any misconceptions about this topic. Please answer **Yes** / **No** to the following questions: 1. Is it possible to get an overflow error in [Two's Complement](https://en.wikipedia.org/wiki/Two%27s_complement) when adding numbers of opposite signs? > * A01 = ? ==No==. > Overflow errors only occur when the correct result of the addition falls outside the range of $[−(2^{n−1}), 2^{n−1} − 1]$. Adding numbers of opposite signs will not result in numbers outside of this range. 2. If you interpret a $N$ bit [Two's Complement](https://en.wikipedia.org/wiki/Two%27s_complement) number as an unsigned number, would negative numbers be smaller than positive numbers? > * A02 = ? ==No== > In Two's Complement, the MSB is always `1` for a negative number. This means ALL Two's Complement negative numbers will be larger than the positive numbers. 3. If you interpret an $N$ bit [Bias notation](https://ocw.mit.edu/courses/aeronautics-and-astronautics/16-01-unified-engineering-i-ii-iii-iv-fall-2005-spring-2006/comps-programming/number_systems.pdf) number as an unsigned number (assume there are negative numbers for the given bias), would negative numbers be smaller? > * A03 = ? ==Yes== > In bias notation, we add a bias to the unsigned interpretation to create the value. This means that negative numbers will stay smaller than positive numbers. This is unlike Two's Complement. --- ## Problem `B` Arithmetic overflow occurs when the result of a calculation can't be represented in the current encoding scheme (i.e., it lies outside of the representable range of values), resulting in an incorrect value. * Unsigned overflow: the result lies outside of $[UMin, UMax]$; an indicator of this is when you add two numbers and the result is smaller than either number. * Signed overflow: the result lies outside of $[TMin, TMax]$; an indicator of this is when you add two numbers with the same sign and the result has the opposite sign. ![](https://hackmd.io/_uploads/S1ndpR_EY.png) 1. Find the largest 8-bit unsigned numeral `c` (answer in HEX) such that `c + 0x80` causes NEITHER signed nor unsigned overflow in 8 bits. > * B01 = ? ==0x7F== > Unsigned overflow will occur for `c > 0x80`. Signed overflow can only happen if c is negative (also `> 0x80`). Largest is therefore, `0x7F` 2. Find the smallest 8-bit numeral `c` (answer in HEX) such that `c + 0x71` causes signed overflow, but NOT unsigned overflow in 8 bits. > * B02 = ? ==0xF== > For signed overflow, need `(+) + (+) = (−)`. For no unsigned overflow, need no carryout from MSB. The first `(−)` encoding we can reach from `0x71` is `0x80`. `0x80 – 0x71 = 0xF`. --- ## Problem `C` According to IEEE 754 Floating Point Standard, the value of a real number can be represented in scientific binary notation as: $$ Value = (-1)^{sign} \times Mantissa_{2} \times 2^{Exponent} = (-1)^S \times 1.M_2 \times 2^{E-bias} $$ The binary representation for floating point values uses three fields: * `S`: encodes the sign of the number (0 for positive, 1 for negative) * `E`: encodes the exponent in **biased notation** with a bias of $2^{w-1}-1$ * `M`: encodes the mantissa (or significand, or fraction) – stores the fractional portion, but does not include the implicit leading `1`. ![](https://hackmd.io/_uploads/HkgOlyKNK.png) 1. Let’s say that we want to represent the number `3145728.125`~10~ (broken down as $2^{21} + 2^{20} + 2^{−3}$). Is it enough to represent this number single precision floating point? (Please answer **Yes** / **No**) > * C01 = ? ==No== > Could only represent $2^{21} + 2^{20}$. Not enough bits in the mantissa to hold $2^{-3}$, which caused rounding. 2. What is the decimal value of float `0x80000000`? (Answer with leading `+` and `-`) > * C02 = ? ==`-0`== 3. What is the decimal value of float `0xFF94BEEF`? (Answer with leading `+` and `-`) > * C03 = ? ==`NaN`== 4. What is the decimal value of float `0x41180000`? (Answer with leading `+` and `-`) > * C04 = ? ==`+9.5`== > 0x41180000 = 0b 0|100 0001 0|001 1000 0…0. > S = 0, E = $128+2 = 130$ $\to$ Exponent = E – bias = 3, Mantissa = 1.0011~2~ > $$ > 1.0011_2 \times 2^3 = 1001.1_2 = 8 + 1 + 0.5 = 9.5 > $$ 5. What is the smallest positive value that can be stored using a single precision float? Answer in HEX value. (video: [How to Calculate Smallest Float Value in IEEE 754 Standard (Single Precision)](https://youtu.be/SMLcrWgE2sk)) > * C05 = ? ==0x00000001== > 0x00000001 = $2^{−23} \times 2^{−126}$ 6. What is the smallest positive normalized value that can be stored using a single precision float? > * C06 = ? ==0x00800000== > 0x00800000 = $2^{−126}$ 7. What is the decimal value of float `0xFF800000`? (Answer with leading `+` and `-`) > * C07 = ? ==`-∞`== 8. What is the decimal value of float `0x421E4000`? (Answer with leading `+` and `-`) > * C08 = ? ==`+39.5625`== --- ## Problem `D` Floating Point Mathematical Properties * Not associative: $(2 + 2^{50}) – 2^{50} \neq 2 + (2^{50} – 2^{50})$ * Not distributive: $100 \times (0.1 + 0.2) \neq 100 \times 0.1 + 100 \times 0.2$ * Not cumulative: $2^{25} + 1 + 1 + 1 + 1 \neq 2^{25} + 4$ If `x` and `y` are variable type `float`, will the expression `(x+2*y)-y==x+y` always be evaluated as true? (Please answer **Yes** / **No** with explanation.) > D01 = ? ==No, Rounding error / Overflow== (後者只要一個解釋符合就給分) --- ## Problem `E` Compute the decimal result of the following arithmetic expressions involving **6-bit** [Two's Complement](https://en.wikipedia.org/wiki/Two%27s_complement) numbers as they would be calculated on a computer. Do any of these result in an overflow? Are all these operations possible? 1. Input: `0b100011 + 0b111010` > * E01 = ? ==Overflow== > Adding together we get 0b1011101, however since we are working with 6-bit numbers we truncate the first digit to get 0b011101 = 29. Since we added two negative numbers and ended up with a positive number, this results in an overflow. 2. Input: `0xFF − 0xAA` > * E02 = ? ==Impossible== > This is not possible, as these hex numbers would need 8 bits to represent and we are working with 6 bit numbers. 3. Input: `0x3B + 0x06` > * E03 = ? ==1== > Converting to binary, we get 0b111011 + 0b000110 = (after truncating) 0b000001 = 1. > Despite the extra truncated bit, this is not an overflow as `-5 + 6` indeed equals `1` --- ## Problem `F` 1. How do you write the bitwise [exclusive-nor (XNOR)](https://en.wikipedia.org/wiki/XNOR_gate) operator in C program? > * F01 = ? ==`x == y`== (只要有比較就給分) 2. Given `x` as an unsigned integer. Please use bitwise operators and `+`, `-`, `==` to check if `x` is a power of 2. Write down the expression in C without any branches (i.e., `if`, `else`, `? :`, `do`, `while`, `for`, `goto`) > * F02 = ? ==`x & (x - 1) == 0`== 3. The following function `absf` returns absolute value of a single precision float. What is the value of `F03`? Answer in HEX. ```cpp #include <stdint.h> float absf(float x) { uint32_t mask = F03; union { uint32_t i; float f; } u = {.f = x}; u.i &= mask; return u.f; } ``` > * F03 = ? ==`0x7fffffff`==