1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -passes=dse %s -S | FileCheck %s 3 4target datalayout = "e-m:o-p:32:32-Fi8-i64:64-a:0:32-n32-S128" 5 6define void @widget(ptr %ptr) { 7; CHECK-LABEL: @widget( 8; CHECK-NEXT: bb: 9; CHECK-NEXT: [[PTR1:%.*]] = getelementptr inbounds i8, ptr [[PTR:%.*]], i32 4 10; CHECK-NEXT: store atomic i32 0, ptr [[PTR1]] monotonic, align 4 11; CHECK-NEXT: store ptr null, ptr [[PTR]], align 4 12; CHECK-NEXT: ret void 13; 14bb: 15 %ptr1 = getelementptr inbounds i8, ptr %ptr, i32 4 16 store atomic i32 0, ptr %ptr1 monotonic, align 4 17 store ptr null, ptr %ptr, align 4 18 ret void 19} 20