llvm/test/Transforms/Attributor/IPConstantProp/fp-bc-icmp-const-fold.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes --check-globals
   2 ; RUN: opt -attributor -enable-new-pm=0 -attributor-manifest-internal  -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=1 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_NPM,NOT_CGSCC_OPM,NOT_TUNIT_NPM,IS__TUNIT____,IS________OPM,IS__TUNIT_OPM
   3 ; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal  -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=1 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_OPM,NOT_CGSCC_NPM,NOT_TUNIT_OPM,IS__TUNIT____,IS________NPM,IS__TUNIT_NPM
   4 ; RUN: opt -attributor-cgscc -enable-new-pm=0 -attributor-manifest-internal  -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_TUNIT_NPM,NOT_TUNIT_OPM,NOT_CGSCC_NPM,IS__CGSCC____,IS________OPM,IS__CGSCC_OPM
   5 ; RUN: opt -aa-pipeline=basic-aa -passes=attributor-cgscc -attributor-manifest-internal  -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_TUNIT_NPM,NOT_TUNIT_OPM,NOT_CGSCC_OPM,IS__CGSCC____,IS________NPM,IS__CGSCC_NPM
   6 target datalayout = "E-m:e-i64:64-n32:64"
   7 target triple = "powerpc64le-unknown-linux"
   8
   9 define void @test(i32 signext %n) {
  10 ; IS__TUNIT____: Function Attrs: nofree noreturn nosync nounwind readnone
  11 ; IS__TUNIT____-LABEL: define {{[^@]+}}@test
  12 ; IS__TUNIT____-SAME: (i32 signext [[N:%.*]]) #[[ATTR0:[0-9]+]] {
  13 ; IS__TUNIT____-NEXT:  entry:
  14 ; IS__TUNIT____-NEXT:    unreachable
  15 ; IS__TUNIT____:       if.then:
  16 ; IS__TUNIT____-NEXT:    unreachable
  17 ; IS__TUNIT____:       if.end:
  18 ; IS__TUNIT____-NEXT:    unreachable
  19 ; IS__TUNIT____:       if.then2:
  20 ; IS__TUNIT____-NEXT:    unreachable
  21 ; IS__TUNIT____:       if.end4:
  22 ; IS__TUNIT____-NEXT:    unreachable
  23 ; IS__TUNIT____:       if.then9:
  24 ; IS__TUNIT____-NEXT:    unreachable
  25 ; IS__TUNIT____:       if.then12:
  26 ; IS__TUNIT____-NEXT:    unreachable
  27 ; IS__TUNIT____:       if.else14:
  28 ; IS__TUNIT____-NEXT:    unreachable
  29 ; IS__TUNIT____:       do.body:
  30 ; IS__TUNIT____-NEXT:    unreachable
  31 ; IS__TUNIT____:       if.then33:
  32 ; IS__TUNIT____-NEXT:    unreachable
  33 ; IS__TUNIT____:       cond.false.i28:
  34 ; IS__TUNIT____-NEXT:    unreachable
  35 ; IS__TUNIT____:       _ZN5boost4math4signIgEEiRKT_.exit30:
  36 ; IS__TUNIT____-NEXT:    unreachable
  37 ;
  38 ; IS__CGSCC____: Function Attrs: nofree norecurse noreturn nosync nounwind readnone
  39 ; IS__CGSCC____-LABEL: define {{[^@]+}}@test
  40 ; IS__CGSCC____-SAME: (i32 signext [[N:%.*]]) #[[ATTR0:[0-9]+]] {
  41 ; IS__CGSCC____-NEXT:  entry:
  42 ; IS__CGSCC____-NEXT:    unreachable
  43 ; IS__CGSCC____:       if.then:
  44 ; IS__CGSCC____-NEXT:    unreachable
  45 ; IS__CGSCC____:       if.end:
  46 ; IS__CGSCC____-NEXT:    unreachable
  47 ; IS__CGSCC____:       if.then2:
  48 ; IS__CGSCC____-NEXT:    unreachable
  49 ; IS__CGSCC____:       if.end4:
  50 ; IS__CGSCC____-NEXT:    unreachable
  51 ; IS__CGSCC____:       if.then9:
  52 ; IS__CGSCC____-NEXT:    unreachable
  53 ; IS__CGSCC____:       if.then12:
  54 ; IS__CGSCC____-NEXT:    unreachable
  55 ; IS__CGSCC____:       if.else14:
  56 ; IS__CGSCC____-NEXT:    unreachable
  57 ; IS__CGSCC____:       do.body:
  58 ; IS__CGSCC____-NEXT:    unreachable
  59 ; IS__CGSCC____:       if.then33:
  60 ; IS__CGSCC____-NEXT:    unreachable
  61 ; IS__CGSCC____:       cond.false.i28:
  62 ; IS__CGSCC____-NEXT:    unreachable
  63 ; IS__CGSCC____:       _ZN5boost4math4signIgEEiRKT_.exit30:
  64 ; IS__CGSCC____-NEXT:    unreachable
  65 ;
  66
  67 entry:
  68   br i1 undef, label %if.then, label %if.end
  69
  70 if.then:                                          ; preds = %entry
  71   ret void
  72
  73 if.end:                                           ; preds = %entry
  74   br i1 undef, label %if.then2, label %if.end4
  75
  76 if.then2:                                         ; preds = %if.end
  77   unreachable
  78
  79 if.end4:                                          ; preds = %if.end
  80   %sub.n = select i1 undef, i32 undef, i32 %n
  81   switch i32 %sub.n, label %if.else14 [
  82   i32 0, label %if.then9
  83   i32 1, label %if.then12
  84   ]
  85
  86 if.then9:                                         ; preds = %if.end4
  87   unreachable
  88
  89 if.then12:                                        ; preds = %if.end4
  90   unreachable
  91
  92 if.else14:                                        ; preds = %if.end4
  93   br label %do.body
  94
  95 do.body:                                          ; preds = %do.body, %if.else14
  96   %scale.0 = phi ppc_fp128 [ 0xM3FF00000000000000000000000000000, %if.else14 ], [ %scale.0, %do.body ]
  97   br i1 undef, label %do.body, label %if.then33
  98
  99 if.then33:                                        ; preds = %do.body
 100   br i1 undef, label %_ZN5boost4math4signIgEEiRKT_.exit30, label %cond.false.i28
 101
 102 cond.false.i28:                                   ; preds = %if.then33
 103   %0 = bitcast ppc_fp128 %scale.0 to i128
 104   %tobool.i26 = icmp slt i128 %0, 0
 105   br label %_ZN5boost4math4signIgEEiRKT_.exit30
 106
 107 _ZN5boost4math4signIgEEiRKT_.exit30:              ; preds = %cond.false.i28, %if.then33
 108   unreachable
 109 }
 110
 111 ;.
 112 ; IS__TUNIT____: attributes #[[ATTR0]] = { nofree noreturn nosync nounwind readnone }
 113 ;.
 114 ; IS__CGSCC____: attributes #[[ATTR0]] = { nofree norecurse noreturn nosync nounwind readnone }
 115 ;.