1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: -p 2; RUN: opt -S -passes="simplifycfg<switch-to-lookup>" < %s | FileCheck %s 3 4target triple = "x86_64-unknown-linux-gnu" 5 6%struct.ham = type <{ i32, i32, i32, i8, i8, [2 x i8] }> 7 8@global = external constant [75 x { i32, i32, i32, i8, i8 }] 9 10define i1 @zot(i32 %arg) { 11; CHECK-LABEL: @zot( 12; CHECK-NEXT: bb: 13; CHECK-NEXT: %0 = icmp ult i32 %arg, 3 14; CHECK-NEXT: br i1 %0, label %switch.lookup, label %bb6 15; CHECK: switch.lookup: 16; CHECK-NEXT: %switch.gep = getelementptr inbounds [3 x ptr], ptr @switch.table.zot, i32 0, i32 %arg 17; CHECK-NEXT: %switch.load = load ptr, ptr %switch.gep, align 8 18; CHECK-NEXT: br label %bb6 19; CHECK: bb6: 20; CHECK-NEXT: %tmp7 = phi ptr [ %switch.load, %switch.lookup ], [ null, %bb ] 21; CHECK-NEXT: %tmp8 = icmp eq ptr %tmp7, getelementptr inbounds ([75 x { i32, i32, i32, i8, i8 }], ptr @global, i64 1, i64 0, i32 0) 22; CHECK-NEXT: ret i1 %tmp8 23; 24bb: 25 %tmp = icmp eq i32 %arg, 1 26 br i1 %tmp, label %bb6, label %bb1 27 28bb1: ; preds = %bb 29 %tmp2 = icmp eq i32 %arg, 2 30 br i1 %tmp2, label %bb6, label %bb3 31 32bb3: ; preds = %bb1 33 %tmp4 = icmp eq i32 %arg, 0 34 br i1 %tmp4, label %bb6, label %bb5 35 36bb5: ; preds = %bb3 37 br label %bb6 38 39bb6: ; preds = %bb5, %bb3, %bb1, %bb 40 %tmp7 = phi ptr [ null, %bb5 ], [ getelementptr inbounds ([75 x { i32, i32, i32, i8, i8 }], ptr @global, i64 0, i64 6, i32 0), %bb ], [ null, %bb1 ], [ null, %bb3 ] 41 %tmp8 = icmp eq ptr %tmp7, getelementptr inbounds ([75 x { i32, i32, i32, i8, i8 }], ptr @global, i64 1, i64 0, i32 0) 42 ret i1 %tmp8 43} 44