llvm/test/Transforms/JumpThreading/callbr-edge-split.ll

   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
   8 define 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 ;
  27 entry:
  28   %0 = load i32, ptr @a
  29   %tobool = icmp eq i32 %0, 0
  30   br i1 %tobool, label %if.else, label %if.then
  31
  32 if.then:                                          ; preds = %entry
  33   %call = call i32 @b() #2
  34   %phitmp = icmp ne i32 %call, 0
  35   br label %if.end
  36
  37 if.else:                                          ; preds = %entry
  38   callbr void asm sideeffect "", "!i"() #2
  39   to label %normal [label %if.end]
  40
  41 normal:                                           ; preds = %if.else
  42   br label %if.end
  43
  44 if.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
  48 if.then2:                                         ; preds = %if.end
  49   %call3 = call i32 @b()
  50   br label %if.end4
  51
  52 if.end4:                                          ; preds = %if.then2, %if.end
  53   ret i32 undef
  54 }
  55
  56 declare i32 @b()