llvm/test/Transforms/JumpThreading/combine-metadata.ll

   1 ; RUN: opt < %s -jump-threading -S | FileCheck %s
   2
   3 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
   4 target triple = "i386-apple-darwin7"
   5
   6 declare void @use(i32 *)
   7
   8 ; Check that we propagate nonnull to dominated loads, when we find an available
   9 ; loaded value.
  10 ; CHECK-LABEL: @test1(
  11 ; CHECK-LABEL: ret1:
  12 ; CHECK-NEXT: %[[p1:.*]] = load i32*, i32** %ptr
  13 ; CHECK-NOT: !nonnull
  14 ; CHECK-NEXT: store i32 1, i32* %[[p1]]
  15 ; CHECK-NEXT: tail call void @use(i32* null)
  16 ; CHECK-NEXT: ret void
  17
  18 ; CHECK-LABEL: ret2:
  19 ; CHECK-NEXT: %[[p2:.*]] = load i32*, i32** %ptr, align 4, !nonnull !0
  20 ; CHECK: tail call void @use(i32* %[[p2]])
  21 ; CHECK-NEXT: ret void
  22 define void @test1(i32** %ptr, i1 %c) {
  23   br i1 %c, label %d1, label %d2
  24
  25 d1:
  26   %p1 = load i32*, i32** %ptr, !nonnull !0
  27   br label %d3
  28
  29 d2:
  30   br label %d3
  31
  32 d3:
  33   %pm = phi i32* [ null, %d2 ], [ %p1, %d1 ]
  34   %p2 = load i32*, i32** %ptr
  35   store i32 1, i32* %p2
  36   %c2 = icmp eq i32* %pm, null
  37   br i1 %c2, label %ret1, label %ret2
  38
  39 ret1:
  40   tail call void @use(i32* %pm) nounwind
  41   ret void
  42
  43 ret2:
  44   tail call void @use(i32* %pm) nounwind
  45   ret void
  46 }
  47
  48 ; Check that we propagate nonnull to dominated loads, when we find an available
  49 ; loaded value.
  50 ; CHECK-LABEL: @test2(
  51 ; CHECK-LABEL: d3.thread:
  52 ; CHECK-NEXT: %[[p1:.*]] = load i32*, i32** %ptr, align 4, !nonnull !0
  53 ; CHECK-NEXT: store i32 1, i32* %[[p1]]
  54 ; CHECK-NEXT: br label %ret1
  55
  56 ; CHECK-LABEL: d3:
  57 ; CHECK-NEXT: %[[p_cmp:.*]] = load i32*, i32** %ptr
  58 ; CHECK-NEXT: %[[p2:.*]] = load i32*, i32** %ptr, align 4, !nonnull !0
  59 ; CHECK-NEXT: store i32 1, i32* %[[p2]]
  60 ; CHECK-NEXT: icmp eq i32* %[[p_cmp]], null
  61 define void @test2(i32** %ptr, i1 %c) {
  62   br i1 %c, label %d1, label %d2
  63
  64 d1:
  65   %p1 = load i32*, i32** %ptr
  66   br label %d3
  67
  68 d2:
  69   br label %d3
  70
  71 d3:
  72   %pm = phi i32* [ null, %d2 ], [ %p1, %d1 ]
  73   %p2 = load i32*, i32** %ptr, !nonnull !0
  74   store i32 1, i32* %p2
  75   %c2 = icmp eq i32* %pm, null
  76   br i1 %c2, label %ret1, label %ret2
  77
  78 ret1:
  79   tail call void @use(i32* %pm) nounwind
  80   ret void
  81
  82 ret2:
  83   tail call void @use(i32* %pm) nounwind
  84   ret void
  85 }
  86
  87 ; Check that we do not propagate nonnull to loads predecessors that are combined
  88 ; to a PHI node.
  89 ; CHECK-LABEL: @test3(
  90 ; CHECK-LABEL: d1:
  91 ; CHECK-NEXT: %[[p1:.*]] = load i32*, i32** %ptr
  92 ; CHECK-NOT: !nonnull
  93
  94 ; CHECK-LABEL: d2:
  95 ; CHECK-NEXT: %[[p2:.*]] = load i32*, i32** %ptr
  96 ; CHECK-NOT: !nonnull
  97
  98 ; CHECK-LABEL: d3:
  99 ; CHECK-NEXT:  phi i32* [ %[[p2]], %d2 ], [ %[[p1]], %d1 ]
 100 define void @test3(i32** %ptr) {
 101 d1:
 102   %x = load i32*, i32** %ptr, !nonnull !0
 103   br label %d3
 104
 105 d2:
 106   br label %d3
 107
 108 d3:
 109   %y = load i32*, i32** %ptr
 110   store i32 1, i32* %y
 111   %c2 = icmp eq i32* %y, @p
 112   br i1 %c2, label %ret1, label %ret2
 113
 114 ret1:
 115   ret void
 116
 117 ret2:
 118   ret void
 119 }
 120
 121 @p = external global i32
 122
 123 !0 = !{}