title: How to force gcc generate thumb 32 bit instructions?
body: <p>Is it possible to force generating thumb 32 bit instructions when possible?</p>
  
  <p>For example I have:</p>
  
  <pre><code>int main(void) {
   8000280:   b480        push    {r7}
   8000282:   b085        sub sp, #20
   8000284:   af00        add r7, sp, #0
      uint32_t a, b, c;
  
      a = 1;
   8000286:   2301        movs    r3, #1
   8000288:   60fb        str r3, [r7, #12]
      b = 1;
   800028a:   2301        movs    r3, #1
   800028c:   60bb        str r3, [r7, #8]
      c = a+b;
   800028e:   68fa        ldr r2, [r7, #12]
   8000290:   68bb        ldr r3, [r7, #8]
   8000292:   4413        add r3, r2
   8000294:   607b        str r3, [r7, #4]
  
      while (1) ;
   8000296:   e7fe        b.n 8000296 &lt;main+0x16&gt;
  </code></pre>
  
  <p>But they are all thumb 16 bit. For testing reason I want thumb 32 bit instructions.</p>