63 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt < %s -passes=newgvn -S | FileCheck %s3; PR25034 5@g_3 = external global i8 ; <ptr> [#uses=2]6 7define i8 @func_1(i32 %x, i32 %y) nounwind {8; CHECK-LABEL: define i8 @func_1(9; CHECK-SAME: i32 [[X:%.*]], i32 [[Y:%.*]]) #[[ATTR0:[0-9]+]] {10; CHECK-NEXT: entry:11; CHECK-NEXT: [[A:%.*]] = alloca i8, align 112; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[X]], [[Y]]13; CHECK-NEXT: br i1 [[CMP]], label [[IFELSE:%.*]], label [[IFTHEN:%.*]]14; CHECK: ifthen:15; CHECK-NEXT: br label [[IFEND:%.*]]16; CHECK: ifelse:17; CHECK-NEXT: [[TMP3:%.*]] = load i8, ptr @g_3, align 118; CHECK-NEXT: store i8 [[TMP3]], ptr [[A]], align 119; CHECK-NEXT: br label [[AFTERFOR:%.*]]20; CHECK: forcond:21; CHECK-NEXT: store i8 poison, ptr null, align 122; CHECK-NEXT: br i1 false, label [[AFTERFOR]], label [[FORBODY:%.*]]23; CHECK: forbody:24; CHECK-NEXT: store i8 poison, ptr null, align 125; CHECK-NEXT: br label [[FORINC:%.*]]26; CHECK: forinc:27; CHECK-NEXT: store i8 poison, ptr null, align 128; CHECK-NEXT: br label [[FORCOND:%.*]]29; CHECK: afterfor:30; CHECK-NEXT: ret i8 [[TMP3]]31; CHECK: ifend:32; CHECK-NEXT: ret i8 033;34entry:35 %A = alloca i836 %cmp = icmp eq i32 %x, %y37 br i1 %cmp, label %ifelse, label %ifthen38 39ifthen: ; preds = %entry40 br label %ifend41 42ifelse: ; preds = %entry43 %tmp3 = load i8, ptr @g_3 ; <i8> [#uses=0]44 store i8 %tmp3, ptr %A45 br label %afterfor46 47forcond: ; preds = %forinc48 br i1 false, label %afterfor, label %forbody49 50forbody: ; preds = %forcond51 br label %forinc52 53forinc: ; preds = %forbody54 br label %forcond55 56afterfor: ; preds = %forcond, %forcond.thread57 %tmp10 = load i8, ptr @g_3 ; <i8> [#uses=0]58 ret i8 %tmp1059 60ifend: ; preds = %afterfor, %ifthen61 ret i8 062}63