1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -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(i8* %ptr) {
7; CHECK-LABEL: @widget(
8; CHECK-NEXT:  bb:
9; CHECK-NEXT:    [[PTR1:%.*]] = getelementptr inbounds i8, i8* [[PTR:%.*]], i32 4
10; CHECK-NEXT:    [[PTR1_CAST:%.*]] = bitcast i8* [[PTR1]] to i32*
11; CHECK-NEXT:    store atomic i32 0, i32* [[PTR1_CAST]] monotonic, align 4
12; CHECK-NEXT:    [[PTR2:%.*]] = getelementptr inbounds i8, i8* [[PTR]], i32 0
13; CHECK-NEXT:    [[PTR2_CAST:%.*]] = bitcast i8* [[PTR2]] to i64**
14; CHECK-NEXT:    store i64* null, i64** [[PTR2_CAST]], align 4
15; CHECK-NEXT:    ret void
16;
17bb:
18  %ptr1 = getelementptr inbounds i8, i8* %ptr, i32 4
19  %ptr1.cast = bitcast i8* %ptr1 to i32*
20  store atomic i32 0, i32* %ptr1.cast monotonic, align 4
21  %ptr2 = getelementptr inbounds i8, i8* %ptr, i32 0
22  %ptr2.cast = bitcast i8* %ptr2 to i64**
23  store i64* null, i64** %ptr2.cast, align 4
24  ret void
25}
26