| ; pr23772 - [ARM] r226200 can emit illegal thumb2 instruction: "sub sp, r12, #80" |
| ; RUN: llc -march=thumb -mcpu=cortex-m3 -O3 -filetype=asm -o - %s | FileCheck %s |
| ; CHECK-NOT: sub{{.*}} sp, r{{.*}}, # |
| ; CHECK: .fnend |
| ; TODO: Missed optimization. The three instructions generated to subtract SP can be converged to a single one |
| target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:32" |
| target triple = "thumbv7m-unknown-unknown" |
| %B = type {ptr} |
| %R = type {i32} |
| %U = type {ptr, i8, i8} |
| %E = type {ptr, ptr} |
| %X = type {i32, i8, i8} |
| declare external ptr @memalloc(i32, i32, i32) |
| declare external void @memfree(ptr, i32, i32) |
| define void @foo(ptr %pb$, ptr %pr$) nounwind { |
| L.0: |
| %pb = alloca ptr |
| %pr = alloca ptr |
| store ptr %pb$, ptr %pb |
| store ptr %pr$, ptr %pr |
| %pe = alloca ptr |
| %0 = load ptr, ptr %pb |
| store ptr %0, ptr %pe |
| %1 = load ptr, ptr %pr |
| %2 = load i32, ptr %1 |
| switch i32 %2, label %L.1 [ |
| i32 1, label %L.3 |
| ] |
| L.3: |
| %px = alloca ptr |
| %3 = load ptr, ptr %pr |
| store ptr %3, ptr %px |
| %4 = load ptr, ptr %px |
| %5 = load i32, ptr %4 |
| %6 = icmp ne i32 %5, 0 |
| br i1 %6, label %L.5, label %L.4 |
| L.5: |
| %pu = alloca ptr |
| %7 = call ptr @memalloc(i32 8, i32 4, i32 0) |
| store ptr %7, ptr %pu |
| %8 = load ptr, ptr %px |
| %9 = getelementptr %X, ptr %8, i32 0, i32 1 |
| %10 = load i8, ptr %9 |
| %11 = load ptr, ptr %pu |
| %12 = getelementptr %U, ptr %11, i32 0, i32 1 |
| store i8 %10, ptr %12 |
| %13 = load ptr, ptr %pe |
| %14 = getelementptr %E, ptr %13, i32 0, i32 1 |
| %15 = load ptr, ptr %14 |
| %16 = load ptr, ptr %pu |
| store ptr %15, ptr %16 |
| %17 = load ptr, ptr %pu |
| %18 = load ptr, ptr %pe |
| %19 = getelementptr %E, ptr %18, i32 0, i32 1 |
| store ptr %17, ptr %19 |
| br label %L.4 |
| L.4: |
| %20 = load ptr, ptr %px |
| call void @memfree(ptr %20, i32 8, i32 0) |
| br label %L.2 |
| L.1: |
| br label %L.2 |
| L.2: |
| br label %return |
| return: |
| ret void |
| } |