1; RUN: opt -basicaa -gvn -S < %s | FileCheck %s 2 3target 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" 4target 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) 10define i32 @test1() nounwind uwtable ssp { 11; CHECK-LABEL: test1 12; CHECK: add i32 %x, %x 13entry: 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) 22define i32 @test3() nounwind uwtable ssp { 23; CHECK-LABEL: test3 24; CHECK: add i32 %x, %x 25entry: 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) 35define i32 @test5() nounwind uwtable ssp { 36; CHECK-LABEL: test5 37; CHECK: add i32 %x, %x 38entry: 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) 46define i32 @test6() nounwind uwtable ssp { 47; CHECK-LABEL: test6 48; CHECK: load atomic i32, i32* @x unordered 49entry: 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) 57define i32 @test7() nounwind uwtable ssp { 58; CHECK-LABEL: test7 59; CHECK: add i32 %x, %y 60entry: 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) 70define i32 @test9() nounwind uwtable ssp { 71; CHECK-LABEL: test9 72; CHECK: add i32 %x, %x 73entry: 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) 82define i32 @test10() nounwind uwtable ssp { 83; CHECK-LABEL: test10 84; CHECK: add i32 %x, %y 85entry: 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 93define i32 @PR22708(i1 %flag) { 94; CHECK-LABEL: PR22708 95entry: 96 br i1 %flag, label %if.then, label %if.end 97 98if.then: 99 store i32 43, i32* @y, align 4 100; CHECK: store i32 43, i32* @y, align 4 101 br label %if.end 102 103if.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} 110