search for: assert_align

...the information right at the pointer's definition, i.e. as the argument. > > I have wondered about it in a general case, when you simply want to > have an alignment information on the pointer, and not on > loads/stores. My idea was to invent a builtin, something like > "assert_aligned", that does nothing, other than manifest the alignment > by the fact of its existence. For example: > %argp = call i8* llvm.assert.aligned(%arg0, 32) > would state that the pointer %argp is aligned to 32 bytes, and the > value of it is the same as %arg0 at the place of the &q...

Hi all, Is there a way to express in the IR that a pointer's value is a multiple of, say, 32 bytes? I.e. the data the pointer points to has an alignment of 32 bytes. I am not meaning the natural alignment determined by the object's size. I am talking about a double* pointer and like to explicitly overestimate the alignment. I am trying to add this pointer as a function's

...his soon. > > -Hal > > > > > > > I have wondered about it in a general case, when you simply want to > > > have an alignment information on the pointer, and not on > > > loads/stores. My idea was to invent a builtin, something like > > > "assert_aligned", that does nothing, other than manifest the > > > alignment > > > by the fact of its existence. For example: > > > %argp = call i8* llvm.assert.aligned(%arg0, 32) > > > would state that the pointer %argp is aligned to 32 bytes, and the > > > va...