1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=mem2reg,simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S | FileCheck %s 3 4define i32 @test(i32 %x) { 5; CHECK-LABEL: @test( 6; CHECK-NEXT: entry: 7; CHECK-NEXT: [[TOBOOL:%.*]] = icmp ne i32 [[X:%.*]], 0 8; CHECK-NEXT: br i1 [[TOBOOL]], label [[IF_THEN:%.*]], label [[IF_ELSE:%.*]] 9; CHECK: if.then: 10; CHECK-NEXT: [[TMP1:%.*]] = call i32 asm "mov $0, #1", "=r"() #[[ATTR0:[0-9]+]] 11; CHECK-NEXT: br label [[IF_END:%.*]] 12; CHECK: if.else: 13; CHECK-NEXT: [[TMP2:%.*]] = call i32 asm "mov $0, #2", "=r"() #[[ATTR0]] 14; CHECK-NEXT: br label [[IF_END]] 15; CHECK: if.end: 16; CHECK-NEXT: [[Y_0:%.*]] = phi i32 [ [[TMP1]], [[IF_THEN]] ], [ [[TMP2]], [[IF_ELSE]] ] 17; CHECK-NEXT: ret i32 [[Y_0]] 18; 19entry: 20 %y = alloca i32, align 4 21 %tobool = icmp ne i32 %x, 0 22 br i1 %tobool, label %if.then, label %if.else 23 24if.then: 25 %tmp1 = call i32 asm "mov $0, #1", "=r"() nounwind readnone 26 store i32 %tmp1, ptr %y, align 4 27 br label %if.end 28 29if.else: 30 %tmp2 = call i32 asm "mov $0, #2", "=r"() nounwind readnone 31 store i32 %tmp2, ptr %y, align 4 32 br label %if.end 33 34if.end: 35 %tmp3 = load i32, ptr %y, align 4 36 ret i32 %tmp3 37} 38