| ; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s |
| ; RUN: llc < %s -mtriple=x86_64-linux -sink-insts-to-avoid-spills | FileCheck %s -check-prefix=SINK |
| |
| ; Ensure that we sink copy-like instructions into loops to avoid register |
| ; spills. |
| |
| ; CHECK: Spill |
| ; SINK-NOT: Spill |
| |
| %struct.A = type { i32, i32, i32, i32, i32, i32 } |
| |
| define void @_Z1fPhP1A(i8* nocapture readonly %input, %struct.A* %a) { |
| %1 = getelementptr inbounds %struct.A, %struct.A* %a, i64 0, i32 0 |
| %2 = getelementptr inbounds %struct.A, %struct.A* %a, i64 0, i32 1 |
| %3 = getelementptr inbounds %struct.A, %struct.A* %a, i64 0, i32 2 |
| %4 = getelementptr inbounds %struct.A, %struct.A* %a, i64 0, i32 3 |
| %5 = getelementptr inbounds %struct.A, %struct.A* %a, i64 0, i32 4 |
| %6 = getelementptr inbounds %struct.A, %struct.A* %a, i64 0, i32 5 |
| br label %.backedge |
| |
| .backedge: |
| %.0 = phi i8* [ %input, %0 ], [ %7, %.backedge.backedge ] |
| %7 = getelementptr inbounds i8, i8* %.0, i64 1 |
| %8 = load i8, i8* %7, align 1 |
| switch i8 %8, label %.backedge.backedge [ |
| i8 0, label %9 |
| i8 10, label %10 |
| i8 20, label %11 |
| i8 30, label %12 |
| i8 40, label %13 |
| i8 50, label %14 |
| ] |
| |
| ; <label>:9 |
| tail call void @_Z6assignPj(i32* %1) |
| br label %.backedge.backedge |
| |
| ; <label>:10 |
| tail call void @_Z6assignPj(i32* %2) |
| br label %.backedge.backedge |
| |
| .backedge.backedge: |
| br label %.backedge |
| |
| ; <label>:11 |
| tail call void @_Z6assignPj(i32* %3) |
| br label %.backedge.backedge |
| |
| ; <label>:12 |
| tail call void @_Z6assignPj(i32* %4) |
| br label %.backedge.backedge |
| |
| ; <label>:13 |
| tail call void @_Z6assignPj(i32* %5) |
| br label %.backedge.backedge |
| |
| ; <label>:14 |
| tail call void @_Z6assignPj(i32* %6) |
| br label %.backedge.backedge |
| } |
| |
| declare void @_Z6assignPj(i32*) |