test/CodeGen/X86/code_placement_bad_cfg_check.ll

   1 ; RUN: llc -mcpu=corei7 -mtriple=x86_64-linux < %s | FileCheck %s -check-prefix=CHECK-BAD-CFG
   2 ; RUN: llc -mcpu=corei7 -mtriple=x86_64-linux -no-bad-cfg-conflict-check < %s | FileCheck %s -check-prefix=CHECK-NO-BAD-CFG
   3 ; RUN: llc -mcpu=corei7 -mtriple=x86_64-linux -only-hot-bad-cfg-conflict-check < %s | FileCheck %s -check-prefix=CHECK-HOT-BAD-CFG
   4
   5 define void @foo(i32 %t) {
   6 ; Test that we lift the call to 'c' up to immediately follow the call to 'b'
   7 ; when we disable the cfg conflict check.
   8 ;
   9 ; CHECK-BAD-CFG-LABEL: foo:
  10 ; CHECK-BAD-CFG: callq b
  11 ; CHECK-BAD-CFG: callq a
  12 ; CHECK-BAD-CFG: callq c
  13 ;
  14 ; CHECK-NO-BAD-CFG-LABEL: foo:
  15 ; CHECK-NO-BAD-CFG: callq b
  16 ; CHECK-NO-BAD-CFG: callq c
  17 ; CHECK-NO-BAD-CFG: callq a
  18 ;
  19 ; CHECK-HOT-BAD-CFG-LABEL: foo:
  20 ; CHECK-HOT-BAD-CFG: callq b
  21 ; CHECK-HOT-BAD-CFG: callq c
  22 ; CHECK-HOT-BAD-CFG: callq a
  23
  24 entry:
  25   %cmp = icmp eq i32 %t, 0
  26   br i1 %cmp, label %if.then, label %if.else
  27
  28 if.then:
  29   call void @a()
  30   br label %if.end
  31
  32 if.else:
  33   call void @b()
  34   br label %if.end
  35
  36 if.end:
  37   call void @c()
  38   ret void
  39 }
  40
  41 define void @bar(i32 %t1, i32 %t2, i32 %t3) {
  42 ; Test that we lift the call to 'c' up to immediately follow the call to 'b'
  43 ; when we disable the cfg conflict check.
  44 ;
  45 ; CHECK-BAD-CFG-LABEL: bar:
  46 ; CHECK-BAD-CFG: callq a
  47 ; CHECK-BAD-CFG: callq c
  48 ; CHECK-BAD-CFG: callq d
  49 ; CHECK-BAD-CFG: callq f
  50 ; CHECK-BAD-CFG: callq b
  51 ; CHECK-BAD-CFG: callq e
  52 ; CHECK-BAD-CFG: callq g
  53 ;
  54 ; CHECK-NO-BAD-CFG-LABEL: bar:
  55 ; CHECK-NO-BAD-CFG: callq a
  56 ; CHECK-NO-BAD-CFG: callq c
  57 ; CHECK-NO-BAD-CFG: callq g
  58 ; CHECK-NO-BAD-CFG: callq d
  59 ; CHECK-NO-BAD-CFG: callq f
  60 ; CHECK-NO-BAD-CFG: callq b
  61 ; CHECK-NO-BAD-CFG: callq e
  62 ;
  63 ; CHECK-HOT-BAD-CFG-LABEL: bar:
  64 ; CHECK-HOT-BAD-CFG: callq a
  65 ; CHECK-HOT-BAD-CFG: callq c
  66 ; CHECK-HOT-BAD-CFG: callq d
  67 ; CHECK-HOT-BAD-CFG: callq f
  68 ; CHECK-HOT-BAD-CFG: callq g
  69 ; CHECK-HOT-BAD-CFG: callq b
  70 ; CHECK-HOT-BAD-CFG: callq e
  71
  72 entry:
  73   br i1 undef, label %if1.then, label %if1.else
  74
  75 if1.then:
  76   call void @a()
  77   %cmp2 = icmp eq i32 %t2, 0
  78   br i1 %cmp2, label %if2.then, label %if2.else
  79
  80 if2.then:
  81   call void @b()
  82   br label %if.end
  83
  84 if2.else:
  85   call void @c()
  86   br label %if.end
  87
  88 if1.else:
  89   call void @d()
  90   %cmp3 = icmp eq i32 %t3, 0
  91   br i1 %cmp3, label %if3.then, label %if3.else
  92
  93 if3.then:
  94   call void @e()
  95   br label %if.end
  96
  97 if3.else:
  98   call void @f()
  99   br label %if.end
 100
 101 if.end:
 102   call void @g()
 103   ret void
 104 }
 105
 106 declare void @a()
 107 declare void @b()
 108 declare void @c()
 109 declare void @d()
 110 declare void @e()
 111 declare void @f()
 112 declare void @g()