1 ; RUN: opt -S -simplifycfg < %s | FileCheck %s 2 3 define zeroext i1 @test1(i32 %x) nounwind readnone ssp noredzone { 4 entry: 5 switch i32 %x, label %lor.rhs [ 6 i32 2, label %lor.end 7 i32 1, label %lor.end 8 i32 3, label %lor.end 9 ] 10 11 lor.rhs: 12 br label %lor.end 13 14 lor.end: 15 %0 = phi i1 [ true, %entry ], [ false, %lor.rhs ], [ true, %entry ], [ true, %entry ] 16 ret i1 %0 17 18 ; CHECK: @test1 19 ; CHECK: %x.off = add i32 %x, -1 20 ; CHECK: %switch = icmp ult i32 %x.off, 3 21 } 22 23 define zeroext i1 @test2(i32 %x) nounwind readnone ssp noredzone { 24 entry: 25 switch i32 %x, label %lor.rhs [ 26 i32 0, label %lor.end 27 i32 1, label %lor.end 28 ] 29 30 lor.rhs: 31 br label %lor.end 32 33 lor.end: 34 %0 = phi i1 [ true, %entry ], [ false, %lor.rhs ], [ true, %entry ] 35 ret i1 %0 36 37 ; CHECK: @test2 38 ; CHECK: %switch = icmp ult i32 %x, 2 39 } 40
