test/Transforms/GVN/atomic.ll

   1 ; RUN: opt -basicaa -gvn -S < %s | FileCheck %s
   2
   3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
   4 target triple = "x86_64-apple-macosx10.7.0"
   5
   6 @x = common global i32 0, align 4
   7 @y = common global i32 0, align 4
   8
   9 ; GVN across unordered store (allowed)
  10 define i32 @test1() nounwind uwtable ssp {
  11 ; CHECK-LABEL: test1
  12 ; CHECK: add i32 %x, %x
  13 entry:
  14   %x = load i32, i32* @y
  15   store atomic i32 %x, i32* @x unordered, align 4
  16   %y = load i32, i32* @y
  17   %z = add i32 %x, %y
  18   ret i32 %z
  19 }
  20
  21 ; GVN across unordered load (allowed)
  22 define i32 @test3() nounwind uwtable ssp {
  23 ; CHECK-LABEL: test3
  24 ; CHECK: add i32 %x, %x
  25 entry:
  26   %x = load i32, i32* @y
  27   %y = load atomic i32, i32* @x unordered, align 4
  28   %z = load i32, i32* @y
  29   %a = add i32 %x, %z
  30   %b = add i32 %y, %a
  31   ret i32 %b
  32 }
  33
  34 ; GVN load to unordered load (allowed)
  35 define i32 @test5() nounwind uwtable ssp {
  36 ; CHECK-LABEL: test5
  37 ; CHECK: add i32 %x, %x
  38 entry:
  39   %x = load atomic i32, i32* @x unordered, align 4
  40   %y = load i32, i32* @x
  41   %z = add i32 %x, %y
  42   ret i32 %z
  43 }
  44
  45 ; GVN unordered load to load (unordered load must not be removed)
  46 define i32 @test6() nounwind uwtable ssp {
  47 ; CHECK-LABEL: test6
  48 ; CHECK: load atomic i32, i32* @x unordered
  49 entry:
  50   %x = load i32, i32* @x
  51   %x2 = load atomic i32, i32* @x unordered, align 4
  52   %x3 = add i32 %x, %x2
  53   ret i32 %x3
  54 }
  55
  56 ; GVN across release-acquire pair (forbidden)
  57 define i32 @test7() nounwind uwtable ssp {
  58 ; CHECK-LABEL: test7
  59 ; CHECK: add i32 %x, %y
  60 entry:
  61   %x = load i32, i32* @y
  62   store atomic i32 %x, i32* @x release, align 4
  63   %w = load atomic i32, i32* @x acquire, align 4
  64   %y = load i32, i32* @y
  65   %z = add i32 %x, %y
  66   ret i32 %z
  67 }
  68
  69 ; GVN across monotonic store (allowed)
  70 define i32 @test9() nounwind uwtable ssp {
  71 ; CHECK-LABEL: test9
  72 ; CHECK: add i32 %x, %x
  73 entry:
  74   %x = load i32, i32* @y
  75   store atomic i32 %x, i32* @x monotonic, align 4
  76   %y = load i32, i32* @y
  77   %z = add i32 %x, %y
  78   ret i32 %z
  79 }
  80
  81 ; GVN of an unordered across monotonic load (not allowed)
  82 define i32 @test10() nounwind uwtable ssp {
  83 ; CHECK-LABEL: test10
  84 ; CHECK: add i32 %x, %y
  85 entry:
  86   %x = load atomic i32, i32* @y unordered, align 4
  87   %clobber = load atomic i32, i32* @x monotonic, align 4
  88   %y = load atomic i32, i32* @y monotonic, align 4
  89   %z = add i32 %x, %y
  90   ret i32 %z
  91 }
  92
  93 define i32 @PR22708(i1 %flag) {
  94 ; CHECK-LABEL: PR22708
  95 entry:
  96   br i1 %flag, label %if.then, label %if.end
  97
  98 if.then:
  99   store i32 43, i32* @y, align 4
 100 ; CHECK: store i32 43, i32* @y, align 4
 101   br label %if.end
 102
 103 if.end:
 104   load atomic i32, i32* @x acquire, align 4
 105   %load = load i32, i32* @y, align 4
 106 ; CHECK: load atomic i32, i32* @x acquire, align 4
 107 ; CHECK: load i32, i32* @y, align 4
 108   ret i32 %load
 109 }