define i32 @main() {
; 16-LABEL: main:
; 16: .cfi_startproc
-; 16: save $ra, $16, $17, 40
-; 16: .cfi_def_cfa_offset 40
+; 16: save $16, $17, $ra, 32 # 16 bit inst
+; 16: .cfi_def_cfa_offset 32
; 16: .cfi_offset 31, -4
-; 16: .cfi_offset 17, -8
-; 16: .cfi_offset 16, -12
+; 16: .cfi_offset 17, -8
+; 16: .cfi_offset 16, -12
; 16: .cfi_endproc
entry:
%retval = alloca i32, align 4