| ; RUN: opt -S -passes=gvn-hoist,newgvn -verify-memoryssa < %s | FileCheck %s | |
| ; Check that we end up with one load and one store, in the right order | |
| ; CHECK-LABEL: define void @test_it( | |
| ; CHECK: store | |
| ; CHECK-NOT: store | |
| ; CHECK-NOT: load | |
| %rec894.0.1.2.3.12 = type { i16 } | |
| @a = external global %rec894.0.1.2.3.12 | |
| define void @test_it() { | |
| bb2: | |
| store i16 undef, ptr @a, align 1 | |
| %_tmp61 = load i16, ptr @a, align 1 | |
| store i16 undef, ptr @a, align 1 | |
| %_tmp92 = load i16, ptr @a, align 1 | |
| ret void | |
| } |