67 lines · plain
1; RUN: llc -O3 < %s | FileCheck %s2target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:64:64-v128:128:128-a0:0:32-n32"3target triple = "thumbv7-apple-darwin10"4 5; This test should not produce any spills, even when tail duplication creates lots of phi nodes.6; CHECK-NOT: push7; CHECK-NOT: pop8; CHECK: bx lr9 10@codetable.2928 = internal constant [5 x ptr] [ptr blockaddress(@interpret_threaded, %RETURN), ptr blockaddress(@interpret_threaded, %INCREMENT), ptr blockaddress(@interpret_threaded, %DECREMENT), ptr blockaddress(@interpret_threaded, %DOUBLE), ptr blockaddress(@interpret_threaded, %SWAPWORD)] ; <ptr> [#uses=5]11@llvm.used = appending global [1 x ptr] [ptr @interpret_threaded], section "llvm.metadata" ; <ptr> [#uses=0]12 13define i32 @interpret_threaded(ptr nocapture %opcodes) nounwind readonly optsize {14entry:15 %0 = load i8, ptr %opcodes, align 1 ; <i8> [#uses=1]16 %1 = zext i8 %0 to i32 ; <i32> [#uses=1]17 %2 = getelementptr inbounds [5 x ptr], ptr @codetable.2928, i32 0, i32 %1 ; <ptr> [#uses=1]18 br label %bb19 20bb: ; preds = %bb.backedge, %entry21 %indvar = phi i32 [ %phitmp, %bb.backedge ], [ 1, %entry ] ; <i32> [#uses=2]22 %gotovar.22.0.in = phi ptr [ %gotovar.22.0.in.be, %bb.backedge ], [ %2, %entry ] ; <ptr> [#uses=1]23 %result.0 = phi i32 [ %result.0.be, %bb.backedge ], [ 0, %entry ] ; <i32> [#uses=6]24 %opcodes_addr.0 = getelementptr i8, ptr %opcodes, i32 %indvar ; <ptr> [#uses=4]25 %gotovar.22.0 = load ptr, ptr %gotovar.22.0.in, align 4 ; <ptr> [#uses=1]26 indirectbr ptr %gotovar.22.0, [label %RETURN, label %INCREMENT, label %DECREMENT, label %DOUBLE, label %SWAPWORD]27 28RETURN: ; preds = %bb29 ret i32 %result.030 31INCREMENT: ; preds = %bb32 %3 = add nsw i32 %result.0, 1 ; <i32> [#uses=1]33 %4 = load i8, ptr %opcodes_addr.0, align 1 ; <i8> [#uses=1]34 %5 = zext i8 %4 to i32 ; <i32> [#uses=1]35 %6 = getelementptr inbounds [5 x ptr], ptr @codetable.2928, i32 0, i32 %5 ; <ptr> [#uses=1]36 br label %bb.backedge37 38bb.backedge: ; preds = %SWAPWORD, %DOUBLE, %DECREMENT, %INCREMENT39 %gotovar.22.0.in.be = phi ptr [ %20, %SWAPWORD ], [ %14, %DOUBLE ], [ %10, %DECREMENT ], [ %6, %INCREMENT ] ; <ptr> [#uses=1]40 %result.0.be = phi i32 [ %17, %SWAPWORD ], [ %11, %DOUBLE ], [ %7, %DECREMENT ], [ %3, %INCREMENT ] ; <i32> [#uses=1]41 %phitmp = add i32 %indvar, 1 ; <i32> [#uses=1]42 br label %bb43 44DECREMENT: ; preds = %bb45 %7 = add i32 %result.0, -1 ; <i32> [#uses=1]46 %8 = load i8, ptr %opcodes_addr.0, align 1 ; <i8> [#uses=1]47 %9 = zext i8 %8 to i32 ; <i32> [#uses=1]48 %10 = getelementptr inbounds [5 x ptr], ptr @codetable.2928, i32 0, i32 %9 ; <ptr> [#uses=1]49 br label %bb.backedge50 51DOUBLE: ; preds = %bb52 %11 = shl i32 %result.0, 1 ; <i32> [#uses=1]53 %12 = load i8, ptr %opcodes_addr.0, align 1 ; <i8> [#uses=1]54 %13 = zext i8 %12 to i32 ; <i32> [#uses=1]55 %14 = getelementptr inbounds [5 x ptr], ptr @codetable.2928, i32 0, i32 %13 ; <ptr> [#uses=1]56 br label %bb.backedge57 58SWAPWORD: ; preds = %bb59 %15 = shl i32 %result.0, 16 ; <i32> [#uses=1]60 %16 = ashr i32 %result.0, 16 ; <i32> [#uses=1]61 %17 = or i32 %15, %16 ; <i32> [#uses=1]62 %18 = load i8, ptr %opcodes_addr.0, align 1 ; <i8> [#uses=1]63 %19 = zext i8 %18 to i32 ; <i32> [#uses=1]64 %20 = getelementptr inbounds [5 x ptr], ptr @codetable.2928, i32 0, i32 %19 ; <ptr> [#uses=1]65 br label %bb.backedge66}67