40 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=newgvn %s | FileCheck %s3 4@a = external global i325 6define void @b(i1 %arg) {7; CHECK-LABEL: @b(8; CHECK-NEXT: br i1 false, label [[C:%.*]], label [[WHILE_D:%.*]]9; CHECK: while.d:10; CHECK-NEXT: br label [[F:%.*]]11; CHECK: f:12; CHECK-NEXT: br i1 %arg, label [[IF_E:%.*]], label [[C]]13; CHECK: c:14; CHECK-NEXT: br i1 %arg, label [[IF_G:%.*]], label [[IF_E]]15; CHECK: if.g:16; CHECK-NEXT: store i32 undef, ptr @a, align 417; CHECK-NEXT: br label [[WHILE_D]]18; CHECK: if.e:19; CHECK-NEXT: br label [[F]]20;21 br i1 false, label %c, label %while.d22 23while.d: ; preds = %if.g, %024 br label %f25 26f: ; preds = %if.e, %while.d27 br i1 %arg, label %if.e, label %c28 29c: ; preds = %f, %030 br i1 %arg, label %if.g, label %if.e31 32if.g: ; preds = %c33 store i32 undef, ptr @a34 br label %while.d35 36if.e: ; preds = %c, %f37 br label %f38}39 40