1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt -S -passes='sroa<preserve-cfg>' < %s | FileCheck %s --check-prefixes=CHECK,CHECK-PRESERVE-CFG
3 ; RUN: opt -S -passes='sroa<modify-cfg>' < %s | FileCheck %s --check-prefixes=CHECK,CHECK-MODIFY-CFG
5 ; Make sure we don't crash on this one.
7 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
8 target triple = "x86_64-apple-macosx10.8.0"
10 define void @foo(i1 %c1, i1 %c2) {
13 ; CHECK-NEXT: br i1 [[C1:%.*]], label [[BB0_EXIT158:%.*]], label [[IF_THEN_I_I_I_I_I138:%.*]]
14 ; CHECK: if.then.i.i.i.i.i138:
15 ; CHECK-NEXT: ret void
17 ; CHECK-NEXT: br i1 [[C2:%.*]], label [[BB0_EXIT257:%.*]], label [[IF_THEN_I_I_I_I_I237:%.*]]
18 ; CHECK: if.then.i.i.i.i.i237:
19 ; CHECK-NEXT: unreachable
21 ; CHECK-NEXT: ret void
24 %Args.i = alloca <2 x ptr>, align 16
25 br i1 %c1, label %bb0.exit158, label %if.then.i.i.i.i.i138
31 br i1 %c2, label %bb0.exit257, label %if.then.i.i.i.i.i237
37 %0 = load <2 x ptr>, ptr %Args.i, align 16
40 ;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
41 ; CHECK-MODIFY-CFG: {{.*}}
42 ; CHECK-PRESERVE-CFG: {{.*}}