1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -S -passes=jump-threading | FileCheck %s 3 4; This test used to cause jump threading to try to split an edge of a callbr. 5 6@a = global i32 0 7 8define i32 @c() { 9; CHECK-LABEL: @c( 10; CHECK-NEXT: entry: 11; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @a, align 4 12; CHECK-NEXT: [[TOBOOL:%.*]] = icmp eq i32 [[TMP0]], 0 13; CHECK-NEXT: br i1 [[TOBOOL]], label [[IF_ELSE:%.*]], label [[IF_END:%.*]] 14; CHECK: if.else: 15; CHECK-NEXT: callbr void asm sideeffect "", "!i"() 16; CHECK-NEXT: to label [[IF_THEN2:%.*]] [label %if.then2] 17; CHECK: if.end: 18; CHECK-NEXT: [[CALL:%.*]] = call i32 @b() 19; CHECK-NEXT: [[PHITMP:%.*]] = icmp ne i32 [[CALL]], 0 20; CHECK-NEXT: br i1 [[PHITMP]], label [[IF_THEN2]], label [[IF_END4:%.*]] 21; CHECK: if.then2: 22; CHECK-NEXT: [[CALL3:%.*]] = call i32 @b() 23; CHECK-NEXT: br label [[IF_END4]] 24; CHECK: if.end4: 25; CHECK-NEXT: ret i32 undef 26; 27entry: 28 %0 = load i32, ptr @a 29 %tobool = icmp eq i32 %0, 0 30 br i1 %tobool, label %if.else, label %if.then 31 32if.then: ; preds = %entry 33 %call = call i32 @b() #2 34 %phitmp = icmp ne i32 %call, 0 35 br label %if.end 36 37if.else: ; preds = %entry 38 callbr void asm sideeffect "", "!i"() #2 39 to label %normal [label %if.end] 40 41normal: ; preds = %if.else 42 br label %if.end 43 44if.end: ; preds = %if.else, %normal, %if.then 45 %d.0 = phi i1 [ %phitmp, %if.then ], [ undef, %normal ], [ undef, %if.else ] 46 br i1 %d.0, label %if.then2, label %if.end4 47 48if.then2: ; preds = %if.end 49 %call3 = call i32 @b() 50 br label %if.end4 51 52if.end4: ; preds = %if.then2, %if.end 53 ret i32 undef 54} 55 56declare i32 @b() 57