1; Show that we know how to translate push and pop. 2; TODO(kschimpf) Translate pop instructions. 3 4; NOTE: We use -O2 to get rid of memory stores. 5 6; REQUIRES: allow_dump 7 8; Compile using standalone assembler. 9; RUN: %p2i --filetype=asm -i %s --target=arm32 --args -O2 -allow-extern \ 10; RUN: | FileCheck %s --check-prefix=ASM 11 12; Show bytes in assembled standalone code. 13; RUN: %p2i --filetype=asm -i %s --target=arm32 --assemble --disassemble \ 14; RUN: --args -O2 -allow-extern | FileCheck %s --check-prefix=DIS 15 16; Compile using integrated assembler. 17; RUN: %p2i --filetype=iasm -i %s --target=arm32 --args -O2 \ 18; RUN: -allow-extern | FileCheck %s --check-prefix=IASM 19 20; Show bytes in assembled integrated code. 21; RUN: %p2i --filetype=iasm -i %s --target=arm32 --assemble --disassemble \ 22; RUN: --args -O2 -allow-extern | FileCheck %s --check-prefix=DIS 23 24declare external void @DoSomething() 25 26define internal void @SinglePushPop() { 27 call void @DoSomething(); 28 ret void 29} 30 31; ASM-LABEL:SinglePushPop: 32; ASM-NEXT:.LSinglePushPop$__0: 33; ASM-NEXT: push {lr} 34; ASM-NEXT: sub sp, sp, #12 35; ASM-NEXT: bl DoSomething 36; ASM-NEXT: add sp, sp, #12 37; ASM-NEXT: pop {lr} 38; ASM-NEXT: # lr = def.pseudo 39; ASM-NEXT: bx lr 40 41; DIS-LABEL:00000000 <SinglePushPop>: 42; DIS-NEXT: 0: e52de004 43; DIS-NEXT: 4: e24dd00c 44; DIS-NEXT: 8: ebfffffe 45; DIS-NEXT: c: e28dd00c 46; DIS-NEXT: 10: e49de004 47; DIS-NEXT: 14: e12fff1e 48 49; IASM-LABEL:SinglePushPop: 50; IASM-NEXT:.LSinglePushPop$__0: 51; IASM-NEXT: .byte 0x4 52; IASM-NEXT: .byte 0xe0 53; IASM-NEXT: .byte 0x2d 54; IASM-NEXT: .byte 0xe5 55 56; IASM-NEXT: .byte 0xc 57; IASM-NEXT: .byte 0xd0 58; IASM-NEXT: .byte 0x4d 59; IASM-NEXT: .byte 0xe2 60; IASM-NEXT: bl DoSomething @ .word ebfffffe 61; IASM-NEXT: .byte 0xc 62; IASM-NEXT: .byte 0xd0 63; IASM-NEXT: .byte 0x8d 64; IASM-NEXT: .byte 0xe2 65 66; IASM-NEXT: .byte 0x4 67; IASM-NEXT: .byte 0xe0 68; IASM-NEXT: .byte 0x9d 69; IASM-NEXT: .byte 0xe4 70 71; IASM: .byte 0x1e 72; IASM-NEXT: .byte 0xff 73; IASM-NEXT: .byte 0x2f 74; IASM-NEXT: .byte 0xe1 75 76; This test is based on taking advantage of the over-eager -O2 77; register allocator that puts V1 and V2 into callee-save registers, 78; since the call instruction kills the scratch registers. This 79; requires the callee-save registers to be pushed/popped in the 80; prolog/epilog. 81define internal i32 @MultPushPop(i32 %v1, i32 %v2) { 82 call void @DoSomething(); 83 %v3 = add i32 %v1, %v2 84 ret i32 %v3 85} 86 87; ASM-LABEL:MultPushPop: 88; ASM-NEXT:.LMultPushPop$__0: 89; ASM-NEXT: push {r4, r5, lr} 90; ASM-NEXT: sub sp, sp, #4 91; ASM-NEXT: mov r4, r0 92; ASM-NEXT: mov r5, r1 93; ASM-NEXT: bl DoSomething 94; ASM-NEXT: add r4, r4, r5 95; ASM-NEXT: mov r0, r4 96; ASM-NEXT: add sp, sp, #4 97; ASM-NEXT: pop {r4, r5, lr} 98; ASM-NEXT: # r4 = def.pseudo 99; ASM-NEXT: # r5 = def.pseudo 100; ASM-NEXT: # lr = def.pseudo 101; ASM-NEXT: bx lr 102 103; DIS-LABEL:00000020 <MultPushPop>: 104; DIS-NEXT: 20: e92d4030 105; DIS-NEXT: 24: e24dd004 106; DIS-NEXT: 28: e1a04000 107; DIS-NEXT: 2c: e1a05001 108; DIS-NEXT: 30: ebfffffe 109; DIS-NEXT: 34: e0844005 110; DIS-NEXT: 38: e1a00004 111; DIS-NEXT: 3c: e28dd004 112; DIS-NEXT: 40: e8bd4030 113; DIS-NEXT: 44: e12fff1e 114 115; IASM-LABEL:MultPushPop: 116; IASM-NEXT:.LMultPushPop$__0: 117; IASM-NEXT: .byte 0x30 118; IASM-NEXT: .byte 0x40 119; IASM-NEXT: .byte 0x2d 120; IASM-NEXT: .byte 0xe9 121 122; IASM-NEXT: .byte 0x4 123; IASM-NEXT: .byte 0xd0 124; IASM-NEXT: .byte 0x4d 125; IASM-NEXT: .byte 0xe2 126 127; IASM-NEXT: .byte 0x0 128; IASM-NEXT: .byte 0x40 129; IASM-NEXT: .byte 0xa0 130; IASM-NEXT: .byte 0xe1 131 132; IASM-NEXT: .byte 0x1 133; IASM-NEXT: .byte 0x50 134; IASM-NEXT: .byte 0xa0 135; IASM-NEXT: .byte 0xe1 136 137; IASM-NEXT: bl DoSomething @ .word ebfffffe 138; IASM-NEXT: .byte 0x5 139; IASM-NEXT: .byte 0x40 140; IASM-NEXT: .byte 0x84 141; IASM-NEXT: .byte 0xe0 142 143; IASM-NEXT: .byte 0x4 144; IASM-NEXT: .byte 0x0 145; IASM-NEXT: .byte 0xa0 146; IASM-NEXT: .byte 0xe1 147 148; IASM-NEXT: .byte 0x4 149; IASM-NEXT: .byte 0xd0 150; IASM-NEXT: .byte 0x8d 151; IASM-NEXT: .byte 0xe2 152 153; IASM-NEXT: .byte 0x30 154; IASM-NEXT: .byte 0x40 155; IASM-NEXT: .byte 0xbd 156; IASM-NEXT: .byte 0xe8 157 158; IASM: .byte 0x1e 159; IASM-NEXT: .byte 0xff 160; IASM-NEXT: .byte 0x2f 161; IASM-NEXT: .byte 0xe1 162