38 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=ipsccp < %s | FileCheck %s3 4declare void @foo()5declare void @goo()6declare void @patatino()7 8define void @test1(i32 %t) {9; CHECK-LABEL: @test1(10; CHECK-NEXT: [[CHOICE:%.*]] = icmp eq i32 undef, -111; CHECK-NEXT: switch i1 [[CHOICE]], label [[FIRST:%.*]] [12; CHECK-NEXT: i1 false, label [[SECOND:%.*]]13; CHECK-NEXT: i1 true, label [[THIRD:%.*]]14; CHECK-NEXT: ]15; CHECK: first:16; CHECK-NEXT: call void @foo()17; CHECK-NEXT: ret void18; CHECK: second:19; CHECK-NEXT: call void @goo()20; CHECK-NEXT: ret void21; CHECK: third:22; CHECK-NEXT: call void @patatino()23; CHECK-NEXT: ret void24;25 %choice = icmp eq i32 undef, -126 switch i1 %choice, label %first [i1 0, label %second27 i1 1, label %third]28first:29 call void @foo()30 ret void31second:32 call void @goo()33 ret void34third:35 call void @patatino()36 ret void37}38