65 lines · plain
1; RUN: opt < %s -indirectbr-expand -S | FileCheck %s2; RUN: opt < %s -passes=indirectbr-expand -S | FileCheck %s3;4; REQUIRES: x86-registered-target5 6target triple = "x86_64-unknown-linux-gnu"7 8@test1.targets = constant [4 x ptr] [ptr blockaddress(@test1, %bb0),9 ptr blockaddress(@test1, %bb1),10 ptr blockaddress(@test1, %bb2),11 ptr blockaddress(@test1, %bb3)]12; CHECK-LABEL: @test1.targets = constant [4 x ptr]13; CHECK: [ptr inttoptr (i64 1 to ptr),14; CHECK: ptr inttoptr (i64 2 to ptr),15; CHECK: ptr inttoptr (i64 3 to ptr),16; CHECK: ptr blockaddress(@test1, %bb3)]17 18define void @test1(ptr readonly %p, ptr %sink) #0 {19; CHECK-LABEL: define void @test1(20entry:21 %i0 = load i64, ptr %p22 %target.i0 = getelementptr [4 x ptr], ptr @test1.targets, i64 0, i64 %i023 %target0 = load ptr, ptr %target.i024 ; Only a subset of blocks are viable successors here.25 indirectbr ptr %target0, [label %bb0, label %bb1]26; CHECK-NOT: indirectbr27; CHECK: %[[ENTRY_V:.*]] = ptrtoint ptr %{{.*}} to i6428; CHECK-NEXT: br label %[[SWITCH_BB:.*]]29 30bb0:31 store volatile i64 0, ptr %sink32 br label %latch33 34bb1:35 store volatile i64 1, ptr %sink36 br label %latch37 38bb2:39 store volatile i64 2, ptr %sink40 br label %latch41 42bb3:43 store volatile i64 3, ptr %sink44 br label %latch45 46latch:47 %i.next = load i64, ptr %p48 %target.i.next = getelementptr [4 x ptr], ptr @test1.targets, i64 0, i64 %i.next49 %target.next = load ptr, ptr %target.i.next50 ; A different subset of blocks are viable successors here.51 indirectbr ptr %target.next, [label %bb1, label %bb2]52; CHECK-NOT: indirectbr53; CHECK: %[[LATCH_V:.*]] = ptrtoint ptr %{{.*}} to i6454; CHECK-NEXT: br label %[[SWITCH_BB]]55;56; CHECK: [[SWITCH_BB]]:57; CHECK-NEXT: %[[V:.*]] = phi i64 [ %[[ENTRY_V]], %entry ], [ %[[LATCH_V]], %latch ]58; CHECK-NEXT: switch i64 %[[V]], label %bb0 [59; CHECK-NEXT: i64 2, label %bb160; CHECK-NEXT: i64 3, label %bb261; CHECK-NEXT: ]62}63 64attributes #0 = { "target-features"="+retpoline" }65