95 lines · plain
1; RUN: opt -S < %s -passes=jump-threading | FileCheck %s2 3; Keep block addresses alive.4@addresses = constant [4 x ptr] [5 ptr blockaddress(@test1, %L1), ptr blockaddress(@test1, %L2),6 ptr blockaddress(@test2, %L1), ptr blockaddress(@test2, %L2)7]8 9declare void @bar()10declare void @baz()11 12 13 14; Check basic jump threading for indirectbr instructions.15 16; CHECK: void @test117; CHECK: br i1 %tobool, label %L1, label %indirectgoto18; CHECK-NOT: if.else:19; CHECK: L1:20; CHECK: indirectbr ptr %address, [label %L1, label %L2]21define void @test1(i32 %i, ptr %address) nounwind {22entry:23 %rem = srem i32 %i, 224 %tobool = icmp ne i32 %rem, 025 br i1 %tobool, label %indirectgoto, label %if.else26 27if.else: ; preds = %entry28 br label %indirectgoto29 30L1: ; preds = %indirectgoto31 call void @bar()32 ret void33 34L2: ; preds = %indirectgoto35 call void @baz()36 ret void37 38indirectgoto: ; preds = %if.else, %entry39 %indirect.goto.dest = phi ptr [ %address, %if.else ], [ blockaddress(@test1, %L1), %entry ]40 indirectbr ptr %indirect.goto.dest, [label %L1, label %L2]41}42 43 44; Check constant folding of indirectbr45 46; CHECK: void @test247; CHECK: entry:48; CHECK-NEXT: br label %L149; CHECK: L1:50; CHECK-NEXT: call void @bar51; CHECK-NEXT: ret void52define void @test2() nounwind {53entry:54 indirectbr ptr blockaddress(@test2, %L1), [label %L1, label %L2]55 56L1: ; preds = %indirectgoto57 call void @bar()58 ret void59 60L2: ; preds = %indirectgoto61 call void @baz()62 ret void63}64 65 66; PR415167; Don't merge address-taken blocks.68@.str = private unnamed_addr constant [4 x i8] c"%p\0A\00"69 70; CHECK-LABEL: @test3(71; CHECK: __here:72; CHECK: blockaddress(@test3, %__here)73; CHECK: __here1:74; CHECK: blockaddress(@test3, %__here1)75; CHECK: __here3:76; CHECK: blockaddress(@test3, %__here3)77define void @test3() nounwind ssp noredzone {78entry:79 br label %__here80 81__here: ; preds = %entry82 %call = call i32 (...) @printf(ptr @.str, i64 ptrtoint (ptr blockaddress(@test3, %__here) to i64)) nounwind noredzone83 br label %__here184 85__here1: ; preds = %__here86 %call2 = call i32 (...) @printf(ptr @.str, i64 ptrtoint (ptr blockaddress(@test3, %__here1) to i64)) nounwind noredzone87 br label %__here388 89__here3: ; preds = %__here190 %call4 = call i32 (...) @printf(ptr @.str, i64 ptrtoint (ptr blockaddress(@test3, %__here3) to i64)) nounwind noredzone91 ret void92}93 94declare i32 @printf(...) noredzone95