77 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=ipsccp -S %s | FileCheck %s3 4declare i32 @hoge()5 6define dso_local i32 @ham(ptr %arg, ptr %arg1) {7; CHECK-LABEL: @ham(8; CHECK-NEXT: bb:9; CHECK-NEXT: [[TMP:%.*]] = alloca i3210; CHECK-NEXT: [[TMP2:%.*]] = alloca i32, align 411; CHECK-NEXT: br label [[BB19:%.*]]12; CHECK: bb4:13; CHECK-NEXT: br label [[BB6:%.*]]14; CHECK: bb6:15; CHECK-NEXT: [[TMP7:%.*]] = call i32 @hoge()16; CHECK-NEXT: store i32 [[TMP7]], ptr [[TMP]]17; CHECK-NEXT: [[TMP8:%.*]] = load i32, ptr [[TMP]]18; CHECK-NEXT: [[TMP9:%.*]] = icmp eq i32 [[TMP8]], 91273008219; CHECK-NEXT: [[TMP10:%.*]] = load i32, ptr [[TMP]]20; CHECK-NEXT: br i1 [[TMP9]], label [[BB11:%.*]], label [[BB16:%.*]]21; CHECK: bb11:22; CHECK-NEXT: unreachable23; CHECK: bb13:24; CHECK-NEXT: br label [[BB14:%.*]]25; CHECK: bb14:26; CHECK-NEXT: [[TMP15:%.*]] = load i32, ptr [[TMP]]27; CHECK-NEXT: br label [[BB16]]28; CHECK: bb16:29; CHECK-NEXT: [[TMP17:%.*]] = phi i32 [ [[TMP10]], [[BB6]] ], [ 0, [[BB14]] ]30; CHECK-NEXT: br label [[BB19]]31; CHECK: bb18:32; CHECK-NEXT: unreachable33; CHECK: bb19:34; CHECK-NEXT: br label [[BB20:%.*]]35; CHECK: bb20:36; CHECK-NEXT: indirectbr ptr null, [label [[BB4:%.*]], label [[BB13:%.*]], label %bb18]37;38bb:39 %tmp = alloca i3240 %tmp2 = alloca i32, align 441 br label %bb1942 43bb4: ; preds = %bb2044 br label %bb645 46bb6: ; preds = %bb447 %tmp7 = call i32 @hoge()48 store i32 %tmp7, ptr %tmp49 %tmp8 = load i32, ptr %tmp50 %tmp9 = icmp eq i32 %tmp8, 91273008251 %tmp10 = load i32, ptr %tmp52 br i1 %tmp9, label %bb11, label %bb1653 54bb11: ; preds = %bb655 unreachable56 57bb13: ; preds = %bb2058 br label %bb1459 60bb14: ; preds = %bb1361 %tmp15 = load i32, ptr %tmp62 br label %bb1663 64bb16: ; preds = %bb14, %bb665 %tmp17 = phi i32 [ %tmp10, %bb6 ], [ 0, %bb14 ]66 br label %bb1967 68bb18: ; preds = %bb2069 unreachable70 71bb19: ; preds = %bb16, %bb72 br label %bb2073 74bb20: ; preds = %bb1975 indirectbr ptr null, [label %bb4, label %bb13, label %bb18]76}77