1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -S -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 | FileCheck %s 3 4target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" 5target triple = "thumbv7m-none--eabi" 6 7@glob = external unnamed_addr constant [16 x i8] 8 9define void @f(i1 %c) { 10; CHECK-LABEL: @f( 11; CHECK-NEXT: entr: 12; CHECK-NEXT: br i1 [[C:%.*]], label [[NEXT:%.*]], label [[EXIT:%.*]] 13; CHECK: next: 14; CHECK-NEXT: [[PAT:%.*]] = getelementptr [16 x i8], ptr @glob 15; CHECK-NEXT: br label [[EXIT]] 16; CHECK: exit: 17; CHECK-NEXT: ret void 18; 19entr: 20 br i1 %c, label %next, label %exit 21 22next: 23 %pat = getelementptr [16 x i8], ptr @glob 24 br label %exit 25 26exit: 27 ret void 28} 29